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
120642
posts in
1.60
s
On A
Parameterized
Theory of Dynamic Logic for
Operationally-based
Programs
arxiv.org
·
1d
🔍
Symbolic Execution
Maintaining
Skills During the AI
Advent
saadnaveed.com
·
12h
·
Discuss:
Hacker News
🔍
Symbolic Execution
Multi AI Agent Systems with
crewAI
deeplearning.ai
·
1h
🤖
AI
Introducing
Dedicated
Container Inference:
Delivering
2.6x faster inference for custom AI models
together.ai
·
12h
🤖
AI
Outcome
Engineering
cory.news
·
16h
·
Discuss:
Hacker News
📐
formal specification
12
OOP
Concepts
EVERY Developer Should Know
blog.algomaster.io
·
8h
🔍
Static Analysis
Part 1 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
20h
·
Discuss:
Hacker News
🔍
Symbolic Execution
Embedded
Agency
(full-text version)
lesswrong.com
·
23h
🔍
Symbolic Execution
CodeSOD
: Consistently
Transactional
thedailywtf.com
·
6h
🔍
Symbolic Execution
Pi.dev
: There are many coding agents, but this one is
mine
pi.dev
·
5h
·
Discuss:
Hacker News
🤖
AI
GustyCube/membrane
: A selective learning and memory substrate for agentic systems — typed, revisable,
decayable
memory with competence learning and trust-aware retrieval.
github.com
·
8h
·
Discuss:
Hacker News
📐
formal specification
Measure
Twice
, Prompt Once
ignasibosch.com
·
1d
·
Discuss:
DEV
🔍
Symbolic Execution
Formal
Methods
Practice and Theory
adacore.com
·
1d
·
Discuss:
Hacker News
📐
formal specification
Concurrency
Design Patterns: From
Fundamental
Theory to Architecture
dev.to
·
4d
·
Discuss:
DEV
🔍
Symbolic Execution
Separation
of Concerns: You're Cutting
Along
the Wrong Line
inferal.com
·
6h
·
Discuss:
Hacker News
🔍
Symbolic Execution
Perfect Recall Is a
Trap
: Why AI Needs
Consequences
, Not More Memory
hackernoon.com
·
8h
🤖
AI
vindarel
: 🖌️
Lisp
screenshots: today's Common
Lisp
applications in action
lisp-journey.gitlab.io
·
14h
🔧
PLT
Context-Driven
Development Meets Team Agents: What
Changed
and What Didn't
themobileagent.substack.com
·
1d
·
Discuss:
Substack
🔍
Symbolic Execution
Scripting on the
JVM
with Java,
Scala
, and Kotlin
mill-build.org
·
2h
·
Discuss:
Hacker News
,
r/programming
🔍
Symbolic Execution
6
niche
programming
languages
developers secretly love
howtogeek.com
·
1h
🔧
PLT
Loading...
Loading more...
« Page 2
•
Page 4 »
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