pflegendeGreat!
Thank you for this!
IDRIS on the run ...
2026/04/11 19:00 - 21:00: Lecture: "Idris – Reviving an Early #Unix Clone" by @me_ aka Michael Engel (University of Bamberg)
Location : https://bbb.cryptoparty.se/b/upd-0mo-m2u-aq8
Michael Engel@pflegende @dfupdate ...I'll also talk about Idris at the VCFe in Munich in May – https://www.vcfe.org/D/Vortraege.html
Peter H. Fröhlich@me_ Diesmal werd' ich hoffentlich NICHT krank sein. 😬
@pflegende @dfupdate The abstract of my talk can be found at https://uppsala.social/events/2f927572-16e0-47db-a9ea-7a93fc9ea1a4
Idris – Reviving an Early Unix Clone
Apr 11, 2026, 7:00:00 PM - GMT+2 - Datorföreningen Update, 753 33, Uppsala, Sweden - The ideas behind Unix have significant impact on the design of a large number of operating systems. In addition to more recent systems modelled after Unix, such as Minix or Linux, early operating syste…