To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·2h
🧮Z3 Solver
When Tests Become the Bottleneck
blog.testthetest.com·18h·
Discuss: Hacker News
🔍Concolic Testing
Python Fundamentals: build
dev.to·18h·
Discuss: DEV
🔄Reproducible Builds
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Continuous Testing Strategies That Actually Prevent Production Bugs
devops.com·1d
🔍Concolic Testing
A distributed systems reliability glossary
antithesis.com·15h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
AI Test User
incoherency.co.uk·18h
⚡Proof Automation
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·16h
🦀Rust Verification
Checking data integrity
eclecticlight.co·18m
✅Checksum Validation
Students, here are 5 key things to know when learning how to train large language models
techradar.com·13h
💻Local LLMs
Status update, 15/07/2025
samthursfield.wordpress.com·11h
🐧FOSS
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·2d·
Discuss: r/programming
✅Format Verification
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·9h·
Discuss: Hacker News
🎯Interactive Provers
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·6h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
A Rust shaped hole
ente.io·2d
🦀Rust Macros
A New Breed of Chatbots Are Quietly Changing Product Management
hackernoon.com·1d
🌀Brotli Internals
ChatGPT vs. Lawyers
legaladvicenow.ai·15h·
Discuss: Hacker News
⚡Proof Automation