📐 Type Theory

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

Vibe Coding Is the Fast Fashion Industry of Software Engineering
pdelboca.me·4d·
Discuss: Hacker News
💻programming
Gemini Embedding: Powering RAG and context engineering
developers.googleblog.com·6d·
Discuss: Hacker News
🔨Compilers
GenosDB (GDB) – Decentralized P2P Graph Database
npmjs.com·6d·
Discuss: Hacker News, Hacker News
🔗P2P Networks
The Rickover Corpus: A digital archive of Admiral Rickover's speeches and memos
rickovercorpus.org·4d·
Discuss: Hacker News
📡Protocol Design
Show HN: Sourcebot, the self-hosted Perplexity for your codebase
github.com·6d·
Discuss: Hacker News
🚀JIT Compilation
When Disney Went Digital
animationobsessive.substack.com·2d·
Discuss: Substack
🤖ai
Blog series on creating an OS in Rust
os.phil-opp.com·6d·
Discuss: Hacker News
⚡Zig
<div xmlns="http://www.w3.org/1999/xhtml"> The X11 SECURITY extension from the 1990ies </div>
uninformativ.de·3d·
Discuss: Hacker News
❄️Nix
AI Teammates for for Revenue Teams
news.ycombinator.com·3d·
Discuss: Hacker News
🤖ai
Secuso – Our Farewell from Google Play
secuso.aifb.kit.edu·4d·
Discuss: Hacker News
🌐Distributed Systems
The "cracked coder" fetish: Epistemic arrogance in Silicon Valley
maxread.substack.com·3d·
Discuss: Substack
⚡Zig
I couldn't submit a PR, so I got hired and fixed it myself
skeptrune.com·4d·
Discuss: Lobsters, Hacker News
🧩WebAssembly
GNOME Mutter 49 Beta Released With Pointer Warp Protocol, Wayland Fixes
phoronix.com·2d
🧩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·15h·
Discuss: Hacker News
⚡Zero-Copy
AI Turns Drone Footage into Disaster Response Maps in Minutes
stories.tamu.edu·4d·
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·1d
❄️Nix
The Crisis of Professional Skepticism
mitchhorowitz.substack.com·4d·
Discuss: Substack
🔒Cryptography