Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
145063
posts in
28.6
ms
Benchmarking in Manipulation Research: The
YCB
Object and Model Set
andBenchmarking
Protocols
dev.to
·
1h
·
Discuss:
DEV
✅
Model Checking
fast-servers: an
interesting
pattern
geocar.sdf1.org
·
6h
·
Discuss:
Lobsters
🔐
Futexes
Type-Based Enforcement of
Non-Interference
for
Choreographic
Programming
arxiv.org
·
2d
🔄
Concurrency Patterns
yogthos/mycelium
: Mycelium uses Maestro state machines and
Malli
contracts to define "The Law of the Graph," providing a high-integrity environment where humans architect and AI agents implement.
github.com
·
6h
·
Discuss:
Hacker News
⚓
Anchors
Inverse problems for dynamic patterns in coupled
oscillator
networks: when larger networks are
simpler
nature.com
·
1d
🔲
Cellular Automata
Aether
: A
Compiled
Actor-Based Language for High-Performance Concurrency
dev.to
·
3d
·
Discuss:
DEV
🚀
Actix
Claude Skills and
Subagents
: Escaping the Prompt Engineering
Hamster
Wheel
towardsdatascience.com
·
7h
💬
Prompt Engineering
Representation Theorems for Cumulative
Propositional
Dependence
Logics
arxiv.org
·
2d
🌊
CALM Theorem
What does it
mean
for a
computation
to be “the same” across different models of
computation
?
reddit.com
·
1d
·
Discuss:
r/compsci
🧠
Memory Models
The March of
Nines
(Part 1)
sruthipoddutur.substack.com
·
4h
·
Discuss:
Substack
⚡
LMAX Disruptor
The
Topology
of LLM
Behavior
lesswrong.com
·
21h
⚓
Anchors
timothyjrainwater-lab/multi-agent-coordination-framework
: A practical methodology for
coordinating
multiple AI agents on complex software projects. Built and proven by a non-technical operator
coordinating
Claude and GPT agents on a 5,100+ test codebase.
github.com
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
What makes a game tick? Part 9 - Data Driven
Multi-Threading
Scheduler
mropert.github.io
·
1d
·
Discuss:
r/cpp
🧵
Lightweight Threads
Evaluating
Frameworks
for Mobile Performance
frontendmasters.com
·
6h
🚀
Performance
A Coding Implementation to Build a
Hierarchical
Planner
AI Agent Using Open-Source LLMs with Tool Execution and Structured Multi-Agent Reasoning
marktechpost.com
·
20h
🎭
Program Synthesis
An
Introduction
to
Lean
4
uv.es
·
11h
🏗️
Cranelift
Differential
Logic
• 14
inquiryintoinquiry.com
·
5h
🧮
Algebraic Effects
Status
update 2026-02
whynothugo.nl
·
8h
📦
Folly
Agentic
Observability
Platforms
trendhunter.com
·
1d
👁️
Observability
Custom Data
Structures
in
E-Graphs
uwplse.org
·
2h
·
Discuss:
Lobsters
,
Hacker News
🪢
Rope Data Structure
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