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 Twitterhaesbaert on GithubConference AnnouncementsScala 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.AnnouncementsSome 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 canfind out more at https://www.patreon.com/fngeekery.Topics [@About ChristianoOCamlMirageOSHow Christiano was introduced to softwareStarting out with LinuxLearning how to program to understand System AdministrationK&R bookLinux Kernel interestOpenBSDThe Little SchemerBitrigWriting kernel codeMirageOS and running DNS in a UnikernelXenLearning OCamlReal World OCaml“[In C] you learn to trust nothing”Overview of MirageOSMirage Pioneer Projects PageWriting a DHCP server in OCamlC vs OCaml as systems languagesControl vs DataInriaOCaml LabsPower of OCaml for control protocolsNik Swamy on Functional Geekery about HTTPS in F*Removing responsibility from the human side and letting the compiler take care of itMapping 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 languageCo-worker from Haskell and 2,000 line header fileFuzz Testing in Mirage and OCamlDocker and MirageOSlinuxkitBeing proved right with DHCP from usage and lack of bug reportsWriting a SSH library in OCamlOpenSSHWorking on removing side-effects in SSH library (aside from entropy)TLS Library in OCamlOCaml 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 MirageOSReal World OCamlMirage Pioneer Projects Page#ocaml IRC Channel on Freenode#mirage IRC Channel on FreenodeMirageOS Hackathon in MarrakechAs always, a giant Thank You goes to David Belcher for the logo design.