Hillel Wayne

For when people get too hyped up about things

A curated reading list of articles, papers, and videos that examine the limitations and failure cases of overhyped ideas in software development, with each entry including caveats to keep the counterargument honest.

Proving leftpad correct two-dozen different ways

A TLA+ guide

Learn TLA+ for free! No prior experience necessary!

Some of my AutoHotKey scripts

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

Proposed documentation for alloytools.org

Let's explain all the hacker test questions!

A quick lambda script that forwards sns messages to slack

Vim plugin for TLA+ and PlusCal

A demo of analyzing a TLA+ state graph

A collection of useful TLA+ operators

Some experiments in making exercises for teaching TLA+

A collection of useful uses of GPT (and other LLMs), organized as examples

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

Source Code for 'Practical TLA+' by Hillel Wayne

No description.

A terrible pygments plugin from a terrible human

A quick repo for testing compiling a sphinx doc and syncing it with S3

Simple problems, terrible solutions.

TLA+ language support for Visual Studio Code

A programmable calculator written in sml/nj.

Helps you with math! If you get a problem wrong, tells you why and how you got it wrong.

A turing tarpit with multiple registers!

Lets you swap text elements around a pivot, eg (a,b) -> (b,a)

A Python implementation of Robert Abbott's amazing Theseus and the Minotaur game.

A collection of TLA+ specifications of varying complexities

No description.

XML as a Tool of Thought

Website for Alloytools

No description.

Documentation for AutoHotkey

Contains all data relating to the annual Raku Advent event held 1-25 December

The Sphinx documentation generator

A bunch of code I wrote to control a radiotelescope.

The brutal struggle against my most hated enemy.

Can you make a clock that runs off of chaos theory? Let's find out!

Given a word in the linux dictionary, it solves hangman for that word.

I really want to learn fsharp.

April Cools' Club website

Scan your Rust crate for semver violations.

Pygments is a generic syntax highlighter written in Python

Proof of concept of switching Alloytools from Jekyll to Hugo

Main hypothesis.works website

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

J engine source mirror

Advanced property-based (QuickCheck-like) testing for Python

A YAML DSL with a python transformer for Graphviz

Prototyping a few guided labs for TLA+

I dunno, I just really wanted to create a create a project called "Ripper Beam"

A quick script that gets Heroku Safehouse instances up and running really quickly