Skip to content

Top New Best Ask Show Jobs

MJGrzymek

17 karmaJoined May 13, 202419 submissions

MJGrzymek | Better HN

Recent submissions

1

Reputation Is Lazily Evaluated (opens in new tab)

(lesswrong.com)

2MJGrzymek11mo ago0

2

Are We AI Math Yet? (opens in new tab)

(areweaimathyet.com)

2MJGrzymek11mo ago1

3

Show HN: I made PeanoScript, an educational TypeScript-like theorem prover (opens in new tab)

(peanoscript.mjgrzymek.com)

3MJGrzymek1y ago1

4

Pushing CSS:has() to its limits – highlightable parentheses, variable bindings (opens in new tab)

(blog.mjgrzymek.com)

3MJGrzymek1y ago0