A functional language in the Haskell. It offers a simple FFI to C, so I was curious what integration with Objective-C would look like. This is a module defining an.

Tue, Feb 10, 2015. Have been spending our Sunday evenings learning all about Idris. It all kicked off at the excellent Build Stuff. Last year during a hungover coding session in the hotel lobby. Is to get a dependently typed implementation of the Bowling Kata. Working in Idris in time for Build Stuff 2015.

Setting up Rust development environment using VSCode on a Mac. This post is a part of the upcoming series on different ways of setting up your Rust development environment. While on Linux VSCode with the Rust plugin seems to work more or less out of the box, on a Mac I needed to spend some time configuring it.

Natural language processing, machine learning and computer vision. Tuesday, March 22, 2016. They have few types often only known at run time. They have advanced types that are known at compile time. In Lisp or an EDN.

A practitioning bit-shifting magician turned cat herder. Open Source is not a business model. A common theme nowadays in the open source developers circles is that you cant live writing open source. Others try their luck at Kickstart .

Learning and discussing all things lambda. 8211; Find Your Match.

Setting up Rust development environment using VSCode on a Mac. This post is a part of the upcoming series on different ways of setting up your Rust development environment. While on Linux VSCode with the Rust plugin seems to work more or less out of the box, on a Mac I needed to spend some time configuring it.

I want programming to be a creative dialog between human and machine. To do this, I work with advanced type systems, metaprogramming, and domain-specific languages. In Portland, Oregon, USA. Before that, I was a postdoc with Sam Tobin-Hochstadt. Dan Friedman and I are working on a book on dependent types.