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
8583
posts in
59.0
ms
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
4d
·
Discuss:
DEV
🧮
Z3
Introducing
ThinkLang
: A Programming Language Where AI Is a First-Class
Citizen
dev.to
·
4d
·
Discuss:
DEV
📦
Module Systems
A Small-Scale System for
Autoregressive
Program Synthesis Enabling Controlled
Experimentation
arxiv.org
·
1d
🐫
Embedded OCaml
Distinguish
between inference scaling and "
larger
tasks use more compute"
lesswrong.com
·
22h
⏱️
Computational Complexity
Large Language Models and
Impossible
Language Acquisition: "False Promise" or an
Overturn
of our Current Perspective towards AI
arxiv.org
·
2d
🧩
Parser Combinators
What
concrete
mechanisms
could lead to AI models having open-ended goals?
lesswrong.com
·
1d
🔲
Cellular Automata
Your LLM-as-a-Judge is
Asking
the Wrong Question
veris.ai
·
2d
·
Discuss:
Hacker News
🧪
Property-Based Testing
OSS
model to predict movie
IMDB
ratings
floportop.fit
·
1d
·
Discuss:
Hacker News
🔠
Type-Level Programming
Autobiolocation
autobiolocation.is
·
3d
·
Discuss:
Hacker News
🔲
Cellular Automata
Turing's Parsing and
Brute
Force Are
Incorrect
zenodo.org
·
5d
·
Discuss:
Hacker News
⏱️
Computational Complexity
The Rise of Local Speech
Recognition
oatmealapp.com
·
3d
·
Discuss:
Hacker News
🧩
Parser Combinators
Learn
Weird
Programming
Languages
okienko.day
·
3d
·
Discuss:
Hacker News
⚙️
Compiler Design
Pre-compiled
semantic JSON for AI agent web
consumption
sdfprotocol.org
·
2d
·
Discuss:
Hacker News
🧩
Parser Combinators
When Models
Examine
Themselves: Vocabulary-Activation Correspondence in
Self-Referential
Processing
zenodo.org
·
2d
·
Discuss:
Hacker News
🎮
Verification Games
The Potential of
RLMs
dbreunig.com
·
2d
·
Discuss:
Hacker News
⏳
LTL
Slides
from my AI presentation I gave to
seniors
, feel free to share
aititus.com
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
Show HN: We added
AGENTS.md
to 120 challenges so AI
teaches
instead of codes
frontendmentor.io
·
3d
·
Discuss:
Hacker News
🎮
Verification Games
Continual
learning and the post
monolith
AI era
baseten.co
·
5d
·
Discuss:
Hacker News
🔲
Cellular Automata
LocalGPT
: A local AI assistant with
persistent
memory in a single binary
localgpt.app
·
2d
·
Discuss:
Hacker News
🔬
Unikernels
Show HN: The Control and Memory
Layer
for AI Agents
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔲
Cellular Automata
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