Property-based testing of batch-invariant operations
mmaaz.ca·4h·
Discuss: Hacker News
🧪Property-Based Testing
Engineering Nirvana: When Valves Speak the Language of Code
dev.to·3h·
Discuss: DEV
⚙️Proof Engineering
Why Reactive Programming Hasn't Taken Off in Python (and Why Signals)
bui.app·4h·
Discuss: Hacker News
Effectful Programming
Three important things to get right for successful AI Coding
kau.sh·10h
Proof Automation
Callbacks in C++ Using Template Functors – Rich Hickey (1994)
tutok.sk·9h·
Discuss: Hacker News
⬆️Lambda Lifting
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
🔗Functional Compilers
Higher-Level Design Patterns
qouteall.fun·2d·
Discuss: Hacker News
Effect Handlers
Building Effective Text-to-3D AI Agents: A Hybrid Architecture Approach
addy.rocks·39m·
Discuss: Hacker News
🧮SMT Solvers
Souvenir
deprogrammaticaipsum.com·34m
🔩Systems Programming
Estimated tokens to merge (ETM) & other notes
gmays.com·8h
🌀Brotli Internals
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·8h·
Discuss: Hacker News
🧮Algebraic Datatypes
Two thought experiments
surfingcomplexity.blog·22h
👁️System Observability
A grand week
blog.mitrichev.ch·14h·
🧮SMT Solvers
Automated Harmonic Oscillation Analysis via Multi-Modal Data Fusion and Predictive Modeling
dev.to·23h·
Discuss: DEV
Effect Systems
How Much Should You Tell Your AI Agent?
raymondyxu.com·9h·
Discuss: Hacker News
Proof Automation
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Ask HN: Systems Development Path
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
Scaling AI-Assisted Development: How Scaffolding Solved My Monorepo Chaos
dev.to·3h·
Discuss: DEV
🔌Interface Evolution
News for September 2025
ptreview.sublinear.info·1d
🧪Property-Based Testing
Seriously Testing LLMs
satisfice.com·2h
🔍Concolic Testing