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
CS
💻 CS
Broad
computer science, automata, theory, computation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
69
posts in
15.0
ms
Show HN:
TuringLLM
– a LLM-powered Universal Turing
machine
🔢
Computability Theory
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for Show HN: TuringLLM – a LLM-powered Universal Turing machine
Causally Evaluating the Learnability of
Formal
Language
Tasks
🔄
Finite State Machines
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Causally Evaluating the Learnability of Formal Language Tasks
Turing
universal neural networks do not require global clocks
⏱️
Computational Complexity
Content type:
Academic
nature.com
·
5d
5 days ago
·
Hacker News
Actions for Turing universal neural networks do not require global clocks
On the
Complexity
of the Bi-infinite Post Correspondence Problem
🎯
Complexity Classes
Content type:
Academic
arxiv.org
·
15h
15 hours ago
Actions for On the Complexity of the Bi-infinite Post Correspondence Problem
𝜇𝜆ϵ
𝛿-Calculus
: A Self Optimizing
Language
that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
🔁
Fixpoint Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
·
Lobsters
Actions for 𝜇𝜆ϵ𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
Generalizing LCL
Complexity
Gaps to Unbounded Degree via Monadic Second-Order Properties
⏱️
Computational Complexity
Content type:
Academic
arxiv.org
·
15h
15 hours ago
Actions for Generalizing LCL Complexity Gaps to Unbounded Degree via Monadic Second-Order Properties
Weighing Timed Regular
Languages
: The Final Step (long version)
⏰
Timed Automata
Content type:
Academic
arxiv.org
·
15h
15 hours ago
Actions for Weighing Timed Regular Languages: The Final Step (long version)
Palindrome
complexity
versus factor
complexity
🔄
Finite State Machines
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Palindrome complexity versus factor complexity
Compiling Rewrite Rules to Finite-State Transducers with the Worsening Trick
🔄
Finite State Machines
Content type:
Academic
arxiv.org
·
15h
15 hours ago
Actions for Compiling Rewrite Rules to Finite-State Transducers with the Worsening Trick
Passive Learning of Symbolic
Automata
over Monotonic Algebras
🔄
Finite State Machines
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Passive Learning of Symbolic Automata over Monotonic Algebras
Discovering Multiscale Deep Formulas in
Complex
Systems via Neural-Guided
Lambda
Calculus
🔁
Fixpoint Theory
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus
Layer Order Semantics for
Automata-Based
Cybersecurity
🔐
Cybersecurity
Content type:
Academic
arxiv.org
·
15h
15 hours ago
Actions for Layer Order Semantics for Automata-Based Cybersecurity
When Types Intersect and Effects Get Handled
🔁
Fixpoint Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for When Types Intersect and Effects Get Handled
ATT-CR: Adaptive Triangular Transformer for Cloud Removal
⏱️
Computational Complexity
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for ATT-CR: Adaptive Triangular Transformer for Cloud Removal
Efficient Minimal Solvers for Visual-Inertial Relative Pose Estimation in Multi-Camera Systems
🎯
Complexity Classes
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Efficient Minimal Solvers for Visual-Inertial Relative Pose Estimation in Multi-Camera Systems
An Empirical Comparison of General Context-Free Parsers
🔄
Finite State Machines
Content type:
Academic
arxiv.org
·
1d
1 day ago
·
Hacker News
Actions for An Empirical Comparison of General Context-Free Parsers
DBHN-Net: Dual-Branch Hybrid Neural Network For
Low-Complexity
Monaural Speech Enhancement
🎯
Complexity Classes
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for DBHN-Net: Dual-Branch Hybrid Neural Network For Low-Complexity Monaural Speech Enhancement
A remark on diagnosability
verification
🔄
Finite State Machines
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for A remark on diagnosability verification
Dynamics in a Low-Rank Separable Field Cellular
Automaton
🔲
Cellular Automata
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Dynamics in a Low-Rank Separable Field Cellular Automaton
Correct-by-Construction Design of Timed Systems in Event-B
⏰
Timed Automata
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Correct-by-Construction Design of Timed Systems in Event-B
Page 2 »
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