Shows
bitte nicht weiterdenkenWir haben Esel erfundenTaby und Joni protzen mit ihren Anime-Stimmen. Es geht um Stirne hauen und Arbeitslosigkeit, aber vor allem geht es um Körperfunktionen die mit dem Mund zu tun haben. Nichts in Richtung sexy ihr Schlingel. Es geht um Atmen und Kotzen. In diesem Sinne auch TW Kotzgeräusche für alle, die nicht damit können oder das nicht wollen. Nächste Folge dafür wieder ohne Kotzgeräusche. Versprochen.2024-09-2718 min
International Conference on Functional Programming 2017Verified Low-Level Programming Embedded in FJonathan Protzen, Microsoft Research, United States, gives the second talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. Co-written by Jonathan Protzen (Microsoft Research, United States), Jean-Karim Zinzindohoué (Inria, France), Aseem Rastogi (Microsoft Research, India), Tahina Ramananandro (Microsoft Research, United States), Peng Wang (Massachusetts Institute of Technology, USA), Santiago Zanella-Beguelin (Microsoft Research), Antoine Delignat-Lavaud (Microsoft Research), Catalin Hritcu (India and Paris), Karthikeyan Bhargavan (Inria, France), Cedric Fount (Microsoft Research), Nikhil Swamy (Microsoft Research, United States).
We present Low, a language for low-level programming and verification, and its application to high-assurance optimized cryptographic l...2017-12-1818 min