Zeeshan Lakhani's guest appearances

Zeeshan Lakhani

Cognicast

Functional Geekery

Bridget Hillyer

Carin Meier

Jordan Miller

José Valim

David Nolen

Elise Huard

Reid Draper

Matthew Flatt

Eric Normand

Jessica Kerr

Craig Andera

Gene Kim

Yodit Stanton

Evan Hubinger

Scott Hanselman

OwlTail

In this episode, we talk to Zeeshan Lakhani about Papers We Love, music technology and programming languages. Our Guest, Zeeshan Lakhani  On The Web On Twitter On Github  Topics   Do the Right Thing   Do the Right Thing Bye Bye Birdie Inspiration   CMU's ISR department   Papers We Love   PWLConf   Papers We Love New York (the first PWL)   Papers We Love SF (the second PWL)   PWLConf playlist   Zeeshan's Thesis   Coursera Programming Languages Class (there is now A, B, C versions)   Awesome Programming Model definition Zeeshan mentioned   A couple papers that have inspired the programmable networks stuff being done at Comcast  Paper 1 Paper 2    Some recent papers Zeeshan worked on (co-authored)   This one   And this one     Strange Loop 2012   Justine Sherry's Programmable Networks class at CMU   Heather Miller's (Zeeshan's advisor) talk on "What happened to distributed programming languages?"   SUBSCRIBING TO THE COGNICAST The show is available on iTunes! You can also subscribe to the podcast using our podcast feed. You can send feedback about the show to podcast@cognitect.com, or leave a comment here on the blog. Thanks for listening! CREDITS EPISODE COVER ART  Russ Olsen  Photo credit: Miguel Espinosa AUDIO PRODUCTION   Russ Olsen   Joe Smith   Jaret Binford   PRODUCER  Kim Foster  Music by Ben Kamphaus, who produces music as PatternShift. If you like his music you can find more on most streaming services.

In this episode, we talk to Zeeshan Lakhani about Papers We Love, music technology and programming languages. <h1>Our Guest, Zeeshan Lakhani</h1> <ul> <li><a href="https://www.linkedin.com/in/zeeshanlakhani/" rel="nofollow" target="_blank">On The Web</a></li> <li><a href="https://twitter.com/zeeshanlakhani?lang=en" rel="nofollow" target="_blank">On Twitter</a></li> <li><a href="https://github.com/zeeshanlakhani" rel="nofollow" target="_blank">On Github</a></li> </ul> <h1>Topics</h1> <ul> <li> <a href="https://www.imdb.com/title/tt0097216/" rel="nofollow" target="_blank">Do the Right Thing</a> </li> <li> <a href="http://www.artofthetitle.com/title/do-the-right-thing/" rel="nofollow" target="_blank">Do the Right Thing Bye Bye Birdie Inspiration</a> </li> <li> <a href="http://www.isri.cmu.edu/" rel="nofollow" target="_blank">CMU's ISR department</a> </li> <li> <a href="https://paperswelove.org/" rel="nofollow" target="_blank">Papers We Love</a> </li> <li> <a href="https://pwlconf.org/" rel="nofollow" target="_blank">PWLConf</a> </li> <li> <a href="https://paperswelove.org/chapter/newyork/" rel="nofollow" target="_blank">Papers We Love New York</a> (the first PWL) </li> <li> <a href="https://paperswelove.org/chapter/sanfrancisco/" rel="nofollow" target="_blank">Papers We Love SF</a> (the second PWL) </li> <li> <a href="https://open.spotify.com/user/zeeshanlakhani/playlist/6ksY23uOD7qhtVLV6iTJgY?si=w5YQbs2TQYSuQCpurr10Iw" rel="nofollow" target="_blank">PWLConf playlist</a> </li> <li> <a href="https://bit.ly/2yV7nBA" rel="nofollow" target="_blank">Zeeshan's Thesis</a> </li> <li> <a href="https://www.coursera.org/learn/programming-languages" rel="nofollow" target="_blank">Coursera Programming Languages Class</a> (there is now A, B, C versions) </li> <li> <a href="https://www.cs.utexas.edu/~browne/CS392Cf2000/papers/ModelsOfParallelComputation-Skillicorn.pdf" rel="nofollow" target="_blank">Awesome Programming Model definition</a> Zeeshan mentioned </li> <li> A couple papers that have inspired the programmable networks stuff being done at Comcast <ul> <li><a href="http://www.thomasclausen.net/wp-content/uploads/2018/02/2018-IEEE-Transactions-on-Networking-6LB-Scalable-and-Application-Aware-Load-Balancing-with-Segment-Routing.pdf" rel="nofollow" target="_blank">Paper 1</a></li> <li><a href="https://people.eecs.berkeley.edu/~apanda/assets/papers/osdi16.pdf" rel="nofollow" target="_blank">Paper 2</a></li> </ul> </li> <li> Some recent papers Zeeshan worked on (co-authored) <ul> <li> <a href="https://infoscience.epfl.ch/record/253710/files/main.pdf" rel="nofollow" target="_blank">This one</a> </li> <li> <a href="https://arxiv.org/abs/1605.06424" rel="nofollow" target="_blank">And this one</a> </li> </ul> </li> <li> <a href="https://www.thestrangeloop.com/2012/sessions.html" rel="nofollow" target="_blank">Strange Loop 2012</a> </li> <li> <a href="https://docs.google.com/document/d/12BxY_QkR-NKAtIE7qqoBCki91TIcvhjwlWIzVLxgCj8/edit#" rel="nofollow" target="_blank">Justine Sherry's Programmable Networks class at CMU</a> </li> <li> Heather Miller's (Zeeshan's advisor) talk on <a href="https://www.youtube.com/watch?v=eAcDWcaezXY" rel="nofollow" target="_blank">"What happened to distributed programming languages?"</a> </li> </ul> <h1>SUBSCRIBING TO THE COGNICAST</h1> The show is <a href="https://itunes.apple.com/us/podcast/thinkrelevance-the-podcast/id498067022" rel="nofollow" target="_blank">available on iTunes!</a> You can also subscribe to the podcast using our <a href="http://feeds.feedburner.com/cognicast" rel="nofollow" target="_blank">podcast feed.</a> You can send feedback about the show to <a href="mailto:podcast@cognitect.com">podcast@cognitect.com</a>, or leave a comment here on the blog. Thanks for listening! <h1>CREDITS</h1> <h3>EPISODE COVER ART</h3> <ul> <li><a href="/authors/RussOlsen.html" rel="nofollow" target="_blank">Russ Olsen</a></li> </ul> Photo credit: <a href="https://www.flickr.com/photos/argosnet/238603791" rel="nofollow" target="_blank">Miguel Espinosa</a> <h3>AUDIO PRODUCTION</h3> <ul> <li> <a href="/authors/RussOlsen.html" rel="nofollow" target="_blank">Russ Olsen</a> </li> <li> <a href="/authors/JoeSmith.html" rel="nofollow" target="_blank">Joe Smith</a> </li> <li> <a href="/authors/JaretBinford.html" rel="nofollow" target="_blank">Jaret Binford</a> </li> </ul> <h3>PRODUCER</h3> <ul> <li><a href="/authors/KimFoster.html" rel="nofollow" target="_blank">Kim Foster</a></li> </ul> Music by <a href="https://cognitect.com/about.html#the-team" rel="nofollow" target="_blank">Ben Kamphaus</a>, who produces music as <a href="https://soundcloud.com/patternshift" rel="nofollow" target="_blank">PatternShift</a>. If you like his music you can find more on most streaming services.

Zeeshan Lakhani - Cognicast Episode 145

In this episode I talk with Zeeshan Lakhani.  We talk his introduction to functional programming, Clojure, Erlang, distributed systems, session types, Papers We Love, and much more. Our Guest, Zeeshan Lakhani @zeeshanlakhani on Twitter Papers We Love @papers_we_love on Twitter Sponsors This episode is sponsored by DailyDrip.com. Use the coupon `geekery` to save $9 on your first month, and make learning part of your daily routine with DailyDrip.com. Announcements Scala Wave is coming up on the 25th and 26th of November in Gdańsk, Poland.  Visit http://www.scalawave.io/ to find out more and sign up for their newsletter for updates. Destination Code, a new unconference starting in Utah, is having its inaugural event this December. Visit http://www.destination.codes/ to find out more. The 2016 Clojure Conj will be taking place in Austin, TX on December 1st – 3rd.  Visit http://2016.clojure-conj.org for more information and to register. Lambda Days will be taking place again on the 9th and 10th of February 2017.  Visit www.lambdadays.org to submit your talk and keep updated as more information becomes available. ClojureD will be taking place on the 25th of February, 2017, in Berlin, Germany.  Visit www.clojured.de to get tickets and keep updated as more information becomes available. BOB Konf is taking place the 24th of February 2017 in Berlin, Germany.  Visit www.bobkonf.de for more information about the conference. If you have a conference related to functional programming, contact me, and I will be happy to announce it. Topics About Zeeshan Papers We Love LambdaConf 2015 episode of Functional Geekery with Zeeshan How Zeeshan got into functional programming Clojure StrangeLoop 2012 Programming Languages Coursera course by Dan Grossman Basho Erlang Racket Scheme Transitioning to Clojure “Getting more into context” MATLAB “Clojure changed my mindset of how I deliver programs” Making the change to working with Erlang Distributed Systems ElasticSearch RabbitMQ Thinking of everything as a process test.check schema-gen Quviq QuickCheck for Erlang Thinking in state machines Pattern matching Erlang Factory Racket as a language about writing languages Lasp from Christopher Meiklejohn Oregon Programming Languages Summer School Zeeshan’s Erlang Type System talk at Erlang Factory Data Flow Semantics paper from Google Pony GenStage in Elixir Session Types Zeeshan’s Intro to Sessions Types at MoonConf Scribble ABCD group Professor Wadler on Episode 39 talking Session Types Papers We Love Papers We Love guidelines StrangeLoop Papers We Love Conf Attending a Papers We Love and format “Computing is not about factions, but about the universality of it” Papers We Love Github repository Papers We Love YouTube channel New York Chapter of Papers We Love As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with Zeeshan Lakhani. We talk his introduction to functional programming, Clojure, Erlang, distributed systems, session types, Papers We Love, and much more. <h2>Our Guest, Zeeshan Lakhani</h2> <a href="https://twitter.com/" rel="noopener noreferrer nofollow" target="_blank">@zeeshanlakhani</a> on Twitter <a href="http://paperswelove.org/" rel="noopener noreferrer nofollow" target="_blank">Papers We Love</a> <a href="https://twitter.com/papers_we_love" rel="noopener noreferrer nofollow" target="_blank">@papers_we_love</a> on Twitter <h3>Sponsors</h3> This episode is sponsored by <a href="https://www.dailydrip.com/?utm_source=fngeekery&amp;utm_medium=banner&amp;utm_campaign=fngeekery-ad-11-04-2016" rel="nofollow" target="_blank">DailyDrip.com</a>. Use the coupon `geekery` to save $9 on your first month, and make learning part of your daily routine with <a href="https://www.dailydrip.com/?utm_source=fngeekery&amp;utm_medium=banner&amp;utm_campaign=fngeekery-ad-11-04-2016" rel="nofollow" target="_blank">DailyDrip.com</a>. <h3>Announcements</h3> Scala Wave is coming up on the 25th and 26th of November in Gdańsk, Poland. Visit <a href="http://www.scalawave.io/" rel="noopener noreferrer nofollow" target="_blank">http://www.scalawave.io/</a> to find out more and sign up for their newsletter for updates. Destination Code, a new unconference starting in Utah, is having its inaugural event this December. Visit <a href="http://www.destination.codes/" rel="noopener noreferrer nofollow" target="_blank">http://www.destination.codes/</a> to find out more. The 2016 Clojure Conj will be taking place in Austin, TX on December 1st – 3rd. Visit <a href="http://2016.clojure-conj.org" rel="noopener noreferrer nofollow" target="_blank">http://2016.clojure-conj.org</a> for more information and to register. Lambda Days will be taking place again on the 9th and 10th of February 2017. Visit <a href="http://www.lambdadays.org" rel="noopener noreferrer nofollow" target="_blank">www.lambdadays.org</a> to submit your talk and keep updated as more information becomes available. ClojureD will be taking place on the 25th of February, 2017, in Berlin, Germany. Visit <a href="http://www.clojure.de" rel="noopener noreferrer nofollow" target="_blank">www.clojured.de</a> to get tickets and keep updated as more information becomes available. BOB Konf is taking place the 24th of February 2017 in Berlin, Germany. Visit <a href="http://www.bobkonf.de" rel="noopener noreferrer nofollow" target="_blank">www.bobkonf.de</a> for more information about the conference. If you have a conference related to functional programming, contact me, and I will be happy to announce it. <h3>Topics</h3> About Zeeshan <a href="http://paperswelove.org/" rel="noopener noreferrer nofollow" target="_blank">Papers We Love</a> <a href="https://www.functionalgeekery.com/episode-22-lambdaconf-2015-part-1/" rel="noopener noreferrer nofollow" target="_blank">LambdaConf 2015 episode of Functional Geekery with Zeeshan</a> How Zeeshan got into functional programming <a href="http://clojure.org/" rel="noopener noreferrer nofollow" target="_blank">Clojure</a> <a href="https://thestrangeloop.com/" rel="noopener noreferrer nofollow" target="_blank">StrangeLoop</a> 2012 <a href="https://www.coursera.org/learn/programming-languages" rel="noopener noreferrer nofollow" target="_blank">Programming Languages Coursera course by Dan Grossman</a> <a href="http://basho.com/" rel="noopener noreferrer nofollow" target="_blank">Basho</a> <a href="http://www.erlang.org/" rel="noopener noreferrer nofollow" target="_blank">Erlang</a> <a href="http://www.racket-lang.org/" rel="noopener noreferrer nofollow" target="_blank">Racket</a> <a href="https://groups.csail.mit.edu/mac/projects/scheme/" rel="noopener noreferrer nofollow" target="_blank">Scheme</a> Transitioning to Clojure “Getting more into context” <a href="https://www.mathworks.com/products/matlab/" rel="noopener noreferrer nofollow" target="_blank">MATLAB</a> “Clojure changed my mindset of how I deliver programs” Making the change to working with Erlang Distributed Systems <a href="https://www.elastic.co/products/elasticsearch" rel="noopener noreferrer nofollow" target="_blank">ElasticSearch</a> <a href="https://www.rabbitmq.com/" rel="noopener noreferrer nofollow" target="_blank">RabbitMQ</a> Thinking of everything as a process <a href="https://clojure.github.io/test.check/intro.html" rel="noopener noreferrer nofollow" target="_blank">test.check</a> <a href="https://github.com/zeeshanlakhani/schema-gen" rel="noopener noreferrer nofollow" target="_blank">schema-gen</a> <a href="http://www.quviq.com/" rel="noopener noreferrer nofollow" target="_blank">Quviq</a> <a href="http://www.quviq.com/products/erlang-quickcheck/" rel="noopener noreferrer nofollow" target="_blank">QuickCheck for Erlang</a> Thinking in state machines Pattern matching <a href="http://www.erlang-factory.com/about" rel="noopener noreferrer nofollow" target="_blank">Erlang Factory</a> Racket as a language about writing languages <a href="http://lasp-lang.org/" rel="noopener noreferrer nofollow" target="_blank">Lasp</a> from Christopher Meiklejohn <a href="https://www.cs.uoregon.edu/research/summerschool/summer16/" rel="noopener noreferrer nofollow" target="_blank">Oregon Programming Languages Summer School</a> Zeeshan’s <a href="https://www.youtube.com/watch?v=-8jLRThHuFQ" rel="noopener noreferrer nofollow" target="_blank">Erlang Type System talk at Erlang Factory</a> <a href="http://www.vldb.org/pvldb/vol8/p1792-Akidau.pdf" rel="noopener noreferrer nofollow" target="_blank">Data Flow Semantics paper</a> from Google <a href="http://www.ponylang.org/" rel="noopener noreferrer nofollow" target="_blank">Pony</a> <a href="https://hexdocs.pm/gen_stage/Experimental.GenStage.html" rel="noopener noreferrer nofollow" target="_blank">GenStage</a> in <a href="http://elixir-lang.org/" rel="noopener noreferrer nofollow" target="_blank">Elixir</a> Session Types Zeeshan’s <a href="https://www.youtube.com/watch?v=8GJ2AnCjCvU&amp;feature=youtu.be" rel="noopener noreferrer nofollow" target="_blank">Intro to Sessions Types</a> at <a href="http://moonconf.org/" rel="noopener noreferrer nofollow" target="_blank">MoonConf</a> <a href="http://www.scribble.org/" rel="noopener noreferrer nofollow" target="_blank">Scribble</a> <a href="http://groups.inf.ed.ac.uk/abcd/" rel="noopener noreferrer nofollow" target="_blank">ABCD group</a> <a href="https://www.functionalgeekery.com/functional-geekery-episode-39-philip-wadler/" rel="noopener noreferrer nofollow" target="_blank">Professor Wadler on Episode 39</a> talking Session Types <a href="http://paperswelove.org/" rel="noopener noreferrer nofollow" target="_blank">Papers We Love</a> <a href="https://github.com/papers-we-love/organizers" rel="noopener noreferrer nofollow" target="_blank">Papers We Love guidelines</a> <a href="https://thestrangeloop.com/" rel="noopener noreferrer nofollow" target="_blank">StrangeLoop</a> <a href="http://pwlconf.org/" rel="noopener noreferrer nofollow" target="_blank">Papers We Love Conf</a> Attending a Papers We Love and format “Computing is not about factions, but about the universality of it” <a href="https://github.com/papers-we-love/papers-we-love" rel="noopener noreferrer nofollow" target="_blank">Papers We Love Github repository</a> <a href="https://www.youtube.com/user/PapersWeLove" rel="noopener noreferrer nofollow" target="_blank">Papers We Love YouTube channel</a> <a href="https://www.meetup.com/papers-we-love/" rel="noopener noreferrer nofollow" target="_blank">New York Chapter of Papers We Love</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 74 - Zeeshan Lakhani