Chaos Computer Club - archive feed

about this event: https://c3voc.de

Kurzpräsentation zum «Jugend hackt» Event in Zürich vom 20. bis 22. Oktober 2022 bei der Digitalen Gesellschaft im Hackerspace «Bitwäscherei» about this event: https://c3voc.de

Präsentation der Projekte anlässich des «Jugend hackt» Events vom 20 bis 22 Oktober 2023 im Hackerspace «Bitwäscherei» in Zürich. Jan, Chudo und Thomas haben ein Spiel entwickelt, bei dem die Gamer den Wald sauber halten sollen. Noah, Tibor und Lorenzo zeigen mit «LED-Schild» eindrücklich auf, was alles hinter einem vermeintlich einfachen LED-Lichtspiel steckt. Mit «Spirits» entwickelten Claudia und Max ein Spiel zum Kampf zwischen Gut und Böse auf der Welt, vorerst zweidimensional – wir sind gespannt auf die Weiterentwicklung zu einem dreidimensionalen Game! Mit «Eventfully» präsentierten Benedikt, Dorothea, Luis, Jona, Konrad, Leonie und Emmi eine Webseite, die sie von Grund auf selbst entwickelten und allen hilft, aus der Fülle von Veranstaltungen in der Region die passende zu finden. Last but not least ist auch das Projekt (emissioneer) von Robin und Elija zu erwähnen – Das Erstellen einer Webseite für die Berechnung der Anzahl zu pflanzender Bäume um die Schadstoff-Emissionen des persönlichen Individualverkehrs zu kompensieren. about this event: https://c3voc.de

ChatGPT’s consumer introduction has forced Artificial Intelligence (AI) into the media, academic, and regulatory spotlight. Self-proclaimed security experts warn of an apocalypse, privacy activists label it as marketing hype, and investors are rubbing their hands together. What is so intriguing about AI? How does it work? What are its potentials and limitations? What role should Switzerland embrace as the world begins to govern AI? With Dr. Maria Grazia Guiffreda (Associate Director of the Swiss National Supercomputing Centre, CSCS), Roberta Fischli (University of St. Gallen, Digitale Gesellschaft) and Daniel Donatsch (Digitale Gesellschaft) we delve into these questions. about this event: https://www.digitale-gesellschaft.ch/event/netzpolitischer-abend-zum-thema-kuenstliche-intelligenz-hoffnung-oder-hype/

Rückblick über das VCFB 2023. Verleihung des Publikumspreises für die beliebtesten Ausstellungen mit Verlosung eines Preises unter den Teilnehmenden der Abstimmung. about this event: https://c3voc.de

Im Frühjahr 1990 bringt die DDR ihren letzten Computer auf den Markt, den KC compact. Im turbulenten Wendejahr und wenige Wochen vor der Währungsunion gerät der Rechner unter die Räder. Nur wenige Exemplare werden verkauft. Heute ist das Gerät ein begehrtes Sammlerstück. René Meyer erzählt die kurze Geschichte des Computers und beschreibt die technischen Daten. about this event: https://c3voc.de

The Lisa was Apple's first computer featuring a graphical user interface (GUI). Whereas previous systems developed at Xerox PARC never had a significant commercial impact, Lisa was intended to change this. Unfortunately, this turned out to be a failure – not least due to internal competition by the Macintosh at a quarter of the price, but also due to internal politics at Apple. Ultimately, the Lisa was relegated to be a high-end Mac and, in 1989, Apple buried about 2700 Lisas in a landfill in Utah to get a tax write-off. Still, the Lisa is not forgotten. In early 2023, forty years after its introduction, Apple and the CHM have published source code to the Lisa software, including system and application software – and there are alternative systems available such as Xenix, GEMDOS, and Smalltalk. Today, not only emulators for the Lisa exist, but work is also in progress to build a clone of the Lisa PCBs in order to repair existing machines or create new ones. This talk gives an overview of the history of Lisa's hard- and software and discusses challenges in maintaining, emulating and recreating the system. about this event: https://c3voc.de

