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
⚙️ Abstract Machines
CEK, SECD, ZINC, Operational Semantics, Interpreters
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8691
posts in
339.9
ms
State of
Scala
2026
devnewsletter.com
·
2d
·
Discuss:
r/programming
📦
Opam
Distributed Hybrid
Parallelism
for Large Language Models:
Comparative
Study and System Design Guide
arxiv.org
·
1d
🔀
OCaml Multicore
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
2d
🔀
OCaml Multicore
Extractional
AI as
Opposed
to Conversational AI
normain.com
·
1d
·
Discuss:
Hacker News
📚
Automata Learning
Solene
'% :
Declaratively
manage containers on Linux
dataswamp.org
·
2d
·
Discuss:
Hacker News
🐳
Containerization
Minions
:
Stripe
’s one-shot, end-to-end coding agents
stripe.dev
·
2d
·
Discuss:
Hacker News
🌐
ActivityPub
Show HN:
Self-healing
data pipeline for F1
telemetry
(Python and Type Inference)
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
👁️
Observability
Understanding the Go
Runtime
: The
Bootstrap
internals-for-interns.com
·
3d
·
Discuss:
Hacker News
,
r/golang
🏃
Escape Analysis
Show HN: Claude has a
compiler
, I have
SlopScript
slopscript.netlify.app
·
3d
·
Discuss:
Hacker News
🔧
ppx
The
Autonomous
Experimentation
Engine
remoroo.com
·
3d
·
Discuss:
Hacker News
👁️
System Observability
Your
VCL
App: 4x to 11x Faster Math Performance with
Elements
blogs.remobjects.com
·
2d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Mathematical Resolution of P vs NP through
Informational
Noise
Subtraction
and Linear O(n) Mapping
zenodo.org
·
4d
·
Discuss:
Hacker News
⏱️
Computational Complexity
MCP
Knife
: A CLI Swiss Army
Knife
for MCP
Servers
vivekhaldar.com
·
2d
·
Discuss:
Hacker News
💬
Mach Messages
Rise of the
Cowboy
Coder
jollycoder.com
·
2d
·
Discuss:
Hacker News
🔧
DevOps
The Potential of
RLMs
dbreunig.com
·
2d
·
Discuss:
Hacker News
⏳
LTL
Let Your Agents
Instantly
Understand Any Git
Repo
instagit.com
·
2d
·
Discuss:
Hacker News
🔧
DevOps
AI
Orchestrators
Decision
Table
gist.github.com
·
3d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Data Modeling for the Agentic Era:
Semantics
, Speed, and
Stewardship
rilldata.com
·
2d
·
Discuss:
Hacker News
⚙
Operational Semantics
The Most Popular
Agentic
Open-Source Tools (2026 Edition)
you.com
·
2d
·
Discuss:
Hacker News
🌐
ActivityPub
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
4d
·
Discuss:
Hacker News
⚙️
Compiler Design
Loading...
Loading more...
« Page 4
•
Page 6 »
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