COME FROM Considered Helpful
A formal TLA+ proof that COME FROM is not merely a joke — it's the only viable looping mechanism in INTERCAL. A Dijkstra riff with teeth.
PDF TLA+Knight's Tour in INTERCAL
Warnsdorff's algorithm on a 64-bit bitboard in 570 lines of INTERCAL. All 64 squares. Submitted to SIGBOVIK 2026.
PDF SIGBOVIK 2026Hilbert Curve Geographic Indexing
Space-filling curves for geographic indexing via Morton codes and state machines. Practical spatial queries in INTERCAL.
Stable Marriage Problem
Gale-Shapley matching for 5 couples using trampolines and COME FROM loops. Design patterns at their finest.
Hardware Accelerator Proposal
An FPGA processor proposal for native INTERCAL execution. Includes component performance analysis.
TLA+ Formal Verification Suite
IntercalStack.tla, ComeFromTrampoline.tla, TrampolineSearch.tla — formal models proving the necessity of COME FROM.
TLA+People who build weird things seriously
I'm a software engineer who likes taking absurd premises to their logical conclusion. INTERCAL-64 is the result of that: a joke language with a real compiler, a real debugger, formal proofs, and published papers. The whole thing was built with Claude as a pair programmer — including the papers, the TLA+ models, and the tooling.
If any of this resonates, I'd be interested in collaborating on:
- Esoteric language research and implementation
- AI-assisted development tooling and workflows
- Technical writing with a sense of humor
- Compiler and debugger engineering
- Whatever your version of "stupid idea, taken seriously" looks like
Star the repo
If you like the project, a star helps others find it. Check out the code, the samples, and the papers.
jawhitti/INTERCAL64Join the Discord
The fastest way to reach me. Drop in, say hello, share something you're working on.
Join the Discord