Feeds to Scour
SubscribedAll
Scoured 74642 posts in 284.6 ms
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·3d
🔓Lock-Free Programming
Algebraic Robustness Verification of Neural Networks
arxiv.org·21h
🧮SMT Solvers
IPAB Workshop - 12/2/2026 | IPAB
informatics.ed.ac.uk·3d
📡Event-Driven Architecture
News for January 2026
ptreview.sublinear.info·3d
🕸️GraphBLAS
Concurrency Flavours -- Lucian Radu Teodorescu : Standard C++
isocpp.org·5d
🔄Concurrency
The Weather-Report Lie: AI Isn’t Fate
hackernoon.com·3d
⚓Anchors
AI attention span so good it shouldn’t be legal
stackoverflow.blog·3d
💬Prompt Engineering
Data-Oriented Programming for Java: Beyond Records
openjdk.org·4d
🏗️FoundationDB Layers
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·4d·
Discuss: r/golang
🔤Suffix Automata
The methodology behind the LLM contamination paper getting sustained cloning
adversarialbaseline.substack.com·3d·
Discuss: Substack
🛡️AI Security
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·4d·
Discuss: Hacker News
🌳Fenwick Trees
Hello Edge: Keyword Spotting on Microcontrollers
paperium.net·3d·
Discuss: DEV
📱Edge AI
Ottermon.ai – Effortless Observability Deployed in Seconds
ottermon.ai·4d·
Discuss: Hacker News
🕵️Jaeger
The Engagement Trap: 45 Adversarial Patterns in Modern AI Assistants
pastebin.com·3d·
Discuss: Hacker News
🛡️AI Security
How to effectively write quality code with AI
heidenstedt.org·3d·
Discuss: Hacker News
🎭Program Synthesis
The Engineering Discipline That Made AI Actually Useful
multigres.com·5d·
Discuss: Hacker News
🌳Tree-sitter
The Rise of Spec Driven Development
dbreunig.com·3d·
Discuss: Hacker News
🧪Jepsen Testing
The New Stem
blog.gorewood.games·2d
⚓Anchors
michaelhelvey/lilfuture: Educational async runtime for Rust
github.com·4d
🦀Rust Async
Cooperative Autonomous Navigation of Legged Robots in Unstructured Terrains Using Hierarchical Reinforcement Learning — ## Abstract Legged robotic plat...
freederia.com·3d
🎯Reinforcement Learning

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