News
Tübix - Korrektheit von Programmen beweisen mit Coq
www.tuebix.org
Korrektheit von Programmen beweisen mit Coq 17:00 bis 18:00 in Raum V2 Peter Hrenka “Jede nicht-triviale Software hat Fehler!” - Wirklich? Es gibt mittlerweile
Tübix - git sub - ähhm - dings
www.tuebix.org
git sub - ähhm - dings 12:20 bis 12:25 in Raum V3 Peter Hrenka. Um mehrere voneinander abhängige Projekte mit git zu verwalten gibt eine ganze Reihe von git “sub
Minecraft Hacking for BeginnersTübix
www.tuebix.org
Peter Hrenka. Minecraft ist eines der erfolgreichsten Spiele überhaupt und besitzt auch eine aktive Modder-Szene, die auch sehr wohlwollend vom Eigentümer ... Peter Hrenka. Python erfreut sich im wissenschaftlichen Umfeld einer großen Beliebheit. Obwohl Python als solches nicht unbedingt durch hohe Geschwindigkeit ...
Tübix - Sauberes C++ mit clang-tidy
www.tuebix.org
Sauberes C++ mit clang-tidy. 10:00 bis 11:00 in Raum V3. Peter Hrenka. C++ ist wieder eine lebendige Sprache geworden. Neue Standards werden in einem atemberaubenden Tempo verabschiedet. Da können alte Code-Basen oft nicht mehr mithalten. Das Tool clan-tidy kann: den Code auf neuere Sprachstandards ...
sortiert nach Relevanz / Datum