Testing Our Shopping Apps with AI
newstoretech.substack.com·9h·
Discuss: Substack
⚡Proof Automation
Alignment Monitoring
arxiv.org·23h
⚙️Assembly Verification
SAT Requires Exhaustive Search
link.springer.com·6h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Testing races with a synchronizing Decorator
blog.ploeh.dk·20h
🔄Sync Engine
os-test has been funded by NGI Zero Commons
sortix.org·15h
🔓Open Source Software
Testing File System Code: Mocking, Stubbing, and Test Patterns 9/9
dev.to·2d·
Discuss: DEV
🧪Property-Based Testing
What it’s like to work as a consultant at Test Double
testdouble.com·1d
⚔️Lean Tactics
Hack Smarter: Automate Security Testing with LLMs and the CAI Framework
infosecwriteups.com·22h
🏠Homelab Pentesting
How Dev Teams Are Shipping Faster Without Sacrificing Quality
hackernoon.com·9h
📏Code Metrics
Week 31 Status
blogs.gnome.org·4h
🎯Gradual Typing
Paralegal: Practical Static Analysis for Privacy Bugs
cs.brown.edu·20h·
Discuss: Hacker News
📜Proof Carrying Code
Branch Prediction Demystified
joegm.github.io·4h·
Discuss: Hacker News
⚡CPU Microarchitecture
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
MLE-STAR is designed to automate machine learning pipelines with minimal human input
the-decoder.com·12h
🤖AI Curation
Predictive CI: Why Smart Teams Are Making the Switch
usetusk.ai·8h·
Discuss: Hacker News
🔄Reproducible Builds
Cybersecurity Instruction Tuned Model
huggingface.co·43m·
Discuss: Hacker News
🔒WASM Capabilities
Learning Programming Languages Efficiently
flyingmachinestudios.com·5h·
Discuss: Hacker News
🌳Incremental Parsing
Mobile app analytics library led to the PII exposure
cossacklabs.com·11h·
Discuss: Hacker News
🚨Incident Response
DO NOT BUY "Practical Rust" By James Maina
reddit.com·6h·
Discuss: r/rust
🦀Rust Macros
Is AI Really Making Us Dumber?
dev.to·3h·
Discuss: DEV
🤖Grammar Induction