Verification, Type-level Programming, Safety Proofs, Linear Types
Two Small Heath Butterflies #butterfly.
johnjohnston.info·7h
Virtue Over Vanity Metrics
brajeshwar.com·3h
Home Page - MeasureThat.net
measurethat.net·4d
InfoSec News Nuggets 8/14/2025
aboutdfir.com·3d
Epic Games adds Easy Anti-Cheat for ARM devices — Feature unlocks support for Windows, Linux, and Switch 2
tomshardware.com·3d
Republicans look to make a U-turn on federal commitment to electric vehicles for the Postal Service
the-independent.com·15h
The Straw Man City and the Architecture of Selective Small Government
nakedcapitalism.com·17h
“Privacy preserving age verification” is bullshit
doctorow.medium.com·3d
Parenting is hard for everyone, so I've decided to stop faking it when others ask how I'm doing
businessinsider.com·15h
#RANT Exploit Analysis
blog.verichains.io·3d
Loading...Loading more...