📐 Type Theory

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

We are building AI slaves. Alignment through control will fail
utopai.substack.com·2d·
Discuss: Substack
🌐Distributed Systems
Flag this post
Just Use a Button
gomakethings.com·1d·
Discuss: Lobsters, Hacker News
🧩WebAssembly
Flag this post
Multitasking On The Humble Z80 CPU
hackaday.com·5h
⚙️Systems Programming
Flag this post
From 400 Mbps to 1.7 Gbps: A WiFi 7 Debugging Journey
blog.tymscar.com·14h·
Discuss: Hacker News
🔍eBPF
Flag this post
This Week in Security: Vibecoding, Router Banning, and Remote Dynamic Dependencies
hackaday.com·1d
🔍eBPF
Flag this post
The AI bubble has reached its ‘fried chicken’ phase
ft.com·2d·
Discuss: Hacker News
🤖ai
Flag this post
You Don't Need Anubis
fxgn.dev·6h·
Discuss: Hacker News
🤖ai
Flag this post
Immutable releases are now generally available on GitHub
github.blog·1d·
Discuss: Hacker News
❄️Nix
Flag this post
SwirlDB: Modular-first, CRDT-based embedded database
docs.swirldb.org·4d·
Discuss: Hacker News
🧩WebAssembly
Flag this post
Who needs Graphviz when you can build it yourself?
spidermonkey.dev·4d·
Discuss: Lobsters, Hacker News, Hacker News
⚡Zig
Flag this post
CLI to manage your SQL database schemas and migrations
github.com·3h·
Discuss: Hacker News
💾Databases
Flag this post
How We Found 7 TiB of Memory Just Sitting Around
render.com·2d·
Discuss: Lobsters, Hacker News
⚡Zig
Flag this post
Show HN: Deep Research Hacker News, ArXiv and Google (Without LLMs)
sturdystatistics.com·4d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·4d·
Discuss: Hacker News
⚡Zig
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
On Having a Data Object
natemeyvis.com·5d·
Discuss: Hacker News
🔄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
Apple Plans To Open-Source An LLVM Tool To Security Harden Large C++ Codebases
phoronix.com·3d·
Discuss: Hacker News, Hacker News
⚡Zig
Flag this post
AI Broke Interviews
yusufaytas.com·12h·
Discuss: Hacker News
🤖ai
Flag this post
JS/TS Functions Orchestrator
github.com·5d·
Discuss: Hacker News
💻programming
Flag this post