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
8562
posts in
207.7
ms
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
3d
·
Discuss:
DEV
🧮
Z3
Daily AI
Rundown
dev.to
·
5d
·
Discuss:
DEV
🔲
Cellular Automata
A Unified Assessment of the
Poverty
of the
Stimulus
Argument for Neural Language Models
arxiv.org
·
1d
🧩
Parser Combinators
What
concrete
mechanisms
could lead to AI models having open-ended goals?
lesswrong.com
·
1d
🔲
Cellular Automata
Conditional
Sequence
Modeling for Safe Reinforcement Learning
arxiv.org
·
2d
🔍
CBMC
Data-Centric
Interpretability
for LLM-based Multi-Agent Reinforcement Learning
lesswrong.com
·
5d
🎮
Verification Games
OSS
model to predict movie
IMDB
ratings
floportop.fit
·
1d
·
Discuss:
Hacker News
🔠
Type-Level Programming
MySQL
with
extensions
for the agentic AI era
villagesql.com
·
1d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Tuning
to
Experiential
Learning
sounding.com
·
2d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
2d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Expectation
and
Copysets
buttondown.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
🔢
Algebraic Data Types
Autobiolocation
autobiolocation.is
·
3d
·
Discuss:
Hacker News
🔲
Cellular Automata
Show HN: Parametric
Hubris
– Beating GPT-5 on
SimpleQA
with forced retrieval
dev.thelastrag.de
·
3d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
3d
·
Discuss:
Hacker News
λ
Functional Programming
Fine, I'll
Try
AI
technobabble.bearblog.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔲
Cellular Automata
The control
layer
for AI
blog.dottxt.ai
·
5d
·
Discuss:
Hacker News
🧠
Automated Reasoning
AI Coding Is a Framework—Use It Like a Library
piglei.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🔤
Language Design
I Let AI Agents Train Their Own Models. Here's What Actually
Happened
.
hamzamostafa.com
·
3d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
When Models
Examine
Themselves: Vocabulary-Activation Correspondence in
Self-Referential
Processing
zenodo.org
·
2d
·
Discuss:
Hacker News
🎮
Verification Games
Show HN: We added
AGENTS.md
to 120 challenges so AI
teaches
instead of codes
frontendmentor.io
·
2d
·
Discuss:
Hacker News
🎮
Verification Games
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