Feeds to Scour
SubscribedAll
Scoured 18179 posts in 347.1 ms
13,981 Downloads. A Hardcoded ByteDance Token. Zero Vetting.
dev.to·19h·
Discuss: DEV
🚀Indie Hacking
OpenAI Swarm: Lightweight Multi-Agent Coordination for Developer Tools
dev.to·1d·
Discuss: DEV
🤝Consensus Protocols
Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
arxiv.org·6d
🔗Combinatory Logic
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org·3d
📋Document Grammar
Automatic Programming
notes.billmill.org·4d
⚡Proof Automation
🎉🎉🎉 NativePHP for Mobile is Now Free 🎉🎉🎉
nativephp.com·3d·
Discuss: Hacker News
🌀Brotli Internals
Implementing gRPC.
github.com·3d·
Discuss: DEV
⚡gRPC
Writing the Code That Powers Your Code
thelinell.com·5d·
Discuss: Hacker News
📜Proof Carrying Code
The Missing Layer
yagmin.com·3d·
Discuss: Hacker News
⚙️Proof Engineering
Handling the Dual-Write Problem in Distributed Systems
auth0.com·3d·
Discuss: Hacker News
📝Database WAL
Show HN: OpenSymbolicAI – Agents with typed variables, not just context stuffing
news.ycombinator.com·5d·
Discuss: Hacker News
⚔️Lean Tactics
Clankers with Claws
world.hey.com·3d·
Discuss: Hacker News
⚔️Lean Tactics
My Experience with Vibe Coding
haskellforall.com·6d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Redis/Valkey Replication Internals: The Architecture Behind Zero-Copy Command Propagation
frostzt.com·4d·
Discuss: Hacker News, r/programming
⚡Redis Internals
Show HN: I built a dashboard to stop AI agents from burning my API credits
github.com·2d·
Discuss: Hacker News
🏠Homelab Pentesting
C Isn't A Programming Language Anymore
faultlore.com·3d·
Discuss: Hacker News
🔩Systems Programming
Building AI Agents Doesn't Have to Be Rocket Science (Spoiler: It's Mostly API Calls)
hackernoon.com·5d
🎙️Whisper
Narrative-Driven Development: BDD + TDD + Living Documentation in One Workflow
test2doc.com·3d·
Discuss: Hacker News
🔍Concolic Testing
Feedback Loopable
ampcode.com·3d·
Discuss: Hacker News
✨Effect Handlers
Simple LLM Native Todo System on OpenCode
danielwkiwi.mataroa.blog·4d·
Discuss: Hacker News
🌳Incremental Parsing

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