📐 Type Theory

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

Fil-C: A memory-safe C implementation
lwn.net·3d·
Discuss: Hacker News
⚡Zig
Flag this post
Emergent Introspective Awareness in Large Language Models
transformer-circuits.pub·2d·
Discuss: Hacker News, r/LocalLLaMA
🤖ai
Flag this post
Reasoning Models Reason Well, Until They Don't
arxiv.org·4d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·1d·
Discuss: Hacker News
🔄Concurrency
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·6h·
Discuss: Hacker News
⚡Zig
Flag this post
Debug like a boss: 10 debugging hacks for developers, quality engineers, testers
ministryoftesting.com·1d·
Discuss: Hacker News
⚡Zig
Flag this post
The cryptography behind electronic passports
blog.trailofbits.com·1d·
Discuss: Hacker News
🔒Cryptography
Flag this post
OpenAI updates terms to forbid usage for medical and legal advice
openai.com·20h·
Discuss: Hacker News
🔍eBPF
Flag this post
Pangolin (YC S25) Is Hiring a Full Stack Software Engineer (Open-Source)
docs.pangolin.net·1d·
Discuss: Hacker News
⚙LLVM
Flag this post
SpiderMonkey Garbage Collector
firefox-source-docs.mozilla.org·3d·
Discuss: Hacker News
⚡Zero-Copy
Flag this post
The ear does not do a Fourier transform
dissonances.blog·2d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
Estimating the Perceived 'Claustrophobia' of New York City's Streets
mfranchi.net·2d·
Discuss: Hacker News
🔗P2P Networks
Flag this post
Show HN: Front End Fuzzy and Substring and Prefix Search
github.com·3d·
Discuss: Hacker News
💾Databases
Flag this post
Just Use a Button
gomakethings.com·1d·
Discuss: Lobsters, Hacker News
🧩WebAssembly
Flag this post
We are building AI slaves. Alignment through control will fail
utopai.substack.com·1d·
Discuss: Substack
🌐Distributed Systems
Flag this post
The AI bubble has reached its ‘fried chicken’ phase
ft.com·1d·
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
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
SwirlDB: Modular-first, CRDT-based embedded database
docs.swirldb.org·3d·
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