Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Automata Theory
⚙ Automata Theory
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
16
posts in
14.5
ms
💻
CS
arxiv.org
·
3d
3 days ago
Learning Alternating Real-Time
Automata
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Learning Alternating Real-Time Automata
Less-relevant results
⚙️
Logic Synthesis
boolsi.com
·
1d
1 day ago
Enable software developers to compile hotspots into custom hardware accelerators
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Enable software developers to compile hotspots into custom hardware accelerators
💻
CS
nLab
·
4d
4 days ago
controllability and observability
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for controllability and observability
✈️
Datasaab Archaeology
GitHub
·
12h
12 hours ago
Turing
's Freedom
Machine
: Shifting Gravity to Break the Mainframe's Chains
Discussed on
DEV
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Turing's Freedom Machine: Shifting Gravity to Break the Mainframe's Chains
✈️
Datasaab D2
obsolescence.dev
·
2d
2 days ago
The Early Days: A History of Interactive Computing (obsolescence.dev)
Discussed on
Hacker News
and
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Early Days: A History of Interactive Computing (obsolescence.dev)
💻
CS
lesswrong.com
·
4d
4 days ago
Toward a Kantian refutation of Agent Foundations
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Toward a Kantian refutation of Agent Foundations
🤐
Secure Multiparty
Gödel’s Lost Letter and P=NP
·
5d
5 days ago
Gödel's Lost Letter and P=NP
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Gödel's Lost Letter and P=NP
💻
CS
InfoQ
·
4d
4 days ago
Presentation: From Hype to Strong Foundations: What the Rise, Fall and Resurgence of Agents Can Teach Us About Outlasting the Cycle
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Presentation: From Hype to Strong Foundations: What the Rise, Fall and Resurgence of Agents Can Teach Us About Outlasting the Cycle
💻
CS
arxiv.org
·
3d
3 days ago
Minimality of Random Moore
Automata
under Prefix-Dependent Congruences
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Minimality of Random Moore Automata under Prefix-Dependent Congruences
📐
Geometric Hashing
arxiv.org
·
3d
3 days ago
On Epimorphisms of Hypergraphic
Automata
and Input Symbol Semigroups
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for On Epimorphisms of Hypergraphic Automata and Input Symbol Semigroups
💻
CS
arxiv.org
·
6d
6 days ago
Witnesses and Counterexamples for Timed Bisimulation
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Witnesses and Counterexamples for Timed Bisimulation
💻
CS
arxiv.org
·
3d
3 days ago
Efficiently Representing Algorithms With Chain-of-Thought Transformers
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Efficiently Representing Algorithms With Chain-of-Thought Transformers
💻
CS
arxiv.org
·
6d
6 days ago
The algebra of Krom logic programs
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The algebra of Krom logic programs
💻
CS
arxiv.org
·
4d
4 days ago
Tractable Gap-Constraint
Languages
for Complex Event Recognition
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Tractable Gap-Constraint Languages for Complex Event Recognition
💻
CS
arxiv.org
·
6d
6 days ago
Assembly Spaces:
Formal
Definitions and Fast Methods for Approximating Assembly Indices
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Assembly Spaces: Formal Definitions and Fast Methods for Approximating Assembly Indices
💻
CS
arxiv.org
·
3d
3 days ago
Recurrent neural networks approximate continuous functions
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Recurrent neural networks approximate continuous functions
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
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
Discover
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
Like
Save
Not for me
Report