HN Explorer

MJGrzymek

↗ HN profile [ 58.1 ms ] full profile
Karma
17
Created
May 13, 2024 (2y ago)
Submissions
0
  1. Reputation Is Lazily Evaluated (lesswrong.com)
    2 points 0
  2. Are We AI Math Yet? (areweaimathyet.com)
    2 points 1
  3. Show HN: I made PeanoScript, an educational TypeScript-like theorem prover (peanoscript.mjgrzymek.com)

    Hi HN, I made this with the idea that many people are somewhat familiar with TypeScript and first-order logic, so combining them could be a nice introduction to automated theorem proving. My CS freshman logic class…

    3 points 1
  4. Pushing CSS:has() to its limits – highlightable parentheses, variable bindings (blog.mjgrzymek.com)
    3 points 0