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
115813
posts in
2.23
s
Show HN: A forced ranking
exercise
to stop
priority
inflation
cognu.app
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Claw
Cognition
: Design how your AI thinks
producthunt.com
·
1d
🤖
AI
Writing a new worker task for
Debusine
(by Carles Pina i
Estany
)
freexian.com
·
1d
🔍
Refinement Types
Functional
Optics
for Modern Java
blog.scottlogic.com
·
2d
🔍
Refinement Types
OCapN
and
Structural
Authority in Agentic AI
serefayar.substack.com
·
1d
·
Discuss:
Substack
,
r/programming
🔍
Symbolic Execution
Model
Integrity
and
Character
lesswrong.com
·
1d
📐
formal specification
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
🔧
PLT
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
🪜
Scala
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
2d
·
Discuss:
Hacker News
🔍
Symbolic Execution
pythological/kanren
: An extensible, lightweight relational/logic programming DSL written in pure Python
github.com
·
1d
🔍
Symbolic Execution
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
1d
·
Discuss:
Hacker News
🔍
Static Analysis
The future of coding agents is
vertical
integration (and why
ACP
matters)
tidewave.ai
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
A Coding Implementation to Establish Rigorous Prompt
Versioning
and Regression Testing Workflows for Large Language Models using
MLflow
marktechpost.com
·
2d
🔍
Symbolic Execution
Differential
Logic
• 5
inquiryintoinquiry.com
·
1d
🔧
PLT
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
medium.com
·
1d
·
Discuss:
Hacker News
📐
formal specification
Grace
Hopper
's
Revenge
thefuriousopposites.com
·
2d
🪜
Scala
On Resolving
Non-Preemptivity
in
Multitask
Scheduling: An Optimal Algorithm in Deterministic and Stochastic Worlds
arxiv.org
·
1d
🔍
Symbolic Execution
Notes on using AI tools for debugging, learning, and shipping software (as a
cautious
adopter
)
linkedin.com
·
18h
·
Discuss:
r/programming
🔍
Refinement Types
Faster
AI Training
Unlocked
With New System For Massive Language Models
quantumzeitgeist.com
·
1d
🪜
Scala
Trip Report:
Ad-Hoc
Meeting on
Threads
in C++
artima.com
·
3d
🔍
Symbolic Execution
Loading...
Loading more...
« Page 6
•
Page 8 »
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