Content

Online learning

• Follow the regularized leader

• Hedge and bandits

• Gaussian processes and Hedge for infinite armed bandits

Talks

• Provably beneficial artificial intelligence by Stuart Russell

• From causal inference to autoencoders and gene regulation by Caroline Uhler

Tidbits

• Various ways of writing Nesterov’s acceleration

• Acceleration convergence using a potential function

• Gradient boosting

• Bayesian logistic Regression

• The I/O model

You can also find all the posts in chronological order in the archive.

---

Open source

• Scalable Gaussian Processes for Economic Models. This codebase can be used to run high-dimensional scalable Gaussian Processes on Economic Models on a High Performance Computing cluster.

• Ensembled Deep Network for Global Optimization. This project explores the behavior of an ensembled variant of the architecture proposed by (Snoek et al 2015) on various Bayesian Optimization benchmark problems.

• Prolog code generation from Isabelle’s inner syntax. This project compiles a theorem prover written and proven with Isabelle and compiles it into Prolog. It does so in Haskell through several catamorphism that changes the Isabelle AST into a Prolog AST.

• CampusNet Sync. A Dropbox like inspired app to sync your computer with the filesystem used at the Technical University of Denmark.

• Anki Onenote importer. Allows one to import .mht files exported from OneNote into Anki.

… and more on Github including this site which was originally build by Hakyll with some added \(\text{\LaTeX}\) goods. I have since moved to the Executable Book Project for a well-maintained codebase with many of the same features.