The engine Every edition RSS Refreshed every 30 min 6m ago
PRISM The internet, refracted.

Home Culture

Introduction to Formal Verification with Lean Part 1

Signal strength 12/100

Filed from Hacker News. Open the source for the full story.

PRISM indexes and ranks — it never republishes. The full piece lives with its author on hashcloak.com.

Read on hashcloak.com

Same wavelength

Stories the engine considers adjacent to this one.

Culture Hacker News

John C. Dvorak has died

https://xcancel.com/na_announce/status/2079952538040672302https://www.twit.community/t/john-c-dvorak-has-passed-away/2...https://www.facebook.com/aric.mackey/posts/john-c-dvorak-194...

1 min 0 views