Feeds to Scour
SubscribedAll
Scoured 74207 posts in 843.5 ms
**Certified Lyapunov‑Based Stability Analysis for Autonomous Swarm Robotics using Sum‑of‑Squares Verification and Formal Proof Generation** **Abstract**
freederia.com·3d
📐TLA+
RCade: Building a Community Arcade Cabinet
frankchiarulli.com·3d·
Discuss: Hacker News
🕹️Retro Gaming
Fiber Principles: Contributing To Fiber · Issue #7942
github.com·3d·
Discuss: r/reactjs
🏰Tower
mkincl/mkincl: A simple way to reuse Makefiles and scripts across multiple repositories
github.com·2d·
Discuss: Hacker News
📦uv
From Local Script to Global Store: Automating Python App Delivery
blog.devops.dev·3d
🤖Automation
DFlash: Block Diffusion for Flash Speculative Decoding
arxiv.org·3d
📦Folly
Software Architecture and Philosophical Anthropology
michaelmangialardi.substack.com·3d·
Discuss: Substack
🎨API Design
How are you assigning work across distributed workers without Redis locks or leader election?
reddit.com·4d·
Discuss: r/kubernetes
⚙️Cooperative Scheduling
A Policy Gradient-Based Sequence-to-Sequence Method for Time Series Prediction
arxiv.org·3d
⏱️Time Series Analysis
Pijul: A DVCS based on a theory of asynchronous work (Git alternative)
pijul.org·6d·
Discuss: Hacker News
🌳Git
ARY: Always Repeat Yourself
dolphinmade.com·4d·
Discuss: Hacker News
🎲Deterministic Simulation
Realtime Eval Guide
developers.openai.com·4d·
Discuss: Hacker News
💬Prompt Engineering
Examining Turbopuffer ANN v3
terencezl.github.io·3d·
Discuss: Hacker News
🚀Performance
Part 2: Why Context Is Everything
linkedin.com·3d·
Discuss: DEV
🌳Git
Clean Coder: The Dark Path (2017)
blog.cleancoder.com·4d·
Discuss: Hacker News
🎯Escape Analysis
Claude Code is the Inflection Point
newsletter.semianalysis.com
·3d·
Discuss: Hacker News, Hacker News
🎭Program Synthesis
Context Engineering for Coding Agents
martinfowler.com·3d·
Discuss: Hacker News
💬Prompt Engineering
Meet The Deep Thinker: Make the most out Claude Opus 4.6 in Cline
cline.ghost.io·3d
💬Prompt Engineering
Panel: AI's Real-Time Engine: gRPC, WebSockets, or SSE? - A.K. Sachdeva, P. Mamgain, I. Thiagarajan
youtube.com·4d
🔌gRPC Interceptors
An AI Workflow to Slow Down and Reflect in the Age of Inference-Speed
souravinsights.com·5d·
Discuss: Hacker News
💬Prompt Engineering

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