Rust's Enterprise Breakthrough Year
rust-trends.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Write Your Own Retro Compiler
t3x.org·3d·
Discuss: Hacker News
⚙️PL Implementation
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·6h·
Discuss: Hacker News
💾Retro Computing
60-Lesson Course Curriculum : Hands-on System Design with Java Spring Boot
javatsc.substack.com·3d·
Discuss: r/programming
🧱Immutable Infrastructure
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·10h·
Discuss: Hacker News
✓Automated Theorem Proving
The bloat of edge-case first libraries
43081j.com·13h·
Discuss: Lobsters, Hacker News
💎Refinement Types
Adventures in C++ Game Architecture
hoboker.substack.com·1d·
Discuss: Substack, r/programming
🔬Static Analysis
Writing Code Is Easy. Reading It Isn't
idiallo.com·1d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Prompt Snapshot Testing
ninkovic.dev·1d·
Discuss: Hacker News
🧪Property-Based Testing
High Dimensional Optimization Remains Hard
win-vector.com·1d·
Discuss: Hacker News
🏹Effect Systems
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·18h·
Discuss: r/programming
🌐NetworkProtocols
Can AI code? Study maps the roadblocks to autonomous software engineering
csail.mit.edu·1d·
Discuss: Hacker News
🔬Static Analysis
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Human vs. JSON output formatting: avoid mixing concerns
blog.liw.fi·2d·
Discuss: Hacker News
🧩Parser Combinators
How Python Implements List Comprehensions
pythonkoans.substack.com·1d·
Discuss: Substack
📐Denotational Semantics
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·1d·
Discuss: Hacker News
👁️System Observability
Agentic AI Runs on Tools
simplicityissota.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
Cloning Myself with AI: Experiments from a Software Manager
medium.com·22h·
Discuss: Hacker News
🔄Reproducible Builds
A Short Introduction to Tor
spec.torproject.org·18h·
Discuss: Hacker News
🌐NetworkProtocols
Clojure's Solutions to the Expression Problem
infoq.com·2d·
Discuss: Hacker News
🐫OCaml