📐 Type Theory

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

New AMD Zen 6 Linux Patches Posted - Confirming Up To 16 Memory Channels
phoronix.com·8h
🔄Concurrency
Australia’s Space Program Finally Gets Off The Pad, But Only Barely
hackaday.com·1d
❄️Nix
<div xmlns="http://www.w3.org/1999/xhtml"> The X11 SECURITY extension from the 1990ies </div>
uninformativ.de·5d·
Discuss: Hacker News
❄️Nix
Intel Xe Enabling SR-IOV PF By Default, Marking Driver As "Broken" For Non-4K Kernels
phoronix.com·1d
⚙️Systems Programming
AlmaLinux Introduces Native NVIDIA Support Using Open-Source Kernel Driver
phoronix.com·1d·
Discuss: Hacker News
⚙️Systems Programming
Termagotchi – A terminal-based Tamagotchi simulation written in Go
github.com·5d·
Discuss: Hacker News
🤖ai
The "cracked coder" fetish: Epistemic arrogance in Silicon Valley
maxread.substack.com·5d·
Discuss: Substack
⚡Zig
I couldn't submit a PR, so I got hired and fixed it myself
skeptrune.com·6d·
Discuss: Lobsters, Hacker News
🧩WebAssembly
When Disney Went Digital
animationobsessive.substack.com·4d·
Discuss: Substack
🤖ai
The Fulbright Program: Chock Full of Bright Ideas
bastian.rieck.me·6d·
Discuss: Hacker News
🔒Cryptography
Redox OS Recently Saw 500~700% Performance Improvement For Basic File I/O
phoronix.com·14h
⚡Zero-Copy
Create personal illustrated storybooks in the Gemini app.
blog.google·2d·
Discuss: Hacker News, r/Android
🤖ai
Ana Marie Cox on the Shaky Foundation of Substack as a Business
newsletter.anamariecox.com·5d·
Discuss: Hacker News
⚙LLVM
Belgium’s Arrest of IDF Soldiers Could Be a Watershed Moment
jacobin.com·3d·
Discuss: Hacker News
✅Formal Methods
AI Turns Drone Footage into Disaster Response Maps in Minutes
stories.tamu.edu·6d·
Discuss: Hacker News
🤖ai
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·3d
🔍eBPF