Automated Conformance Testing Through Hybrid Symbolic Execution & Reinforcement Learning
dev.to·4d·
Discuss: DEV
🧪Test DSLs
I built a Go framework: Anclax
github.com·4h·
Discuss: Hacker News
🐹Go Runtime
Hacking with AI SASTs: An Overview of 'AI Security Engineers' / 'LLM Security S
joshua.hu·3h·
Discuss: Lobsters, Hacker News
🧪Testing Compilers
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·5h·
Discuss: Hacker News
⚡Algebraic Effects
EP181: How Java Works
blog.bytebytego.com·20h
⚡Live Programming
Computationally-Sound Symbolic Cryptography in Lean
eprint.iacr.org·2d
∫Symbolic Math
Rewriting the Hydra Queue Runner in Rust (nixcon2025)
cdn.media.ccc.de·1d
🚂Cranelift IR
Better performance with claude if you remind it is lazy and makes mistakes
reddit.com·14h·
Discuss: r/ClaudeAI
🚀Code Motion
Building a Debugger • Sy Brand & Tim Misiak
youtube.com·1d
🐛Interactive Debuggers
Exploring chained operations and order of evaluation in python expressions
dev.to·23h·
Discuss: DEV
🔗Lexical Scoping
Obscure feature + obscure feature + obscure feature = bug
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔮Type Inference Visualization
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·22h·
Discuss: Hacker News
🐛Interactive Debuggers
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
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
arxiv.org·3d
⏭️Skip Lists
Tutorial Introduction to Guile
gnu.org·20h·
Discuss: Hacker News
🎭Racket
Beyond Testing: Modern Strategies in Automated Software Testing
dev.to·16h·
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·12h·
Discuss: Hacker News
⚡Tokenizer Optimization
Fail loudly: a plea to stop hiding bugs
alejo.ch·1d·
Discuss: r/programming
🚂Error Propagation