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
124040
posts in
1.62
s
From Automation To
Autonomy
: AI For The
CFO
And Supply Chain Finance
forbes.com
·
1d
🔍
Symbolic Execution
Dirk
Eddelbuettel
:
chronometre
: A new package (pair) demo for R and Python
dirk.eddelbuettel.com
·
3d
🔍
Symbolic Execution
Introducing
Composer
1.5
cursor.com
·
1d
·
Discuss:
Hacker News
🤖
AI
Making
Waffles
with Group
Theory
hmpcabral.com
·
2d
·
Discuss:
Hacker News
🔧
PLT
Show HN:
ContinualCode
– a coding agent that updates its
weights
from feedback
sdan.github.io
·
2d
·
Discuss:
Hacker News
🪜
Scala
A high-performance Go framework (
250k
+
req/sec
) with built-in batteries
go-kvolt.github.io
·
1d
🪜
Scala
Gemini
thinking
| Gemini API | Google AI for
Developers
ai.google.dev
·
1d
🤖
AI
Graph
algebra
en.wikipedia.org
·
1d
🔧
PLT
Why I Spent 5 Hours Finding a 20-Minute Fix: A Case for
Structured
Logging
nandishdave.world
·
1d
·
Discuss:
DEV
🔍
Refinement Types
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
3d
·
Discuss:
Hacker News
🔍
Static Analysis
Now
problems
vs.
forever
problems
webdirections.org
·
1d
🔍
Symbolic Execution
Data Modeling for the Agentic Era:
Semantics
, Speed, and
Stewardship
rilldata.com
·
2d
·
Discuss:
Hacker News
🔎
Semantic Analysis
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
6d
·
Discuss:
Lobsters
,
Hacker News
🔧
PLT
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
🪜
Scala
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
2d
·
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
Why “Context Lake”
Matters
For
Agentic
AI
forrester.com
·
2d
🤖
AI
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
2d
·
Discuss:
Hacker News
🔍
Symbolic Execution
AndPuQing/gflow
: A lightweight, single-node GPU job scheduler implemented in Rust.
github.com
·
6h
·
Discuss:
Hacker News
🔍
Symbolic Execution
The End of CI/CD
Pipelines
: The
Dawn
of Agentic DevOps
hackernoon.com
·
1d
📐
formal specification
Loading...
Loading more...
« Page 7
•
Page 9 »
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