Reid Draper's guest appearances

Reid Draper

Cognicast

Functional Geekery

Wide Teams

Jessica Kerr

Gene Kim

Zeeshan Lakhani

David Nolen

Matthew Flatt

Elise Huard

Jordan Miller

José Valim

Carin Meier

Craig Andera

Eric Normand

Bridget Hillyer

Chris Allen

Colin Barrett

ERIC SMITH

OwlTail

In this episode I talk with Reid Draper.  We cover Reid’s intro to functional programming through Haskell, working in Erlang, distributed systems, and property testing; including his property testing tool simple-check, which has since made it into a Clojure contrib project as test.check. Our Guest, Reid Draper reiddraper.com @reiddraper on Twitter reiddraper on Github Topics Basho Riak and Riak CS Reid’s appearance on The Cognicast The Echo Nest Two camps of approaching learning a language, project based and learning the language for the language sake Learn You a Haskell for Great Good Papers on Haskell and ML to help learn functional programming Paxos and Raft papers Consensus Lamport papers Amazon Dynamo paper What about Erlang helps with building Distributed systems Messaging between nodes in Erlang The ability to debug live systems with Erlang Dealing with distributed systems that are not replicated The Eight Fallacies of Distributed Computing and Fallacies of Distributed Computing Explained “A static website with only one browser connected is a distributed system” Immutability and Eventual Consistency Importance of Idempotent commands in Distributed Systems Property Based Testing Quick Check Erlang Quick Check and Proper simple-check [It has since been moved to be Clojure contrib project as test.check] Thinking in Properties about functions Static vs Dynamic typing and Gradual typing core.typed by Ambrose Bonnaire-Sergeant Dialyzer from Kostis Sagonis Agda Idris “Learn one dynamically typed and one statically typed with a good type system” Typer for Erlang Webmachine Riak and RiakCS as example of large scale distribute/Erlang systems Haskell, Coq, Agda, Idris Implementation of Functional Programming Languages by Simon Peyton Jones A giant Thank You to David Belcher for the logo design.

In this episode I talk with Reid Draper. We cover Reid’s intro to functional programming through Haskell, working in Erlang, distributed systems, and property testing; including his property testing tool simple-check, which has since made it into a Clojure contrib project as test.check. <h2>Our Guest, Reid Draper</h2> <a href="http://www.reiddraper.com" rel="noopener noreferrer nofollow" target="_blank">reiddraper.com</a> <a href="https://twitter.com/reiddraper" rel="noopener noreferrer nofollow" target="_blank">@reiddraper on Twitter</a> <a href="https://github.com/reiddraper" rel="noopener noreferrer nofollow" target="_blank">reiddraper on Github</a> <h3>Topics</h3> <a href="http://basho.com/" rel="noopener noreferrer nofollow" target="_blank">Basho</a> <a href="http://basho.com/riak/" rel="noopener noreferrer nofollow" target="_blank">Riak</a> and <a href="http://basho.com/riak-cloud-storage/" rel="noopener noreferrer nofollow" target="_blank">Riak CS</a> <a href="http://thinkrelevance.com/blog/2013/11/11/reid-draper-cognicast-episode-045" rel="noopener noreferrer nofollow" target="_blank">Reid’s appearance</a> on <a href="http://cognitect.com/podcast" rel="noopener noreferrer nofollow" target="_blank">The Cognicast</a> <a href="http://the.echonest.com/" rel="noopener noreferrer nofollow" target="_blank">The Echo Nest</a> Two camps of approaching learning a language, project based and learning the language for the language sake <a href="http://learnyouahaskell.com/" rel="noopener noreferrer nofollow" target="_blank">Learn You a Haskell for Great Good</a> Papers on Haskell and ML to help learn functional programming <a href="http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html#lamport-paxos" rel="noopener noreferrer nofollow" target="_blank">Paxos</a> and <a href="https://ramcloud.stanford.edu/wiki/download/attachments/11370504/raft.pdf" rel="noopener noreferrer nofollow" target="_blank">Raft</a> papers Consensus <a href="http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html" rel="noopener noreferrer nofollow" target="_blank">Lamport papers</a> <a href="https://s3.amazonaws.com/AllThingsDistributed/sosp/amazon-dynamo-sosp2007.pdf" rel="noopener noreferrer nofollow" target="_blank">Amazon Dynamo paper</a> What about Erlang helps with building Distributed systems Messaging between nodes in Erlang The ability to debug live systems with Erlang Dealing with distributed systems that are not replicated <a href="https://blogs.oracle.com/jag/resource/Fallacies.html" rel="noopener noreferrer nofollow" target="_blank">The Eight Fallacies of Distributed Computing</a> and <a href="http://rgoarchitects.com/Files/fallacies.pdf" rel="noopener noreferrer nofollow" target="_blank">Fallacies of Distributed Computing Explained</a> “A static website with only one browser connected is a distributed system” Immutability and Eventual Consistency Importance of Idempotent commands in Distributed Systems Property Based Testing <a href="http://www.haskell.org/haskellwiki/Quickcheck" rel="noopener noreferrer nofollow" target="_blank">Quick Check</a> <a href="http://www.quviq.com/index.html" rel="noopener noreferrer nofollow" target="_blank">Erlang Quick Check</a> and <a href="http://proper.softlab.ntua.gr/" rel="noopener noreferrer nofollow" target="_blank">Proper</a> <a href="https://github.com/clojure/test.check" rel="noopener noreferrer nofollow" target="_blank">simple-check</a> [It has since been moved to be Clojure contrib project as test.check] Thinking in Properties about functions Static vs Dynamic typing and Gradual typing <a href="https://github.com/clojure/core.typed" rel="noopener noreferrer nofollow" target="_blank">core.typed</a> by <a href="https://twitter.com/ambrosebs" rel="noopener noreferrer nofollow" target="_blank">Ambrose Bonnaire-Sergeant</a> <a href="http://www.erlang.org/doc/man/dialyzer.html" rel="noopener noreferrer nofollow" target="_blank">Dialyzer</a> from <a href="http://user.it.uu.se/~kostis/" rel="noopener noreferrer nofollow" target="_blank">Kostis Sagonis</a> <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php" rel="noopener noreferrer nofollow" target="_blank">Agda</a> <a href="http://www.idris-lang.org/" rel="noopener noreferrer nofollow" target="_blank">Idris</a> “Learn one dynamically typed and one statically typed with a good type system” <a href="http://user.it.uu.se/~tobiasl/publications/typer.pdf" rel="noopener noreferrer nofollow" target="_blank">Typer</a> for Erlang <a href="https://github.com/basho/webmachine" rel="noopener noreferrer nofollow" target="_blank">Webmachine</a> Riak and RiakCS as example of large scale distribute/Erlang systems Haskell, <a href="http://coq.inria.fr/" rel="noopener noreferrer nofollow" target="_blank">Coq</a>, Agda, Idris <a href="http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/" rel="noopener noreferrer nofollow" target="_blank">Implementation of Functional Programming Languages</a> by <a href="http://research.microsoft.com/en-us/people/simonpj/" rel="noopener noreferrer nofollow" target="_blank">Simon Peyton Jones</a> A giant Thank You to <a href="https://twitter.com/davidjbelcher" rel="nofollow" target="_blank">David Belcher</a> for the logo design.

