Reproducing the AWS Outage Race Condition with a Model Checker
🔄Protocol State Machines
Flag this post
Solving a problem with mindware
lesswrong.com·15h
🏰Capability Machines
Flag this post
Labs for Broke – EKS for Pennies
🖥️Minimal VMs
Flag this post
Changelog #300
⚙️TOML Parsers
Flag this post
Retrospectives
lucasfcosta.com·2d
⚡JIT Optimizations
Flag this post
How Data 360 Vector Search Delivers Near Real-Time Intelligence on 90% of Enterprise Data
engineering.salesforce.com·14h
📋JSON Parsing
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·12h
📊Log Parsers
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.com·1d
🎮Language Ergonomics
Flag this post
Learning C As An Intermediate
🎓Teaching Compilers
Flag this post
After the Last Git Commit
🥾Bootstrapping Strategies
Flag this post
I built pihole-dnspropagate — a tool for local DNS/CNAME sync across multiple Pi‑hole instances (and a case-study in AI-driven development)
🔄Bootstrapping
Flag this post
Proactive DDoS Detection and Mitigation in Decentralized Software-Defined Networking via Port-Level Monitoring and Zero-Training Large Language Models
arxiv.org·1h
🌐Network Protocols
Flag this post
Building an AI Code Helper Agent with Mastra Framework and Telex.im Integration
🎮Language Ergonomics
Flag this post
Production-Ready Rate Limiter in Go: From Side Project to Distributed System
⏱️Real-Time GC
Flag this post
Schaltwerk – The IDE Without Editor
🚂Cranelift Backend
Flag this post
JetBrains ReSharper for Visual Studio
🚚Code Migration
Flag this post
Iterative Cut-Based PWA Approximation of Multi-Dimensional Nonlinear Systems
arxiv.org·1h
⚡Control Synthesis
Flag this post
Loading...Loading more...