Automated Conformance Testing Through Hybrid Symbolic Execution & Reinforcement Learning
dev.to·4d·
Discuss: DEV
🧪Test DSLs
I built a Go framework: Anclax
github.com·3h·
Discuss: Hacker News
🐹Go Runtime
Hacking with AI SASTs: An Overview of 'AI Security Engineers' / 'LLM Security S
joshua.hu·2h·
Discuss: Lobsters, Hacker News
🧪Testing Compilers
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·4h·
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·13h·
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·22h·
Discuss: DEV
🔗Lexical Scoping
Obscure feature + obscure feature + obscure feature = bug
antithesis.com·1d·
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
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
Beyond Testing: Modern Strategies in Automated Software Testing
dev.to·15h·
Discuss: DEV
🧪Test DSLs
Tutorial Introduction to Guile
gnu.org·20h·
Discuss: Hacker News
🎭Racket
Enhanced verification of safety and security for advanced driver assistance systems
sciencedirect.com·2d
🎯Finite Automata
Fail loudly: a plea to stop hiding bugs
alejo.ch·1d·
Discuss: r/programming
🚂Error Propagation
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·12h·
Discuss: Hacker News
⚡Tokenizer Optimization