📐 Type Theory

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

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
A Speed Loader For Your 3D Printer Filament
hackaday.com·2d
🚀JIT Compilation
Linux 6.17 Making Kdump Crash Kernel More Reliable, Less Wasted Memory
phoronix.com·4d
⚡Zero-Copy
AI Teammates for for Revenue Teams
news.ycombinator.com·6d·
Discuss: Hacker News
🤖ai
F2FS Sees New Improvements Merged For Linux 6.17 While Bcachefs Languishes
phoronix.com·3d
⚡Zero-Copy
The Tape Speed Keyboard
hackaday.com·3d
📡Protocol Design
Student Drone Flies, Submerges
hackaday.com·3d
💻programming
Linux 6.17 SoundWire Support Extended To Upcoming AMD ACP 7.2 Hardware
phoronix.com·1d
⚙️Systems Programming
ChatGPT Chats Got Indexed. OpenAI Took Them Down, but the Internet Remembers
growtika.com·5d·
Discuss: Hacker News, Hacker News
🔗P2P Networks
Intel Phasing Out 16x MSAA Support - Being Disabled With Xe3 Graphics
phoronix.com·1d·
Discuss: r/hardware
⚡Zero-Copy
Open Source 5-Axis Printer Has Its Own Slicer
hackaday.com·4d
🧩WebAssembly
Ubuntu 24.04.3 LTS Released With Linux 6.14 HWE Kernel
phoronix.com·1d·
Discuss: r/linux
🔍eBPF
Linux 6.17 KVM Additions Include Intel LKGS From FRED, Smarter AMD SEV Cache Flushing
phoronix.com·1d
⚡Zero-Copy
Palantir: The Most Evil Company
politicaleconomist.substack.com·5d·
Discuss: Substack
🔍eBPF
Bourdain, My Camera, and Me (2021)
melaniedunea.com·4d·
Discuss: Hacker News
🦀rust
A DIY Fermenter for Flavorful Brews
hackaday.com·5d
🧩WebAssembly
Apple HFS/HFS+ File-System Drivers See Many Fixes In Linux 6.17
phoronix.com·5d
❄️Nix
AI promised efficiency. Instead, it's making us work harder
afterburnout.co·4d·
Discuss: Hacker News
🤖ai