The most cited deep learning papers

Bootstrap yourself to write an OS from scratch. A book for self-learner.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

C++ standards drafts

📙 The probability and statistics cookbook

Bayesian Data Analysis course at Aalto

A textbook on informal homotopy type theory

Introduction to Autonomous Robots

A free book: "The Science of Functional Programming"

My Cambridge Lecture Notes

Internet of Blockchains ⚛

A Course in Machine Learning

papers of Per Martin Löf

Slides, figures, and other material for teaching using tracing and observability on FreeBSD

Robot Hacking Manual (RHM). From robotics to cybersecurity. Papers, notes and writeups from a journey into robot cybersecurity.

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

LaTeX graphics with TikZ, by Packt Publishing

Working through Structure and Interpretation of Classical Mechanics.

the markdown version of the dodbook

Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not included in the book, the indexes of names and cited author…

Latex source for geometric algebra and physics notes.

Paper: The simple essence of automatic differentiation

Theorems, Definitions, Papers, Research

An upcoming book on mathematical physics

various mathematical properties arising from the exercise of free will by the human animal

Julia source code for the paper titled: "A generalized quadratic estimate for random field nonstationarity" by Ethan Anderes and Joe Guinness

A Cointuitionistic Adjoint Logic