Finite Automata

Feeds to Scour
SubscribedAll
Scoured 60 posts in 9.3 ms

Learning Regular Languages with the TTT Algorithm

 📊Algorithms

Weighing Timed Regular Languages: The Final Step (long version)

 📡Information Theory  Content type: Academic
arxiv.org·
Less-relevant results

Ezi_gex — a Unicode-aware regex engine for Zig, with comptime compilation and pluggable backends

 ⚙️Zig
ziggit.dev·

06/09/2026 (Tuesday)

 🕰️Vector Clocks  Content type: Blog
lazydaily.bearblog.dev·

Athletics should DFA ex-Braves catcher to promote .923 OPS veteran

 🧠AI  Content type: News
sportingnews.com·

Arkansas opens applications for $93.5M in rural health grants

 🌾Regenerative Agriculture  Content type: News
fox16.com·

Astros Outright Cesar Salazar

 🧠AI  Content type: News

Malaysia drops probe into ex-anti-corruption chief Azam Baki, says ‘no further action’

 🚨Incident Response  Content type: News
scmp.com
·

Padres DFA OF Nick Castellanos while in Philadelphia

 💻Local first
deadspin.com·

Show HN: Open dataset for distilling GPU audio2face models to CPU students

 🎚️Audio Codecs

Iran My Bad. The Energy Report 06/05/2026

 Renewable Energy  Content type: Blog
blog.pricegroup.com·

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

 🤖Reinforcement Learning  Content type: Academic
arxiv.org·

Cardinals’ 4-Year Veteran Cuts Ties With Division Rival After Short Stint

 🧠AI
forbes.com·

Former Red Sox Fan Favorite Enduring Nightmare Season For New Team

 📝CMS  Content type: News
nesn.com·

Virginia Residents Loading Up On ARs As New Gun Law Is Imminent

 🔧CNC Tooling
crooksandliars.com·

White Sox's $8 million reliever could be on the bad side of a DFA

 🛠️tools  Content type: News
sportingnews.com·

Compiling Rewrite Rules to Finite-State Transducers with the Worsening Trick

 📝NLP  Content type: Academic
arxiv.org·

Braves Designate Carlos Carrasco For Assignment

 🧠AI  Content type: News

jdalang/jda-lang: Jda: A high-performance systems language bootstrapped from assembly. Beats C on sudoku & LZ77. Self-hosted compiler, no GC, built-in concurrency & ML.

 🔨Compilers  Content type: Code
github.com··DEV

Generators: the API for traversal, iteration and non-determinism:

 📊Algorithms
okmij.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