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
123930
posts in
1.68
s
Show HN: A forced ranking
exercise
to stop
priority
inflation
cognu.app
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Writing a new worker task for
Debusine
(by Carles Pina i
Estany
)
freexian.com
·
1d
🔍
Refinement Types
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
OCapN
and
Structural
Authority in Agentic AI
serefayar.substack.com
·
2d
·
Discuss:
Substack
,
r/programming
🔍
Symbolic Execution
Functional
Optics
for Modern Java
blog.scottlogic.com
·
2d
🔍
Refinement Types
Faster
AI Training
Unlocked
With New System For Massive Language Models
quantumzeitgeist.com
·
2d
🪜
Scala
Autonomous
PRD
Agent
minicodemonkey.github.io
·
3d
·
Discuss:
Hacker News
🤖
AI
Grace
Hopper
's
Revenge
thefuriousopposites.com
·
3d
🪜
Scala
A Coding Implementation to Establish Rigorous Prompt
Versioning
and Regression Testing Workflows for Large Language Models using
MLflow
marktechpost.com
·
2d
🔍
Symbolic Execution
Persistent
Memory API for AI Agents
memoclaw.com
·
2d
·
Discuss:
Hacker News
🤖
AI
Enterprise AI Agent
Stack
: Agentic AI Architecture Where Context
Beats
Models
philippdubach.com
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
AI Coding Is a Framework—Use It Like a Library
piglei.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🔎
Semantic Analysis
Model
Integrity
and
Character
lesswrong.com
·
2d
📐
formal specification
Grumpy
Julio
plays with CLI coding agents
jmmv.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
🤖
AI
maja0027/xi-lang
: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical
completeness
.
github.com
·
1d
·
Discuss:
Hacker News
🔧
PLT
Clean Architecture for AI Agents with
Convo-Lang
decoupling
orchestration from reasoning
dev.to
·
22h
·
Discuss:
DEV
🔎
Semantic Analysis
Show HN: The Control and Memory
Layer
for AI Agents
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
The
Similarity
Control Problem with
Required
Events
arxiv.org
·
14h
🔍
Symbolic Execution
{ w: 1 }
Asynchronous
Writes and Conflict Resolution in
MongoDB
github.com
·
1d
·
Discuss:
DEV
🔍
Symbolic Execution
Loading...
Loading more...
« Page 9
•
Page 11 »
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