🎯 Automata theory - matmat · Scour

Learning Deterministic Finite-State Machines from the Prefixes of a Single String is NP-Complete

arxiv.org·17h

⚙Automata Theory

Subterms Modulo Theories I

philipzucker.com·2d

⚙Automata Theory

Kolmogorov Complexity

en.wikipedia.org·9h·

Discuss: Hacker News

🧮Kolmogorov Complexity

abelianization of an additive category in nLab

ncatlab.org·5h

🧮Algebraic Archives

Algebra Problems of the Day (Algebra Regents, August 2025 Part I)

mrburkemath.blogspot.com·8h·

Discuss: Blogger

📐Linear Algebra

Transformer Series #3: Positional Encoding - How Transformers Understand "Time" Without a Clock ⏳

dev.to·8h·

Discuss: DEV

🔤Character Classification

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings

arxiv.org·17h

🌳Context free grammars

Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture

jimiwen.substack.com·21h·

Discuss: Substack

🔲Cellular Automata

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·22h·

Discuss: Hacker News

⚖️Verification Calculi

The Parable of the Languages (2002)

web.archive.org·1d·

Discuss: Lobsters

💻Programming languages

How to Write Your Own Programming Language in C#

codemag.com·2d

🔗Concatenative Programming

Software as clay on the wheel

dri.es·1d

⚡Proof Automation

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·10h

📊Static Analysis

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·5h·

Discuss: Hacker News

🤝Unification Algorithms

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

🔬Logic in Computer Science

Conversation: LLMs and the what/how loop

martinfowler.com·7h

🧩WASM Components

CodeSOD: Validation Trimmed Away

thedailywtf.com·15h

✅Format Validation

Simplex, a workflow specification language for autonomous agents

github.com·1d·

Discuss: Hacker News

Use Babel to Deobfuscate JavaScript Malware

blag.nullteilerfrei.de·3d

🎯Gradual Typing

Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI

news.ycombinator.com·4h·

Discuss: Hacker News

🌳Incremental Parsing

Loading more...