9 months ago|discuss
user: MJGrzymek
17 karma | created 1 year ago
recent submissions
9 months ago|discuss
10 months ago|discuss
10 months ago|discuss
10 months ago|discuss
Reputation Is Lazily Evaluated
(lesswrong.com)
2 pts|10 months ago|discuss
10 months ago|discuss
Are We AI Math Yet?
(areweaimathyet.com)
2 pts|10 months ago|1 comment
10 months ago|discuss
10 months ago|discuss
10 months ago|discuss
10 months ago|discuss
11 months ago|discuss
Show HN: I made PeanoScript, an educational TypeScript-like theorem prover
(peanoscript.mjgrzymek.com)
3 pts|11 months ago|1 comment
11 months ago|discuss
1 year ago|discuss
1 year ago|discuss
Pushing CSS:has() to its limits – highlightable parentheses, variable bindings
(blog.mjgrzymek.com)
3 pts|1 year ago|discuss
1 year ago|discuss