🐛 Fuzzing

Property-Based Testing, Input Generation, Crash Discovery, Security Testing

Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·14h·
Discuss: Hacker News
⚡Proof Automation
Systematic LLM Prompt Engineering Using DSPy Optimization
towardsdatascience.com·11h
⚡Proof Automation
Over-Engineering Sleep
matt.blwt.io·1d
🐚Bash FP
Teaching programming languages
kmjn.org·16h
💻Programming languages
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·40m
🗂️Vector Databases
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·1d·
Discuss: Hacker News
🔗Concatenative Languages
AI, creating more problems than it solves?
aardvark.co.nz·1d
🤖AI Curation
Shelling Out Is Selling Out
petersobot.com·2h·
Discuss: Hacker News
🎞️MKV Forensics
Builder Pattern in CDK
medium.com·9h·
Discuss: Hacker News
🧱Immutable Infrastructure
Safe Is What We Call Things Later: Some Software Engineering Folklore
worksonmymachine.ai·1d·
Discuss: Hacker News
⚙️Proof Engineering
I am smarter than ChatGPT (at Clues by Sam)
goose.leaflet.pub·8h·
Discuss: Hacker News
🔲Cellular Automata
Quality Precision
lesswrong.com·10h·
Discuss: Hacker News
✅FLAC Verification
My Current AI Dev Workflow
steipete.me·19h
⚡Proof Automation
Automate the Testing of Your LLM Prompts
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·40m
🔧Hardware Verification
Show HN: RAG-Guard: Zero-Trust Document AI
github.com·6h·
Discuss: Hacker News
🤖Archive Automation
Greed, a financial tracker - My first real project deployed
reddit.com·1d·
Discuss: r/golang
🚀Indie Hacking
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·12h·
Discuss: DEV
🔒Type Safety