Feeds to Scour
SubscribedAll
Scoured 77936 posts in 498.7 ms
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·1d
✅Configuration Validation
Preview
Report Post
Graph-based refactor analysis for Go projects , Arbor v1.4
reddit.com·20h·
Discuss: r/golang
📊Call Graphs
Preview
Report Post
Why Programs Fail A Guide to Systematic Debugging by Andreas Zeller-A Book Review
dev.to·9h·
Discuss: DEV
🔍Execution Tracing
Preview
Report Post
Reduction for Structured Concurrent Programs
arxiv.org·1d
🔀Concurrency Models
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.com·1d·
Discuss: Hacker News
🎭Program Synthesis
Preview
Report Post
Getting from tested to battle-tested
blog.janestreet.com·1d
🎲Test Generators
Preview
Report Post
How I Automate Parts of My Software Development Lifecycle with AI Agents
dev.to·14h·
Discuss: DEV
🎭Program Synthesis
Preview
Report Post
Show HN: BackBuild – A framework for sequencing complex software delivery
arcaned.co·18h·
Discuss: Hacker News
🔄Incremental Compilation
Preview
Report Post
Use of Assertions
blog.regehr.org·14h
🔍Static Analysis
Preview
Report Post
Pavis: A Dumb Proxy for Boring Reloads
fabian4.site·14h·
Discuss: Hacker News
🦀MIR Optimization
Preview
Report Post
Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection
binarly.io·1d
📜Bytecode Interpreters
Preview
Report Post
Troubleshooting with fault tree analysis and PIOSEE
developers.redhat.com·22h
🩺Compiler Diagnostics
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·23h·
Discuss: r/rust
🪆Embedded DSLs
Preview
Report Post
One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...
lmika.org·1h
🧪Compiler Testing
Preview
Report Post
Experiments on Reward Hacking Monitorability in Language Models
lesswrong.com·52m
🎲Parser Fuzzing
Preview
Report Post
On the way to step functions: the two worlds
blog.julik.nl·2d
🔄CPS Transforms
Preview
Report Post
BPF Verifier State Pruning: Timeline
pchaigno.github.io·1d
💓Live Variable Analysis
Preview
Report Post
How CyberArk Protects AI Agents with Instruction Detectors and History-Aware Validation
infoq.com·1d
🔄Subinterpreters
Preview
Report Post
Exploring Crystal macros: Building file-based routing for Kemal
krthr.co·10h·
Discuss: Hacker News
🔧Scheme Macros
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