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
⚡ Process Calculi
π-calculus, CCS, CSP, Concurrency Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9691
posts in
174.0
ms
MAS-ProVe
: Understanding the Process
Verification
of Multi-Agent Systems
arxiv.org
·
5h
✅
Model Checking
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The
Heartbeat
of Tetris 🟥🟥🟥🟥: What a
1x1
Pixel Taught Me About Concurrency
qianarthurwang.substack.com
·
17h
·
Discuss:
r/programming
🔲
Cellular Automata
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
De-mystifying
Agentic AI: Building a Minimal Agent Engine from Scratch with
Clojure
serefayar.substack.com
·
20h
·
Discuss:
Substack
⏳
LTL
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Deciding
Reachability
and the Covering Problem with Diagnostics for Sound
Acyclic
Free-Choice Workflow Nets
arxiv.org
·
1d
🌲
CTL
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Show HN: C discrete event SIM w
stackful
coroutines runs 45x faster than
SimPy
github.com
·
18h
·
Discuss:
Hacker News
🔀
OCaml Multicore
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Lambda
cube
en.wikipedia.org
·
2d
·
Discuss:
Lobsters
🧮
Lambda Calculus
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Async
&
Sync
— Learning Through Conversation
dev.to
·
21h
·
Discuss:
DEV
🔀
OCaml Multicore
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A Black Box Made Less
Opaque
(part 2)
lesswrong.com
·
6h
🔢
Algebraic Data Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
How I'm
writing
code in 2026
coryzue.com
·
18h
·
Discuss:
Hacker News
🔧
DevOps
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
CP
Systems Explained: The Hidden Cost of Strong
Consistency
blog.ahmazin.dev
·
20h
·
Discuss:
Hacker News
⚙️
Operating System Design
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Show HN: 32KB
deductive
engine that catches LLM
hallucinations
news.ycombinator.com
·
1h
·
Discuss:
Hacker News
🧮
Z3
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
22h
·
Discuss:
Lobsters
,
Hacker News
🏃
Escape Analysis
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Mitigating
PII
Leaks in Test Environments: A Go-Based Approach for Security Researchers
dev.to
·
15h
·
Discuss:
DEV
🧪
Property-Based Testing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
local-first
context
manager for AI coding
workflows
contextpin.com
·
16h
·
Discuss:
Hacker News
🔀
OCaml Multicore
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Simple
vanilla
restaurant
booking
system
vanillife.substack.com
·
2h
·
Discuss:
Substack
🔒
Protocol Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
akshat666/ephemeral-first-security-framework
: Security through
transience
, not just encryption
github.com
·
18h
·
Discuss:
Hacker News
🔒
Protocol Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Writing an
Async
Runtime
in Rust
michaelhelvey.dev
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔀
OCaml Multicore
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Pijul
: A
DVCS
based on a theory of asynchronous work (Git alternative)
pijul.org
·
1d
·
Discuss:
Hacker News
🔧
DevOps
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Mekara
:
Workflows
as Code Proof-of-Concept
meksys-dev.github.io
·
6h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
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