Feeds to Scour
SubscribedAll
Scoured 23104 posts in 1.05 s
On variability
surfingcomplexity.blog·4d
⚡Incremental Computation
theHigherGeometer
thehighergeometer.wordpress.com·6d
🔲Proof Irrelevance
A simple text file beats complex skill systems for AI coding agents
the-decoder.com
·4d
⚡Proof Automation
Three AI engines walk into a bar in single file...
theregister.com·3d
🧮Z3 Applications
AI Agents in Web3: Real Business Applications Beyond the Hype
hackernoon.com·5d
🤖AI Curation
Teaching an AI Agent to Stop Asking Questions (When Nobody's Listening)
dev.to·5d·
Discuss: DEV
🤖Grammar Induction
Daily AI Rundown
dev.to·6d·
Discuss: DEV
🌊Streaming Algorithms
ESTAR: Early-Stopping Token-Aware Reasoning For Efficient Inference
arxiv.org·1d
🛡️Proof-Carrying Data
Toward Formalizing LLM-Based Agent Designs through Structural Context Modeling and Semantic Dynamics Analysis
arxiv.org·2d
✅Formal Methods
Why Every R Package Wrapping External Tools Needs a Sitrep() Function
drmowinckels.io·4d·
Discuss: Lobsters, Hacker News
🐚Nordic Shell
Achieving Ultra-Fast AI Chat Widgets
cjroth.com·4d·
Discuss: Hacker News
🎙️Whisper
Building the Future with AI That Acts
devxt.com·4d·
Discuss: Hacker News
🏠Homelab Orchestration
Show HN: Claude has a compiler, I have SlopScript
slopscript.netlify.app·3d·
Discuss: Hacker News
⚔️Lean Tactics
Paths of MySQL, vector search edition
theconsensus.dev·4d·
Discuss: Hacker News
🦀Rusty Databases
What I haven't figured out
macwright.com·4d·
Discuss: Hacker News
🔓Reverse engineering
Trying to make an Automated Ecologist
chillphysicsenjoyer.substack.com·4d·
Discuss: Substack
🤖Automated Parsing
Production pain points and coordination patterns from building a dual-orchestrator (Claude + Kimi) system on Claude Code. 8 failure modes with specs and invariants.
gist.github.com·4d·
Discuss: Hacker News
✨Effect Handlers
Waterloo Style
theprogrammersparadox.blogspot.com·5d·
Discuss: Hacker News
🕹Emulation Theory
Obey the Testing Goat!
obeythetestinggoat.com·4d·
Discuss: Hacker News
🔍Concolic Testing
Unlocking core memories with GoldSrc engine and CS 1.6 (2025)
danielbrendel.com·3d·
Discuss: Hacker News
⚡Homebrew CPUs

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