Episode 6 - Reid Draper

We talk to Reid Draper of Basho about QuickCheck, SimpleCheck, Riak, Haskell, Erlang, and a variety of other interesting topics. This episode predates our move to cognitect.com. Get the complete show notes on the original episode page. 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! We talk to Reid Draper of Basho about QuickCheck, SimpleCheck, Riak, Haskell, Erlang, and a variety of other interesting topics.

We talk to <a href="http://reiddraper.com/" rel="nofollow" target="_blank">Reid Draper</a> of <a href="http://basho.com/" rel="nofollow" target="_blank">Basho</a> about QuickCheck, SimpleCheck, Riak, Haskell, Erlang, and a variety of other interesting topics. This episode predates our move to <a href="http://cognitect.com" rel="nofollow" target="_blank">cognitect.com</a>. Get the complete show notes on the <a href="http://thinkrelevance.com/blog/2013/11/11/reid-draper-cognicast-episode-045" rel="nofollow" target="_blank">original episode page.</a> <h1>Subscribing to The Cognicast</h1> The show is <a href="http://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! We talk to <a href="http://reiddraper.com/" rel="nofollow" target="_blank">Reid Draper</a> of <a href="http://basho.com/" rel="nofollow" target="_blank">Basho</a> about QuickCheck, SimpleCheck, Riak, Haskell, Erlang, and a variety of other interesting topics.

Reid Draper - Cognicast Episode 045

