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
🕰️ Hybrid Logical Clocks
HLC, Physical Clocks, Logical Clocks, CockroachDB
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
144799
posts in
32.4
ms
LeGend: A Data-Driven Framework for
Lemma
Generation in Hardware Model
Checking
arxiv.org
·
1d
📐
TLA+
Why We Built (and
Open-Sourced
) a New
RoughTime
Implementation
blog.sturdystatistics.com
·
6h
·
Discuss:
r/programming
🐅
TigerBeetle Protocol
Hyprland 0.54 brings per-workspace
layouts
, major performance gains &
Hyprnix
integration
alternativeto.net
·
20h
⚡
BOLT
Show HN:
AgentBrowser
Token-efficient browser for AI agents via ASCII
wireframes
github.com
·
9h
·
Discuss:
Hacker News
⚓
Anchors
Unit
Conversion
at Scale: Building a Multi-System
Calculator
Platform
calculatorconversions.com
·
22h
·
Discuss:
DEV
📐
Linear Algebra
Practical strategies for
vLLM
performance
tuning
developers.redhat.com
·
1h
⚙️
Performance Profiling
Examining
Xilinx
's
AXI
demonstration core
zipcpu.com
·
1d
⚡
LMAX Disruptor
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
15h
✓
Formal Verification
The ongoing quest for atomic
buffered
writes
lwn.net
·
9h
🚧
Memory Barriers
OpenAI Codex-Spark Achieves Ultra-Fast Coding
Speeds
on
Cerebras
Hardware
infoq.com
·
17h
⚡
Hardware Acceleration
The
185-Microsecond
Type
Hint
blog.sturdystatistics.com
·
10h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🌊
Glommio
Time is of the
essence
:
EBR
in High-Performance Databases
dev.to
·
1d
·
Discuss:
DEV
♻️
Epoch-Based Reclamation
Synchronisation
and SMPTE
timecode
, by Phil Rees
philrees.co.uk
·
22h
⏱️
Monotonic Clocks
Refining
Almost-Safe Value Functions on the
Fly
arxiv.org
·
1d
λ
Functional Programming
Beyond
Pandas
:
Architecting
High-Performance Python Pipelines
hackernoon.com
·
11h
🐙
Benthos
Building a Virtual Computer for the Intel 80286
hackster.io
·
12h
⚡
RISC-V
Best performance of a C++
singleton
andreasfertig.com
·
8h
🖼️
Frame Allocation
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🦀
Rust
Zig `
hexagon-linux-none
` target cross
compilation
ziggit.dev
·
1h
⚡
ZGC
News from the Cloud-Edge
Continuum
: February 2026
opennebula.io
·
15h
🔭
Cilium Hubble
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