theoretical-computer-science

For deep RL and the future of AI.

Math & CS awesome List, distinguished by proof and logic technique

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the multitape model, building on OpenAI's problem and Colkitt's integer-mult-bounds: certificates, independent replays, Lean 4 checks

E-Books Library for someone who interested in Pure Mathematics.

Agentic TCS proof search with statement review, persistent authoring, independent criticism, and LaTeX editing.

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

Book reading

Arquivo de pesquisa interdisciplinar do Laboratório Tamesis sobre informação, geometria, sistemas complexos e cognição, com distinção rigorosa entre hipóteses e evidências.

This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.

Java implementation of the CYK algorithm.

Node.js implementation of the stable marriage problem

Calculates the uncomputable Busy Beaver Σ-function

Une compilation au plus que possible exhaustive d'exercices d'informatique intéressants

Simple turing machine simulator using the syntax of the online simulator at turingmachinesimulator.com

A collection of ML questions and answers

A toolkit for teaching, learning, and doing research in Boolean function analysis. Fourier analysis, property testing, query complexity, hypercontractivity, pseudorandomness, and more

Theoretical computer science (Slovene)

科普文《递归定理与自指的魔术》