Live Stream | https://streaming.media.ccc.de/gpn22/vortragssaal |
---|---|
Type | Vortrag |
Language | English |
5/30/24 |
Ist es möglich, eine Maschine zu bauen, mit der man Primzahlen erkennen bzw. ermitteln kann? Diese Frage habe ich mir vor ein paar Jahren gestellt und eine "virtuelle" Maschine entwickelt, also eine Maschine, die am Computer "funktioniert". Aber würde so eine Maschine sich auch tatsächlich bauen lassen. Bei der virtuellen Maschine gibt es keine physikalischen Einschränkungen und Herausforderungen wie zum Beispiel Gravitation oder Reibung. In diesem Talk stelle ich einen funktionierenden ...
|
5/30/24 |
In diesem Vortrag geht es in die spannende Welt der Pilze – einer faszinierenden Lebensform, über die wir doch viel zu wenig wissen. Von Pilzen, die größer als ein Wal sind, über sich bewegende Schleimpilze bis hin zu Pilzen, die im Dunkeln leuchten. Haltet euch fest, es wird spannend. Gehalten von Fabian vom Wildschytz.
|
5/31/24 |
Kann ich als Typ 1 Diabetikerin in die Apotheke gehen und dort alles bekommen, was ich so an Verbrauchsmaterial brauche? Kann ich einfach ins Krankenhaus gehen und die haben alle Dinge vorrätig, die ich brauche? Die Antwort auf diese beiden Fragen ist nein und was das bedeutet und wieso das so ist werden wir uns ein bisschen in diesem Talk anschauen. Zudem möchte ich aufzeigen wie es in anderen Ländern ist und welchen großen Einfluss auf die Diabetiker*innen eine mögliche "Verbesserung" ...
|
5/31/24 |
Type theory is the secret sauce that makes a programming language awesome. The more knowledge we can make the compiler aware of, the more we can rely on the compiler. But what is the limit? What if we could take _make bad state unrepresentable_ to the mathematical extreme? What is a proof anyway, can you eat it? Come on a wonderful journey into the land of dependent types, where we try building type-safe SQL queries, and sweeten the deal with our own syntactic sugar.
|
5/31/24 |
Ich zeige euch super spaßige Methoden, wie ihr mit dem puren Lambda-Kalkül programmieren könnt!! **(Nahezu) keine Vorkenntnisse erforderlich!**
|
6/1/24 |
Das ZKM | Hertzlab ist als künstlerische Forschungs & Entwicklungsabteilung des Zentrums für Kunst und Medien Karlsruhe die zukunftsgewandte Abteilung. In sechs Themengebieten beschäftigen wir uns mit der Frage, was in 100 Jahren ist, wie wir da hinkommen und wie wir das eigentlich hinkriegen, dass das eine lebenswerte Zukunft für alle ist. Wir geben einen Überblick über aktuelle Projekte des ZKM | Hertzlabs und laden euch ein, mit uns über die Zukunft zu spekulieren.
|
6/2/24 |
Ein wilder Ritt durch die verschiedenen Möglichkeiten Bilder von Menschen zu machen. Kann Spuren von Strahlung enthalten.
|