Feeds to Scour
SubscribedAll
Scoured 186339 posts in 34.5 ms
Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification  ✅Formal Verification
arxiv.org·1d
How Static Code Analysis Helps Reduce Software Bugs, and Money Spent!  ⚡JIT Exploitation
blog.jetbrains.com·4d
Show HN-style: Blue Arrow – modular orchestration system with state-driven execution, local LLaMA integration and post-execution verification  🔀Concolic Execution
github.com·3h·r/node
Content Verification Platform  ✅Formal Verification
proofididit.com·17h
From Convergence to Confidence: Push-Button Verification for RDTs  ✅Formal Verification
kcsrk.info·2d·Hacker News, Hacker News
FMCSA Tightens Clearinghouse Verification to Strengthen Driver Records  📋Attestation
metro-magazine.com·11h
Teardown of AlphaFold codebase with a AST-free LLM-free static analysis engine  📜Decompilation
squid-protocol.github.io·3d·Hacker News
AI in Design Verification: Where It Works and Where It Doesn’t  ✅Formal Verification
eetimes.com·1d
Sign Git Commits with SSH Keys ｜ fernvenue's Blog  📋Attestation
blog.fernvenue.com·4h
Verify your identity  📋Attestation
forums.androidcentral.com·9h
Getting Up to Speed on Multi-Agent Systems, Part 6: Verification Patterns  ✅Formal Verification
christophermeiklejohn.com·1d
Break This: A Minimal, System-Independent Verification Primitive  ✅Formal Verification
ethresear.ch·3d
Spotify rolls out ‘Verified’ badge to distinguish human artists from AI  📋Attestation
theguardian.com·8h
Claude Code Routines: 8 Production Prompts, Real Costs, and Where They Break 🤖  💾Binary Analysis
linas.substack.com
·1d·Substack
No branch visits: How to open a demat account online in India  📋Attestation
yourstory.com·18h
Static Analysis Results Interchange Format (SARIF)  💾Binary Analysis
sarif.info·2d
Antithesis BugBash Conference 2026  ⚡JIT Exploitation
emptysqua.re·5d
Nuclear Power/IAEA Fast Facts  📋Attestation
krdo.com·10h
Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.)  ✅Formal Verification
semiengineering.com·2d
Spotify Is Adding Artist Verification Badges on Profiles  📋Attestation
cnet.com·15h

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
Save / unsave
s
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