📐 Type Theory

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

openSUSE Leap 16.0 Enters RC Phase With New Installer, Xfce On Wayland Option
phoronix.com·4d
❄️Nix
Happy Birthday 6502
hackaday.com·4d·
Discuss: Hacker News
⚙️Systems Programming
Keyboard Hero: A Barebones Alternative To The Guitar Version
hackaday.com·5d
🤖ai
2025 One Hertz Challenge: Learn Morse Code One Second at a Time
hackaday.com·6d
🔨Compilers
NetBSD 11.0 Preparing For Release With Improved Linux Emulation, Better RISC-V Support
phoronix.com·4d·
Discuss: Hacker News, r/linux
❄️Nix
A Carnival Attraction That Saved Premature Babies
smithsonianmag.com·6d·
Discuss: Hacker News
🦀rust
On Window Activation
blog.broulik.de·4d·
Discuss: Hacker News
🔍eBPF
Rising Young Worker Despair in the United States
nber.org·5d·
Discuss: Hacker News
🦀rust
An ATTiny GPU Fan Controller That Sticks
hackaday.com·6d
⚡Zero-Copy
An Ode to the Aesthetic of Light in 1024 Pixels
hackaday.com·6d
🔍eBPF
Intel QuickAssist Hit By Second Demotion In Linux 6.17 Due To Lack Of Kernel Benefit
phoronix.com·5d
⚡Zero-Copy
2025 One Hertz Challenge: Blinking an LED the Very Old Fashioned Way
hackaday.com·3d
🚀JIT Compilation
Children's movie leads art historian to long-lost Hungarian masterpiece (2014)
theguardian.com·5d·
Discuss: Hacker News
🤖ai
The US Military Is Raking in Millions From On-Base Slot Machines
wired.com·4d·
Discuss: Hacker News
🦀rust
Microsoft tops $4T in valuation: Great news for MSFT, not so great for workers
computerworld.com·4d·
Discuss: Hacker News
⚙️Systems Programming
GNOME Shell 49 Beta Brings Restart/Shutdown Support To The Lock Screen
phoronix.com·4d
⚙️Systems Programming
Rebuilt Batteries for the Cutest Clamshell at the Cafe
hackaday.com·5d
🦀rust
FEX 2508 Delivers Major Speedups For x86_64 Binaries On ARM: 39% Faster Cyberpunk 2077
phoronix.com·6d
⚡Zero-Copy
Why Cheap Digital Microscopes are Pretty Terrible
hackaday.com·5d
🔍eBPF
Linux 6.17 Memory Management Optimizations, DAMON_STAT & Other Improvements
phoronix.com·6d
⚡Zero-Copy