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
🔄 Concurrency Models
Actor Model, CSP, π-calculus, Concurrent Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112726
posts in
643.0
ms
A
Weakest
Precondition
Calculus for Programs and Linear Temporal Specifications
arxiv.org
·
1d
📐
formal specification
What Happens When One Parallel Call Fails? Structured
Concurrency
in
Scala
dev.to
·
1d
·
Discuss:
DEV
🪜
Scala
DRAMPyML
: A Formal Description of DRAM Protocols with Timed
Petri
Nets
arxiv.org
·
1d
🔍
Refinement Types
Show HN:
Rembus
– Distributed Messaging (
Julia
, Python)
cardo-org.github.io
·
12h
·
Discuss:
Hacker News
🔍
Symbolic Execution
A
Practical
Guide to Multi-Model AI
Workflows
dev.to
·
3h
·
Discuss:
DEV
🔍
Symbolic Execution
Beyond
Latency
and Communication Complexity - A Tutorial on the
Pipes
Model
decentralizedthoughts.github.io
·
20h
🔍
Refinement Types
IronClaw
: a Rust-based
clawd
that runs tools in isolated WASM sandboxes
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
📐
formal specification
Show HN:
Darius
– An AI router that
selects
the best model for each prompt
withdarius.com
·
3h
·
Discuss:
Hacker News
🤖
AI
AI in Multiple
GPUs
: Point-to-Point and
Collective
Operations
towardsdatascience.com
·
12h
🔍
Symbolic Execution
Coroutines – A Deep Dive --
Quasar
Chunawala
isocpp.org
·
2h
🔍
Symbolic Execution
Balance
of
abstraction
aleksei.dev
·
1d
🔍
Static Analysis
Atomistic
, but non-complete
lattices
dominiczypen.wordpress.com
·
15h
🔍
Symbolic Execution
The
Impatient
Programmer's Guide to
Bevy
and Rust: Build a 2D Game from Scratch
aibodh.com
·
6h
·
Discuss:
Hacker News
🦀
Rust
We have
outgrown
the
Process
model
sidhion.com
·
1d
·
Discuss:
Hacker News
🔍
Refinement Types
Context
Graphs
: Building Production World Models for the Age of AI Agents
hackernoon.com
·
12h
🤖
AI
What is
Prompt
Chaining
?
analyticsvidhya.com
·
14h
🔍
Symbolic Execution
Agentic Engineering: What Actually Works After
Hundreds
of
Sessions
muhammadhammadkhan.substack.com
·
3h
·
Discuss:
Substack
🔍
Symbolic Execution
Fragments
: February 13
martinfowler.com
·
10h
·
Discuss:
Hacker News
🔍
Symbolic Execution
process-compose
notes.billmill.org
·
2d
🔍
Refinement Types
Building
Reliable
Software:
Planning
for Things to Break
saleor.io
·
10h
·
Discuss:
DEV
🔍
Refinement Types
Loading...
Loading more...
« Page 1
•
Page 3 »
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