Podcast Episodes
Back to Search
PegaProx – Was Proxmox im Enterprise-Umfeld gefehlt hat (froscon2026)
In diesem Vortrag starten wir mit einer kurzen Vorstellung des Projekts und der eigentlichen Idee dahinter, sowie einem kurzen Abriss über die Entste…
1 month, 3 weeks ago
Weg von Dropbox & Co.: Einstieg in OpenCloud Selfhosting (froscon2026)
In diesem Vortrag schauen wir uns an, wie OpenCloud funktioniert und wie sich in kurzer Zeit eine eigene Instanz aufsetzen lässt. Ziel des Vortrags i…
1 month, 3 weeks ago
Supply Chain Security in the PHP Ecosystem (froscon2026)
Every modern PHP application is built on a foundation of third-party packages, each with its own dependencies and its own trust assumptions. Recent s…
1 month, 3 weeks ago
init (froscon2026)
Licensed to the public under http://creativecommons.org/licenses/by/4.0 about this event: https://programm.froscon.org/2026/events/3674.html
1 month, 3 weeks ago
Closing/Closure/Completion (qtcat2026)
A closing for QTCat, some closure for myself and maybe a bit about categorical completions. Licensed to the public under https://creativecommons.org/…
1 month, 3 weeks ago
Parametrised Representability (qtcat2026)
Often we define functors F where each object F(A) satisfies a universal property; these could be products, limits, colimits, (co)ends, (co)free objec…
1 month, 3 weeks ago
Cats and Types, Side by Side (qtcat2026)
As a type theorist who hangs out with category theorists, I am always fascinated by what we share and by how we differ. What do some of us fuss over …
1 month, 3 weeks ago
Coinductive invertibility in higher categories (qtcat2026)
Invertibility is a crucial notion in category theory, providing the correct notion of sameness for objects within a category and equivalences of cate…
1 month, 3 weeks ago
The fundamental theorem of deeper algebra (qtcat2026)
Higher algebra is the algebra of (connective) spectra. Deeper algebra is the algebra of (coconnective) categorical spectra. Deeper algebra organizes …
1 month, 3 weeks ago
Who cares about codensity monads? (qtcat2026)
Consider the category of groups with its forgetful functor down to Set. This functor is monadic, which tells us that groups are sets equipped with an…
1 month, 3 weeks ago