FLOSS Weekly 302 | TWiT.TV

Possibly related…

  1. Episode 204: Anil Madhavapeddy on the Mirage Cloud Operating System and the OCaml Language : Software Engineering Radio

    Episode 204: Anil Madhavapeddy on the Mirage Cloud Operating System and the OCaml Language

    Filed in Episodes

    by SE-Radio

    on May 30, 2014


    Anil Madhavapeddy

    Robert talks to Dr. Anil Madhavapeddy of the Cambridge University (UK) Systems research group about the OCaml language and the Mirage cloud operating system, a microkernel written entirely in OCaml. The outline includes: history of the evolution from dedicated servers running a monolithic operating system to virutalized servers based on the Xen hypervisor to micro-kernels; the differences between monolithic kernels, exokernels and micro-kernels; recent innovations that have allowed micro-kernels to overcome performance problems; performance of micro-kernels compared to a Linux server running a daemon for simple services like DNS and HTTP; security of micro-kernels; the history of the OCaml language;  how the functional programming and the  OCaml type system supports the design goals of the Mirage micro-kernel; how the Mirage team decided on OCaml as the implementation language for their project; the reconception of the toolchain that has Mirage kernels and compiled and managed via github; the possibility of using other popular web programming languages within Mirage;  high-bandwidth networking abstractions in OCaml over Xen memory rings; and micro-kernels in the browser and peripheral devices.  They wrap up with a discussion of Anil’s recent book on OCaml.

    Related Links

    Unikernels: Library Operating Systems for the Cloud by Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand and Jon Crowcroft

    Xen hypervisor

    The Mirage project: http://openmirage.org/

    Anil Madhavapeddy’s talk at QCon San Francisco 2013 My Other Internet is a Mirage: www.infoq.com/presentations/mirage-os

    Real World OCaml: Functional programming for the masses by Yaron Minsky, Anil Madhavapeddy, Jason Hickey

    Anil Madhavapeddy’s talk at FOSDEM Mirage: compiling functional library operating systems

    Anil Madhavapeddy on Twitter: https://twitter.com/avsm

    Anil Madhavapeddy’s home page: http://anil.recoil.org/

    Anil Madhavapeddy’s blog: http://anil.recoil.org/blog/

    Anil Madhavapeddy’s publications: http://anil.recoil.org/papers/

    The OPAM package manager for OCaml: http://opam.ocaml.org/

    The Codio web IDE for OCaml: https://codio.com/s/docs/specifics/ocaml/

    Irmin distributed database written in OCaml: https://github.com/mirage/irmin

    Podcast: Play in new window

    | Download


    —Huffduffed by erichaberkorn

  2. Le possible-et-le-réel 4

    La philosophie avec Raphaël Enthoven


    Le possible est donc le mirage du présent dans le passé : et comme nous savons que l’avenir finira par être du présent, comme l’effet de mirage continue sans relâche à se produire, nous nous disons que dans notre présent actuel, qui sera le passé de demain, l’image de demain est déjà contenue quoique nous n’arrivions pas à la saisir. Là est précisément l’illusion.

    Bergson, « Le possible et le réel », dans La Pensée et le mouvant.

    1. Le mirage du présent dans le passé.
    2. L’armoire aux possibles.
    3. L’existence est toute entière dans ses actes.
    4. Filiation Spinoza-Bergson-Sartre.
    5. Notion de création.

    —Huffduffed by AthosAthos

  3. Bruce Schneier: The security mirage

    —Huffduffed by jeffhammett

  4. The Dwellers In the Mirage - Abraham Merritt


    Tagged with fantasy

    —Huffduffed by BlueTyson

  5. 32. Slot Machine Probability & Chasing The Mirage

    —Huffduffed by Dirk

  6. Johnny Dollar - The Michael Meany Mirage Matter

    —Huffduffed by HFoG

  7. Nogge vs. KomaCasper vs. Extaso @ Mirage Ballenstedt (27.09.2014)

    —Huffduffed by Ronkers

  8. Your Library Website Stinks and it’s Your Fault (ILI2012)

    This is a talk about library websites, but it’s really a talk about people. It’s a talk about our library patrons, a talk about us, what’s wrong with the way we’re doing things, how and who it hurts, and what we can do about it.

    —Huffduffed by bsscdt

  9. Natalie Goldberg | The Seattle Public Library

    Each year the Library hosts readings, lectures, and discussions by authors and other public figures. You may listen to many of these programs by subscribing to the Library’s authors & events podcast or by downloading one of the audio programs listed below.



    Tagged with writing

    —Huffduffed by ct5821

  10. Library damage

    "One selfish person was not caring about the rest of us."

    Dr Kristian Jensen, head of collections at the British Library, on the academic who stole pages from historic books.

    From: http://www.guardian.co.uk/books/audio/2008/nov/21/british-library-books-damage

    The full story is here: http://www.guardian.co.uk/books/2008/nov/21/british-library-sues-iranian-academic

    —Huffduffed by adactio