Shows
Software Freedom PodcastSFP#25: MirageOS and OCaml with Hannes Mehnert and Matthias KirschnerSFP#25: MirageOS and OCaml with Hannes Mehnert and Matthias KirschnerFor our 25th episode of the Software Freedom Podcast we are happy to welcome Hannes Mehnert, one of the MirageOS core developer. Matthias Kirschner, president of the FSFE, and Hannes talk about MirageOS. This episode gives an overview of everything from the basics to the future of MirageOS.As one of the core developers of MirageOS, Hannes Mehrnert, has a deep understanding of the inner workings of the programming framework and its modules. He and Matthias talk about the usage of MirageOS, the funding and...
2024-07-0437 min
OCaml Workshop 2016Conex -- establishing trust into data repositoriesHannes Mehnert, Louis Gesbert at OCaml Workshop 2016
2023-01-0400 min
OCaml Workshop 2016Conex -- establishing trust into data repositoriesHannes Mehnert, Louis Gesbert at OCaml Workshop 2016
2023-01-0400 min
OCaml Workshop 2016Conex -- establishing trust into data repositoriesHannes Mehnert, Louis Gesbert at OCaml Workshop 2016
2023-01-0400 min
OCaml Workshop 2016Conex -- establishing trust into data repositoriesHannes Mehnert, Louis Gesbert at OCaml Workshop 2016
2023-01-0400 minOCaml Workshop 2014Transport Layer Security purely in OCamlTransport Layer Security purely in OCaml by Hannes Mehnert and David Kaloper Meršinjak
Transport Layer Security purely in OCamlTransport Layer Security (TLS) is probably the most widely de- ployed security protocol on the Internet. It is used to setup virtual private networks, secure various services such as web and email, etc. In this paper we describe our clean slate TLS implementa- tion developed in OCaml.
2021-10-0400 min
OCaml Workshop 2014Transport Layer Security purely in OCamlTransport Layer Security purely in OCaml by Hannes Mehnert and David Kaloper Meršinjak
Transport Layer Security purely in OCamlTransport Layer Security (TLS) is probably the most widely de- ployed security protocol on the Internet. It is used to setup virtual private networks, secure various services such as web and email, etc. In this paper we describe our clean slate TLS implementa- tion developed in OCaml.
2021-10-0400 min
CRE: Technik, Kultur, GesellschaftCRE122 Compilerbau und Typtheorie
Vom Übersetzen und Optimieren von Programmcode
Compilerbau ist eine komplexe Materie aber auch keine Magie. Andererseits ist es ein Feld, in dem in letzter Zeit wieder eine Menge Bewegung gekommen ist, teilweise ausgelöst durch neue Erkenntnisse, teilweise durch den hohen Bedarf an schnellen, dynamischen Programmiersprachen im Web. Hannes Mehnert erarbeitet gerade seine Diplomarbeit in diesem Themenfeld mit einem Schwerpunkt auf Optimierung und Typtheorie und erläutert im Gespräch mit Tim Pritlove die Hintergründe dieser Ansätze und gibt einen Überblick über weitgehend unbekanntes Terrain.
Tim Pritlove
Twitter
@timpritlove@mastodon.social
Website
Spenden via PayP...
2009-05-132h 05
CRE: Technik, Kultur, GesellschaftCRE122 Compilerbau und TyptheorieCompilerbau ist eine komplexe Materie aber auch keine Magie. Andererseits ist es ein Feld, in dem in letzter Zeit wieder eine Menge Bewegung gekommen ist, teilweise ausgelöst durch neue Erkenntnisse, teilweise durch den hohen Bedarf an schnellen, dynamischen Programmiersprachen im Web. Hannes Mehnert erarbeitet gerade seine Diplomarbeit in diesem Themenfeld mit einem Schwerpunkt auf Optimierung und Typtheorie und erläutert im Gespräch mit Tim Pritlove die Hintergründe dieser Ansätze und gibt einen Überblick über weitgehend unbekanntes Terrain.
2009-05-132h 05