Hacker Newsnew | past | comments | ask | show | jobs | submit | MJGrzymek's submissionslogin
1.
Reputation Is Lazily Evaluated (lesswrong.com)
2 points by MJGrzymek 11 months ago | past
2.
Are We AI Math Yet? (areweaimathyet.com)
2 points by MJGrzymek 11 months ago | past | 1 comment
3.
Show HN: I made PeanoScript, an educational TypeScript-like theorem prover (mjgrzymek.com)
3 points by MJGrzymek on March 22, 2025 | past | 1 comment
4.
Pushing CSS:has() to its limits – highlightable parentheses, variable bindings (mjgrzymek.com)
3 points by MJGrzymek on May 14, 2024 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: