HNHacker News
TopNewBestAskShowJobs

jychang

3,002 karma · joined October 23, 2012

submissionscomments

Using OpenAI Dots as an agent swarm to prove new math, for free (Lean verified)

unexcitedneurons.substack.com·3 pts·jychang·
1

Estimating the Size of Claude Opus 4.5/4.6

unexcitedneurons.substack.com·1 pts·jychang·
0

Things I Won’t Work With: What This Compound Needs Is Some Hydrogen Peroxide

blogs.sciencemag.org·7 pts·jychang·
1

Zynga Now Worth Less Than Its Own Office Building [Halting Problem]

medium.com·13 pts·jychang·
7

The reason you write clean code (2011)

eldergame.com·1 pts·jychang·
0