Harry R. Schwartz

Code writer, sometime Internet enthusiast, attractive nuisance.

The author at the Palais du Luxembourg in Paris, November 2022. hacker news gitlab sourcehut pinboard librarything 1B41 8F2C 23DE DD9C 807E A74F 841B 3DAE 25AE 721B

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.