MJGrzymek

Karma: 17
Created: 1 year ago

Recent Submissions

1. ▲ Reputation Is Lazily Evaluated (lesswrong.com) 2 points · 7 months ago · 0 comments
2. ▲ Are We AI Math Yet? (areweaimathyet.com) 2 points · 7 months ago · 1 comment
3. ▲ Show HN: I made PeanoScript, an educational TypeScript-like theorem prover (peanoscript.mjgrzymek.com) 3 points · 9 months ago · 1 comment
4. ▲ Pushing CSS:has() to its limits – highlightable parentheses, variable bindings (blog.mjgrzymek.com) 3 points · 1 year ago · 0 comments

All submissions on HN · View profile on HN