Harry R. Schwartz

Code writer, sometime Internet enthusiast, attractive nuisance.

Vancouver

British Columbia

Canada

vegan

Articles tagged with “computer-science”

Transcript of Beer’s Research Into a Cybernetic Analogue of Fabric

hrs

Published .
Tags: animals, computer-science, cybernetics.

Phatic Interactions

hrs

Published .
Tags: computer-science, language, words.

Amateur and Professional Software

hrs

Published .
Tags: books, computer-science, writing.

Finding Jobs in Software

hrs

Published .
Tags: computer-science.

Just a Reminder That arandr Exists

hrs

Published .
Tags: computer-science, unix.

On Frilling

hrs

Published .
Tags: animals, beards, computer-science, introspection.

Recommended Reading from the DeepSpec Summer School

hrs

Published .
Tags: computer-science, math, formal-methods.

Lifting Lambdas into Supercombinators

hrs

Published .
Tags: computer-science, math.

Transcript of Nall’s Continuations

hrs

Published .
Tags: computer-science.

Byzantine Testing

hrs

Published .
Tags: computer-science, ruby.

Verified, Validated, or Certified?

hrs

Published .
Tags: computer-science, formal-methods.

Verifying Distributed Systems with Verdi

hrs

Published .
Tags: computer-science, formal-methods, paper-review.

Why Formal Semantics?

hrs

Published .
Tags: computer-science, formal-methods, math.

Our TDD Course Is Out!

hrs

Published .
Tags: computer-science, ruby, teaching.

Zeller’s Congruence

hrs

Published .
Tags: computer-science, math.

OPLSS Flotsam

hrs

Published .
Tags: computer-science, formal-methods, oplss.

Casual Static Analysis

hrs

Published .
Tags: computer-science.

Skills to Retire On

hrs

Published .
Tags: computer-science.

Folk Models of Home Computer Security

hrs

Published .
Tags: computer-science, security, paper-review.

Compilation as Search

hrs

Published .
Tags: computer-science.

When is Literate Programming Appropriate?

hrs

Published .
Tags: computer-science.

Computer Science: Why Bother?

hrs

Published .
Tags: computer-science, personal, video.

Going to OPLSS 2016!

hrs

Published .
Tags: computer-science, formal-methods, personal, oplss.

λet’s Talk About Y

hrs

Published .
Tags: computer-science, talks.

A Tool for Finding Primers

hrs

Published .
Tags: biology, computer-science, science, web.

Just a Reminder That rlwrap Exists

hrs

Published .
Tags: computer-science, unix.

CAD Paper-reading Group Notes

hrs

Published .
Tags: computer-science.

Burritos for the Hungry Mathematician

hrs

Published .
Tags: food, computer-science, math.

Implementing Blueprint

hrs

Published .
Tags: computer-science, lisp, ruby.

Building an Object System from Closures

hrs

Published .
Tags: computer-science, lisp.

Thinking about Concurrency

hrs

Published .
Tags: computer-science.

Datalog User Manual

hrs

Published .
Tags: computer-science.

Unity—It’s Pretty Neat!

hrs

Published .
Tags: computer-science, personal.

An Introduction to Inodes

hrs

Published .
Tags: unix, computer-science, talks.

The Classical Code Reading Group of New York

hrs

Published .
Tags: meetups, computer-science, nyc.

The Littlest Macro

hrs

Published .
Tags: lisp, computer-science, emacs.

Composable and Compilable Macros

hrs

Published .
Tags: computer-science, lisp, racket, paper-review.

Configuring gpg-agent on a Mac

hrs

Published .
Tags: beards, computer-science, email, security.

Automatically Signing Your Git Commits

hrs

Published .
Tags: beards, computer-science, security.

Reading the CS Canon

hrs

Published .
Tags: books, computer-science.

Some Simple LaTeX Project Templates

hrs

Published .
Tags: computer-science, writing.

Kilobytely

hrs

Published .
Tags: computer-science, ill-conceived-plans, hypertext-art-installations, web.

Growing a Language

hrs

Published .
Tags: computer-science, video.

Pet Names

hrs

Published .
Tags: computer-science, language, hypertext-art-installations, ruby, web.

Golfing in Reverse

hrs

Published .
Tags: computer-science, ruby.

MIT Press Booksale

hrs

Published .
Tags: books, boston, computer-science.

Computing with Crabs

hrs

Published .
Tags: animals, computer-science, cybernetics.

Learning Programming with Python

hrs

Published .
Tags: computer-science, personal, python.

Emac(s|k)

hrs

Published .
Tags: boston, computer-science, nerd-tourism, personal.

Rudy on Rails

hrs

Published .
Tags: animals, computer-science, puns, web.

AlgoRhythmics

hrs

Published .
Tags: computer-science, infographic, music, video.

Painting with WiFi

hrs

Published .
Tags: art-and-design, computer-science, infographic, video.

RFC 2324

hrs

Published .
Tags: food, computer-science, web.

Tupper’s Self-Referential Formula

hrs

Published .
Tags: computer-science, math.

Memoization using Closures

hrs

Published .
Tags: computer-science, python.

Closures in Python

hrs

Published .
Tags: computer-science, python.

A Case for Careful QA

hrs

Published .
Tags: computer-science, science, video.

On Finishing Books

hrs

Published .
Tags: books, computer-science, infographic, math.

Artificial Flight and Other Myths

hrs

Published .
Tags: birds, computer-science, flight, science.

An Obfuscated Christmas

hrs

Published .
Tags: computer-science.

The Evil Bit

hrs

Published .
Tags: computer-science.

Nerd Love

hrs

Published .
Tags: art-and-design, computer-science.

The Chomskybot

hrs

Published .
Tags: computer-science, language.

Quines

hrs

Published .
Tags: computer-science, language, math, old-dead-white-guys.

The Tao of Programming

hrs

Published .
Tags: books, computer-science.

The Mechanical Turk

hrs

Published .
Tags: art-and-design, computer-science, history.