Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🗳️ Paxos Variants
Multi-Paxos, EPaxos, Consensus Theory, Distributed Agreement
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
32450
posts in
16.8
ms
Efficient and
Portable
Mixture-of-Experts
Communication
research.perplexity.ai
·
17h
🧠
Inference Serving
Consensus
Algorithm of
Distributed
Systems
ta.fo
·
2d
🌍
Distributed Systems
Complexity of Satisfiability in
Kochen-Specker
Partial Boolean Algebras
arxiv.org
·
1d
🧮
SMT Solvers
Show HN: I Built Systems
AGI
– 1600
Verticals
, Self-Healing, Self-Evolving
news.ycombinator.com
·
4h
·
Discuss:
Hacker News
🌐
Distributed systems
Multi-Sourced
, Multi-Agent Evidence Retrieval for
Fact-Checking
arxiv.org
·
9h
🧠
Agent Memory
Communication-efficient Distributed
Statistical
Inference for Massive Data with Heterogeneous
Auxiliary
Information
jmlr.org
·
1d
🧠
Inference Serving
Transitive
Trust
nesbitt.io
·
1d
🔒
Transaction Isolation
Parallel agents with
tmux
and
worktrees
dmux.ai
·
3h
💻
Coding Agents
Why We Built (and
Open-Sourced
) a New
RoughTime
Implementation
blog.sturdystatistics.com
·
13h
·
Discuss:
r/programming
📐
TLA+
VoidZero
and
npmx
: Building Better Tools Together
voidzero.dev
·
14h
🔧
Developer tools
Status
Go vs.
Status
Quo
doc.searls.com
·
15h
💹
Platform Economics
Fixpoints
to think
clearly
blog.yellowflash.in
·
4h
·
Discuss:
Hacker News
🧮
SMT Solvers
and we have new
evidence
quarkus.io
·
13h
⚡
Systems Performance
Unifying
non-Markovian
dynamics and agent
heterogeneity
in scalable stochastic networks
nature.com
·
22h
📋
MCP
Source-available projects and their AI
contribution
policies
theconsensus.dev
·
1d
🏆
LLM Benchmarking
Valuable
News
vermaden.wordpress.com
·
21h
🔍
Binary Analysis
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🧮
SMT Solvers
Lessons learned building a real-time
collaboration
system on AT
Protocol
medium.com
·
1h
·
Discuss:
r/programming
🤖
Agent Protocols
Lomas
: An Open-Source Platform for Confidential Analysis of Data (
dgwk2026
)
cdn.media.ccc.de
·
1d
🔒
Privacy-Preserving Analytics
Securing RISC-V Third-Party IP: Enabling Comprehensive
CWE-Based
Assurance
Across the Design Supply Chain
semiwiki.com
·
20h
🔐
Hardware Security
Loading...
Loading more...
Page 2 »
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