Alligator Eggs and Lambda Calculus (2007) (worrydream.com)

Screenshot of worrydream.com: Alligator Eggs and Lambda Calculus (2007)

First screen, captured 1 year ago.

Looks similar

Screenshot of austinhenley.com: My 25-year adventure in AI and ML

My 25-year adventure in AI and ML (austinhenley.com)

169 points by ibobev 1 year ago | 30 comments

Screenshot of scottaaronson.blog: The Mathocalypse

The Mathocalypse (scottaaronson.blog)

361 points by 6bitquant 19 days ago | 380 comments

Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.

ai-mathematics openai unique-games-conjecture complexity-theory

Screenshot of klezlab.it: Rock Paper Scissors Solitaire

Rock Paper Scissors Solitaire (klezlab.it)

28 points by klez 11 months ago | 13 comments

Screenshot of stefanabikaram.com: Mastermind Solver

Mastermind Solver (stefanabikaram.com)

20 points by stefanpie 3 years ago | 19 comments

Screenshot of spakhm.com: A Mathematica interpreter in Typescript

A Mathematica interpreter in Typescript (spakhm.com)

121 points by lispybanana 2 years ago | 25 comments

Screenshot of iwriteiam.nl: Programming the Gigatron

Programming the Gigatron (iwriteiam.nl)

14 points by shakna 2 months ago | 1 comments

Looks similar

My 25-year adventure in AI and ML(austinhenley.com)

The Mathocalypse(scottaaronson.blog)

Rock Paper Scissors Solitaire(klezlab.it)

Mastermind Solver(stefanabikaram.com)

A Mathematica interpreter in Typescript(spakhm.com)

Programming the Gigatron(iwriteiam.nl)