The Math Is Haunted
overreacted.io·3d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
📐Type Theory
Trying out Qwen3 Coder Flash using LM Studio and Open WebUI and LLM
simonwillison.net·1d
🧩WebAssembly
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Zig
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·2d·
Discuss: Hacker News
⚡Zig
Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·1d·
Discuss: Hacker News, r/programming
⚙LLVM
Comprehensive Overview of the Identity Management Ecosystem in 2025
guptadeepak.com·1d·
Discuss: DEV, Hacker News
🔒Cryptography
Formal specs as sets of behaviors
surfingcomplexity.blog·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
📐Type Theory
A Periodic Table of System Design Principles
github.com·3d·
Discuss: Hacker News
🔄Concurrency
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·8h·
Discuss: Lobsters, Hacker News
⚡Zig
Vibe Coding Is the Fast Fashion Industry of Software Engineering
pdelboca.me·14h·
Discuss: Hacker News
💻programming
Introduction to Computer Music an Electronic Textbook
cmtext.com·1d·
Discuss: Hacker News
🧮Functional Programming
Raspberry Pi RP2350 A4 Stepping Addresses E9 Current Leakage Bug
hackaday.com·19h
🔍eBPF
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
⚡Zig
Deferred Unwinder Code Upstreamed For Linux 6.17 On Road To SFrame Support
phoronix.com·5h
⚡Zig
Does the Bitter Lesson Have Limits?
dbreunig.com·8h·
Discuss: Hacker News
🤖ai
At 17, Hannah Cairo Solved a Major Math Mystery
quantamagazine.org·10h·
Discuss: Hacker News
📐Type Theory
Ergonomic keyboarding with the Svalboard: a half-year retrospective
twey.io·7h·
Discuss: Hacker News
🧩WebAssembly
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·3d·
Discuss: Lobsters, Hacker News
🧩WebAssembly
A Retrospective on Paradigms of AI Programming (2002)
norvig.com·5d·
Discuss: Hacker News
🧮Functional Programming
From XML to JSON to CBOR
cborbook.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧩WebAssembly