Automated Conformance Testing Through Hybrid Symbolic Execution & Reinforcement Learning
dev.to·4d·
Discuss: DEV
🧪Test DSLs
Obscure feature + obscure feature + obscure feature = bug
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🔮Type Inference Visualization
EP181: How Java Works
blog.bytebytego.com·16h
⚡Live Programming
Rewriting the Hydra Queue Runner in Rust (nixcon2025)
cdn.media.ccc.de·1d
🚂Cranelift IR
Building a Debugger • Sy Brand & Tim Misiak
youtube.com·1d
🐛Interactive Debuggers
Better performance with claude if you remind it is lazy and makes mistakes
reddit.com·9h·
Discuss: r/ClaudeAI
🚀Code Motion
Computationally-Sound Symbolic Cryptography in Lean
eprint.iacr.org·2d
∫Symbolic Math
Exploring chained operations and order of evaluation in python expressions
dev.to·18h·
Discuss: DEV
🔗Lexical Scoping
Automated Anomaly Detection & Root Cause Analysis in Distributed Transactional Systems via Causal Graph Embedding
dev.to·1d·
Discuss: DEV
🚂Error Propagation
Replay - Time Travel Browser DevTools
replay.io·17h·
Discuss: Hacker News
🐛Interactive Debuggers
Towards Robust Agentic CUDA Kernel Benchmarking, Verification, and Optimization
arxiv.org·2d
📡Erlang BEAM
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com·1d·
Discuss: r/programming
🌳Pattern Match Compilation
Tutorial Introduction to Guile
gnu.org·15h·
Discuss: Hacker News
🎭Racket
UniPwn: Unitree Humanoid Robot BLE Service Command Injection Analysis
github.com·14h·
Discuss: Hacker News
🌐Network Protocols
Beyond Testing: Modern Strategies in Automated Software Testing
dev.to·11h·
Discuss: DEV
🧪Test DSLs
Enhanced verification of safety and security for advanced driver assistance systems
sciencedirect.com·2d
🎯Finite Automata
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·8h·
Discuss: Hacker News
⚡Tokenizer Optimization
Fail loudly: a plea to stop hiding bugs
alejo.ch·1d·
Discuss: r/programming
🚂Error Propagation
Some Notes I Took on Software Architecture
lautarolobo.xyz·1d·
Discuss: Hacker News, r/programming
🔄Bootstrapping
AI Unified Process - AIUP
aiup.dev·13h·
Discuss: Hacker News
🎭Program Synthesis