Feeds to Scour
SubscribedAll
Scoured 15467 posts in 1.03 s
How I Automate Parts of My Software Development Lifecycle with AI Agents
dev.to·21h·
Discuss: DEV
⚔️Lean Tactics
Preview
Report Post
Hint-Based SMT Proof Reconstruction
arxiv.org·7h
🧮SMT Solvers
Preview
Report Post
Subagents, Commands and Skills Are Converging
vivekhaldar.com·1h·
🔐Capability Systems
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post
Software as clay on the wheel
dri.es·1d
🌳Incremental Parsing
Preview
Report Post
Issue 508
haskellweekly.news·57m
🔗Functional Compilers
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·1d
📊Static Analysis
Preview
Report Post
Subterms Modulo Theories I
philipzucker.com·3d
🎯Automata theory
Preview
Report Post
The Next Frontier of Runtime Assembly Attacks: Leveraging LLMs to Generate Phishing JavaScript in Real Time
unit42.paloaltonetworks.com·1h
🛡️WASM Security
Preview
Report Post
AI-supported vulnerability triage with the GitHub Security Lab Taskflow Agent
github.blog·1d
🤖Archive Automation
Preview
Report Post
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·1d
⚖️Verification Calculi
Preview
Report Post
Vibe coding is a moving target (so don’t marry the tool)
nothingeasyaboutthis.com·9h
Effectful Programming
Preview
Report Post
As Strong As Your Weakest Parameter: An AI Authorization Bypass
praetorian.com·19h
🎯Threat Hunting
Preview
Report Post
Two workflow challenges from 2012 that were solved as a byproduct of something else
statmodeling.stat.columbia.edu·1d
⚔️Lean Tactics
Preview
Report Post
LLMs Under Siege: The Red Team Reality Check of 2026
eddieoz.com·15h·
Discuss: Hacker News
🎯Threat Hunting
Preview
Report Post
Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection
binarly.io·1d
🔬Binary Analysis
Preview
Report Post
How AI brings the OSCAR methodology to life in the SOC
intezer.com·21h
🌊Stream Processing
Preview
Report Post
What I’ve learned over 3 years of writing code
blog.scottlogic.com·2d
📏Code Metrics
Preview
Report Post
Designing AI-resistant technical evaluations
anthropic.com·10h·
Discuss: Hacker News
⚔️Lean Tactics
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