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
9692
posts in
2.26
s
MAS-ProVe
: Understanding the Process
Verification
of Multi-Agent Systems
arxiv.org
·
9h
✅
Model Checking
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
51m
·
Discuss:
r/programming
λ
Functional Programming
De-mystifying
Agentic AI: Building a Minimal Agent Engine from Scratch with
Clojure
serefayar.substack.com
·
1d
·
Discuss:
Substack
⏳
LTL
Deciding
Reachability
and the Covering Problem with Diagnostics for Sound
Acyclic
Free-Choice Workflow Nets
arxiv.org
·
1d
🌲
CTL
Show HN: C discrete event SIM w
stackful
coroutines runs 45x faster than
SimPy
github.com
·
22h
·
Discuss:
Hacker News
🔀
OCaml Multicore
Async
&
Sync
dev.to
·
2h
·
Discuss:
DEV
🏃
Escape Analysis
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
Lambda
cube
en.wikipedia.org
·
2d
·
Discuss:
Lobsters
🧮
Lambda Calculus
The
Heartbeat
of Tetris 🟥🟥🟥🟥: What a
1x1
Pixel Taught Me About Concurrency
qianarthurwang.substack.com
·
21h
·
Discuss:
r/programming
🔲
Cellular Automata
How I Program with LLMs
blog.wesleyabbey.io
·
40m
·
Discuss:
Hacker News
🛡️
seL4
A Black Box Made Less
Opaque
(part 2)
lesswrong.com
·
9h
🔢
Algebraic Data Types
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
2h
·
Discuss:
Hacker News
🐫
Embedded OCaml
CP
Systems Explained: The Hidden Cost of Strong
Consistency
blog.ahmazin.dev
·
1d
·
Discuss:
Hacker News
⚙️
Operating System Design
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
1d
·
Discuss:
Lobsters
,
Hacker News
🏃
Escape Analysis
Securing
Test Environments: Zero-Budget Strategies to Prevent
PII
Leaks with Python
dev.to
·
3h
·
Discuss:
DEV
🧪
Property-Based Testing
Show HN: 32KB
deductive
engine that catches LLM
hallucinations
news.ycombinator.com
·
4h
·
Discuss:
Hacker News
🧮
Z3
local-first
context
manager for AI coding
workflows
contextpin.com
·
20h
·
Discuss:
Hacker News
🔀
OCaml Multicore
Pijul
: A
DVCS
based on a theory of asynchronous work (Git alternative)
pijul.org
·
1d
·
Discuss:
Hacker News
🔧
DevOps
akshat666/ephemeral-first-security-framework
: Security through
transience
, not just encryption
github.com
·
22h
·
Discuss:
Hacker News
🔒
Protocol Verification
Writing an
Async
Runtime
in Rust
michaelhelvey.dev
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔀
OCaml Multicore
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