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
📚 Automata Learning
Grammatical Inference, TTT, L#, automata learning
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8533
posts in
230.0
ms
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
2d
🌐
Network Protocols
Grokking
: Generalization Beyond
Overfitting
on Small Algorithmic Datasets
dev.to
·
5d
·
Discuss:
DEV
🎯
Hindley-Milner
miniKanren.org
minikanren.org
·
3d
·
Discuss:
Lobsters
📦
Module Systems
NUASM
— Neuro‑Universal‑ASM: The World's First Native Multi‑Language
Assembler
dev.to
·
4d
·
Discuss:
DEV
⚙️
Compiler Design
Do Models Continue
Misaligned
Actions
?
lesswrong.com
·
2d
📐
Hoare Logic
Patches of
Nonlinearity
: Instruction
Vectors
in Large Language Models
arxiv.org
·
2d
🧩
Parser Combinators
LOCA-bench
: Benchmarking Language Agents Under
Controllable
and Extreme Context Growth
arxiv.org
·
2d
🧩
Parser Combinators
six
thoughts
on
generating
c
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
KiraStudio
kirastudio.org
·
2d
·
Discuss:
Hacker News
📺
Vintage Apple
The
Autonomous
Experimentation
Engine
remoroo.com
·
3d
·
Discuss:
Hacker News
👁️
System Observability
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
4d
·
Discuss:
Hacker News
⚙️
Compiler Design
AI
Orchestrators
Decision
Table
gist.github.com
·
3d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
2d
·
Discuss:
Hacker News
⚙
Operational Semantics
Persistent
Memory API for AI Agents
memoclaw.com
·
2d
·
Discuss:
Hacker News
🔲
Cellular Automata
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
3d
·
Discuss:
Hacker News
🔤
Language Design
Show HN:
Self-healing
data pipeline for F1
telemetry
(Python and Type Inference)
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
👁️
Observability
The Future of Software Engineering
poberezkin.com
·
3d
·
Discuss:
Hacker News
🤖
Program Synthesis
Jokes
on You AI: Turning the
Tables
dev-log.me
·
4d
·
Discuss:
Hacker News
🎮
Verification Games
Show HN: Parametric
Hubris
– Beating GPT-5 on
SimpleQA
with forced retrieval
dev.thelastrag.de
·
3d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
AI Coding Is a Framework—Use It Like a Library
piglei.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🔤
Language Design
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