English - the hottest programming language of the future
dev.to·9h·
Discuss: DEV
🔄Language Evolution
Let's Write a Macro in Rust
hackeryarn.com·11h·
Discuss: Hacker News
🦀Rust Macros
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·19h
📞Session Types
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·3h
🌊Stream Processing
Announcing coreboot 25.09 release
blogs.coreboot.org·3h
🔌Operating system internals
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·13h·
Discuss: Hacker News
🌐Protocol Synthesis
My First Week of Vibecoding
underreacted.leaflet.pub·44m·
Discuss: Hacker News
🎯Gradual Typing
Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.com·8h·
Discuss: rescue1130.blogspot.com
🛠️Greaseweazle
Open Lineage
usenix.org·23h
🔌Interface Evolution
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
A disenshittification moment from the land of mass storage
doctorow.medium.com·15h
🧲Magnetic Philosophy
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·23h
🔗Graph Isomorphism
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·3d
🔓Decompilation
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·4h·
Discuss: Hacker News
⚡Proof Automation
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·1d
🌊Streaming Systems
Codeminer42 Dev Weekly #82
blog.codeminer42.com·10h
🎯Gradual Typing
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs