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 commentsJul 10, 2022
Jul 04, 2022
Learning Lean (Part 1)
An introduction to functional programming and mathematics in the dependently-typed functional programming language and theorem prover Lean 4.
Click to read and post commentsMay 05, 2020
Deep Reinforcement Learning in Action is Published
Deep Reinforcement Learning in Action is out!
posted at 02:16
by Brandon Brown
· Announcement
Click to read and post comments
Jun 19, 2018
Deep Reinforcement Learning in Action (Announcement)
I'm co-authoring a book on Deep Reinforcement Learning!
posted at 23:57
by Brandon Brown
· Announcement
Click to read and post comments
Jun 19, 2018
Tensor Networks
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 commentsApr 26, 2017
Announcement
Some announcements about this blog's migration to a different static site generator as well as some new GitHub repos I've created.
posted at 19:41
by Brandon Brown
· Announcement
Click to read and post comments
Next →
Page 1 of 4