MJGrzymek

Posts

• Reputation Is Lazily Evaluated
  by MJGrzymekon 4/26/25, 4:42 AMwith 0 comments
• Are We AI Math Yet?
  by MJGrzymekon 4/26/25, 2:34 AMwith 1 comments
• Show HN: I made PeanoScript, an educational TypeScript-like theorem prover
  by MJGrzymekon 3/22/25, 2:15 PMwith 1 comments
• Pushing CSS:has() to its limits – highlightable parentheses, variable bindings
  by MJGrzymekon 5/14/24, 12:21 AMwith 0 comments