Emulatoren spielen eine zunehmend wichtige Rolle in der Bewahrung von historischen Rechnern. Viele dieser Rechner existieren nicht mehr, funktionieren nicht mehr, sind schwer oder gar nicht zu bekommen oder zu betreiben. Mit Emulation ist es dennoch möglich, sich mit diesen Systemen auseinanderzusetzen, sie zu benutzen und sie somit am Leben zu halten. Zudem ist es eine äußerst lehrreiche Erfahrung, einen Emulator zu schreiben, da man sich damit konfrontiert sieht, eine Maschine vollkommen zu verstehen. Aber wie geht man das eigentlich an? Der Vortrag wird verschiedene Ansätze vorstellen und sich mit den damit einhergehenden Herausforderungen auseinandersetzen. Hierbei stellen sich unter anderem Fragen nach Genauigkeit, Geschwindigkeit oder Emulation von Peripherie. Schließlich werden beispielhaft einige Emulatoren gezeigt, die diese unterschiedlichen Ansätze verfolgen. about this event: https://c3voc.de

Wir stellen unser Projekt "Steckschwein" vor. Wir zeigen von den Anfängen vor fast 10 Jahren bis zum aktuellen Status, wie wir iterativ in kleinen Schritten immer weiterentwickelt haben, bis wir schließlich bei der aktuellen Version angekommen sind. Dabei zeigen wir außerdem, wie uns aktuelle Entwicklungsmethoden wie Unit-Tests und Continuous Integration sowie unser Steckschwein-Emulator bei der Entwicklung helfen. about this event: https://c3voc.de

This presentation is about the history and development of the Incompatible Timesharing System (ITS), a unique operating created at the MIT AI lab in the 1960s. It ran on a handful of large 36-bit PDP-10 computers, each serving many users at MIT. The culture surrounding ITS strongly influenced the free software movement and the GNU Project. ITS was host to a number of influential programs and technologies, for example Maclisp, Scheme, Zork, Lisp machines, Macsyma, SHRDLU, Logo, Emacs, and the MacHack VI chess program. about this event: https://c3voc.de

As a collector, we often wish we would have bought some retro classics devices when they were cheaply available. This is not possible retroactively, but we can try to guess what products we can buy now or tomorrow for a good price that we will want to have in the future. To that end we have to ask ourselves how the price of an electronic device looks over its lifetime and what the criteria are that turn undesirable junk today in a beloved rarity tomorrow. This presentation wants to explore these questions by looking at the retro computer market as an example. This presentation is complemented by an exhibition on "Future Retro Classics". about this event: https://c3voc.de

Ein kleines Forschungsprojekt hat sich der großen Aufgabe gewidmet, erstens einen internationalen und systemübergreifenden Katalog zu Diskettenmagazinen und zweitens eine deutschsprachige Textsammlung von Diskmags-Inhalten zu erstellen. Es liefert damit eine Grundlage für die Erforschung der frühen digitalen Zine-Kultur und ermöglicht den verschiedenen Szenekreisen, ein Stück weit in ihre eigene Geschichte einzutauchen. Der Katalog (siehe das dazu passende Poster) wurde weit umfangreicher als zunächst geschätzt und umfasst inzwischen Nachweise zu 2.500 Magazinen und mehr als 20.000 Einzelausgaben. Deutlich schwieriger gestaltet sich die Textsammlung: Hier gilt es, unter anderem Kompressionsverfahren zu identifizieren und Character-Mappings herzustellen, um Unicode-kompatible Texte erzeugen zu können. Aber gibt es vielleicht noch andere Wege? Und wie lassen sich die verschiedenen rechtlichen Fragen lösen? about this event: https://c3voc.de

Der Hambacher Wald ist immer noch bedroht! Über die aktuelle Situation, das widerständige Waldleben und warum Hambi bleiben muss. Der Hambacher Wald aka Hambi ist ein wunderschöner 12.000 Jahre alter Wald, der seit 2012 besetzt ist. Seit der letzten Räumung 2018, als die Besetzer*innen es geschafft haben, die Rodung der verbleibenden Bäume zu verhindern, steht dort eine der größten autonomen Zonen Europas. Der Hambi bleibt ein Ort des Widerstandes gegen den fossilen Kapitalismus weltweit und für den Aufbau eines alternativen, herrschaftskritischen Zusammenlebens. Doch momentan bedrohen mehrere Faktoren das Überleben des Waldes (wie die geplante Erweiterung des Tagebaus und die Pläne der Bezirksregierung Köln). In diesem Vortrag werden wir übers Waldleben sprechen, über die aktuelle Situation, darüber warum Hambi bleiben muss und was wir dafür tun können. Danach wird es Gelegenheit zu Austausch und Vernetzung mit Menschen aus dem Wald geben. Also kommt vorbei und bringt eure Freund*innen mit. about this event: https://chaosdorf.de/2023/09/vortrag-hambi-bleibt-der-widerstand-muss-weitergehen/

