Brian Troutwine's guest appearances

Brian Troutwine

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 Brian Troutwine.  We catch up with his work in Erlang, working in Rust, applying functional programming techniques to Rust, learning Erlang compared to Rust, his book “Concurrent Rust” that is in the works, and much more. Our Guest, Brian Troutwine https://blog.troutwine.us/ @bltroutwine on Twitter Conference Announcements CodeBEAM STO, formerly Erlang User Conference, celebrates the 20th Anniversary of Erlang being made Open Sourced, and will be taking place May 31st and June 1st.  For more information and to register visit https://codesync.global. Monadic Party, a 5 day Haskell Summer School, will be taking place in Poznań, Poland the 11th-15th of June.  Visit https://monadic.party/ for more information and to register. International Conference on Functional Programming 2018 will be taking place September 23 – 29th in St. Louis, MO.  For more information, and to register visit: https://icfp18.sigplan.org/ StrangeLoop 2018 will be taking place September 27th and 28th, with a pre-conference day on the 26th in St. Louis, MO.  To keep updated as details become announced you can find out more at: https://www.thestrangeloop.com/ 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 [@3:15] About Brian What Brian has been up to in the past few years Mostly Erlang Erlang Rust The Charming Genius of the Apollo Guidance Computer AdRoll Postmates C++ Cernen Hopper Quantiles If Brian was spoiled by working on a system with 1M TPS Knight Capital Group Cautionary Tale Property Testing Beginner’s Luck RackSpace Software being able to inspect itself SmallCheck Chaos Engineering How Brian was introduced to Erlang Joe Armstrong’s thesis paper Prolog OpenMP SML Constructivist approach to programming Idris Agda Coq Working in Erlang professionally at RackSpace Bringing others up to speed with Erlang Mochi Elixir Programming Erlang Erlang and OTP in Action Learn You Some Erlang Difference in Erlang/Elixir approachability since Brian started learning it “I’ve never known an easier time to learn Erlang [and Elixir] than we have right now” Similarity in Brian’s learning Erlang to learning Rust Rust The Book Tokio The ML family typed inspire side of Rust How much does functional ideas fit into Rust in practice Thinking in Erlang as sequential inside of a process which is concurrent Applying a similar approach in Rust What is meant by “Safety” in Rust Using C++ at AdRoll vs how Brian uses Rust today Traits in Rust Working on a book on Concurrency in Rust Rust Concurrency Andrew Stone on Actor System in Rust at CodeMesh How Rust approaches concurrency at a language level What does saying “Rust is Memory Safe” mean? Atomic Reference Counter (ARC) Crates.io Rayon Crossbeam CodeMesh 2018 in London Designing for Scalability with Erlang/OTP Programming Rust from O’Reilly Rust in Action from Manning ripgrep quickcheck Rust in WebAssembly D Andrew Stone’s work at VMWare As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Brian Troutwine. We catch up with his work in Erlang, working in Rust, applying functional programming techniques to Rust, learning Erlang compared to Rust, his book “Concurrent Rust” that is in the works, and much more. <h2>Our Guest, Brian Troutwine</h2> <a href="https://blog.troutwine.us/" rel="noopener noreferrer nofollow" target="_blank">https://blog.troutwine.us/</a> <a href="https://twitter.com/bltroutwine" rel="noopener noreferrer nofollow" target="_blank">@bltroutwine</a> on Twitter <h3>Conference Announcements</h3> CodeBEAM STO, formerly Erlang User Conference, celebrates the 20th Anniversary of Erlang being made Open Sourced, and will be taking place May 31st and June 1st. For more information and to register visit <a href="https://codesync.global/conferences/#CodeBEAMSTO" rel="noopener noreferrer nofollow" target="_blank">https://codesync.global</a>. Monadic Party, a 5 day Haskell Summer School, will be taking place in Poznań, Poland the 11th-15th of June. Visit <a href="https://monadic.party/" rel="noopener noreferrer nofollow" target="_blank">https://monadic.party/</a> for more information and to register. International Conference on Functional Programming 2018 will be taking place September 23 – 29th in St. Louis, MO. For more information, and to register visit: <a href="https://icfp18.sigplan.org/" rel="noopener noreferrer nofollow" target="_blank">https://icfp18.sigplan.org/</a> StrangeLoop 2018 will be taking place September 27th and 28th, with a pre-conference day on the 26th in St. Louis, MO. To keep updated as details become announced you can find out more at: <a href="https://www.thestrangeloop.com/" rel="noopener noreferrer nofollow" target="_blank">https://www.thestrangeloop.com/</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 [@3:15]</h3> About Brian What Brian has been up to in the past few years <a href="https://mostlyerlang.wordpress.com/?s=brian+troutwine" rel="noopener noreferrer nofollow" target="_blank">Mostly Erlang</a> <a href="http://www.erlang.org/" rel="noopener noreferrer nofollow" target="_blank">Erlang</a> <a href="https://www.rust-lang.org/en-US/" rel="noopener noreferrer nofollow" target="_blank">Rust</a> <a href="https://www.youtube.com/watch?v=xY45YE7ggng" rel="noopener noreferrer nofollow" target="_blank">The Charming Genius of the Apollo Guidance Computer</a> <a href="https://www.adroll.com/" rel="noopener noreferrer nofollow" target="_blank">AdRoll</a> <a href="https://postmates.com/" rel="noopener noreferrer nofollow" target="_blank">Postmates</a> <a href="https://isocpp.org/" rel="noopener noreferrer nofollow" target="_blank">C++</a> <a href="https://crates.io/crates/cernan" rel="noopener noreferrer nofollow" target="_blank">Cernen</a> <a href="https://crates.io/crates/hopper" rel="noopener noreferrer nofollow" target="_blank">Hopper</a> <a href="https://crates.io/crates/quantiles" rel="noopener noreferrer nofollow" target="_blank">Quantiles</a> If Brian was spoiled by working on a system with 1M TPS <a href="https://dougseven.com/2014/04/17/knightmare-a-devops-cautionary-tale/" rel="noopener noreferrer nofollow" target="_blank">Knight Capital Group Cautionary Tale</a> Property Testing <a href="https://www.youtube.com/watch?v=CvdoLRBudwU" rel="noopener noreferrer nofollow" target="_blank">Beginner’s Luck</a> <a href="https://www.rackspace.com/" rel="noopener noreferrer nofollow" target="_blank">RackSpace</a> Software being able to inspect itself <a href="https://www.cs.york.ac.uk/fp/smallcheck/smallcheck.pdf" rel="noopener noreferrer nofollow" target="_blank">SmallCheck</a> Chaos Engineering How Brian was introduced to Erlang <a href="http://erlang.org/download/armstrong_thesis_2003.pdf" rel="noopener noreferrer nofollow" target="_blank">Joe Armstrong’s thesis paper</a> Prolog <a href="http://www.openmp.org/" rel="noopener noreferrer nofollow" target="_blank">OpenMP</a> <a href="http://sml-family.org/" rel="noopener noreferrer nofollow" target="_blank">SML</a> Constructivist approach to programming <a href="https://www.idris-lang.org/" rel="noopener noreferrer nofollow" target="_blank">Idris</a> <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php" rel="noopener noreferrer nofollow" target="_blank">Agda</a> <a href="https://coq.inria.fr/" rel="noopener noreferrer nofollow" target="_blank">Coq</a> Working in Erlang professionally at RackSpace Bringing others up to speed with Erlang <a href="https://github.com/mochi" rel="noopener noreferrer nofollow" target="_blank">Mochi</a> <a href="https://elixir-lang.org/" rel="noopener noreferrer nofollow" target="_blank">Elixir</a> <a href="https://amzn.to/2KaPemM" rel="noopener noreferrer nofollow" target="_blank">Programming Erlang</a> <a href="https://amzn.to/2Ho78F6" rel="noopener noreferrer nofollow" target="_blank">Erlang and OTP in Action</a> <a href="https://amzn.to/2vO9BTZ" rel="noopener noreferrer nofollow" target="_blank">Learn You Some Erlang</a> Difference in Erlang/Elixir approachability since Brian started learning it “I’ve never known an easier time to learn Erlang [and Elixir] than we have right now” Similarity in Brian’s learning Erlang to learning Rust <a href="https://doc.rust-lang.org/stable/book/" rel="noopener noreferrer nofollow" target="_blank">Rust The Book</a> <a href="https://crates.io/crates/tokio" rel="noopener noreferrer nofollow" target="_blank">Tokio</a> The ML family typed inspire side of Rust How much does functional ideas fit into Rust in practice Thinking in Erlang as sequential inside of a process which is concurrent Applying a similar approach in Rust What is meant by “Safety” in Rust Using C++ at AdRoll vs how Brian uses Rust today <a href="https://doc.rust-lang.org/book/first-edition/traits.html" rel="noopener noreferrer nofollow" target="_blank">Traits</a> in Rust Working on a book on Concurrency in Rust <a href="https://amzn.to/2Hn1GSX" rel="noopener noreferrer nofollow" target="_blank">Rust Concurrency</a> <a href="http://www.codemesh.io/codemesh2017/andrew-stone" rel="noopener noreferrer nofollow" target="_blank">Andrew Stone on Actor System in Rust at CodeMesh</a> How Rust approaches concurrency at a language level What does saying “Rust is Memory Safe” mean? Atomic Reference Counter (ARC) <a href="https://crates.io/" rel="noopener noreferrer nofollow" target="_blank">Crates.io</a> <a href="https://crates.io/crates/rayon" rel="noopener noreferrer nofollow" target="_blank">Rayon</a> <a href="https://crates.io/crates/crossbeam" rel="noopener noreferrer nofollow" target="_blank">Crossbeam</a> CodeMesh 2018 in London <a href="https://amzn.to/2qTSnyE" rel="noopener noreferrer nofollow" target="_blank">Designing for Scalability with Erlang/OTP</a> <a href="https://amzn.to/2HmOGbS" rel="noopener noreferrer nofollow" target="_blank">Programming Rust</a> from O’Reilly <a href="https://www.manning.com/books/rust-in-action" rel="noopener noreferrer nofollow" target="_blank">Rust in Action</a> from Manning <a href="https://crates.io/crates/ripgrep" rel="noopener noreferrer nofollow" target="_blank">ripgrep</a> <a href="https://crates.io/crates/quickcheck" rel="noopener noreferrer nofollow" target="_blank">quickcheck</a> Rust in WebAssembly <a href="https://dlang.org/" rel="noopener noreferrer nofollow" target="_blank">D</a> Andrew Stone’s work at VMWare 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 122 - Brian Troutwine