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
14
posts in
10.2
ms
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
Learning Regular Languages with the TTT Algorithm
💻
CS
rahul.gopinath.org
·
1d
1 day ago
·
Hacker News
Actions for Learning Regular Languages with the TTT Algorithm
Games Between
Programs
: The Ruliology of Competition
💻
CS
writings.stephenwolfram.com
·
6d
6 days ago
·
Hacker News
,
Hacker News
Actions for Games Between Programs: The Ruliology of Competition
Less-relevant results
Apple OS 27: The Small Things
🔤
Unicode Normalization
Content type:
Blog
blog.oneberri.com
·
21h
21 hours ago
·
Hacker News
Actions for Apple OS 27: The Small Things
bmc4j/bmc4j: Bounded
model
checking
for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
⚡
SMT Applications
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
Feature Fridays, 5th Jun 2026
💻
CS
Content type:
Blog
i-am-awake.itch.io
·
5d
5 days ago
Actions for Feature Fridays, 5th Jun 2026
Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
⚙
Automata Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
[Showoff Saturday] Built a circular habit tracker with animated Clockwork Orbit
✋
Tactile Computing
cyclichabits.vercel.app
·
4d
4 days ago
·
r/webdev
Actions for [Showoff Saturday] Built a circular habit tracker with animated Clockwork Orbit
New comment by ashutosh000018 in "Ask HN: Who wants to be hired? (June 2026)"
💻
CS
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)"
Solving the Global Energy Problem in 2026: A Roadmap for Energy Security, Prosperity, and Global Harmony
🖥️
Self-hosted Infrastructure
Content type:
Blog
harmonynation.blogspot.com
·
4d
4 days ago
Actions for Solving the Global Energy Problem in 2026: A Roadmap for Energy Security, Prosperity, and Global Harmony
Reinforcing
Temporal
Answer Grounding in Instructional Video via Candidate-Aware Causal Reasoning
🎯
Retrieval Systems
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Reinforcing Temporal Answer Grounding in Instructional Video via Candidate-Aware Causal Reasoning
Don't Pause: Streaming Video-Language Synchrony for Online Video Understanding
💻
CS
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Don't Pause: Streaming Video-Language Synchrony for Online Video Understanding
The Complexity of Asynchronous HyperLTL
🌐
NetworkProtocols
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for The Complexity of Asynchronous HyperLTL
VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents
🌐
NetworkProtocols
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents
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