From ff0c75d52eec175374430347b3c11594c322e104 Mon Sep 17 00:00:00 2001 From: Elizabeth Hunt Date: Wed, 14 Jan 2026 23:32:13 -0800 Subject: fix: use max width on toys page for mobile rendering --- src/toys.md | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) (limited to 'src') diff --git a/src/toys.md b/src/toys.md index 9639e9a..0351468 100644 --- a/src/toys.md +++ b/src/toys.md @@ -13,7 +13,7 @@ These are the web-based toys I've ported over (so far) from my old website. New #### The Abstraction Engine
- +
A game inspired by [Baba Is You](https://store.steampowered.com/app/736260/Baba_Is_You/). Your character is a Lambda and you aim to eat the [Curry](https://en.wikipedia.org/wiki/Currying) by writing real lambda-calculus terms and applying them to other lambda-calculus terms to solve puzzles. The core is a [custom ECS engine and lambda calculus interpreter in typescript](https://code.liz.coffee/the-abstraction-engine-ts.git/). So far I've only gotten two levels as a "tech demo" showcasing basic functionality. But the groundwork was put in place to get a [fixed-point-combinator](https://en.wikipedia.org/wiki/Fixed-point_combinator) level written. @@ -27,7 +27,7 @@ Due to the game's inner complexity and the fact that I just keep getting discour #### Tabloid Closures
- +
For fun (and procrastination) I added closures to the [Tabloid](https://tabloid.vercel.app/) esoteric programming language and wrote lambda-calculus-inspired primitives of pair/cons, then extended them to @@ -40,7 +40,7 @@ valid merge sort and binary tree traversal programs. #### Gödel Number Playground
- +
A PEG grammar (I'd hardly call this a compiler) which computes the [Gödel number](https://en.wikipedia.org/wiki/G%C3%B6del_numbering) from a valid L program. @@ -52,19 +52,17 @@ A PEG grammar (I'd hardly call this a compiler) which computes the [Gödel numbe #### Turing Machine
- +
-World's smallest VM & bytecode compiled language? - -[Click here to find out](/toys/turing). +[I swear the tape is infinite](/toys/turing). --- #### Euler Golf 2
- +
Euler Golf 2 is a reimplemetation and solver of [Val Hovey's Euler Golf](https://valhovey.github.io/EulerGolf). @@ -76,7 +74,7 @@ Euler Golf 2 is a reimplemetation and solver of [Val Hovey's Euler Golf](https:/ #### Julia Explorer
- +
A quick experiment with [GPU.js](https://gpu.rocks/#/). @@ -88,7 +86,7 @@ A quick experiment with [GPU.js](https://gpu.rocks/#/). #### A Fourier New Year
- +
A quick app I hacked together for some friends on Discord at the time to explore a discrete fourier transform of the function of their mood wrt time for the year. -- cgit v1.2.3-70-g09d2