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
8659
posts in
73.8
ms
Discovering
High Level Patterns from Simulation
Traces
arxiv.org
·
1d
👁️
System Observability
Introducing
ThinkLang
: A Programming Language Where AI Is a First-Class
Citizen
dev.to
·
3d
·
Discuss:
DEV
📦
Module Systems
Fluent
mlajtos.github.io
·
1d
·
Discuss:
Lobsters
💎
Refinement Types
On
Sequence-to-Sequence
Models for Automated Log
Parsing
arxiv.org
·
2d
🧩
Parser Combinators
SAE
Feature
Matchmaking
(Layer-to-Layer)
lesswrong.com
·
2d
🎨
GADTs
Heuristics
for lab
robotics
, and where its future may go
lesswrong.com
·
1d
🤖
Robotics
Your LLM-as-a-Judge is
Asking
the Wrong Question
veris.ai
·
1d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Learn
Weird
Programming
Languages
okienko.day
·
2d
·
Discuss:
Hacker News
⚙️
Compiler Design
NotebookLM
: The AI that only
learns
from you
byandrev.dev
·
4d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
The many
masks
LLMs
wear
understandingai.org
·
2d
·
Discuss:
Hacker News
🎮
Verification Games
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
2d
·
Discuss:
Hacker News
🔀
OCaml Multicore
Pre-compiled
semantic JSON for AI agent web
consumption
sdfprotocol.org
·
2d
·
Discuss:
Hacker News
🧩
Parser Combinators
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
1d
·
Discuss:
Hacker News
🤖
Program Synthesis
The Potential of
RLMs
dbreunig.com
·
2d
·
Discuss:
Hacker News
⏳
LTL
Hands-Free
Claude Code with the Agent
SDK
yberreby.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
3d
·
Discuss:
Hacker News
🎮
Verification Games
The
Scientist
and the
Simulator
latent.space
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
Continual
learning and the post
monolith
AI era
baseten.co
·
5d
·
Discuss:
Hacker News
🔲
Cellular Automata
How pair
prompting
could
mitigate
the risks of AI assisted programming
gethopp.app
·
1d
·
Discuss:
Hacker News
🤖
Program Synthesis
The Problem With LLMs
deobald.ca
·
1d
·
Discuss:
Lobsters
,
Hacker News
📦
Module Systems
Loading...
Loading more...
« Page 2
•
Page 4 »
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