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
Finite State Machines
🔄 Finite State Machines
Statecharts, Visual Programming, State Transitions, Temporal Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
28
posts in
18.1
ms
Games Between
Programs
: The Ruliology of Competition
🎮
Verification Games
writings.stephenwolfram.com
·
6d
6 days ago
·
Hacker News
,
Hacker News
Actions for Games Between Programs: The Ruliology of Competition
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
146th airhacks tv: Rust, Java 25, AI Agents, BCE, Web Components, zunit, zb
🍎
Apple
Content type:
Blog
adambien.blog
·
19h
19 hours ago
Actions for 146th airhacks tv: Rust, Java 25, AI Agents, BCE, Web Components, zunit, zb
Building a Zero-Server Network Forensics Suite with Rust and WebAssembly
🌐
NetworkProtocols
Content type:
Code
github.com
·
4d
4 days ago
·
DEV
Actions for Building a Zero-Server Network Forensics Suite with Rust and WebAssembly
Learning Regular Languages with the TTT Algorithm
📚
Automata Learning
rahul.gopinath.org
·
1d
1 day ago
·
Hacker News
Actions for Learning Regular Languages with the TTT Algorithm
Feature Fridays, 5th Jun 2026
⎈
Helm
Content type:
Blog
i-am-awake.itch.io
·
5d
5 days ago
Actions for Feature Fridays, 5th Jun 2026
LCBO says wholesale modernization is a marathon, not a sprint
📵
Digital Minimalism
Content type:
News
canadiangrocer.com
·
2d
2 days ago
Actions for LCBO says wholesale modernization is a marathon, not a sprint
New comment by ashutosh000018 in "Ask HN: Who wants to be hired? (June 2026)"
🌐
Static Sites
portfolio-phi-red-69.vercel.app
·
5d
5 days ago
·
Hacker News
Actions for New comment by ashutosh000018 in "Ask HN: Who wants to be hired? (June 2026)"
Ezi_gex — a Unicode-aware regex engine for Zig, with comptime compilation and pluggable backends
🔤
Regular Expressions
ziggit.dev
·
3d
3 days ago
Actions for Ezi_gex — a Unicode-aware regex engine for Zig, with comptime compilation and pluggable backends
Weighing Timed Regular Languages: The Final Step (long version)
⏰
Timed Automata
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Weighing Timed Regular Languages: The Final Step (long version)
Release v1.20.0 · autobrr/qui
📦
Opam
Content type:
Code
github.com
·
1d
1 day ago
Actions for Release v1.20.0 · autobrr/qui
Open source building blocks for computational design. Est. 2006
🔤
Language Design
thi.ng
·
3d
3 days ago
·
Hacker News
Actions for Open source building blocks for computational design. Est. 2006
Compiling Rewrite Rules to
Finite-State
Transducers with the Worsening Trick
💻
CS
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Compiling Rewrite Rules to Finite-State Transducers with the Worsening Trick
Matrix – An installable Python CLI package for cross-device session jumping
⚙️
Compiler Design
Content type:
Code
github.com
·
2d
2 days ago
·
Hacker News
Actions for Matrix – An installable Python CLI package for cross-device session jumping
On the Complexity of the Bi-infinite Post Correspondence Problem
💻
CS
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for On the Complexity of the Bi-infinite Post Correspondence Problem
Layer Order Semantics for
Automata-Based
Cybersecurity
💻
CS
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Layer Order Semantics for Automata-Based Cybersecurity
Don't Pause: Streaming Video-Language Synchrony for Online Video Understanding
🧠
Apple Neural Engine
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Don't Pause: Streaming Video-Language Synchrony for Online Video Understanding
Generalizing LCL Complexity Gaps to Unbounded Degree via Monadic Second-Order Properties
💻
CS
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Generalizing LCL Complexity Gaps to Unbounded Degree via Monadic Second-Order Properties
Palindrome complexity versus factor complexity
💻
CS
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Palindrome complexity versus factor complexity
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
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