MJGrzymek

Joined 5/13/2024, 3:29:53 AM has 17 karma

Posts

Reputation Is Lazily Evaluated
by MJGrzymek on 4/26/2025, 4:42:09 AM with 0 comments
Are We AI Math Yet?
by MJGrzymek on 4/26/2025, 2:34:35 AM with 1 comments
Show HN: I made PeanoScript, an educational TypeScript-like theorem prover
by MJGrzymek on 3/22/2025, 2:15:57 PM with 1 comments
Pushing CSS:has() to its limits – highlightable parentheses, variable bindings
by MJGrzymek on 5/14/2024, 12:21:22 AM with 0 comments