🧮 Theoretical Computer Science - matmat · Scour

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

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

alexvear.com·3d·Hacker News

Barbara Liskov, Turing Award'08: Data Abstraction, Dijkstra, Distributed Systems 💻Programming languages

developing.dev·2d·Hacker News, r/programming

Transcomputational Problem ⚡Parallel Computing

en.wikipedia.org·13h·Hacker News

The Complicated Nature of Programming Languages 💻Programming languages

functiondispatch.substack.com·5d·r/programming

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

Full Definability in a Profunctorial Model 🔲Proof Irrelevance

Kwai Summary Attention Technical Report 🧮Kolmogorov Complexity

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

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

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

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

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

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

Quasi-Equivariant Metanetworks 🕸️Tensor Networks

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

Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation 🧩WASM Components

No more posts from matmat's subscribed feeds.

Scour all 24432 feeds Learn more about Feeds

Log in to enable infinite scrolling