Verification, Type-level Programming, Safety Proofs, Linear Types
The Scientific Debate over Colossal’s ‘De-extinct’ Dire Wolves
scientificamerican.com·1d
Proton Begins Shifting Infrastructure Outside of Switzerland Ahead of Surveillance Legislation
yro.slashdot.org·22h
How ‘Devil in Ozarks’ escaped prison: Elaborate six-month plan revealed
the-independent.com·8h
Saturday’s briefing: Alleged racist abuse of Antoine Semenyo mars Liverpool win
the-independent.com·12h
Loading...Loading more...