Acorn and the future of (AI?) theorem proving (lmao.bearblog.dev)

Screenshot of lmao.bearblog.dev: Acorn and the future of (AI?) theorem proving

First screen, captured 1 year ago.

Looks similar

Screenshot of guille.site: Fun with polynomials and linear algebra; or, slight abstract nonsense

Fun with polynomials and linear algebra; or, slight abstract nonsense (guille.site)

49 points by LolWolf 5 months ago | 7 comments

Screenshot of guille.site: The likely cheapest home-made Michelson interferometer

The likely cheapest home-made Michelson interferometer (guille.site)

111 points by LolWolf 9 months ago | 61 comments

Screenshot of proofofcorn.com: Proof of Corn

Proof of Corn (proofofcorn.com)

455 points by rocauc 9 months ago | 301 comments

Proof of Corn is a case study site documenting an attempt to grow real corn from seed to harvest with every decision made by Claude Code, responding to a challenge.

claude-code ai-agents agriculture corn

Screenshot of iev.ee: Finding all regex matches has always been O(n²)

Finding all regex matches has always been O(n²)(iev.ee)

246 points by lalitmaganti 7 months ago | 63 comments

Screenshot of tbray.org: GenAI Predictions

GenAI Predictions (tbray.org)

17 points by FromTheArchives 1 year ago | 4 comments

Screenshot of seangoedecke.com: AI is breaking our proxies for expertise

AI is breaking our proxies for expertise (seangoedecke.com)

62 points by jbkcc 1 month ago | 39 comments

Looks similar

Fun with polynomials and linear algebra; or, slight abstract nonsense(guille.site)

The likely cheapest home-made Michelson interferometer(guille.site)

Proof of Corn(proofofcorn.com)