Greyscale-box test-driven development
blog.ploeh.dk·16h
🧪Compiler Testing
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·7h
🌱Forth Kernels
One... Two... Testing
dev.to·3d·
Discuss: DEV
🎲Test Generators
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·15h·
Discuss: Hacker News
🏗️Cranelift
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·7h
🔧Scheme Macros
Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.to·15h·
Discuss: DEV
🎲Test Generators
Test state, not interactions
rednafi.com·2d·
Discuss: r/golang
🧪Compiler Testing
Balance between refactoring and inheritance in your code
github.com·23h·
Discuss: Hacker News
🧪Compiler Testing
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·10h·
Discuss: DEV
🧪Compiler Testing
Model Kombat by HackerRank
producthunt.com·7h
🏁Language Benchmarks
How to Debug Chez Scheme Programs (2002)
scheme.com·14h·
Discuss: Hacker News
💬Error Message Design
Stop LLM Overkill: My 7-Step Reviewer/Refactor Loop
reddit.com·23h·
Discuss: r/ClaudeAI
🚀Code Motion
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·13h
🎮Language Ergonomics
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·3h
🗺️Region Inference
Ever copy code and watch it fail for no reason? I made a scrubber for that 🧽
codecleanse.us·18h·
Discuss: r/programming
✨Code Formatters
Semantic Dictionary Encoding
falvotech.com·21h·
Discuss: Hacker News
🗂️Type Indexing
Introducing the Constexpr Debugger
blog.jetbrains.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🔍Debugging Compilers
Unit test isolation using MVCC
blog.alexsanjoseph.com·22h·
Discuss: Hacker News
🧪Compiler Testing
BBD report reveals strategic imperative of modern software testing in AI era
itweb.co.za·3h
🧪Test DSLs
The three game-changing features of JDK 25
infoworld.com·2h
⚡Interpreter Optimization