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
123993
posts in
2.63
s
Show HN: A forced ranking
exercise
to stop
priority
inflation
cognu.app
·
2d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Writing a new worker task for
Debusine
(by Carles Pina i
Estany
)
freexian.com
·
1d
🔍
Refinement Types
An API for
deterministic
procedural
generation (same seed = same output)
goldenseed-api.vercel.app
·
3d
·
Discuss:
r/proceduralgeneration
🔍
Symbolic Execution
Multiplex
Thinking: Reasoning via Token-wise
Branch-and-Merge
gmlr-penn.github.io
·
3d
🔍
Symbolic Execution
Claw
Cognition
: Design how your AI thinks
producthunt.com
·
1d
🤖
AI
Autonomous
PRD
Agent
minicodemonkey.github.io
·
3d
·
Discuss:
Hacker News
🤖
AI
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
1d
·
Discuss:
Hacker News
🔍
Refinement Types
Obsidian
+ Claude Code is Beyond
Useful
emergentinsights.substack.com
·
1d
·
Discuss:
Substack
🤖
AI
What is an Event
Sourcing
Database? Performance Over
Complexity
genesisdb.io
·
2d
·
Discuss:
Hacker News
📐
formal specification
Model
Integrity
and
Character
lesswrong.com
·
2d
📐
formal specification
Grumpy
Julio
plays with CLI coding agents
jmmv.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
🤖
AI
Claude Code:
swarm
mode (agent teams)
perrotta.dev
·
2d
🤖
AI
Why "just
prompt
better" doesn't work
bicameral-ai.com
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Software
Factories
and the
Agentic
Moment
factory.strongdm.ai
·
4d
·
Discuss:
Hacker News
📐
formal specification
How to set up Claude Code: a
context-first
approach
dhirajtourani.com
·
3d
·
Discuss:
Hacker News
,
r/programming
💻
Claude
AI
Orchestrators
Decision
Table
gist.github.com
·
2d
·
Discuss:
Hacker News
🤖
AI
Building stateful AI Agents with Google
ADK
’s
InMemorySessionService
pub.towardsai.net
·
1d
🤖
AI
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
1d
·
Discuss:
Hacker News
📐
formal specification
I created a comprehensive resource to master
Concurrency
Interviews
blog.algomaster.io
·
6d
🔍
Symbolic Execution
Monday AI
Radar
#12
lesswrong.com
·
1d
🤖
AI
Loading...
Loading more...
« Page 10
•
Page 12 »
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