Python’s operator chaining is mildly interesting
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Flag this post
Why SSA?
mcyoung.xyz·13h·
Discuss: Lobsters, Hacker News
🚀Compiler Optimizations
Flag this post
Advanced Self-Aware ed(1)
aartaka.me·8h·
Discuss: r/programming
⚡Proof Automation
Flag this post
A simple way to send emails using Docker and bash
adamfallon.com·10h·
Discuss: Hacker News
🐚Shell Automation
Flag this post
TOLLBOOTH: What's yours, IIS mine
elastic.co·7h
🛡️eBPF Security
Flag this post
Module Functors in OCaml
citizen428.net·23h
λLambda Formalization
Flag this post
EffiReasonTrans: RL-Optimized Reasoning for Code Translation
arxiv.org·3h
🔨Compilers
Flag this post
Trying out concurrency in Go. Small side project, need your thoughts!
github.com·1d
🌊Stream Processing
Flag this post
The Spherical Cows of Programming
programmingsimplicity.substack.com·2d·
Discuss: Substack
🐚Shell Calculus
Flag this post
Platform Engineering: From Theory to Practice • Liz Fong-Jones & Lesley Cordero
youtube.com·19h
🔐Capability Systems
Flag this post
Solving Regex Crosswords with Z3
blog.nelhage.com·17h·
Discuss: Hacker News
🧮Z3 Solver
Flag this post
Building an Open ABI and FFI for ML Systems
tvm.apache.org·6h·
Discuss: Hacker News
🔬Refinement Types
Flag this post
Build your own web-based coding agent
restate.dev·17h·
Discuss: Hacker News
⚙️Proof Engineering
Flag this post
Building and Deploying the Digital Humanities Quarterly Recommender System
journal.code4lib.org·11h
📚Digital Humanities
Flag this post
Move, Destruct, Leak, and Rust
smallcultfollowing.com·5h·
Discuss: Lobsters, Hacker News, r/rust
🔒Type Safety
Flag this post
Spatial DP: Finding the Largest Square
mmhaskell.com·1d
🧬Functional Programming
Flag this post
OpenBSD 7.8 released: Oct 22, 2025
bsdsec.net·5h
🔌Operating system internals
Flag this post
Show HN: FastQR – A Fast C++ QR Code Generator Supporting Batch Processing
news.ycombinator.com·15h·
Discuss: Hacker News
📱QR Archaeology
Flag this post
C Undefined Behavior
eskimo.com·10h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
7 Common Kubernetes Pitfalls (and How I Learned to Avoid Them)
reddit.com·3h·
Discuss: r/kubernetes
📦Container Security
Flag this post