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
CESK Machine, WAM, Evaluation Models, Operational Semantics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81581
posts in
906.7
ms
Coding Agents with Environment
Interaction
: A
Theoretical
Perspective
arxiv.org
·
12h
🎭
Program Synthesis
On the
Reachability
Problem for One-Dimensional Thin
Grammar
Vector Addition Systems
arxiv.org
·
3d
🎰
Parsing Machines
Show HN: Model Training Memory
Simulator
czheo.github.io
·
1d
·
Discuss:
Hacker News
🧠
Memory Hierarchy
🚀
OLSRT
v1.2: A Powerful
Runtime
for All Programming Languages!
dev.to
·
18h
·
Discuss:
DEV
✨
Gleam
Building a
BMO
Local AI Agent
blog.adafruit.com
·
1d
🏛️
Elm Architecture
Real world
scenario
of
refactoring
legacy code to strategy & chain of responsibility patterns
dev.to
·
12m
·
Discuss:
DEV
🔀
Control Structures
A
GTM
guide to AI models
revengine.substack.com
·
1d
·
Discuss:
Substack
🏷️
Attribute Grammars
Show HN: Applying
OAuth/RBAC
patterns to secure AI agents
macawsecurity.ai
·
14m
·
Discuss:
Hacker News
🛡️
Security Type Systems
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
We Build Software for
Humans
— Not for
Machines
. And That’s a Problem.
medium.com
·
4h
·
Discuss:
r/programming
🎮
Language Ergonomics
LLMs Are Prediction
Machines
kaelandt.github.io
·
22h
·
Discuss:
Hacker News
🌱
Minimal ML
Hitting
1,000
tokens
per second on a single RTX 5090
blog.alpindale.net
·
18h
·
Discuss:
Hacker News
,
Hacker News
🎯
Ring Buffers
Show HN:
A2A
Protocol
– Infrastructure for an Agent-to-Agent Economy
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Erlang
6 AI Agents, One Company
voxyz.space
·
8h
🔄
Subinterpreters
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🧩
Constraint Solvers
Context
Is Part of the Game
joy.pm
·
1d
·
Discuss:
Hacker News
💬
Interactive REPLs
The Death of the “Everything Prompt”: Google’s Move
Toward
Structured
AI
towardsdatascience.com
·
4h
🎮
Language Ergonomics
IAM
Sentinel
: Bridging AI Reasoning with AWS Security Compliance
github.com
·
1h
·
Discuss:
DEV
🛡️
Capability VMs
Unlocking
Knowledge
with AI
zappable.com
·
18h
✨
Effect Inference
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🪜
Recursive Descent
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