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
⏰ Lamport Clocks
Logical Clocks, Happened-Before, Causal Ordering, Distributed Time
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
145091
posts in
31.5
ms
Lamport
's Arrow of Time: The Category Mistake in Logical
Clocks
arxiv.org
·
5d
🕐
Vector Clocks
Why We Built (and
Open-Sourced
) a New
RoughTime
Implementation
blog.sturdystatistics.com
·
11h
·
Discuss:
r/programming
🐅
TigerBeetle Protocol
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
19h
✓
Formal Verification
Differential
Logic
• 15
inquiryintoinquiry.com
·
18h
∘
Category Theory
Coordination Computation Class: Necessary Conditions for
Bounded
Multi-Agent
Semantics
dev.to
·
1d
·
Discuss:
DEV
🌊
CALM Theorem
A
universal
scheme to self-test any quantum state or
measurement
nature.com
·
1h
⚛️
Quantum Computing
Fixpoints
to think
clearly
blog.yellowflash.in
·
2h
·
Discuss:
Hacker News
📊
Dynamic Programming
igrishaev/any
:
Objects
for smart comparison in tests.
github.com
·
1h
✅
Property Testing
Runtime Reinforcement:
Preventing
“Instruction
Decay
” in Long Context Windows
pub.towardsai.net
·
6h
💬
Prompt Engineering
On This Day in
Math
pballew.blogspot.com
·
6h
·
Discuss:
Blogger
🔢
Homomorphic Encryption
The
Devilish
Logic
: explained
reveriesofahuman.com
·
3h
🔢
Homomorphic Encryption
and we have new
evidence
quarkus.io
·
11h
🚀
Performance
Completing
the formal proof of higher-dimensional sphere
packing
math.inc
·
18h
·
Discuss:
Hacker News
📏
Linear Types
Unifying
non-Markovian
dynamics and agent
heterogeneity
in scalable stochastic networks
nature.com
·
20h
🔲
Cellular Automata
A
paragraph
I liked on algorithmic
timelines
site.sebasmonia.com
·
1d
🎯
Van Emde Boas Trees
CIRCUS
: Circuit Consensus under Uncertainty via Stability
Ensembles
arxiv.org
·
7h
🤝
Consensus Algorithms
The rise of agentic AI in production: Can
observability
systems run
themselves
?
grafana.com
·
1h
⚓
Anchors
A Practical Guide to Time for Developers: Part 1 — What time is in software (
physics
+
agreements
)
dev.to
·
2d
·
Discuss:
DEV
🕐
Vector Clocks
Neat
representation of
polymorphic
data types
gist.github.com
·
4h
·
Discuss:
r/C_Programming
📏
Linear Types
Refined Risk Bounds for
Unbounded
Losses via
Transductive
Priors
jmlr.org
·
1d
📊
Optimization
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