⚙ Automata Theory - matmat · Scour

Localising Stochasticity in Weighted Automata

arxiv.org·20h

🎯Automata theory

martianoff/gala: GALA (Go Alternative LAnguage) -- a modern functional programming language that transpiles to Go. Sealed types, pattern matching, immutability by default, monads (Option, Either, Try, Future), and full Go interop. Built with Go, ANTLR4, Bazel and Claude.

github.com·1d·

Discuss: Hacker News

🔗Concatenative Languages

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·8h

🔧Hardware Verification

extended C*-algebra in nLab

ncatlab.org·6h

🧮Algebraic Archives

Differential Logic • 15

inquiryintoinquiry.com·7h

⚔️Lean Theorem

A quadratic lower bound for 2DFAs against one-way liveness

arxiv.org·20h

🎯Automata theory

Empirical, a language for time-series analysis

empirical-soft.com·3h·

Discuss: Hacker News

📈Time Series

Testing AI Agents: Deterministic Evaluation in a Non-Deterministic World

sitepoint.com·6h

🔍Concolic Testing

math.columbia.edu·9h

🎼Audio Lambda Calculus

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

⚔️Lean Tactics

Structured Outputs for LLMs

ternarysearch.blogspot.com·18h·

Discuss: Hacker News, ternarysearch.blogspot.com

🌳Context free grammars

Large induced matchings and minimal blocking sets using parabolas

anuragbishnoi.wordpress.com·5h

🕸️Graph Algorithms

informatics.ed.ac.uk·13h

📐Linear Algebra

I like how Nolan paints this two-sided picture of AI coding. The worst fact about these tools is that they work. They can write code better than you or I can, a...

chriscoyier.net·10h

⚡Proof Automation

Make A Choice, Tiger

hackernoon.com·7h

🎯Interactive Provers

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·3h·

Discuss: Hacker News

🧬Functional Programming

Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection

jmlr.org·13h

🧠Machine Learning

extended von Neumann algebra in nLab

ncatlab.org·6h

📚Archive Algebras

A language designed for machines to write

negroniventurestudios.com·1d·

Discuss: Hacker News

💻Programming languages

Parse, Don't Guess

architecture-weekly.com·8h

✅Format Verification

Loading more...