Massimiliano Tomassoli

papers. Collection of papers

HKTs. Seamless Higher-Kinded Types in Rust

golib. Dart library for go-like concurrency (goroutines, channels, and synchronous operations).

lifetimes. A question about lifetimes.

information-theory-tutorial. Jupyter Notebook

tensor-differential-calculus. Source code for my paper "Matrix Differential Calculus with Tensors (for Machine Learning)"

expdev. Book about Exploit Development

Type-Level-Programming-in-Python. A statically-typed list that knows its length (just a POC)

LyXBlog. Script for publishing LyX articles on a Jekyll-based Blog.

lexi-trees. Lexi Trees: Probabilistic and Deterministic Self-Balancing Binary Search Trees

TS-Experiments. Non trivial Type Programming in Typescript

JSWidget. Plotly Widget for drawing plots offline in Jupyter.

MLBlogSource. All the source code for my blog about ML

MyChallenges. Ethereum Hacking Challenges