HN Explorer

navidhg

↗ HN profile [ 21.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Software Foundations being translated to Lean (leanprover.zulipchat.com)
    3 points 1
  2. Correct and Efficient Bounded FIFO Queues (inria.hal.science)
    2 points 0
  3. Formalizing proof of Polynomial Freiman-Ruzsa conjecture in Lean4 is complete (mathstodon.xyz)
    4 points 0
  4. GNU Hurd 2023 (gnu.org)
    21 points 3
  5. Ableton Push 3 (ableton.com)
    354 points 304
  6. Learning Synths (learningsynths.ableton.com)
    969 points 174