My current academic endeavors are in the field of probabilistic programming. I will wok this area until roughly June 2017. In the end it should hopefully translate to a thesis. This document is my public working document. It indexes my public writings about my studies and work while it also...
A couple of weeks ago I started this project. The idea was to program the Fibonacci function in as many languages as possible and explore various concepts of programming. I chose Fibonacci as my subject for this exploration as it is a good function that is is simple to understand...
What are the foundational structures of probabilities? How do we design a language making it easy to model probabilistic problems? Oftentimes the modeling happens directly in terms of vectors and matrices, but there are better ways.
This article is my give on the relationship between mathematical proofs and programming languages. Many details on specific implementation have been left out with the aim for clarity and conceptual coherency.
In this article, we will look into encoding the Fibonacci function using the fix-point combinator. This is an interesting function as it can be used to implement general recursion in a programming language.
Recently I started writing a book on Leanpub. This was a first and, frankly, I had no real idea about what to write about.
My current academic endeavors are in the field of probabilistic programming. I will wok this area until roughly June 2017. In the end it should hopefully translate to a thesis.