| user: | MJGrzymek |
| created: | May 13, 2024 |
| karma: | 17 |
| 1. | Reputation Is Lazily Evaluated(lesswrong.com) |
| 2. | Are We AI Math Yet?(areweaimathyet.com) |
| 3. | Show HN: I made PeanoScript, an educational TypeScript-like theorem prover(peanoscript.mjgrzymek.com) |
| 4. | Pushing CSS:has() to its limits – highlightable parentheses, variable bindings(blog.mjgrzymek.com) |
| 5. | 2 years ago | discuss |