Der Vortrag behandelt die Geschichte der Demo "Transactor" für CBM 8296(D) und dessen Hardware-Spezifikation. Es werden drei dazu selbsterstelle Dev-Tools und andere Dev-Tools vorgestellt. Darüber hinaus wird der neue Grafikmodus Mode2 vorgestellt. about this event: https://c3voc.de

Dieser Vortrag gibt einen Rückblick in die Entstehungsgeschichte des MEGA65, erläutert seine momentanen Fähigkeiten und was die Zukunft noch bringen kann. Der MEGA65 ist die FPGA-basierte Realisierung des niemals fertiggestellten Commodore C65 in originalgetreuem Gewand. Durch weitere FPGA-Cores können aber auch andere Systeme realisiert werden, wie z.B. ZX Spectrum, C64 oder bald auch Amiga. Das Projekt wurde vom MEGA – Museum of Electronic Games & Art mit ins Leben gerufen, und hat unter anderem das Ziel, eine Retrocomputer-Plattform für die Erhaltung von nicht mehr verfügbarer Hardware zu realisieren. about this event: https://c3voc.de

Die 1623 von Wilhelm Schickard entworfene Rechenmaschine kann mit gutem Recht als Urahn aller heute bekannten Rechner gelten. Der Vortrag skizziert die historischen Zusammenhänge und zeigt die spannende Wiederentdeckung der Spuren durch Franz Hammer, über die erste Rekonstruktion durch Professor von Freytag-Löringhoff 1960, bis zur aktuellen Open-Source-Hardware als freier Bausatz. Die Maschine arbeitet im Dezimalsystem und kann sehr anschaulich mit bis zu sechs Stellen addieren und multiplizieren. Im Anschluss werden Funktion und Rechenverfahren anhand von Beispielen demonstriert. Anhand der Erfahrungen in der Benutzung der Maschine wird eine plausibel erscheinende Weiterentwicklung vorgestellt. about this event: https://c3voc.de

Mit dem K8918 gab es von Robotron ein grafisches Terminal auf Basis der CPU 8086 bzw. des kompatiblen russischen KR1810WM86. Im Gegensatz zu seinem Vorgänger war dieses Terminal nun farbgrafikfähig. Der Vortrag gibt einen Eindruck der Funktionalität dieses Gerätes, beschreibt dessen Architektur, den konstruktiven Aufbau sowie die Vorgehensweise, wie man ein solches Terminal betreiben kann, ohne die eigentliche Zentraleinheit zur Verfügung zu haben. Der Vortrag soll somit ein Bild darüber vermitteln, wie sich die eingebaute Funktionalität zum Leben erwecken und praktisch darstellen lässt. about this event: https://c3voc.de

Das Betriebssystem Plan 9 ist in den späten 1980er-Jahren bei den Bell Labs als Nachfolger von UNIX entstanden. Das "everything is a file"-Prinzip von UNIX wurde diesmal besonders konsequent durchgezogen, wodurch das System sehr minimalistisch und elegant wurde. Insbesondere Netzwerke und grafische Oberflächen machen sich die einzigartigen Möglichkeiten des Dateisystems zu Nutze. Der Vortrag wird auf die Geschichte und Entwicklung von Plan 9 eingehen, sowie die Unterschiede zu UNIX hervorheben. Außerdem wird das System natürlich live demonstriert. about this event: https://c3voc.de

Mit einem Hardware-Zusatz für einen Raspberry Pi kann Vektorgrafik auf bis zu zwei X/Y/Z-Displays einschließlich des typischen Flackerns dargestellt werden und über Lichtgriffel eine Interaktion mit dem Schirminhalt erfolgen. Das Interface ist so gestaltet, dass die Ein-Ausgabe-Befehle der Whirlwind-I-Simulation von Guy Fedorkow in Echtzeit umgesetzt werden können. Es können zwei Bildschirme gleichzeitig betrieben werden. Der Vortrag beschreibt die I/O-Befehle des Whirlwind I und deren Hardware-Ansteuerung aus der Simulation. Die Anordnung wird zum Schluss mit Original-Programmen des Whirlwind demonstriert und auch in der Ausstellung vorgeführt. about this event: https://c3voc.de

