Harry R. Schwartz

Software engineer, nominal scientist, gentleman of the internet.
Member, ←Hotline Webring→.

bearded cartoon drawing of the author hacker news gitlab sourcehut pinboard librarything 1B41 8F2C 23DE DD9C 807E A74F 841B 3DAE 25AE 721B

Vancouver

British Columbia

Canada

vegan

he

him

his


Articles tagged with “computer-science”

Phatic Interactions

Harry R. Schwartz

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

Amateur and Professional Software

Harry R. Schwartz

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

Finding Jobs in Software

Harry R. Schwartz

Published .
Tags: computer-science.

Just a Reminder That arandr Exists

Harry R. Schwartz

Published .
Tags: computer-science, unix.

On Frilling

Harry R. Schwartz

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

Recommended Reading from the DeepSpec Summer School

Harry R. Schwartz

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

Lifting Lambdas into Supercombinators

Harry R. Schwartz

Published .
Tags: computer-science, math.

Transcript of Nall’s Continuations

Harry R. Schwartz

Published .
Tags: computer-science.

Byzantine Testing

Harry R. Schwartz

Published .
Tags: computer-science, ruby.

Verified, Validated, or Certified?

Harry R. Schwartz

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

Verifying Distributed Systems with Verdi

Harry R. Schwartz

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

Why Formal Semantics?

Harry R. Schwartz

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

Our TDD Course Is Out!

Harry R. Schwartz

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

Zeller’s Congruence

Harry R. Schwartz

Published .
Tags: computer-science, math.

OPLSS Flotsam

Harry R. Schwartz

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

Casual Static Analysis

Harry R. Schwartz

Published .
Tags: computer-science.

Skills to Retire On

Harry R. Schwartz

Published .
Tags: computer-science.

Folk Models of Home Computer Security

Harry R. Schwartz

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

Compilation as Search

Harry R. Schwartz

Published .
Tags: computer-science.

When is Literate Programming Appropriate?

Harry R. Schwartz

Published .
Tags: computer-science.

Computer Science: Why Bother?

Harry R. Schwartz

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

Going to OPLSS 2016!

Harry R. Schwartz

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

λet’s Talk About Y

Harry R. Schwartz

Published .
Tags: computer-science, talks.

A Tool for Finding Primers

Harry R. Schwartz

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

Just a Reminder That rlwrap Exists

Harry R. Schwartz

Published .
Tags: computer-science, unix.

CAD Paper-reading Group Notes

Harry R. Schwartz

Published .
Tags: computer-science.

Burritos for the Hungry Mathematician

Harry R. Schwartz

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

Implementing Blueprint

Harry R. Schwartz

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

Building an Object System from Closures

Harry R. Schwartz

Published .
Tags: computer-science, lisp.

Thinking about Concurrency

Harry R. Schwartz

Published .
Tags: computer-science.

Datalog User Manual

Harry R. Schwartz

Published .
Tags: computer-science.

Unity—It’s Pretty Neat!

Harry R. Schwartz

Published .
Tags: computer-science, personal.

An Introduction to Inodes

Harry R. Schwartz

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

The Classical Code Reading Group of New York

Harry R. Schwartz

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

The Littlest Macro

Harry R. Schwartz

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

Composable and Compilable Macros

Harry R. Schwartz

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

Configuring gpg-agent on a Mac

Harry R. Schwartz

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

Automatically Signing Your Git Commits

Harry R. Schwartz

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

Reading the CS Canon

Harry R. Schwartz

Published .
Tags: books, computer-science.

Some Simple LaTeX Project Templates

Harry R. Schwartz

Published .
Tags: computer-science, writing.

Kilobytely

Harry R. Schwartz

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

Growing a Language

Harry R. Schwartz

Published .
Tags: computer-science, video.

Pet Names

Harry R. Schwartz

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

Golfing in Reverse

Harry R. Schwartz

Published .
Tags: computer-science, ruby.

MIT Press Booksale

Harry R. Schwartz

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

Computing with Crabs

Harry R. Schwartz

Published .
Tags: animals, computer-science.

Learning Programming with Python

Harry R. Schwartz

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

Emac(s|k)

Harry R. Schwartz

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

Rudy on Rails

Harry R. Schwartz

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

AlgoRhythmics

Harry R. Schwartz

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

Painting with WiFi

Harry R. Schwartz

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

RFC 2324

Harry R. Schwartz

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

Tupper’s Self-Referential Formula

Harry R. Schwartz

Published .
Tags: computer-science, math.

Memoization using Closures

Harry R. Schwartz

Published .
Tags: computer-science, python.

Closures in Python

Harry R. Schwartz

Published .
Tags: computer-science, python.

A Case for Careful QA

Harry R. Schwartz

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

On Finishing Books

Harry R. Schwartz

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

Artificial Flight and Other Myths

Harry R. Schwartz

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

An Obfuscated Christmas

Harry R. Schwartz

Published .
Tags: computer-science.

The Evil Bit

Harry R. Schwartz

Published .
Tags: computer-science.

Nerd Love

Harry R. Schwartz

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

The Chomskybot

Harry R. Schwartz

Published .
Tags: computer-science, language.

Quines

Harry R. Schwartz

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

The Tao of Programming

Harry R. Schwartz

Published .
Tags: books, computer-science.

The Mechanical Turk

Harry R. Schwartz

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