Verification, Type-level Programming, Safety Proofs, Linear Types
Participated in the Open-Source Conference 2025 in Shirahama
diff.wikimedia.org·1d
Meet the actor with Down syndrome who wants to run for president of Chile
the-independent.com·14h
These $45 sandals with a 5,000-mile warranty outlasted my Birkenstocks
theguardian.com·22h
Hurricane Erin explodes in strength to a Category 5 storm in the Atlantic near Caribbean islands
mercurynews.com·20h
Generation X Needs to Stop Complaining
nytimes.com·14h
I pitted the standard ChatGPT 5 AI model against the Pro version by making them debate breakfast for dinner – and there's a clear winner
techradar.com·1d
The Top AI Tool for Devs Isn’t GitHub Copilot, New Report Finds
thenewstack.io·1d
Drug Cartels Are the New APTs
news.risky.biz·3d
Loading...Loading more...