This talk reviews work done jointly at the Massachusetts Institute of Technology and the Computer History Museum to recover software developed in the 1950s on the Whirlwind computer, noted as the first machine intentionally designed for graphical input and output, plus the first known use in a real-time application. This work covers conversion of the archived media, plus an environment for debugging and simulation, as well as a few examples of code recovered. The presentation is a companion to Rainer Glaschick's work on reconstructing the Whirlwind "Light Gun", the graphical input device developed by the Whirlwind team. about this event: https://c3voc.de

about this event: https://c3voc.de

about this event: https://c3voc.de

about this event: https://c3voc.de

about this event: https://c3voc.de

about this event: https://c3voc.de

about this event: https://c3voc.de

about this event: https://c3voc.de

about this event: https://c3voc.de

about this event: https://c3voc.de

about this event: https://c3voc.de

Which FLOSS software can I use to create the sound of classic keyboard instruments available up until 1978 and recreate the styles of that era. Including musical performance. Resources for this talk are available at: <a href="https://github.com/SpotlightKid/talk-sonoj-2023">https://github.com/SpotlightKid/talk-sonoj-2023</a> about this event: https://c3voc.de

about this event: https://c3voc.de

We explore the process of turning a classic rock music masterpiece into a pseudo-historical 'Early Music' cover. We identify and transform musical elements, record the piece using real instruments, samples, and synthesizers, and create accompanying visuals like cover art and a page from an imaginary musical folio. The AI is also present to lend its assistance. about this event: https://c3voc.de

about this event: https://c3voc.de

about this event: https://c3voc.de

Sport ist der natürliche Feind des Nerds: Viel lieber sitzt man doch vor dem Computer oder bastelt im Keller. Aber irgendwann schmerzt doch der Rücken und man überlegt sich, wie man doch etwas Bewegung in seinen Tagesablauf einbauen kann. In diesem Petit Foo erklärt sirgoofy, welche Möglichkeiten sich anbieten und wie man die beste Lösung für sich findet. about this event: https://chaospott.de/

Hand aufs Herz: Für uns ist Essen doch oftmals nur eine nervige Nebensache, die uns vom gepflegten Hacken abhält. Da bestellt man schnell mal eine Pizza oder macht sich ein paar Instant-Ramen fertig. Auf Dauer gehen die ganzen Pizza-Bestellungen aber ziemlich ins Geld und ist das Ganze auch nicht so gut für die Linie. In diesem Petit Foo spricht sirgoofy über gesunde Ernährung und zeigt, wie man diese in den Alltag eines Nerds integrieren kann. about this event: https://chaospott.de/

Im Juni 2023 haben rund um Wolodymyr Selenskis Ansprache im Schweizer Parlament russische Hacker verschiedene Schweizer Internetseiten lahmgelegt. Waren dies die Anzeichen eines aufkommenden Informationskrieges? Stecken wir bereits mitten drin? Und was bedeutet dies für die Sicherheitspolitik der Schweiz? Lennart Maschmeyer ist Senior Researcher am Center for Security Studies der ETH Zürich. Seine Forschungsschwerpunkte sind Cybersicherheit, Intelligence Studies, Theorien internationaler Beziehungen und Threat Intelligence. Mit ihm schauen wir die Mechanismen von Cyberkrieg und Subversion an, besprechen die aktuelle Bedrohungslage für die Schweiz und wagen einen Ausblick in die nahe Zukunft. about this event: https://www.digitale-gesellschaft.ch/event/netzpolitischer-abend-zu-cyberkrieg-und-subversion-mechanismen-bedrohungslage-und-aussichten/

Closing about this event: https://www.python-summit.ch/

We are happy to introduce Lightning Talks to this year's conference! about this event: https://www.python-summit.ch/

