Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🌳 Mergeable Trees
CRDT, Data Structures, Distributed Systems, Concurrent Editing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74153
posts in
548.4
ms
Intermediate
Results on the Complexity of
STRIPS
$_{1}^{1}$
arxiv.org
·
17h
🧮
SMT Solvers
Rethinking
Code
Complexity
Through the Lens of Large Language Models
arxiv.org
·
17h
🔬
Static Analysis
Constrained parallel
tempering
in
traveling-salesman
problems with circular neighborhoods
link.aps.org
·
3d
📮
Multi-producer Queues
FOSDEM
2026
hack.org
·
3d
🥑
Avro
I Built a Python CLI Tool for RAG Over Any
Document
Folder
dev.to
·
1d
·
Discuss:
DEV
📦
uv
Introducing Snap CD: Why I Built a New
Terraform
Orchestrator
dev.to
·
10h
·
Discuss:
DEV
🏗️
Terraform
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonw.substack.com
·
3d
·
Discuss:
Substack
🚀
MLOps
Zinc
Language Design
ziggit.dev
·
3d
🦀
Rust
Geospatial
System Design
Patterns
systemdr.substack.com
·
2d
·
Discuss:
Substack
📋
Columnar Storage
The Rise of
Spec
Driven Development
dbreunig.com
·
4d
·
Discuss:
Hacker News
🧪
Jepsen Testing
wareya/pred
_
recdec
: Predicated LL (recursive descent) parser in pure rust
github.com
·
2d
·
Discuss:
Hacker News
🍱
Nom
Processes and Threads -
Discourse
on
Concurrency
, Part I
ayanmali.substack.com
·
4d
·
Discuss:
Substack
🔄
Concurrency
Designing
MCP tool
schemas
that LLMs understand
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦙
Ollama
Continual
learning and the post
monolith
AI era
baseten.co
·
3d
·
Discuss:
Hacker News
📱
Edge AI
Paths
of
MySQL
, vector search edition
theconsensus.dev
·
2d
·
Discuss:
Hacker News
🔢
Pgvector
Concerns about low-quality
PRs
beeing
merged into main
discourse.llvm.org
·
3d
·
Discuss:
Lobsters
,
Lobsters
,
Hacker News
🔧
Read Repair
Private Data Space Model
privatedata.space
·
5d
🔗
Intrusive Containers
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
✓
Formal Verification
Differential
Logic
• 4
inquiryintoinquiry.com
·
2d
🔍
Type Inference
Show HN:
A2A
Protocol
– Infrastructure for an Agent-to-Agent Economy
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
💼
Thrift
Loading...
Loading more...
« Page 13
•
Page 15 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help