In this episode, Tom Santero and Reid Draper of Basho, talk about hiring where the talent is, doing what you think is best for the company, andÂ the wonderful benefits of having work flexibility. Show Notes: Tom Santero (twitter github) Reid Draper (twitter github blog) Basho (twitter site) Riak (github) 00:53 – Background &amp; Introduction [unordered_list style=”bullet”]  Basho: commercial backers of an open-source distributed database called Riak Cambridge, Massachusettes 100 employees strong 5 offices worldwide Riak CS Engineering team is completely distributed  [/unordered_list] 02:50 – Employee distribution [unordered_list style=”bullet”]  Hire where the talent is  [/unordered_list] 03:44 – Looking for and hiring developers [unordered_list style=”bullet”]  Open-source contributors Meetup groups Conference circuit  [/unordered_list] 05:08 – Strategy to grow a distributed team [unordered_list style=”bullet”]  Organic  [/unordered_list] 06:35 – Organization appearance [unordered_list style=”bullet”]  Valve model: Valve Handbook For New Employees Do what you think is best for the company Teams of 1-4 or 5  [/unordered_list] 08:09 – Team interaction [unordered_list style=”bullet”]  HipChat Github Yammer Twitter  IRC Mumble Skype  [/unordered_list] 12:26 – Remote pair programming 14:21 – Standups and phone Q&amp;As 15:51 – Distributed team challenges [unordered_list style=”bullet”]  Growing pains Onboarding  [/unordered_list] 18:31 – Personalities best suited for remote working 19:34 – Flexibility 22:13 – Advice for dispersed teams [unordered_list style=”bullet”]  Hiring the right people is crucial Have an open mind  [/unordered_list]

In this episode, Tom Santero and Reid Draper of Basho, talk about hiring where the talent is, doing what you think is best for the company, andÂ the wonderful benefits of having work flexibility. <h3>Show Notes:</h3> Tom Santero (<a href="https://twitter.com/tsantero" rel="nofollow" target="_blank">twitter</a> <a href="https://github.com/tsantero" rel="nofollow" target="_blank">github</a>) Reid Draper (<a href="https://twitter.com/reiddraper" rel="nofollow" target="_blank">twitter</a> <a href="https://github.com/reiddraper" rel="nofollow" target="_blank">github </a><a href="http://reiddraper.com/" rel="nofollow" target="_blank">blog</a>) Basho (<a href="https://twitter.com/basho" rel="nofollow" target="_blank">twitter</a> <a href="http://basho.com/" rel="nofollow" target="_blank">site</a>) Riak (<a href="https://github.com/basho/riak" rel="nofollow" target="_blank">github</a>) 00:53 – Background &amp; Introduction [unordered_list style=”bullet”] <ul> <li>Basho: commercial backers of an open-source distributed database called <a href="http://basho.com/products/riak-overview/" rel="nofollow" target="_blank">Riak</a></li> <li>Cambridge, Massachusettes</li> <li>100 employees strong</li> <li>5 offices worldwide</li> <li><a href="http://basho.com/products/riakcs/" rel="nofollow" target="_blank">Riak CS</a></li> <li>Engineering team is completely distributed</li> </ul> [/unordered_list] 02:50 – Employee distribution [unordered_list style=”bullet”] <ul> <li>Hire where the talent is</li> </ul> [/unordered_list] 03:44 – Looking for and hiring developers [unordered_list style=”bullet”] <ul> <li>Open-source contributors</li> <li>Meetup groups</li> <li>Conference circuit</li> </ul> [/unordered_list] 05:08 – Strategy to grow a distributed team [unordered_list style=”bullet”] <ul> <li>Organic</li> </ul> [/unordered_list] 06:35 – Organization appearance [unordered_list style=”bullet”] <ul> <li>Valve model: <a href="http://newcdn.flamehaus.com/Valve_Handbook_LowRes.pdf" rel="nofollow" target="_blank">Valve Handbook For New Employees</a></li> <li>Do what you think is best for the company</li> <li>Teams of 1-4 or 5</li> </ul> [/unordered_list] 08:09 – Team interaction [unordered_list style=”bullet”] <ul> <li><a href="https://www.hipchat.com/" rel="nofollow" target="_blank">HipChat</a></li> <li><a href="https://github.com/" rel="nofollow" target="_blank">Github</a></li> <li><a href="https://www.yammer.com/" rel="nofollow" target="_blank">Yammer</a></li> <li><a href="https://twitter.com/" rel="nofollow" target="_blank">Twitter </a></li> <li>IRC</li> <li><a href="http://www.mumble.com/" rel="nofollow" target="_blank">Mumble</a></li> <li><a href="http://beta.skype.com/en/" rel="nofollow" target="_blank">Skype</a></li> </ul> [/unordered_list] 12:26 – Remote pair programming 14:21 – Standups and phone Q&amp;As 15:51 – Distributed team challenges [unordered_list style=”bullet”] <ul> <li>Growing pains</li> <li>Onboarding</li> </ul> [/unordered_list] 18:31 – Personalities best suited for remote working 19:34 – Flexibility 22:13 – Advice for dispersed teams [unordered_list style=”bullet”] <ul> <li>Hiring the right people is crucial</li> <li>Have an open mind</li> </ul> [/unordered_list]

Episode #61: Tom Santero and Reid Draper of Basho