Feeds to Scour
SubscribedAll
Scoured 16054 posts in 201.8 ms
Test, don't (just) verify
alperenkeles.com·1d·
Discuss: Lobsters
🧪Binary Fuzzing
Preview
Report Post
Broken proofs and broken provers
lawrencecpaulson.github.io·2d·
Discuss: Hacker News
👑Isabelle
Preview
Report Post
Verification Debt: When Generative AI Speeds Change Faster Than Proof
cacm.acm.org·8h
🎯Performance Proofs
Preview
Report Post
Engineering After Orthogonalization: Why Verification Has Become A Lifecycle Discipline
semiengineering.com·1d
🔧Hardware Verification
Preview
Report Post
Enhancing Formal Software Specification with Artificial Intelligence
arxiv.org·1d
📐Format Grammars
Preview
Report Post
Python Formal Verification: Practical Methods to Make Your Software More Reliable
dev.to·3d·
Discuss: DEV
👑Isabelle
Preview
Report Post
Metasploit Wrap-Up 01/16/2025
rapid7.com·10h
🛡️RISC-V Security
Preview
Report Post
From Building Houses to Storage Engines
tidesdb.com·21h·
Discuss: Hacker News, r/programming
🗄️Database Internals
Preview
Report Post
Theorem Proving in Lean 4
lean-lang.org·2d
⚔️Lean Tactics
Preview
Report Post
Software Assurance & That Warm and Fuzzy Feeling
soatok.blog·1d
🧪Binary Fuzzing
Preview
Report Post
The past, present and future of LLM coding
hermandaniel.com·1d·
Discuss: Hacker News
📏Code Metrics
Preview
Report Post
Advanced fine-tuning techniques for multi-agent orchestration: Patterns from Amazon at scale
aws.amazon.com·13h
🧮SMT Solvers
Preview
Report Post
AI Reproduction of Lin’s Busy Beaver Proof
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Preview
Report Post
**Abstract:** This paper introduces a novel framework for rigorously verifying the correctness and optimality of quantum circuit compilation processes, speci...
freederia.com·19h
⚛️Quantum Compilers
Preview
Report Post
Verifying State & Reconciliation in Collaborative Web Apps
midspiral.com·2d·
Discuss: Lobsters, Hacker News
🛡️Byzantine Fault Tolerance
Preview
Report Post
Optimizing Software with Zero-Copy and Other Techniques
hackaday.com·14h
🔩Systems Programming
Preview
Report Post
Unified AI-Powered Security
paloaltonetworks.com·12h
🔐Capability Systems
Preview
Report Post
Anything Will Work (In AI)
publish.obsidian.md·2h·
Discuss: Hacker News
📊Quantization
Preview
Report Post
Myths we tell ourselves about software engineering
medium.com·10h·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Preview
Report Post
Unsupervised Learning NO. 512: Data Exfil from Multiple AI Tools, Developers Suddenly Go AI-Only Instead of AI-Never
newsletter.danielmiessler.com·1d
🌀Brotli Internals
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help