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
9194
posts in
275.6
ms
Convolutional
Neural Networks using
Logarithmic
Data Representation
dev.to
·
4d
·
Discuss:
DEV
🐫
Embedded OCaml
Adaptive
Neuro-Symbolic
Planning for smart agriculture
microgrid
orchestration in hybrid quantum-classical pipelines
dev.to
·
4d
·
Discuss:
DEV
🧠
Automated Reasoning
In (highly
contingent
!) defense of
interpretability-in-the-loop
ML training
lesswrong.com
·
6d
🔁
Fixed-Point Theory
Consistency
Meets
Verification
: Enhancing Test Generation Quality in Large Language Models Without Ground-Truth Solutions
arxiv.org
·
14h
🧪
Property-Based Testing
Deep networks learn to
parse
uniform-depth
context-free languages from local statistics
arxiv.org
·
3d
🧩
Parser Combinators
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonwillison.net
·
5d
·
Discuss:
Lobsters
,
Hacker News
🤖
Program Synthesis
Learnings
from Creating a
GUI
Library
blog.s-schoener.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
🔄
Finite State Machines
Autonomous
PRD
Agent
minicodemonkey.github.io
·
4d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
6d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
docs/blog.md ·
ParamTatva/sanskrit-ppo-hopper-v5
at main
huggingface.co
·
4d
·
Discuss:
Hacker News
🔲
Cellular Automata
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
6d
·
Discuss:
Hacker News
🔀
OCaml Multicore
AI Makes the Easy Part
Easier
and the Hard Part
Harder
blundergoat.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
,
r/webdev
✓
Automated Theorem Proving
Adversarial
Reasoning:
Multiagent
World Models for closing the Simulation Gap
latent.space
·
4d
·
Discuss:
Hacker News
,
Hacker News
🎮
Verification Games
Why Files Are Not
Enough
as Memory for AI Agents
medium.com
·
4d
·
Discuss:
Hacker News
🔲
Cellular Automata
Teaching
Computers
to
Laugh
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Humanity
's last
programming
language
xeiaso.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔤
Language Design
Tuning
to
Experiential
Learning
sounding.com
·
2d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
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 11
•
Page 13 »
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