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

    • 0 Comments

    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

    http://www.se-radio.net/2014/05/episode-204-anil-madhavapeddy-on-the-mirage-cloud-operating-system-and-the-ocaml-language/

    —Huffduffed by erichaberkorn

  2. SHADES (Digital Mirage 2020)

    SHADES (Alix Perex & EPROM) set from Digital Mirage Online Festival 2020! [[[ShOuT oUt ~~~~ PROXIMITY / BROWNIES & LEMONADE]]] AUDIO: https://drive.google.com/file/d/1oQ_AWuQ6hKXQAcIzkR7KFAFclAvzh9zV/view?usp=sharing VIDEO: https://drive.google.com/file/d/1-yQYc9wuSw6VECDekWYiyD5-uoX_29T5/view?usp=sharing ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ TRACKLIST https://www.1001tracklists.com/tracklist/20hh6p11/shades-digital-mirage-online-music-festival-2020-04-05.html

    ===
    Original video: https://soundcloud.com/chorbz/shades-digital-mirage-2020
    Downloaded by http://huffduff-video.snarfed.org/ on Mon Apr 6 19:04:27 2020 Available for 30 days after download

    —Huffduffed by jmascio

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

    La philosophie avec Raphaël Enthoven

    https://blog.franceculture.fr/raphael-enthoven/le-possible-et-le-reel-4/

    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

  4. Kaskade - Digital Mirage (Full Set)

    Kaskade - Digital Mirage (Full Set) Join the Notification Squad! Click the 🔔Bell. ✘ Prox Spotify Playlist!: http://spoti.fi/Proximity ✘ Proximity Instagram: http://instagram.com/Proximity ✘✘ Discord! :) - http://discord.gg/Proximity - Proximity Merch: http://prxmusic.com/collections

    🔥ALL DIGITAL MIRAGE SETS🔥: https://www.youtube.com/playlist?list=PL3osQJLUr9gIZrGxgrs-uxomQvR1URRTb

    Kaskade started off Digital Mirage in the best way possible. What a set - and playing all of his new tunes off of REDUX 004. Hope you all enjoy! :)

    Brownies & Lemonade: https://twitter.com/TeamBandL https://www.instagram.com/browniesandlemonade/ https://www.youtube.com/user/browniesandlemonade

    ⚡Copyright Free Music!⚡ http://bit.ly/CopyrightFreePRX

    #kaskade #digitalmirage #redux

    ===
    Original video: https://www.youtube.com/watch?v=ELzLY8rOQcg
    Downloaded by http://huffduff-video.snarfed.org/ on Mon Apr 13 19:02:31 2020 Available for 30 days after download

    —Huffduffed by jmascio

  5. YehMe2 - Digital Mirage (Full Set)

    YehMe2 - Digital Mirage (Full Set) Join the Notification Squad! Click the 🔔Bell. ✘ Prox Spotify Playlist!: http://spoti.fi/Proximity ✘ Proximity Instagram: http://instagram.com/Proximity ✘✘ Discord! :) - http://discord.gg/Proximity - Proximity Merch: http://prxmusic.com/collections

    YehMe2 had the most wholesome set for Digital Mirage. Love that the family was involved and it made this set feel so homey. Hope you all enjoy! :)

    🔥ALL DIGITAL MIRAGE SETS🔥: https://www.youtube.com/playlist?list=PL3osQJLUr9gIZrGxgrs-uxomQvR1URRTb

    Brownies & Lemonade: https://twitter.com/TeamBandL https://www.instagram.com/browniesandlemonade/ https://www.youtube.com/user/browniesandlemonade

    https://instagram.com/yehme2 https://soundcloud.com/yehme2

    ⚡Copyright Free Music!⚡ http://bit.ly/CopyrightFreePRX

    #yehme2 #digitalmirage #livestream

    ===
    Original video: https://www.youtube.com/watch?v=BrmReqeqOGM&feature=youtu.be
    Downloaded by http://huffduff-video.snarfed.org/ on Mon Apr 13 13:54:29 2020 Available for 30 days after download

    —Huffduffed by jmascio

  6. Alison Wonderland - Digital Mirage (Full Set)

    Alison Wonderland - Digital Mirage Join the Notification Squad! Click the 🔔Bell. ✘ Prox Spotify Playlist!: http://spoti.fi/Proximity ✘ Proximity Instagram: http://instagram.com/Proximity ✘✘ Discord! :) - http://discord.gg/Proximity - Proximity Merch: http://prxmusic.com/collections

    🔥ALL DIGITAL MIRAGE SETS🔥: https://www.youtube.com/playlist?list=PL3osQJLUr9gIZrGxgrs-uxomQvR1URRTb

    Brownies & Lemonade: https://twitter.com/TeamBandL https://www.instagram.com/browniesandlemonade/ https://www.youtube.com/user/browniesandlemonade

    Alison Wonderland was feeling incredible during her set with such strong emotions. Super eclectic tracklist - honestly my favorite set she has ever performed. Happy to let you all be able to relive this set again and again and again. :)

    •Alison Wonderland: https://soundcloud.com/alisonwonderland http://www.facebook.com/awonderdj https://twitter.com/awonderland

    ⚡Copyright Free Music!⚡ http://bit.ly/CopyrightFreePRX

    #alisonwonderland #digitalmirage #alisonwonderlandlive

    ===
    Original video: https://www.youtube.com/watch?v=Wa5Is8Soj_g&feature=youtu.be
    Downloaded by http://huffduff-video.snarfed.org/ on Tue Apr 7 21:21:56 2020 Available for 30 days after download

    —Huffduffed by jmascio