Learning Lean (Part 2)
In part 2 we learn how to prove our first theorems about the natural numbers in Lean.
Click to read and post commentsIn part 2 we learn how to prove our first theorems about the natural numbers in Lean.
Click to read and post commentsAn introduction to functional programming and mathematics in the dependently-typed functional programming language and theorem prover Lean 4.
Click to read and post commentsDeep Reinforcement Learning in Action is out!
I'm co-authoring a book on Deep Reinforcement Learning!
In this post we explore tensor networks, their mathematical properties, and implement a tensor network as a machine learning model for a toy problem.
Click to read and post commentsSome announcements about this blog's migration to a different static site generator as well as some new GitHub repos I've created.