Feeds to Scour
SubscribedAll
Scoured 78173 posts in 3.15 s
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.comยท10h
๐Ÿ›ก๏ธTaint Analysis
Preview
Report Post
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.orgยท17h
๐ŸŽฏSymbolic Execution
Preview
Report Post
Use of Assertions
blog.regehr.orgยท6h
๐ŸŽฒProperty Testing
Preview
Report Post
What to Review Before Merging to `main`: A Practical Code Review Checklist
dev.toยท1dยท
Discuss: DEV
๐ŸššCode Migration
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.comยท5hยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
Preview
Report Post
Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em
docs.rsยท6hยท
Discuss: Hacker News
๐Ÿ”’Rust Borrowing
Preview
Report Post
Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection
binarly.ioยท1d
๐Ÿ“œBytecode Interpreters
Preview
Report Post
What Iโ€™ve learned over 3 years of writing code
blog.scottlogic.comยท1d
๐Ÿ“šSelf-Documenting Code
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.netยท22hยท
Discuss: Hacker News
๐ŸงฎTheorem Provers
Preview
Report Post
GNU C Language Manual
gnu.orgยท2h
๐Ÿช„C Metaprogramming
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.comยท1dยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Preview
Report Post
Ensure correctness by changing when the first failure occurs
doliver.orgยท2dยท
Discuss: Hacker News
๐Ÿš‚Error Propagation
Preview
Report Post
Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition
arxiv.orgยท17h
๐ŸฉบCompiler Diagnostics
Preview
Report Post
Designing Boring Software with Functional Programming
agentultra.comยท19h
๐ŸชžHomoiconicity
Preview
Report Post
Building a Self-Healing Data Pipeline That Fixes Its Own Python Errors
towardsdatascience.comยท8h
๐Ÿ”งError Recovery
Preview
Report Post
Making an LSP for great good
thunderseethe.devยท22hยท
โœจGleam
Preview
Report Post
Why Programs Fail A Guide to Systematic Debugging by Andreas Zeller-A Book Review
dev.toยท2hยท
Discuss: DEV
๐Ÿ”Execution Tracing
Preview
Report Post
PHPStan Now 25~40% Faster For Static Analysis
phoronix.comยท11h
๐ŸƒEscape Analysis
Preview
Report Post
AI-supported vulnerability triage with the GitHub Security Lab Taskflow Agent
github.blogยท1d
๐ŸŽฏSymbolic Execution
Preview
Report Post
Graph-based refactor analysis for Go projects , Arbor v1.4
reddit.comยท12hยท
Discuss: r/golang
๐Ÿ“ŠCall Graphs
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