Greyscale-box test-driven development
blog.ploeh.dk·12h
🧪Compiler Testing
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·3h
🌱Forth Kernels
One... Two... Testing
dev.to·2d·
Discuss: DEV
🎲Test Generators
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·10h·
Discuss: Hacker News
🏗️Cranelift
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·3h
🔧Scheme Macros
Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.to·10h·
Discuss: DEV
🎲Test Generators
Test state, not interactions
rednafi.com·1d·
Discuss: r/golang
🧪Compiler Testing
Balance between refactoring and inheritance in your code
github.com·19h·
Discuss: Hacker News
🧪Compiler Testing
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·5h·
Discuss: DEV
🧪Compiler Testing
Model Kombat by HackerRank
producthunt.com·3h
🏁Language Benchmarks
How to Debug Chez Scheme Programs (2002)
scheme.com·10h·
Discuss: Hacker News
💬Error Message Design
Stop LLM Overkill: My 7-Step Reviewer/Refactor Loop
reddit.com·19h·
Discuss: r/ClaudeAI
🚀Code Motion
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·9h
🎮Language Ergonomics
Semantic Dictionary Encoding
falvotech.com·16h·
Discuss: Hacker News
🗂️Type Indexing
Ever copy code and watch it fail for no reason? I made a scrubber for that 🧽
codecleanse.us·14h·
Discuss: r/programming
Code Formatters
Introducing the Constexpr Debugger
blog.jetbrains.com·23h·
🔍Debugging Compilers
Unit test isolation using MVCC
blog.alexsanjoseph.com·18h·
Discuss: Hacker News
🧪Compiler Testing
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
🧩Constraint Solvers
Symmetric MultiProcessing, Hyper-Threading and scheduling on Maestro
blog.lenot.re·23h
Instruction Fusion
Functional Patterns Don't Fit JavaScript, Embracing Model View Controller
bonaroo.nl·17h·
Discuss: Hacker News
🏛️Elm Architecture