MP3 Audio [25 MB] Download Show URL

In this episode I talk with Christiano Haesbaert. We talk his experience with the BSD kernel; foray into OCaml and MirageOS, and how OCaml fits in the realm of “systems languages”.

Our Guest, Christiano Haesbaert

@haesbaert_cf on Twitter

haesbaert on Github

Conference Announcements

Scala Wave 2017 will be taking place July 7th and 8th. Visit scalawave.io to find out more and to register.

EuroClojure will be taking place in Berlin, Germany on July 20th & 21st. Visit http://2017.euroclojure.org/ for more information and to keep updated.

BusConf will be taking place the 3rd-5th of August in Frankfurt, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/.

Elixir.LDN will be taking place on August 17th. To help encourage inclusion and diversity 30 Free Scholarship places are available. Visit http://www.elixir.london/ to find out more and register.

The Strange Loop coming! It will be held in St. Louis, MO on September 28-30, 2017 at the Peabody Opera House. To submit your CfP, visit http://thestrangeloop.com/.

PWLConf 2017 will be taking place September 28th in St. Louis, MO, before Strange Loop. Visit http://pwlconf.org/ for more information and to stay updated on latest announcements.

Open FSharp will be taking place the 28th-29th of September in San Francisco, California. Visit openfsharp.org for more information and to register.

RacketCon is October 7th & 8th at the University of Washington, with keynote speakers Dan Friedman and Will Byrd. Visit http://con.racket-lang.org/ for more information and to register.

LambdaWorld will be taking place in Cadiz, Spain on October 26th and 27th. For more information visit and to keep updated visit http://www.lambda.world/.

CodeMesh is coming up November 8th and 9th in London. For more information, and to keep an eye open for registration, visit http://www.codemesh.io/.

If you have a conference related to functional programming, contact me, and I will be happy to announce it.

Announcements

Some of you have asked how you can support Functional Geekery, in that vein,

Functional Geekery now has a Patreon Page.

If that is one of the ways you would like to show your support, you can

find out more at https://www.patreon.com/fngeekery.

Topics [@4:58]

About Christiano

OCaml

MirageOS

How Christiano was introduced to software

Starting out with Linux

Learning how to program to understand System Administration

K&R book

Linux Kernel interest

OpenBSD

The Little Schemer

Bitrig

Writing kernel code

MirageOS and running DNS in a Unikernel

Xen

Learning OCaml

Real World OCaml

“[In C] you learn to trust nothing”

Overview of MirageOS

Mirage Pioneer Projects Page

Writing a DHCP server in OCaml

C vs OCaml as systems languages

Control vs Data

Inria

OCaml Labs

Power of OCaml for control protocols

Nik Swamy on Functional Geekery about HTTPS in F*

Removing responsibility from the human side and letting the compiler take care of it

Mapping a protocol specification to OCaml versus C

“OCaml made me a lazy C programmer, because I started trusting stuff”

Creating Monsters by pulling in ideas that don’t fit from another language

Co-worker from Haskell and 2,000 line header file

Fuzz Testing in Mirage and OCaml

Docker and MirageOS

linuxkit

Being proved right with DHCP from usage and lack of bug reports

Writing a SSH library in OCaml

OpenSSH

Working on removing side-effects in SSH library (aside from entropy)

TLS Library in OCaml

OCaml TLS paper: Not-quite-so-broken TLS

“Call for request to have ability to zero out memory for security reasons”

Suggestions on getting started in OCaml or MirageOS

Real World OCaml

Mirage Pioneer Projects Page

#ocaml IRC Channel on Freenode

#mirage IRC Channel on Freenode

MirageOS Hackathon in Marrakech

As always, a giant Thank You goes to David Belcher for the logo design.