๐Ÿ› Fuzzing

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

<p>Someone needs to teach washing machine microcontroller engineers about non-volatile memory, so they can build machines that remember the last cycle and wash ...
lmika.orgยท17h
๐Ÿ”ŒMicrocontrollers
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.orgยท1d
๐Ÿฆ€Rust Macros
New Mobile Phone Forensics Tool
schneier.comยท5h
๐Ÿ”Binary Forensics
A distributed systems reliability glossary
antithesis.comยท3dยท
Discuss: Lobsters, Hacker News, r/programming
โœ…Archive Fixity
Cognida.ai Launches Codien: An AI Agent to Modernize Legacy Test Automation and Fast-Track Test Creation
darkreading.comยท1d
๐Ÿ”Concolic Testing
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.devยท1dยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
How to generate a TypeScript SDK for your API spec
buildwithfern.comยท1dยท
Discuss: Hacker News
โšกgRPC
An example of drifting away in dev
mohas.bearblog.devยท19hยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
3 Ways Security Teams Can Minimize Agentic AI Chaos
darkreading.comยท2h
๐Ÿ”Capability Systems
Three unrelated thoughts about working with LLMs
henrycourse.comยท1dยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Relation-Aware Slicing in Cross-Domain Alignment
arxiv.orgยท12h
๐Ÿ”—Parser Combinators
Go seems to accomplish the Zen of Python way better than Python
reddit.comยท5hยท
Discuss: r/golang
๐Ÿ’ปProgramming languages
Python Fundamentals: build
dev.toยท3dยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping
arxiv.orgยท12h
๐ŸŽฏPerformance Proofs
API Simulation Reduces MCP Server, Microservices Overload
thenewstack.ioยท23h
โšกgRPC
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”Quantum Security
Day 38: When Code Feels More Honest Than People
dev.toยท4hยท
Discuss: DEV
๐ŸŽฏGradual Typing
As companies race to add AI, terms of service changes are going to freak a lot of people out
theregister.comยท3hยท
Discuss: Hacker News
๐Ÿ’ฟWORM Storage
Early Detection of Furniture-Infesting Wood-Boring Beetles Using CNN-LSTM Networks and MFCC-Based Acoustic Features
arxiv.orgยท12h
๐ŸŽงLearned Audio
Ghost in the Kernel: Why VoidOS Feels Alive
dev.toยท5hยท
Discuss: DEV
๐Ÿ“ŸTerminals