⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Greyscale-box test-driven development
blog.ploeh.dk·23m
🧪Property-Based Testing
A Guide to the Claude 4 and ChatGPT 5 System Prompts
fortelabs.com·6h
🌳Incremental Parsing
RFS for AI Alignment
fiftyyears.com·1h·
Discuss: Hacker News
🎯Threat Hunting
The Data Backbone of LLM Systems
infoq.com·4d·
Discuss: Lobsters
🔗Constraint Handling
Designing Scalable Data Architectures for AI
dev.to·10h·
Discuss: DEV
🌊Stream Processing
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·4d·
Discuss: Hacker News
🔤Type Theory
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·22h·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Teaching AI to Blog: My Journey into Agentic AI Development — Part 1
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Building an IoT Product – The Product(ion) Feedback Loop (2021)
medium.com·2h·
Discuss: Hacker News
⚙️DIY Electronics
built fasterpc bc i was frustrated with the usual distributed service comms, no more rest apis, or heavy MQs
github.com·21h
⚡gRPC
Disaggregated Inference at Scale with PyTorch and VLLM
pytorch.org·1d·
Discuss: Hacker News
⚡LZ4 Streaming
LLMs on a Shoestring: The Dynamic Cache Advantage by Arvind Sundararajan
dev.to·9h·
Discuss: DEV
💨Cache Optimization
The mistake I made with my first AI Agent (and the simpler fix)
reddit.com·19h·
Discuss: r/artificial
⚔️Lean Tactics
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·15h
📋Document Grammar
Building software that survives contact with reality
complexsystemspodcast.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Stop Coding. Start Writing
rgoldfinger.com·1d·
Discuss: Hacker News
🔩Systems Programming
LAVa: Layer-wise KV Cache Eviction with Dynamic Budget Allocation
arxiv.org·15h
💻Local LLMs
Optimized Modbus RTU Data Validation via Hybrid Markov & Bayesian Filtering
dev.to·9h·
Discuss: DEV
🔧Hardware Verification
Building multi-agent tools for engineering
newstoretech.substack.com·3d·
Discuss: Substack
👁️System Observability
Generating Individual Travel Diaries Using Large Language Models Informed by Census and Land-Use Data
arxiv.org·15h
🎙️Whisper