Automated Validation of Distributed Systems Through Hyper-Scoring and Continuous Code Synthesis
dev.to·4h·
Discuss: DEV
🔍Concolic Testing
Flag this post
Dependencies, Inputs, Outputs: My Shortcut to Write Tests
remy.duthu.org·1d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
CodeSOD: A Truly Bad Comparison
thedailywtf.com·16h
🐚Shell Calculus
Flag this post
Sometimes Assertions
antithesis.com·3h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Modern Perfect Hashing
blog.sesse.net·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
How to organize your Rust tests
blog.logrocket.com·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Scalpel: Automotive Deep Learning Framework Testing via Assembling Model Components
arxiv.org·1d
🐛Fuzzing
Flag this post
Don’t Make Assumptions About Assertions: Even with AI you still have to write your unit tests
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Flag this post
Convert any GitHub repo to coding puzzles
github.com·3h·
Discuss: Hacker News
Proof Automation
Flag this post
Beyond ‘Shift Left’: Improving AI Training Data
thenewstack.io·9h
📏Code Metrics
Flag this post
ACM CCS 2025 Spotlight: How Bad Was The Falcon Bug of 2019?
esat.kuleuven.be·14h
🔐Cryptographic Archaeology
Flag this post
Arranging the PIC Parterre
rastamouse.me·9h
🔗Static Linking
Flag this post
My First Rust Project
binwang.me·18h
🦀Rust Macros
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
How bugs made me believe in TDD
patrickm.de·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
The Limits of LLM-Generated Unit Tests
hackernoon.com·4d
⚔️Lean Tactics
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·1d·
🧪Binary Fuzzing
Flag this post
The New Calculus of AI-Based Coding
blog.joemag.dev·17h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
The Cost of Certainty: Shot Budgets in Quantum Program Testing
arxiv.org·18h
🔍Concolic Testing
Flag this post
I beat Roblox's interview game with Machine Learning
adamkulik.com·4h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post