🧮 Theoretical Computer Science - matmat · Scour

A language designed for machines to write

negroniventurestudios.com·3h·

Discuss: Hacker News

💻Programming languages

11011110.github.io·23h

🕳️Persistent Homology

Differential Logic • 14

inquiryintoinquiry.com·1d

🔬Logic in Computer Science

Gödel, slowly …

logicmatters.net·1d

λLambda Formalization

The RISC Concept - A Survey of Implementations

inf.fu-berlin.de·1d

Sheaves as oracle computations

arxiv.org·3d

🔍Type Inference

F# Weekly #9, 2026 – Crunching the Technical Debt with Repo Assist

sergeytihon.com·7h

💧Liquid Types

NeurIPS 2021 Papers (2021)

tanelp.github.io·14h·

Discuss: Hacker News

🧠Machine Learning

A few short summaries of 39c3 talks I liked without any additional context or follow-up

bits.ashleyblewer.com·22h

📼Audio Cassettes

What does it mean to compute? Framework maps hidden computations running inside natural dynamic systems

phys.org·2d

🔲Cellular Automata

The Chinese Computer: Competition or Cooperation?

languagelog.ldc.upenn.edu·11h

🇨🇳Chinese Computing

Everything changes, and nothing changes

btao.org·1d·

Discuss: Lobsters, Hacker News

⚡Incremental Computation

The Lie algebra of XY-mixer topologies and warm starting QAOA for constrained optimization

nature.com·2d

⚛️Quantum Compilers

Plato, Timaeus (downloads)

larrysanger.org·21h

⚖️Emulation Ethics

Topological Relational Theory: A Simplicial-Complex View of Functional Dependencies, Lossless Decomposition, and Acyclicity

arxiv.org·3d

🕸️Algebraic Topology

There's Only One Idea in AI

bramcohen.com·5h·

Discuss: Hacker News

🔲Cellular Automata

On This Day in Math

pballew.blogspot.com·12h·

Discuss: Blogger

🇬🇧British Computing

Got Slides? PS Club

cogdogblog.com·1d

Optimal Heterogeneous Memory Configs for AI Tasks Under Specified Performance Metrics (Stanford, UCSC)

semiengineering.com·8h

🖥️Hardware Architecture

dReLU Activation Function: Matching SwiGLU Performance with 90% Sparsity

hackernoon.com·2d

🌀Brotli Dictionary

Loading more...