For deep RL and the future of AI.

The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.

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

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

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

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

Book reading

Node.js implementation of the stable marriage problem

Java implementation of the CYK algorithm.

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

A collection of ML questions and answers

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

Calculates the uncomputable Busy Beaver Σ-function

Theoretical computer science (Slovene)

Mincluster is an essential package designed for minimizing the maximum intercluster distance in datasets. This powerful tool streamlines the process of optimizing data clustering by reducing the separation between clusters

A browser-based IDE for the untyped lambda calculus. Try it:

Inferrable Languages

Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart

🤖 A public repository for my machine learning notes. This will also contain lectures and sample data sets that I have gathered from various sources, including CS229 (Stanford), CS542 (BU), MLS (deeplearning.ai), 6.036 (MIT), and more...