📐 Type Theory

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

Repairing An Obscure Apple II Clone
hackaday.com·4d
⚡Zero-Copy
The Rickover Corpus: A digital archive of Admiral Rickover's speeches and memos
rickovercorpus.org·6d·
Discuss: Hacker News
📡Protocol Design
Scientists just recreated the Universe’s first molecule and solved a 13-billion-year-old puzzle
sciencedaily.com·5d·
Discuss: Hacker News
🔒Cryptography
New AMD Zen 6 Linux Patches Posted - Confirming Up To 16 Memory Channels
phoronix.com·15h
🔄Concurrency
AWS European Sovereign Cloud to be operated by EU citizens
aboutamazon.eu·3d·
Discuss: Hacker News
🔍eBPF
Texas House Democrats flee state in bid to block GOP proposed congressional map
texastribune.org·4d·
Discuss: Hacker News
🌐Distributed Systems
Google agrees to pause AI workloads to protect the grid when power demand spikes
theregister.com·3d·
Discuss: Hacker News, Hacker News
🤖ai
A Zoo in Denmark Wants to Feed Your Pets to Its Predators
nytimes.com·3d·
Discuss: Hacker News
🦀rust
Gigabyte removes unofficial PCIe 5.0 support from B650 motherboards in latest BIOS update
videocardz.com·6d·
Discuss: Hacker News
⚡Zero-Copy
A Speed Loader For Your 3D Printer Filament
hackaday.com·2d
🚀JIT Compilation
How to reverse engineer an analog chip: the TDA7000 FM radio receiver
righto.com·5d·
Discuss: Hacker News
🔄Concurrency
exFAT Fixes Significant Random Write Performance Regression With Linux 6.17
phoronix.com·2d·
Discuss: Hacker News
⚡Zero-Copy
2025 One Hertz Challenge: Shoulda Put a Ring Oscillator On It
hackaday.com·2d
🔄Concurrency
Converting Existing Users to systemd-homed
systemd.io·5d·
Discuss: Hacker News
⚡Zero-Copy
Lina Khan points to Figma IPO as vindication of M&A scrutiny
techcrunch.com·5d·
Discuss: Hacker News
💻programming
Linux 6.17 Making Kdump Crash Kernel More Reliable, Less Wasted Memory
phoronix.com·4d
⚡Zero-Copy
F2FS Sees New Improvements Merged For Linux 6.17 While Bcachefs Languishes
phoronix.com·3d
⚡Zero-Copy
AI Teammates for for Revenue Teams
news.ycombinator.com·5d·
Discuss: Hacker News
🤖ai
Student Drone Flies, Submerges
hackaday.com·2d
💻programming
The Tape Speed Keyboard
hackaday.com·3d
📡Protocol Design