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
23414
posts in
403.9
ms
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
1d
🎯
Performance Proofs
The Shape of Code »
Dennard
scaling a
necessary
condition for Moore’s law
shape-of-code.com
·
2d
🔧
Hardware Verification
Kugelblitz
:
Executable
, Cost-Aware Design-Space Exploration for Programmable Packet Pipelines
arxiv.org
·
1d
🐚
Bash Combinators
A simple load
balancer
from scratch written in
Golang
dev.to
·
3d
·
Discuss:
DEV
⚡
gRPC
I
struggled
with system design until I learned these 114
concepts
newsletter.systemdesign.one
·
3d
💾
Persistence Strategies
Aeon
: A Zero-Allocation Go Time Library That Treats Time as "Containers" Rather Than "
Offsets
"
dev.to
·
4d
·
Discuss:
DEV
🐚
Shell Calculus
Early History of a Perfect Join
Algorithm
remy.wang
·
3d
🚀
Query Optimization
QFuture
❤️ C++
coroutines
arnorehn.de
·
1d
·
Discuss:
Lobsters
,
Hacker News
✨
Effect Handlers
Faster
AI Training
Unlocked
With New System For Massive Language Models
quantumzeitgeist.com
·
1d
🚀
SIMD Text Processing
Differential
Logic
• 2
inquiryintoinquiry.com
·
5d
⚖️
Constraint Logic
Large Language Models for
Mortals
book released
crimede-coder.com
·
22h
·
Discuss:
Hacker News
λ
Lambda Formalization
What's up with
Haskell
's do
notation
?
slightknack.dev
·
1d
🧬
Functional Programming
the
mathematics
of
compression
in database systems
bitsxpages.com
·
1d
·
Discuss:
Hacker News
🌊
Streaming Compression
Autobiolocation
autobiolocation.is
·
2d
·
Discuss:
Hacker News
🕸️
Algebraic Topology
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
4d
🤝
Consensus Protocols
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚖️
Verification Calculi
Let
Lambda
Come Over
yamlscript.org
·
4d
⬆️
Lambda Lifting
Faster
than
Dijkstra
?
systemsapproach.org
·
2d
·
Discuss:
Hacker News
🕸️
Network Topology
Performance Tip of the Week #62:
Identifying
and reducing memory
bandwidth
needs
abseil.io
·
3d
💨
Cache Analysis
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
2d
·
Discuss:
Hacker News
🛠
Language Design
Loading...
Loading more...
« Page 2
•
Page 4 »
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