📐 Type Theory

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

Git 2.51-rc0 Makes More Preparations For Git 3.0 Where It Will Use SHA-256 By Default
phoronix.com·3d
❄️Nix
The Crisis of Professional Skepticism
mitchhorowitz.substack.com·6d·
Discuss: Substack
🔒Cryptography
Brilliant Labs Has New Smart Glasses, With a New Display
hackaday.com·3d
🔗P2P Networks
A Portable 12 VDC Water Chiller for the Chemistry Lab
hackaday.com·1d
🌐Distributed Systems
Fire Alarm Disco Party
hackaday.com·4d
🔍eBPF
GNOME Mutter 49 Beta Released With Pointer Warp Protocol, Wayland Fixes
phoronix.com·4d
🧩WebAssembly
2025 One Hertz Challenge: Analog Clock for Microsoft Windows
hackaday.com·3d
🔒Cryptography
Intel Updates Legacy Compute Driver To Benefit Broadwell Through Ice Lake iGPUs
phoronix.com·3d
⚙LLVM
The Dollar Is Dead
mathmeetsmoney.substack.com·4d·
Discuss: Substack
🔄Concurrency
Framework Desktop With AMD Ryzen AI Max Offers Excellent, Linux-Friendly Performance
phoronix.com·20h·
Discuss: Hacker News
🧩WebAssembly
Proxmox Virtual Environment 9.0 with Debian 13 released
proxmox.com·2d·
Discuss: Lobsters, Hacker News
❄️Nix
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·4d·
Discuss: Hacker News
🔒Cryptography
New AMD Zen 6 Linux Patches Posted - Confirming Up To 16 Memory Channels
phoronix.com·12h
🔄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
A Speed Loader For Your 3D Printer Filament
hackaday.com·2d
🚀JIT Compilation