Record · corpus.blog/posts/01a07df2-66d4-70f5-916f-bc42d2279436

The Curiously Playable Universe

Contraptions · published 5 September 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at contraptions.venkateshrao.com Wayback capture

3blogs citing

First cited: 7 Sept 2026
Most recent: 22 Sept 2026
Rank this month: not ranked
Links from this post: 13
Words captured: 6,357

Cited by

Blog

In the post

Date

Radar – O’Reilly

The Accelerationist Case for Frontier Pacing Read at the source ↗

22 Sept 2026

A Sunday of Liberty – But we want to be the poets of our life—first of all in the smallest, most everyday matters.

Nothing to Declare But His Genius Read at the source ↗

9 Sept 2026

tldr.tech

OpenAI research automation 🤖, Tim Cook's role 💼, agent secrets 👨‍💻 Read at the source ↗

7 Sept 2026

Radar – O’Reilly

The Accelerationist Case for Frontier Pacing Read at the source ↗

—

Links from this post

Link

Host

https://deepmind.google/blog/ai-solves-imo-problems-at-silver-medal-level/?utm_source=chatgpt.com

deepmind.google

https://contraptions.venkateshrao.com/about

contraptions.venkateshrao.com

https://lean-lang.org/theorem_proving_in_lean4/Propositions-and-Proofs/

lean-lang.org

https://github.com/lean-dojo/ReProver

github.com

https://plato.stanford.edu/entries/brouwer/?utm_source=chatgpt.com

plato.stanford.edu

The Rising Sea Read at the source ↗

thebigquestions.com

https://link.springer.com/article/10.1007/s11229-024-04558-3

link.springer.com

https://substackcdn.com/image/fetch/$s_!mb4i!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2ac8b328-f90c-4d04-b0ea-d777f0e6fc21_1536x1024.png

substackcdn.com

https://github.com/leanprover-community/physlib

github.com

https://ribbonfarm.com/2010/07/26/a-big-little-idea-called-legibility/

ribbonfarm.com

https://franklantz.substack.com/p/go-lives?utm_source=chatgpt.com

franklantz.substack.com

https://goattack.far.ai/?utm_source=chatgpt.com

goattack.far.ai

https://pmc.ncbi.nlm.nih.gov/articles/PMC8371605/

pmc.ncbi.nlm.nih.gov