Feeds to Scour
SubscribedAll
Scoured 78384 posts in 609.2 ms
Reduction for Structured Concurrent Programs
arxiv.org·23h
🔀Concurrency Models
Preview
Report Post
Making an LSP for great good
thunderseethe.dev·1d·
Discuss: Lobsters, Hacker News
✨Gleam
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·22h·
Discuss: r/rust
🪆Embedded DSLs
Preview
Report Post
Efficient Code Analysis via Graph-Guided Large Language Models
arxiv.org·23h
📊Call Graph Analysis
Preview
Report Post
GNU C Language Manual
gnu.org·9h
🪄C Metaprogramming
Preview
Report Post
Building scalable agentic assistants: A graph-based approach
thenewstack.io·10h
🎭Erlang OTP
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Claude Code Changed How I Build: 5 Workflows That Actually Work
dev.to·9h·
Discuss: DEV
⚡Live Coding
Preview
Report Post
Graph-based refactor analysis for Go projects , Arbor v1.4
reddit.com·19h·
Discuss: r/golang
📊Call Graphs
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.com·1d·
Discuss: Hacker News
🎭Program Synthesis
Preview
Report Post
BPF Verifier State Pruning: Timeline
pchaigno.github.io·1d
💓Live Variable Analysis
Preview
Report Post
Show HN: Link Graph Analysis Tool for Osint Analysts with 70 Transforms
webvetted.com·16h·
Discuss: Hacker News
🔄Copy Propagation
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·12h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Pavis: A Dumb Proxy for Boring Reloads
fabian4.site·12h·
Discuss: Hacker News
🦀MIR Optimization
Preview
Report Post
OpenCode vs Claude Code
builder.io·9h
⚡Live Coding
Preview
Report Post
Union-Find Path Compression: A Visual Dry Run
dev.to·1d·
Discuss: DEV
📐Succinct Data Structures
Preview
Report Post
Exploring Crystal macros: Building file-based routing for Kemal
krthr.co·8h·
Discuss: Hacker News
🔧Scheme Macros
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org·12h·
Discuss: Hacker News
🔄Bootstrapping
Preview
Report Post
understanding LSM trees via read, write, and space amplification
bitsxpages.com·5h
🔗Memory Linearization
Preview
Report Post
Jacobson's Rank
denvaar.dev·1d
📐Succinct Data Structures
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