Christiano Haesbaert's guest appearances

Christiano Haesbaert

Functional Geekery

Mark Allen

Dan Friedman

Peyton Jones

Dave Thomas

Chris Allen

Colin Barrett

ERIC SMITH

Gene Kim

Evan Hubinger

Colin Jones

Scott Wlaschin

Richard Feldman

Eric Bailey

Ivan Čukić

Simon Thompson

OwlTail

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 &amp; 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 &amp; 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&amp;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.

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”. <h2>Our Guest, Christiano Haesbaert</h2> <a href="https://twitter.com/haesbaert_cf" rel="noopener noreferrer nofollow" target="_blank">@haesbaert_cf</a> on Twitter <a href="https://github.com/haesbaert" rel="noopener noreferrer nofollow" target="_blank">haesbaert</a> on Github <h3>Conference Announcements</h3> Scala Wave 2017 will be taking place July 7th and 8th. Visit <a href="http://scalawave.io/" rel="noopener noreferrer nofollow" target="_blank">scalawave.io</a> to find out more and to register. EuroClojure will be taking place in Berlin, Germany on July 20th &amp; 21st. Visit <a href="http://2017.euroclojure.org/" rel="noopener noreferrer nofollow" target="_blank">http://2017.euroclojure.org/</a> 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 <a href="http://www.bus-conf.org/" rel="noopener noreferrer nofollow" target="_blank">http://www.bus-conf.org/</a>. Elixir.LDN will be taking place on August 17th. To help encourage inclusion and diversity 30 Free Scholarship places are available. Visit <a href="http://www.elixir.london/" rel="noopener noreferrer nofollow" target="_blank">http://www.elixir.london/</a> 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 <a href="http://thestrangeloop.com/" rel="noopener noreferrer nofollow" target="_blank">http://thestrangeloop.com/</a>. PWLConf 2017 will be taking place September 28th in St. Louis, MO, before Strange Loop. Visit <a href="http://pwlconf.org/" rel="noopener noreferrer nofollow" target="_blank">http://pwlconf.org/</a> 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 <a href="http://openfsharp.org" rel="noopener noreferrer nofollow" target="_blank">openfsharp.org</a> for more information and to register. RacketCon is October 7th &amp; 8th at the University of Washington, with keynote speakers Dan Friedman and Will Byrd. Visit <a href="http://con.racket-lang.org/" rel="noopener noreferrer nofollow" target="_blank">http://con.racket-lang.org/</a> 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 <a href="http://www.lambda.world/" rel="noopener noreferrer nofollow" target="_blank">http://www.lambda.world/</a>. CodeMesh is coming up November 8th and 9th in London. For more information, and to keep an eye open for registration, visit <a href="http://www.codemesh.io/" rel="noopener noreferrer nofollow" target="_blank">http://www.codemesh.io/</a>. If you have a conference related to functional programming, contact me, and I will be happy to announce it. <h3>Announcements</h3> 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 <a href="https://www.patreon.com/fngeekery" rel="noopener noreferrer nofollow" target="_blank">https://www.patreon.com/fngeekery</a>. <h3>Topics [@4:58]</h3> About Christiano <a href="https://ocaml.org/" rel="noopener noreferrer nofollow" target="_blank">OCaml</a> <a href="https://mirage.io/" rel="noopener noreferrer nofollow" target="_blank">MirageOS</a> How Christiano was introduced to software Starting out with Linux Learning how to program to understand System Administration <a href="http://amzn.to/2tPle7M" rel="noopener noreferrer nofollow" target="_blank">K&amp;R book</a> Linux Kernel interest <a href="https://www.openbsd.org/" rel="noopener noreferrer nofollow" target="_blank">OpenBSD</a> <a href="http://amzn.to/2teGK8P" rel="noopener noreferrer nofollow" target="_blank">The Little Schemer</a> <a href="https://www.bitrig.org/" rel="noopener noreferrer nofollow" target="_blank">Bitrig</a> Writing kernel code <a href="https://mirage.io/" rel="noopener noreferrer nofollow" target="_blank">MirageOS</a> and running DNS in a Unikernel <a href="https://www.xenproject.org/" rel="noopener noreferrer nofollow" target="_blank">Xen</a> Learning OCaml <a href="http://amzn.to/2tgegfk" rel="noopener noreferrer nofollow" target="_blank">Real World OCaml</a> “[In C] you learn to trust nothing” Overview of MirageOS <a href="https://github.com/mirage/mirage-www/wiki/Pioneer-Projects" rel="noopener noreferrer nofollow" target="_blank">Mirage Pioneer Projects Page</a> Writing a <a href="https://github.com/mirage/charrua-core" rel="noopener noreferrer nofollow" target="_blank">DHCP server in OCaml</a> C vs OCaml as systems languages Control vs Data <a href="https://www.inria.fr/" rel="noopener noreferrer nofollow" target="_blank">Inria</a> <a href="http://ocamllabs.io/" rel="noopener noreferrer nofollow" target="_blank">OCaml Labs</a> Power of OCaml for control protocols <a href="https://www.functionalgeekery.com/episode-71-nikhil-swamy/" rel="noopener noreferrer nofollow" target="_blank">Nik Swamy on Functional Geekery about HTTPS in F*</a> 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 <a href="http://canopy.mirage.io/Projects/Fuzzing" rel="noopener noreferrer nofollow" target="_blank">Fuzz Testing in Mirage</a> and OCaml <a href="https://www.docker.com/" rel="noopener noreferrer nofollow" target="_blank">Docker</a> and MirageOS <a href="https://github.com/linuxkit/linuxkit" rel="noopener noreferrer nofollow" target="_blank">linuxkit</a> Being proved right with DHCP from usage and lack of bug reports Writing a <a href="https://github.com/haesbaert/awa-ssh" rel="noopener noreferrer nofollow" target="_blank">SSH library in OCaml</a> <a href="https://github.com/mirage/charrua-core" rel="noopener noreferrer nofollow" target="_blank">OpenSSH</a> Working on removing side-effects in SSH library (aside from entropy) <a href="https://github.com/mirleft/ocaml-tls" rel="noopener noreferrer nofollow" target="_blank">TLS Library in OCaml</a> OCaml TLS paper: <a href="https://usenix15.nqsb.io/" rel="noopener noreferrer nofollow" target="_blank">Not-quite-so-broken TLS</a> “Call for request to have ability to zero out memory for security reasons” Suggestions on getting started in OCaml or MirageOS <a href="http://amzn.to/2tgegfk" rel="noopener noreferrer nofollow" target="_blank">Real World OCaml</a> <a href="https://github.com/mirage/mirage-www/wiki/Pioneer-Projects" rel="noopener noreferrer nofollow" target="_blank">Mirage Pioneer Projects Page</a> <a rel="noopener noreferrer">#ocaml IRC Channel on Freenode</a> <a rel="noopener noreferrer">#mirage IRC Channel on Freenode</a> <a href="https://mirage.io/blog/2017-march-hackathon-roundup" rel="noopener noreferrer nofollow" target="_blank">MirageOS Hackathon in Marrakech</a> As always, a giant Thank You goes to <a href="https://www.twitter.com/davidjbelcher" rel="noopener noreferrer nofollow" target="_blank">David Belcher</a> for the logo design.

Functional Geekery Episode 99 - Christiano Haesbaert