📐 Type Theory

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

500 virtual Linux devices on ARM 64
underjord.io·6d·
Discuss: Hacker News
⚙️Systems Programming
I couldn't submit a PR, so I got hired and fixed it myself
skeptrune.com·3d·
Discuss: Lobsters, Hacker News
🧩WebAssembly
GNOME Mutter 49 Beta Released With Pointer Warp Protocol, Wayland Fixes
phoronix.com·1d
🧩WebAssembly
The Fulbright Program: Chock Full of Bright Ideas
bastian.rieck.me·4d·
Discuss: Hacker News
🔒Cryptography
Opsqueue: Lightweight batch processing queue for heavy loads – now open-source
channable.com·6d·
Discuss: Lobsters, Hacker News
🔄Concurrency
Ana Marie Cox on the Shaky Foundation of Substack as a Business
newsletter.anamariecox.com·3d·
Discuss: Hacker News
⚙LLVM
exFAT Fixes Significant Random Write Performance Regression With Linux 6.17
phoronix.com·24m
⚡Zero-Copy
AI Turns Drone Footage into Disaster Response Maps in Minutes
stories.tamu.edu·3d·
Discuss: Hacker News
🤖ai
Show HN: MoebiusXBIN – ASCII and text-mode art editor with custom font support
blog.glyphdrawing.club·6d·
Discuss: Hacker News
💻programming
The Crisis of Professional Skepticism
mitchhorowitz.substack.com·3d·
Discuss: Substack
🔒Cryptography
Fire Alarm Disco Party
hackaday.com·1d
🔍eBPF
Show HN: Mcp-use – Connect any LLM to any MCP
github.com·4d·
Discuss: Hacker News
🤖ai
The Dollar Is Dead
mathmeetsmoney.substack.com·1d·
Discuss: Substack
🔄Concurrency
How to reverse engineer an analog chip: the TDA7000 FM radio receiver
righto.com·2d·
Discuss: Hacker News
🔄Concurrency
F2FS Sees New Improvements Merged For Linux 6.17 While Bcachefs Languishes
phoronix.com·15h
⚡Zero-Copy
AWS European Sovereign Cloud to be operated by EU citizens
aboutamazon.eu·18h·
Discuss: Hacker News
🔍eBPF
Texas House Democrats flee state in bid to block GOP proposed congressional map
texastribune.org·1d·
Discuss: Hacker News
🌐Distributed Systems
Open Source 5-Axis Printer Has Its Own Slicer
hackaday.com·23h
🧩WebAssembly
Onshape – Product Development Platform
onshape.com·4d·
Discuss: Hacker News
🧩WebAssembly
Poor child process management in Rust terminal apps leads to terminal corruption
fiveonefour.com·6d·
Discuss: Hacker News, r/programming
⚡Zig