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
🔗 Network Calculi
Pi Calculus, Mobile Processes, Concurrent Theory, Process Algebra
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18442
posts in
421.3
ms
An introduction to
lockless
algorithms [
LWN.net
]
lwn.net
·
7h
⚡
Hardware Transactional Memory
The
Styx
Architecture for
Distributed
Systems (1999)
inferno-os.org
·
6h
·
Discuss:
Hacker News
📡
Network Protocol Design
Quantifying
Energy-Efficient Edge Intelligence: Inference-time Scaling Laws for
Heterogeneous
Computing
arxiv.org
·
14h
🧮
Kolmogorov Complexity
Main
Content ||
Math
∩ Programming
jeremykun.com
·
20h
🧮
Kolmogorov Complexity
Making
Waffles
with Group
Theory
hmpcabral.com
·
4h
·
Discuss:
Hacker News
🔄
Graph Rewriting
Fibonacci
numbers and time-space
tradeoffs
johndcook.com
·
1d
📐
Interval Arithmetic
Ultra
Ethernet
: The data-center
interconnection
of tomorrow detailed
tomshardware.com
·
1h
🕸️
Mesh Networks
Differential
Logic
• 4
inquiryintoinquiry.com
·
1d
⚔️
Lean Theorem
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
1d
·
Discuss:
Hacker News
🎯
Performance Proofs
New
microkernel
OS in 10 days: From zero to Google
Compute
Engine
seiya.me
·
1h
·
Discuss:
Hacker News
⚙️
Operating System Design
Adaptive
Neuro-Symbolic
Planning for smart agriculture
microgrid
orchestration in hybrid quantum-classical pipelines
dev.to
·
1d
·
Discuss:
DEV
⚡
Incremental Computation
Faster
than
Dijkstra
?
systemsapproach.org
·
12h
🕸️
Network Topology
A
Proof
of P =
NP
dev.to
·
18h
·
Discuss:
DEV
🎯
Performance Proofs
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
34m
⚔️
Lean Theorem
The End of
IPFS
: Centralized Pinning Single Points of Failure, Cryptographic Hash Backdoors, DDoS Exploitation, and Gossip-Based Distributed Node
Eradication
zenodo.org
·
21h
·
Discuss:
Hacker News
🌐
IPFS
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
1h
·
Discuss:
Hacker News
⚙️
Proof Engineering
Linear
Realisability
and
Implicative
Algebras
arxiv.org
·
14h
📏
Linear Logic
My
Workflow
for
Agentic
Coding
szymonkrajewski.pl
·
19h
⚔️
Lean Tactics
The Shape of Code »
Dennard
scaling a
necessary
condition for Moore’s law
shape-of-code.com
·
21h
🔧
Hardware Verification
amirouche/seed
: Adding `
vau
` with an immutable dynamic environment to Chez Scheme
github.com
·
3h
·
Discuss:
Hacker News
🦀
Rust Macros
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