📐 Type Theory

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

How We Found 7 TiB of Memory Just Sitting Around
render.com·3d·
Discuss: Lobsters, Hacker News
⚡Zig
Flag this post
CLI to manage your SQL database schemas and migrations
github.com·17h·
Discuss: Hacker News
💾Databases
Flag this post
Show HN: Deep Research Hacker News, ArXiv and Google (Without LLMs)
sturdystatistics.com·5d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·5d·
Discuss: Hacker News
⚡Zig
Flag this post
On Having a Data Object
natemeyvis.com·6d·
Discuss: Hacker News
🔄Concurrency
Flag this post
Why do AI models use so many em-dashes?
seangoedecke.com·3d·
Discuss: Hacker News, Hacker News, Hacker News
🤖ai
Flag this post
Introducing SWE-1.5: Our Fast Agent Model
simonwillison.net·3d
🔄Concurrency
Flag this post
Ask HN: Do you have an aversion to recent TLDs?
news.ycombinator.com·1d·
Discuss: Hacker News
🦀rust
Flag this post
Supercon 2025: Streaming Live
hackaday.com·1d
🌐Distributed Systems
Flag this post
2025 Component Abuse Challenge: A Transistor As A Voltage Reference
hackaday.com·1d
🔍eBPF
Flag this post
Linux gamers on Steam finally cross over the 3% mark
gamingonlinux.com·9h·
Discuss: Hacker News, r/SteamDeck
❄️Nix
Flag this post
Apple Plans To Open-Source An LLVM Tool To Security Harden Large C++ Codebases
phoronix.com·4d·
Discuss: Hacker News, Hacker News
⚡Zig
Flag this post
JS/TS Functions Orchestrator
github.com·6d·
Discuss: Hacker News
💻programming
Flag this post
Chat Control proposal fails again after public opposition
andreafortuna.org·1d·
Discuss: Hacker News
🔍eBPF
Flag this post
From VS Code to Helix
ergaster.org·4d·
Discuss: Lobsters, Hacker News, r/programming
🧩WebAssembly
Flag this post
A URL to respond with when your boss says "But ChatGPT Said "
stopcitingai.com·4d·
Discuss: Hacker News, r/InternetIsBeautiful, r/webdev
🤖ai
Flag this post
Perfetto: Swiss Army Knife for Linux Client Tracing
lalitm.com·2d·
Discuss: Lobsters, Hacker News, r/linux
🔄Concurrency
Flag this post
OpenAI Moves To Complete Potentially The Largest Theft In Human History
thezvi.substack.com·2d·
Discuss: Substack
🤖ai
Flag this post
Keeping the Internet fast and secure: introducing Merkle Tree Certificates
blog.cloudflare.com·5d·
Discuss: Hacker News, Hacker News
🔒Cryptography
Flag this post
AI Broke Interviews
yusufaytas.com·1d·
Discuss: Hacker News, r/programming
🤖ai
Flag this post