English - the hottest programming language of the future
dev.to·4h·
Discuss: DEV
🔄Language Evolution
Let's Write a Macro in Rust
hackeryarn.com·6h·
Discuss: Hacker News
🦀Rust Macros
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·14h
📞Session Types
Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.com·3h·
Discuss: rescue1130.blogspot.com
🛠️Greaseweazle
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
Open Lineage
usenix.org·18h
🔌Interface Evolution
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·8h·
Discuss: Hacker News
🌐Protocol Synthesis
A disenshittification moment from the land of mass storage
doctorow.medium.com·10h
🧲Magnetic Philosophy
2025-10-10 # LLMs Are Transpilers
alloc.dev·22h·
Discuss: Hacker News
🔄Language Evolution
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·18h
🔗Graph Isomorphism
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Codeminer42 Dev Weekly #82
blog.codeminer42.com·4h
🎯Gradual Typing
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·3d
🔓Decompilation
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·22h
🌊Streaming Systems
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Experimenting with ACL2 and Claude Code
mikedodds.org·10h·
Discuss: Hacker News
👑Isabelle
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·22h·
Discuss: Hacker News
🌊Stream Processing
A new breed of analyzers
daniel.haxx.se·10h·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
A Manifesto for the Programming Desperado
github.com·6h·
Discuss: Hacker News
💻Programming languages