Live Stream | https://streaming.media.ccc.de/gpn22/vortragssaal |
---|---|
Type | Vortrag |
Language | German |
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/30/24 |
I will give some insight to the world of (post-quantum) cryptography and what questions in this world look like, from the perspective of a newcomer. In particular, I will give a user-friendly introduction to the Random Oracle Model, a tool frequently used in cryptography proofs. We will look at where the model fails and what problems come up when giving you enemies a quantum computer. No prior knowledge in quantum or cryptography is required to follow this talk, anyone who has programmed before ...
|
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.
|