YHacker Newsscreenshots

shadaj.me on Hacker News

2 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of shadaj.me: Formally Verifying PBS Kids with Lean4

Formally Verifying PBS Kids with Lean4 (shadaj.me)

64 points by shadaj 8 months ago | 5 comments

Screenshot of shadaj.me: Distributed systems programming has stalled

Distributed systems programming has stalled (shadaj.me)

232 points by shadaj 1 year ago | 181 comments