RSS

Isaac Newton

Karma: 22

What is a game?

Isaac Newton13 Jun 2026 19:51 UTC
2 points
2 comments8 min readLW link
(archimedeanmonoid.substack.com)

The Di­a­mond Lemma

Isaac Newton6 Jun 2026 21:15 UTC
21 points
0 comments7 min readLW link
(archimedeanmonoid.substack.com)