Finite State Machines

Feeds to Scour
SubscribedAll
Scoured 14 posts in 10.2 ms

Correct-by-Construction Design of Timed Systems in Event-B

 💻CS  Content type: Academic
arxiv.org·

Learning Regular Languages with the TTT Algorithm

 💻CS

Games Between Programs: The Ruliology of Competition

 💻CS
Less-relevant results

Apple OS 27: The Small Things

 🔤Unicode Normalization  Content type: Blog
blog.oneberri.com··Hacker News

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··Hacker News

Feature Fridays, 5th Jun 2026

 💻CS  Content type: Blog
i-am-awake.itch.io·

Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies

 Automata Theory  Content type: Academic
arxiv.org·

[Showoff Saturday] Built a circular habit tracker with animated Clockwork Orbit

 Tactile Computing

New comment by ashutosh000018 in "Ask HN: Who wants to be hired? (June 2026)"

 💻CS

Solving the Global Energy Problem in 2026: A Roadmap for Energy Security, Prosperity, and Global Harmony

 🖥️Self-hosted Infrastructure  Content type: Blog

Reinforcing Temporal Answer Grounding in Instructional Video via Candidate-Aware Causal Reasoning

 🎯Retrieval Systems  Content type: Academic
arxiv.org·

Don't Pause: Streaming Video-Language Synchrony for Online Video Understanding

 💻CS  Content type: Academic
arxiv.org·

The Complexity of Asynchronous HyperLTL

 🌐NetworkProtocols  Content type: Academic
arxiv.org·

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

 🌐NetworkProtocols  Content type: Academic
arxiv.org·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help