Feeds to Scour
SubscribedAll
Scoured 10201 posts in 114.8 ms
CSLib: The Lean Computer Science Library
arxiv.org·2d
🔍Static Analysis
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·1d
🔥Burn
Implementing the Temporal proposal in JavaScriptCore
blogs.igalia.com·4d·
Discuss: Lobsters
🥖Bun
Show HN: Gateway – An open-source proxy to securely handle BYOK keys
github.com·3d·
Discuss: Hacker News
💫Apache Pulsar
michaelhelvey/lilfuture: Educational async runtime for Rust
github.com·1d
⏳Async Rust
S3 is the new network: Rethinking data architecture for the cloud era
thenewstack.io·5d
🗄️Database Sharding
The Recent 0-Days in Node.js and React Were Found by an AI
winfunc.com·4d·
Discuss: Hacker News, r/programming
☁️Serverless Rust
Programming Principles in the Age of AI: DRY
kirilltolmachev.dev·5d·
Discuss: Lobsters
🤖AI Coding Tools
Don’t Mess with the Netty Threads
luizhespanha.substack.com·4d·
Discuss: Substack
🌐Rust Networking
Maiasa: A next-gen, fast, robust, ethical language model (that can only say "a")
maiasa.ai·3d·
Discuss: Hacker News
🎙️Whisper
Cursor for UI Work
kittygiraudel.com·4d·
Discuss: Hacker News
🧩Low-code
Simple Made Easy (2011)
infoq.com
·5d·
Discuss: Hacker News
☁️Serverless Rust
Enforcing rules and managing expectations for AI agents with CI and code review
rubyonai.com·3d·
Discuss: Hacker News
🤖AI Coding Tools
Self-Healing Infrastructure: How an AI Agent Manages My Home Server
madebynathan.com·4d·
Discuss: Hacker News
⚙️Ansible
Bottom-up Browser Storage Management
positive-intentions.com·5d
🥖Bun
PostgreSQL introspection is tricky (lessons from building a native client)
news.ycombinator.com·4d·
Discuss: Hacker News
🪳CockroachDB
"Five-Point Haskell": Total Depravity (and Defensive Typing)
blog.jle.im·5d·
Discuss: Lobsters, Hacker News, r/programming
☁️Serverless Rust
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·4d·
Discuss: Lobsters, Hacker News
🧠Memory Models
Programming with AI, Without the Hype
albertovarela.net·3d·
Discuss: Hacker News
🤖AI Coding Tools
Building AI agents with the GitHub Copilot SDK
infoworld.com·4d
🤖AI Coding Tools

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