Hillel Wayne

For when people get too hyped up about things

hwayne

A TLA+ guide

hwayne

Proving leftpad correct in a dozen different ways

hwayne

A script for running TLA+/TLC from the command line

hwayne

Proposed documentation for alloytools.org

hwayne

Some of my AutoHotKey scripts

hwayne

A quick lambda script that forwards sns messages to slack

hwayne

Let's explain all the hacker test questions!

hwayne

Learn TLA+ for free! No prior experience necessary!

hwayne

Ostensibly a "scale-invariant" "headless" "developer-targeted" thingimajig, actually a mental health tool.

hwayne