Feeds to Scour
SubscribedAll
Scoured 77911 posts in 1.23 s
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ยท22hยท
Discuss: r/golang
๐Ÿ“ŠCall Graphs
Preview
Report Post
Why Programs Fail A Guide to Systematic Debugging by Andreas Zeller-A Book Review
dev.toยท12hยท
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ยท17hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Preview
Report Post
Show HN: BackBuild โ€“ A framework for sequencing complex software delivery
arcaned.coยท20hยท
Discuss: Hacker News
๐Ÿ”„Incremental Compilation
Preview
Report Post
Use of Assertions
blog.regehr.orgยท17h
๐Ÿ”Static Analysis
Preview
Report Post
Pavis: A Dumb Proxy for Boring Reloads
fabian4.siteยท16hยท
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ยท1d
๐ŸฉบCompiler Diagnostics
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.comยท1dยท
Discuss: r/rust
๐Ÿช†Embedded DSLs
Preview
Report Post
Experiments on Reward Hacking Monitorability in Language Models
lesswrong.comยท3h
๐ŸŽฒ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
OpenSkills โ€“ Stop bloating your LLM context with unused agent instructions
news.ycombinator.comยท1hยท
Discuss: Hacker News
โšกIncremental Parsing
Preview
Report Post
Exploring Crystal macros: Building file-based routing for Kemal
krthr.coยท12hยท
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