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
8591
posts in
115.1
ms
Daily AI
Rundown
dev.to
·
5d
·
Discuss:
DEV
🔲
Cellular Automata
I Built a
Programming
Language Where think Is a
Keyword
dev.to
·
4d
·
Discuss:
DEV
⚙️
Compiler Design
Large Language Models and
Impossible
Language Acquisition: "False Promise" or an
Overturn
of our Current Perspective towards AI
arxiv.org
·
2d
🧩
Parser Combinators
Research note: A
simpler
AI
timelines
model predicts 99% AI R&D automation in ~2032
lesswrong.com
·
17h
🔤
Typography
Conditional
Sequence
Modeling for Safe Reinforcement Learning
arxiv.org
·
2d
🔍
CBMC
Large Language Models Live in Time
lesswrong.com
·
3d
⏳
LTL
AI-Generated
Text and the Detection
Arms
Race
schneier.com
·
2d
·
Discuss:
Hacker News
🎮
Verification Games
Python's Dynamic
Typing
Problem
whileforloop.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🔀
Brzozowski Derivatives
Is this a game... or is it real? What's the
difference
?
bryan-murdock.blogspot.com
·
3d
·
Discuss:
Hacker News
🎮
Verification Games
MySQL
with
extensions
for the agentic AI era
villagesql.com
·
2d
·
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
Humanity
's last
programming
language
xeiaso.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔤
Language Design
Expectation
and
Copysets
buttondown.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
🔢
Algebraic Data Types
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
Autobiolocation
autobiolocation.is
·
3d
·
Discuss:
Hacker News
🔲
Cellular Automata
AI
Pair
Programming in Your
Terminal
cecli.dev
·
2d
·
Discuss:
Hacker News
💻
CLI Tools
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
Loading...
Loading more...
« Page 5
•
Page 7 »
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