📐 Type Theory

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

The Math Is Haunted
overreacted.io·3d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
✅Formal Methods
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
🧮Functional Programming
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·2d·
Discuss: Hacker News
⚡Zig
A Periodic Table of System Design Principles
github.com·3d·
Discuss: Hacker News
🔄Concurrency
2000 words about arrays and tables
buttondown.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Functional Programming
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·8h·
Discuss: Lobsters, Hacker News
⚡Zig
At 17, Hannah Cairo Solved a Major Math Mystery
quantamagazine.org·10h·
Discuss: Hacker News
🤖ai
Formal specs as sets of behaviors
surfingcomplexity.blog·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
✅Formal Methods
Does the Bitter Lesson Have Limits?
dbreunig.com·8h·
Discuss: Hacker News
🤖ai
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Zig
Trying out Qwen3 Coder Flash using LM Studio and Open WebUI and LLM
simonwillison.net·1d
🧩WebAssembly
Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·1d·
Discuss: Hacker News, r/programming
⚙LLVM
This Week in Security: Spilling Tea, Rooting AIs, and Accusing of Backdoors
hackaday.com·10h
⚡Zig
Deep Agents
blog.langchain.com·4h·
Discuss: Hacker News
🤖ai
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
⚡Zig
Matrix Is Not Safe for EU Data Privacy
wire.com·1d·
Discuss: Hacker News
🔍eBPF
The Untold Impact of Cancellation
pretty.direct·12h·
Discuss: Hacker News
🧮Functional Programming
Introduction to Computer Music an Electronic Textbook
cmtext.com·1d·
Discuss: Hacker News
✅Formal Methods
Comprehensive Overview of the Identity Management Ecosystem in 2025
guptadeepak.com·1d·
Discuss: DEV, Hacker News
✅Formal Methods
Vibe Coding Is the Fast Fashion Industry of Software Engineering
pdelboca.me·14h·
Discuss: Hacker News
💻programming