Stories by MJGrzymek

Reputation Is Lazily Evaluated

Are We AI Math Yet?

Show HN: I made PeanoScript, an educational TypeScript-like theorem prover

Pushing CSS:has() to its limits – highlightable parentheses, variable bindings