Live data from Hacker News

Viewing profile — navidhg

navidhg

HN member

Joined: Sun, Feb 26, 2012, 7:45 PM UTC
HN karma: 530
Public activity: 6 items
HN profile: View on Hacker News ↗

About navidhg

https://navid.io

Recent public activity

story
Software Foundations being translated to Lean
Fri, Jun 19, 2026, 1:00 PM UTC
story
Correct and Efficient Bounded FIFO Queues
Fri, Aug 15, 2025, 7:52 PM UTC
story
Formalizing proof of Polynomial Freiman-Ruzsa conjecture in Lean4 is complete
Tue, Dec 05, 2023, 10:49 AM UTC
story
GNU Hurd 2023
Tue, Jun 13, 2023, 7:22 PM UTC
story
Ableton Push 3
Tue, May 23, 2023, 8:16 AM UTC
story
Learning Synths
Tue, Jun 25, 2019, 9:10 AM UTC