⚙ Automata Theory - matmat · Scour

Do CFLOBDDs Actually Make Use of Linear Structure? 📐Binary Grammars

The Wireworld Computer(1987) 🎞️Tape Combinatorics

quinapalus.com·1d·Hacker News

Compiling the Trap 🎯Proof Tactics

Make It Blink: Over-the-Air Exploitation of the Philips Hue Bridge 📻Homebrew Protocols

synacktiv.com·5d·Hacker News

Digital Organizer Given Modern Upgrade 📲Digitization

hackaday.com·1d

Codex 5.3 vs Claude Opus 4.6 on a Real Java Monolith 🏺ZIP Archaeology

hackernoon.com·5d

Linkage 🔄Graph Rewriting

11011110.github.io·5d

The Expressive Power of Low Precision Softmax Transformers with (Summarized) Chain-of-Thought 🔗Parser Combinators

Ranking Opinions with Few States in Population Protocols 🤝Consensus Networks

Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation 🔗Combinatory Logic

Equilibria in Multiplayer Graph Games: An Algorithmic Study 🔲Cellular Automata

String Solving with Stabilization and Transducers (Technical Report) 🧮SMT Solvers

DuIVRS-2: An LLM-based Interactive Voice Response System for Large-scale POI Attribute Acquisition 🎙️Whisper

Kofola 1.0: A Modular Approach to {\omega}-Regular Complementation and Inclusion Checking (Technical Report) 💧Liquid Types

Cross-View Attention Fusion Net: A Prior-Guided Dual-View Representation Learning for Cardiac Output Estimation from Short-Term PPG Signals 📈Mutual Information

Generative Recursive Reasoning 🔍Type Inference

arxiv.org·1d·Hacker News

Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning 🎯Performance Proofs

Parallel Recursive LSTM 🚀SIMD Text Processing

The Complexity of Nested Reset Counter Systems 🎞️Tape Combinatorics

Is Agentic AI Ready for Real-World Hardware Engineering? A Deep Dive with Phoenix-bench 🔧Hardware Verification

No more posts from matmat's subscribed feeds.

Scour all 24660 feeds Learn more about Feeds

Log in to enable infinite scrolling