🧮 Theoretical Computer Science - matmat · Scour

FACT: Compositional Kernel Synthesis with a Three-Stage Agentic Workflow ⚡Incremental Computation

Substrate: Intuitions ⚡Incremental Computation

lesswrong.com·4d

Transcomputational Problem ⚡Parallel Computing

en.wikipedia.org·15h·Hacker News

On Lisp: A review of Paul Graham's 1993 book 🔗Lisp

alexvear.com·3d·Hacker News

Jamie Simon and Daniel Kunin, UC Berkeley: There Will Be a Scientific Theory of Deep LearningPodcastApril 24, 2026Read more 🧠Machine Learning

EOS-Bench: A Comprehensive Benchmark for Earth Observation Satellite Scheduling 🎯Performance Proofs

Kwai Summary Attention Technical Report 🧮Kolmogorov Complexity

Full Definability in a Profunctorial Model 🔲Proof Irrelevance

On the Hardness of Finding Temporally Connected Subgraphs of Any Size 🔗Graph Isomorphism

[2406.19108] Computational Life: How Well-formed, Self-replicating Programs Emerge from Simple Interaction 🔲Cellular Automata

A Theory of Hanoi Omega-Automata and Games ⚙Automata Theory

MappingEvolve: LLM-Driven Code Evolution for Technology Mapping 🏗️Compiler Archaeology

Quasi-Equivariant Metanetworks 🕸️Tensor Networks

LLM Psychosis: A Theoretical and Diagnostic Framework for Reality-Boundary Failures in Large Language Models 🌳Context free grammars

Agentic World Modeling: Foundations, Capabilities, Laws, and Beyond 🔲Cellular Automata

Complexity Classes Arising from Circuits over Finite Algebraic Structures 🎞️Tape Combinatorics

There Will Be a Scientific Theory of Deep Learning 🧠Machine Learning

arxiv.org·6d·Hacker News

StructMem: Structured Memory for Long-Horizon Behavior in LLMs 📼Cassette Combinators

On first-order model checking parameterized by the number of variables 👑Coq Tactics

Common Foundations for Recursive Shape Languages 🔤Type Theory

Log in to enable infinite scrolling