Feeds to Scour
SubscribedAll
Scoured 111997 posts in 1.20 s
**Abstract:** This paper introduces Hyper-Efficient Automated Theorem Proving for Modular Integer Set Systems (HTP-MISS), a novel framework substantially enh...
freederia.com·6d
🧮SMT Solvers
3 self-hosted services that actually need regular attention
xda-developers.com·2d
🏠Self-Hosting
OpenClaw Alternatives Worth Trying in 2026
bitdoze.com·2d
🏗️Gazebo
Awesome List Updated on Feb 09, 2026
trackawesomelist.com·3d
📦Folly
Grumpy Julio plays with CLI coding agents
blogsystem5.substack.com·2d·
Discuss: Substack
🎭Program Synthesis
Monday AI Radar #12 by Against Moloch
greaterwrong.com·1d
🛡️AI Security
🔗 Processing 11 million rows in minutes instead of hours
yellowduck.be·3d
📊Vectorized Query Execution
hit-box/hitbox: Highly customizable async caching framework for Rust - from in-memory to distributed solutions, designed for high-performance applications
github.com·2d·
Discuss: r/rust
🌐Axum
Revisiting Regular Types
abseil.io·4d
👻Phantom Types
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.com·3d·
Discuss: Hacker News
🔨Compiler Design
kie-sp/mindful-mapper: MindfulMapper is a gentle, flexible MCP (Model Context Protocol) server designed to make the stressful job of moving data feel a bit more... zen
github.com·1d·
Discuss: DEV
🔺Delta Lake
Everyday Hacks 🇺🇸✨
tiktok.com·2d
🎴Anki
How I Use Claude Code
boristane.com·2d
🦀Rust Macros
Sculptor: The missing UI for coding agents
imbue.com·2d
⚓Anchors
Profinite trees, through Lawvere theories and the lambda-calculus
arxiv.org·1d
λFunctional Programming
Exactly Computing do-Shapley Values
arxiv.org·1d
🔮Folly Futures
Deep dive into Hierarchical Navigable Small Worlds
amandeepsp.github.io·4d·
Discuss: Hacker News, r/Zig, r/programming
📐Computational Geometry
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·6d·
Discuss: Hacker News
🌳Fenwick Trees
Concurrency Design Patterns: From Fundamental Theory to Architecture
dev.to·3d·
Discuss: DEV
🔄Concurrency Patterns
New microkernel OS in 10 days: From zero to Google Compute Engine
seiya.me·2d·
Discuss: Hacker News
⚙️Systems Programming

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