📐 Type Theory

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

You Have Too Many Metrics
staysaasy.com·5d·
Discuss: Hacker News
❄️Nix
Kyoto University team develops pain reliever comparable to morphine
japantimes.co.jp·3d·
Discuss: Hacker News
🔍eBPF
Brennan Center for Justice Report: The Campaign to Undermine the Next Election
brennancenter.org·3d·
Discuss: Hacker News, Hacker News
🔒Cryptography
Your Computer Interviewed Chris Curry (1981)
computeradsfromthepast.substack.com·5d·
Discuss: Substack
🌐Distributed Systems
Introduction to Unikernel: Building, Deploying Lightweight, Secure Applications
tallysolutions.com·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚙️Systems Programming
Linux 6.17 Standardizes The Keycode For The "Performance Boost" Key
phoronix.com·5h
⚙️Systems Programming
Mozilla flags phishing wave aimed at hijacking trusted Firefox add-ons
theregister.com·3d·
Discuss: Hacker News
🧩WebAssembly
Self-Employed, Self-Exhausted
theisolationjournals.substack.com·4d·
Discuss: Substack
🔄Concurrency
At a Loss for Words: A flawed idea is teaching kids to be poor readers (2019)
apmreports.org·5d·
Discuss: Hacker News
🔨Compilers
Financial Lessons from My Family's Experience with Long-Term Care Insurance
whitecoatinvestor.com·5d·
Discuss: Hacker News
🤖ai
A Man Who Beat IBM
every.to·3d·
Discuss: Hacker News
🌐Distributed Systems
Grok generates fake Taylor Swift nudes without being asked
arstechnica.com·2d·
Discuss: Hacker News, Hacker News, r/technews
❄️Nix
Self-Signed JWTs
selfref.com·6d·
Discuss: Hacker News
🔒Cryptography
Tokens are getting more expensive
ethanding.substack.com·4d·
Discuss: Substack
⚙LLVM
The AI bubble is so big it's propping up the US economy (for now)
bloodinthemachine.com·2d·
Discuss: Hacker News
🤖ai
Trump FCC Abandons Efforts To Make U.S. Broadband Fast And Affordable
techdirt.com·2d·
Discuss: Hacker News
🔍eBPF
Passkeys are just passwords that require a password manager
danfabulich.medium.com·3d·
Discuss: Hacker News
🔒Cryptography
Hiroshima (1946)
newyorker.com·5d·
Discuss: Hacker News, r/Longreads, r/longform
🦀rust
What Happens When Lightning Strikes A Plane?
hackaday.com·2d
⚡Zig
Linux 6.17 Introduces hash_pointers= Boot Parameter
phoronix.com·2d·
Discuss: r/linux
⚡Zero-Copy