With the increasing popularity of large machine learning models capable of solving complicated tasks in the sphere of natural language processing, computer vision, etc., the need for distributed computation has rocketed significantly. We would like to provide the 'surgery' of parallelization methods from one of the most popular deep learning frameworks - PyTorch. Particularly, we would like to demonstrate two main approaches: data parallelization (when the single module is trained asynchronically in streams) and model parallelization (both horizontal – with several models trained simultaneously, and vertical – when the model parameters are split into groups). Moreover, we will guide through the cases of different resources availability, i.e. what could be done when having only CPUs, a single GPU, or multiple GPUs. Our showing is to be done on an example of urban planning problem solution, where we are creating synthetic cities with deep convolutional generative adversarial neural networks. These models have complicated architecture and billions of parameters when generating images starting from mid-resolution like 256x256, which makes them perfect instances for distributed computation demonstration. With the increasing popularity of large machine learning models capable of solving complicated tasks in the sphere of natural language processing, computer vision, etc., the need for distributed computation has rocketed significantly. We would like to provide the 'surgery' of parallelization methods from one of the most popular deep learning frameworks - PyTorch. Particularly, we would like to demonstrate two main approaches: data parallelization (when the single module is trained asynchronically in streams) and model parallelization (both horizontal – with several models trained simultaneously, and vertical – when the model parameters are split into groups). Moreover, we will guide through the cases of different resources availability, i.e. what could be done when having only CPUs, a single GPU, or multiple GPUs. Our showing is to be done on an example of urban planning problem solution, where we are creating synthetic cities with deep convolutional generative adversarial neural networks. These models have complicated architecture and billions of parameters when generating images starting from mid-resolution like 256x256, which makes them perfect instances for distributed computation demonstration. about this event: https://www.python-summit.ch/

Python is currently a powerhouse when it comes to web development. But, how did it all start? We explore Python's humble web development beginnings, from CGI to WSGI and the eventual rise of large frameworks like Django, and smaller ones like Flask and FastAPI. Python is currently a powerhouse when it comes to web development. But, how did it all start? We explore Python's humble web development beginnings, from CGI to WSGI and the eventual rise of large frameworks like Django, and smaller ones like Flask and FastAPI. about this event: https://www.python-summit.ch/

In an era where autonomous robots, such as Boston Dynamics' quadrupedal robot, Spot, are capable of navigating complex environments, it is crucial to ensure the safety of an operator. Traditional control mechanisms, such as a remote control, may not be feasible or safe in harsh or hazardous conditions. Addressing this, we present a novel Python-based voice control module for Spot. Our module enables hands-free operation of the robot, allowing it to execute verbally issued commands. To enhance the interaction between an operator and a robot, we've integrated an additional text-to-speech synthesizer, establishing a two-way communication channel. Our solution leverages state-of-the-art Python libraries for speech-to-text translation and lightweight command extraction, which significantly extends the possibilities of interaction. As a result, Spot can perform basic tasks such as standing up or navigating to specific coordinates using only voice commands. This novel approach, promotes safety and efficiency in operating autonomous robots, opening up new possibilities for their use in challenging environments. In an era where autonomous robots, such as Boston Dynamics' quadrupedal robot, Spot, are capable of navigating complex environments, it is crucial to ensure the safety of an operator. Traditional control mechanisms, such as a remote control, may not be feasible or safe in harsh or hazardous conditions. Addressing this, we present a novel Python-based voice control module for Spot. Our module enables hands-free operation of the robot, allowing it to execute verbally issued commands. To enhance the interaction between an operator and a robot, we've integrated an additional text-to-speech synthesizer, establishing a two-way communication channel. Our solution leverages state-of-the-art Python libraries for speech-to-text translation and lightweight command extraction, which significantly extends the possibilities of interaction. As a result, Spot can perform basic tasks such as standing up or navigating to specific coordinates using only voice commands. This novel approach, promotes safety and efficiency in operating autonomous robots, opening up new possibilities for their use in challenging environments. about this event: https://www.python-summit.ch/

Did you know that Python has a compiler even though it’s an interpreted language? In this talk, we will embark on a step-by-step exploration of a simple program, unraveling the inner workings of CPython — the default reference implementation of Python. We’ll begin with the compiler, which performs the task of converting Python code into OPCODES. Next, we’ll explore the famous interpreter. We’ll uncover how it works with the generated OPCODES, executing the program line by line and talk about an example of optimisations it does along the way. We’ll explore how Python manages variables, function calls, and exceptions. Additionally, we’ll touch upon object creation and destruction. The primary aim of this talk is to provide a concise yet comprehensive overview of the components involved in executing a simple program within CPython. Through precise references to the CPython code base, attendees will be equipped to explore further on their own. Did you know that Python has a compiler even though it’s an interpreted language? In this talk, we will embark on a step-by-step exploration of a simple program, unraveling the inner workings of CPython — the default reference implementation of Python. We’ll begin with the compiler, which performs the task of converting Python code into OPCODES. Next, we’ll explore the famous interpreter. We’ll uncover how it works with the generated OPCODES, executing the program line by line and talk about an example of optimisations it does along the way. We’ll explore how Python manages variables, function calls, and exceptions. Additionally, we’ll touch upon object creation and destruction. The primary aim of this talk is to provide a concise yet comprehensive overview of the components involved in executing a simple program within CPython. Through precise references to the CPython code base, attendees will be equipped to explore further on their own. about this event: https://www.python-summit.ch/

