Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Automata Theory
⚙ Automata Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
16
posts in
27.6
ms
Passive Learning of Symbolic
Automata
over Monotonic Algebras
💻
CS
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Passive Learning of Symbolic Automata over Monotonic Algebras
Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless
Languages
| Simon Jones
🧬
Functional Programming
Content type:
News
developing.dev
·
2d
2 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Show HN:
TuringLLM
– a LLM-powered Universal Turing
machine
💻
CS
Content type:
Code
github.com
·
4d
4 days ago
·
Hacker News
Actions for Show HN: TuringLLM – a LLM-powered Universal Turing machine
The Future Is Undecidable. Duty Is Not.
💻
CS
Content type:
Blog
dhanjit.me
·
2d
2 days ago
·
Hacker News
Actions for The Future Is Undecidable. Duty Is Not.
Ezi_gex — a Unicode-aware regex engine for Zig, with comptime compilation and pluggable backends
🔤
Character Classification
ziggit.dev
·
3d
3 days ago
Actions for Ezi_gex — a Unicode-aware regex engine for Zig, with comptime compilation and pluggable backends
Turing
universal neural networks do not require global clocks
💻
CS
Content type:
Academic
nature.com
·
5d
5 days ago
·
Hacker News
Actions for Turing universal neural networks do not require global clocks
Causally Evaluating the Learnability of
Formal
Language
Tasks
💻
CS
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Causally Evaluating the Learnability of Formal Language Tasks
AI Academic Brain vs. AI Founder Brain
📊
Citation Graphs
fchaubard.github.io
·
6d
6 days ago
·
Hacker News
Actions for AI Academic Brain vs. AI Founder Brain
Human-Like Neural Nets by Catapulting
💻
CS
gwern.net
·
3d
3 days ago
·
Hacker News
Actions for Human-Like Neural Nets by Catapulting
Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
💻
CS
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
Dynamics in a Low-Rank Separable Field Cellular
Automaton
💻
CS
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Dynamics in a Low-Rank Separable Field Cellular Automaton
Palindrome complexity versus factor complexity
💻
CS
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Palindrome complexity versus factor complexity
An Empirical Comparison of General Context-Free Parsers
💻
CS
Content type:
Academic
arxiv.org
·
1d
1 day ago
·
Hacker News
Actions for An Empirical Comparison of General Context-Free Parsers
A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking
💻
CS
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking
Correct-by-Construction Design of Timed Systems in Event-B
💻
CS
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Correct-by-Construction Design of Timed Systems in Event-B
Earliest query answering over streamed trees
💻
CS
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Earliest query answering over streamed trees
No more posts from matmat's subscribed feeds.
Scour all
25255
feeds
Learn more about Feeds
Log in to enable infinite scrolling
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
Save / unsave
s
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