subscribe

erichaberkorn / Eric

There are no people in erichaberkorn’s collective.

Huffduffed (161)

  1. 5: Type Systems

    Your favorite features of Type Systems in one episode! Interfaces, Generics, ADT, Type Classes and Dependent Types. We’ll talk about what they are and how they shape the way we work.

    Code Podcast Forum: https://discuss.codepodcast.com/t/episode-5-type-systems/22

    Episode produced by:

    Andrey Salomatin https://twitter.com/filipovskii

    Michael Beschastnov michael@codepodcast.com

    Guests (in order of appearance):

    Joseph Abrahamson

    https://twitter.com/sdbo

    Radoslav Kirov

    https://twitter.com/radokirov

    Erlend Hamberg

    https://twitter.com/ehamberg

    Edwin Brady

    https://twitter.com/edwinbrady

    Special thanks to our reviewers, this time:

    Adriano Melo https://twitter.com/AdrianoMelo

    Roman Liutikov https://twitter.com/roman01la

    If you’d like to help us make the podcast better and get episodes earlier, consider becoming a reviewer: https://gist.github.com/filipovskii/f12685bc74a425ba651c736fb5e3e5ae

    ## Links: Basics

    Benjamin C. Pierce "Types and Programming Languages" https://www.cis.upenn.edu/~bcpierce/tapl/

    A draft of the book available for free: http://ropas.snu.ac.kr/~kwang/520/pierce_book.pdf

    Rob Nederpelt and Herman Geuvers "Type Theory and formal proof" http://www.win.tue.nl/~wsinrpn/book_type_theory.htm

    Robert Harper "Practical Foundations for Programming Languages" https://www.cs.cmu.edu/~rwh/pfpl.html

    Interview with Jesper Louis Andersen about Erlang, Haskell, OCaml, Go, Idris, the JVM, software and protocol design — PART I https://notamonadtutorial.com/interview-with-jesper-louis-andersen-about-erlang-haskell-ocaml-go-idris-the-jvm-software-and-b0de06440fbd#.rawqi9bvp

    Paper by Xavier Leroy "Manifest Types, Modules, and Separate Compilation" (1994) http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3950

    Paper by Conor McBride and Ross Paterson "FUNCTIONAL PEARL: Applicative programming with effects" http://strictlypositive.org/IdiomLite.pdf

    ## Links: Idris

    Edwin Brady "Type-Driven Development with Idris" http://tinyurl.com/typedd

    ## Links: TypeScript

    http://www.typescriptlang.org/

    ## Links: Haskell

    Christopher Allen and Julie Moronuki "Haskell Programming from First Principles" http://haskellbook.com/

    Learn you some Haskell http://learnyouahaskell.com/

    ## Links: Scala

    Paul Chiusano and Rúnar Bjarnason "Functional Programming in Scala" https://www.manning.com/books/functional-programming-in-scala

    ##Links: OCaml

    Yaron Minsky, Anil Madhavapeddy, Jason Hickey "Real World Ocaml" https://realworldocaml.org

    A chapter from "Real World Ocaml" about Objects https://realworldocaml.org/v1/en/html/objects.html

    OCaml Documentation http://caml.inria.fr/pub/docs/manual-ocaml/

    Effective ML (video) https://blogs.janestreet.com/effective-ml-video/

    ## Links: Discussions

    What exactly makes the Haskell type system so revered (vs say, Java)? http://softwareengineering.stackexchange.com/questions/279316/what-exactly-makes-the-haskell-type-system-so-revered-vs-say-java

    What is a Functor? http://stackoverflow.com/questions/2030863/in-functional-programming-what-is-a-functor#2031421

    ADTs vs Inheritance http://stackoverflow.com/questions/3271974/why-adts-are-good-and-inheritance-is-bad

    Existential vs Universal Typess http://stackoverflow.com/questions/14299638/existential-vs-universally-quantified-types-in-haskell#14299983

    Subclassing vs Subtyping http://www.cs.princeton.edu/courses/archive/fall98/cs441/mainus/node12.html

    Why Haskell has no subtyping https://www.reddit.com/r/haskell/comments/423o0c/why_no_subtypingsubtype_polymorphism/

    Haskell vs Java type systems http://softwareengineering.stackexchange.com/questions/279316/what-exactly-makes-the-haskell-type-system-so-revered-vs-say-java

    ## Music

    Mid-Air! @mid_air

    https://soundcloud.com/podcastcode/5-type-systems

    —Huffduffed by erichaberkorn

  2. 205: People Don’t Use the Weird Parts

    Transcript of this episode

    Follow up: MacRumors talks with Lattner

    LLVM

    LLVM Bytecode vs. LLVM Bitcode

    Bitcode

    Slicing

    Clang

    OpenGL

    Swift

    ARC

    Swift Open Source

    Casey’s love letter to Swift enums

    Swift Evolution "Commonly Rejected Changes" list

    asm.js, WebAssembly & TypeScript

    RxSwift

    Casey’s primer series

    Garbage collection vs. ARC

    libauto

    Singularity

    Finalizer

    Go’s garbage collection

    Java Native Interface

    Ending theme by Jonathan Mann

    Post-show Neutral

    Sponsored by:

    Audible: With Audible, you’ll find what you’re looking for. Get a free 30-day trial.

    Eero: Finally, Wi-Fi, that works. Use code ATP for free expedited shipping.

    Squarespace: Build it beautiful. Use code ATP for 10% off your first order.

    http://atp.fm/episodes/205

    —Huffduffed by erichaberkorn

  3. Death and Distributed Systems with Pieter Hintjens | Software Engineering Daily

    http://traffic.libsyn.com/sedaily/Zeromq_Edited.mp3Podcast: Play in new window | Download

    Pieter Hintjens grew up writing software by himself. The act of writing code brought him great pleasure, but the isolated creative process disconnected him from the rest of the world. As his life progressed he became involved in open source communities, and he discovered a passion for human interaction.Open source software succeeds or fails on the strength of the community. One story of success is ZeroMQ, a popular open source distributed messaging system that was started by Pieter Hintjens. In this episode, Pieter gives his thoughts on human nature, distributed systems, and death. “A Protocol For Dying” is a blog post Pieter wrote recently, where he discussed his terminal diagnosis of cancer, and how it has reframed his perspective on life.

    Sponsors

    IT Pro TV has online training for AWS, Microsoft Azure, and many other topics. Go to itpro.tv/sedaily to get started with a free 7 day trial of videos. You can use the promo code sedaily and get a 30% discount.

    CacheFly is the content delivery network with the fastest global throughput. SE Daily listeners get 2 TB of bandwidth free by using promo code sedaily.

    Share this:Click to share on Twitter (Opens in new window)Click to share on Facebook (Opens in new window)Click to share on LinkedIn (Opens in new window)Click to email this to a friend (Opens in new window)

    Related

    Comments

    https://softwareengineeringdaily.com/2016/06/23/death-distributed-systems-pieter-hintjens/

    —Huffduffed by erichaberkorn

  4. Michael Nygard - Cognicast Episode 106 — Cognitect Blog

     

    In this episode, we talk to Michael Nygard about microservices and other

    things from his current blog series. 

    http://blog.cognitect.com/cognicast/106

    —Huffduffed by erichaberkorn

  5. Clojure spec with Rich Hickey - Cognicast Episode 103 — Cognitect Blog

     

    In this episode, we talk to Rich Hickey about Clojure.spec. 

    http://blog.cognitect.com/cognicast/103

    —Huffduffed by erichaberkorn

  6. FLOSS Weekly 355 Suckless | TWiT

    This project focuses on advanced and experienced computer users, in contrast with the usual proprietary software world or many mainstream open source projects that focus more on av…

    https://twit.tv/shows/floss-weekly/episodes/355

    —Huffduffed by erichaberkorn

  7. SE-Radio Episode 252: Christopher Meiklejohn on CRDTs : Software Engineering Radio

    SE-Radio Episode 252: Christopher Meiklejohn on CRDTs

    Filed in Episodes

    by SE-Radio

    on March 15, 2016

    • 0 Comments

    Robert Blumen talks to Christopher Meiklejohn about conflict-free replicated data types (CRDTs). The discussion covers forms of consistency in distributed systems; conflicts and conflict resolution algorithms; consistency and concurrency; the discovery of CRDTs; state-based and operations-based CRDTs; examples of some well-known CRDTs, including counters and sets; time and space complexity; uses of CRDTs in chat and shopping carts; and Riak database support for CRDTs.

    Venue: Internet

    Related Links

    Christopher’s Twitter http://twitter.com/cmeik

    Readings in conflict-free replicated data types, a page maintained by Christopher Meiklejohn http://christophermeiklejohn.com/crdt/2014/07/22/readings-in-crdts.html

    Basho documentation on CRDTs supported by the Riak NoSQL database http://docs.basho.com/riak/2.0.0/theory/concepts/crdts/

    Research paper: CRDTs: Consistency without concurrency control http://arxiv.org/abs/0907.0929

    Marc Shapiro talk: Strong Eventual Consistency and Conflict-free Replicated Data Types http://research.microsoft.com/apps/video/default.aspx?id=153540&r=1

    Christopher Meiklejohn talk Eventually Consistent Computation with CRDTs https://www.youtube.com/watch?v=8_z9-iRiSZw

    Marc Shapiro slide deck: Conflict Free Replicated Data Types — A principled Approach to Eventual Consistency http://research.microsoft.com/en-us/um/redmond/events/mysorepark/talkslides/marc%20shapiro%20eventual-consistency-mysore-2011-02.pdf

    SE Radio 227: The CAP Theorem with Eric Brewer http://www.se-radio.net/2015/05/the-cap-theorem-then-and-now/

    Dynamo: Amazon’s Highly Available Key-value Store http://www.allthingsdistributed.com/files/amazon-dynamo-sosp2007.pdf

    INRIA research paper Conflict-free Replicated Data Types https://hal.inria.fr/inria-00609399v1/document

    INRIA research paper A comprehensive study of Convergent and Commutative Replicated Data Types http://hal.upmc.fr/inria-00555588/document

    Scaling League of Legends Chat to 70 million Players by Michal Ptaszek https://www.youtube.com/watch?v=_jsMpmWaq7I

    http://traffic.libsyn.com/seradio/SE-Radio-Episode-252-Christopher-Meiklejohn-on-CRDTs.mp3Podcast: Play in new window | DownloadSubscribe: iTunes | Android | RSS

    http://www.se-radio.net/2016/03/se-radio-episode-252-christopher-meiklejohn-on-crdts/

    —Huffduffed by erichaberkorn

  8. Lennart’s Linux Revolution | LAS 342 | Jupiter Broadcasting

    Lennart Poettering shares the origins of systemd, thoughts on community reactions & more. Plus Brandon Philips on Rocket & Matthew Miller on Fedora 21’s release

    http://www.jupiterbroadcasting.com/73122/lennarts-linux-revolution-las-342/

    —Huffduffed by erichaberkorn

  9. Docker: Linux Containers Made Easy | The Linux Action Show | Jupiter Broadcasting

    Linux Containers offer functionally similar to FreeBSD’s Jails and OpenVZ. Docker can get you up and running in minutes, we demo how.

    http://www.jupiterbroadcasting.com/37396/docker-containers-made-easy-las-s27e01/

    —Huffduffed by erichaberkorn

  10. CoreOS: Future of Servers | LAS 315 | Jupiter Broadcasting

    The CoreOS CTO joins us to talk about how CoreOS deploys applications in Docker Containers, allows for automatic server updates and may finally fix web security

    http://www.jupiterbroadcasting.com/58602/coreos-future-of-servers-las-315/

    —Huffduffed by erichaberkorn

Page 1 of 17Older