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
112590
posts in
385.8
ms
Computing Least Fixed Points with
Overwrite
Semantics
in Parallel and Distributed Systems
arxiv.org
路
2d
馃攳
Symbolic Execution
Claude Code
Tutorial
#3 - Context
youtube.com
路
1d
馃捇
Claude
Our AI Orchestration Frameworks Are
Reinventing
Linda
(1985)
otavio.cat
路
16h
路
Discuss:
Hacker News
馃攳
Symbolic Execution
Projects
drehmflight.com
路
13h
馃敡
PLT
One
Task
at a Time, Even with AI
wakamoleguy.com
路
14h
路
Discuss:
Hacker News
馃
AI
Functional
Optics
for Modern Java
blog.scottlogic.com
路
2d
馃攳
Refinement Types
How to think like a computer
scientist
: Learning with C
open.umn.edu
路
1d
路
Discuss:
r/C_Programming
馃敡
PLT
Show HN:
Toil
, a go library for simple
parallelism
github.com
路
13h
路
Discuss:
Hacker News
馃攳
Symbolic Execution
ClojureScript
Guide: Why Modern
Devs
Need It Now (2026 Edition)
flexiana.com
路
18h
馃攳
Static Analysis
Inversion
of Control
mandar.dev
路
10h
路
Discuss:
Hacker News
馃攳
Symbolic Execution
Proof-oriented
Programming in F*
fstar-lang.org
路
2d
路
Discuss:
Lobsters
馃敡
PLT
Forge
: Scalable Agent
RL
Framework and Algorithm
minimax.io
路
20h
路
Discuss:
Hacker News
馃攳
Symbolic Execution
AI-native software
factory
with the
Phoenix
Architecture
gist.github.com
路
1d
路
Discuss:
Hacker News
馃攳
Symbolic Execution
Reflections on
prototyping
a
sysadmin
benchmark
samek.fyi
路
9h
馃攳
Symbolic Execution
Co-Routines
in 1-page of C (2013)
embeddedrelated.com
路
16h
路
Discuss:
Hacker News
馃攳
Symbolic Execution
Breaking the
Tractability
Barrier: A Generic Low-Level Solver for
NP-Hard
Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org
路
19h
路
Discuss:
Hacker News
馃攳
Symbolic Execution
Addendum
: Data splitting against information leakage with
DataSAIL
nature.com
路
16h
馃敡
PLT
Bounded
Local Generator Classes for
Deterministic
State Evolution
arxiv.org
路
1d
馃攳
Symbolic Execution
Proving
What's Possible
buttondown.com
路
2d
馃搻
formal specification
Model Context
Protocol
developers.openai.com
路
2d
馃搻
formal specification
Sign up or log in to see more results
Sign Up
Login
« 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