“Kivy makes Pythonistas happier”. Why? Cause with Kivy you’ll drop any non-pythonic way to develop mobile and desktop apps, or it’ll help you to start a new career in app development, with Python. We will talk about GUI apps development with Kivy while keeping a focus on all the tools in the Kivy ecosystem which are making it possible to create, build and distribute fully-featured apps on all the supported platforms (Android, iOS, Linux, macOS, and Windows). This talk will go through some common pitfalls of running machine learning in production settings. We will start with the requirements and work through the data acquisition and model-building phase. We explore beyond the current MLOps hype and try to understand what it takes to run a successful project that is ready to ripe like a fine wine rather than old milk. “Kivy makes Pythonistas happier”. Why? Cause with Kivy you’ll drop any non-pythonic way to develop mobile and desktop apps, or it’ll help you to start a new career in app development, with Python. We will talk about GUI apps development with Kivy while keeping a focus on all the tools in the Kivy ecosystem which are making it possible to create, build and distribute fully-featured apps on all the supported platforms (Android, iOS, Linux, macOS, and Windows). This talk will go through some common pitfalls of running machine learning in production settings. We will start with the requirements and work through the data acquisition and model-building phase. We explore beyond the current MLOps hype and try to understand what it takes to run a successful project that is ready to ripe like a fine wine rather than old milk. about this event: https://www.python-summit.ch/

In this talk, I am going to expand on my NormConf Lightning Talk “How to stop crying when using Matplotlib”. Matplotlib is my tool of choice for custom data visualizations and I have been teaching it for the last 2 years in a dedicated course at HSLU. It is an extremely popular data visualization library among the Python data science community and often the only one that can produce fully customized, complex visualizations. However, due to its long history, API changes and lack of good educational resources, many people struggle to harness all its capabilities, ending up frustrated, dissatisfied and with an ugly chart as an output. I'm going to explain why Matplotlib works the way it works and how to work with it instead of against it. I will also show some tips and tricks for writing sustainable code and and share a few recipes for making beautiful, complex data visualizations. In this talk, I am going to expand on my NormConf Lightning Talk “How to stop crying when using Matplotlib”. Matplotlib is my tool of choice for custom data visualizations and I have been teaching it for the last 2 years in a dedicated course at HSLU. It is an extremely popular data visualization library among the Python data science community and often the only one that can produce fully customized, complex visualizations. However, due to its long history, API changes and lack of good educational resources, many people struggle to harness all its capabilities, ending up frustrated, dissatisfied and with an ugly chart as an output. I'm going to explain why Matplotlib works the way it works and how to work with it instead of against it. I will also show some tips and tricks for writing sustainable code and and share a few recipes for making beautiful, complex data visualizations. about this event: https://www.python-summit.ch/

With the introduction of PEP 484 type annotations, Python has made a big step towards making programs safer by statically ruling out type errors. But what if we go five steps further and prove that our programs don't crash for any reason at all and, moreover, do what we want them to do? In this talk, I will give an informal overview about formal verification, what it is and what it can (and can't) do. I'll show how to use the automated verifier Nagini to express what a program is supposed to do and prove that it does. With the introduction of PEP 484 type annotations, Python has made a big step towards making programs safer by statically ruling out type errors. But what if we go five steps further and prove that our programs don't crash for any reason at all and, moreover, do what we want them to do? In this talk, I will give an informal overview about formal verification, what it is and what it can (and can't) do. I'll show how to use the automated verifier Nagini to express what a program is supposed to do and prove that it does. about this event: https://www.python-summit.ch/

Welcome about this event: https://www.python-summit.ch/

Du bist häufiger im Hackerspace? Und möchtest mehr machen als abzunerden und Mate zu trinken? Dann ist dieser Talk genau der richtige für dich. sirgoofy erklärt, was in Hackerspaces noch zu erleben erleben ist und wie du deinen Hackerspace noch besser machen kannst. about this event: https://chaospott.de/

about this event: https://c3voc.de