📐 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification

You Have Too Many Metrics
staysaasy.com·4d·
Discuss: Hacker News
❄️Nix
Kyoto University team develops pain reliever comparable to morphine
japantimes.co.jp·2d·
Discuss: Hacker News
🔍eBPF
Brennan Center for Justice Report: The Campaign to Undermine the Next Election
brennancenter.org·2d·
Discuss: Hacker News, Hacker News
🔒Cryptography
Introduction to Unikernel: Building, Deploying Lightweight, Secure Applications
tallysolutions.com·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚙️Systems Programming
Financial Lessons from My Family's Experience with Long-Term Care Insurance
whitecoatinvestor.com·4d·
Discuss: Hacker News
🤖ai
Mozilla flags phishing wave aimed at hijacking trusted Firefox add-ons
theregister.com·2d·
Discuss: Hacker News
🧩WebAssembly
Spatial Audio in a Hat
hackaday.com·1d
🔍eBPF
Your Computer Interviewed Chris Curry (1981)
computeradsfromthepast.substack.com·4d·
Discuss: Substack
🌐Distributed Systems
Flex PCB Underlies the Watch of the Future
hackaday.com·1d
🧩WebAssembly
At a Loss for Words: A flawed idea is teaching kids to be poor readers (2019)
apmreports.org·4d·
Discuss: Hacker News
🔨Compilers
Self-Signed JWTs
selfref.com·5d·
Discuss: Hacker News
🔒Cryptography
A Man Who Beat IBM
every.to·2d·
Discuss: Hacker News
🌐Distributed Systems
GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning
arxiviq.substack.com·6d·
Discuss: Substack
🤖ai
Grok generates fake Taylor Swift nudes without being asked
arstechnica.com·1d·
Discuss: Hacker News, Hacker News, r/technews
❄️Nix
6 Weeks of Claude Code
blog.puzzmo.com·6d·
Discuss: Lobsters, Hacker News, Hacker News
💻programming
Create personal illustrated storybooks in the Gemini app.
blog.google·1d·
Discuss: Hacker News, r/Android
🤖ai
AI Code Review the Right Way
hackaday.com·4d
🤖ai
Trump FCC Abandons Efforts To Make U.S. Broadband Fast And Affordable
techdirt.com·1d·
Discuss: Hacker News
🔍eBPF
Tokens are getting more expensive
ethanding.substack.com·3d·
Discuss: Substack
⚙LLVM
Hiroshima (1946)
newyorker.com·4d·
Discuss: Hacker News, r/Longreads, r/longform
🦀rust