Hacker News
Links for the intellectually curious, ranked by readers.
Updated: 9 min 41 sec ago
Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection
Categories: Software
Ushikuvirus: Newly discovered virus may offer clues to the origin of eukaryotes
Categories: Software