<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
  xmlns:content="http://purl.org/rss/1.0/modules/content/"
  xmlns:dc="http://purl.org/dc/elements/1.1/"
  xmlns:itunes="http://www.itunes.com/dtds/podcast-1.0.dtd"
  xmlns:trackback="http://madskills.com/public/xml/rss/module/trackback/">
  <channel>
    <title>Chaos Computer Club - Swiss Python Summit 2023 (low quality mp4)</title>
    <link>https://media.ccc.de/c/sps23</link>
    <description> This feed contains all events from sps23 as mp4</description>
    <copyright>see video outro</copyright>
    <lastBuildDate>Thu, 23 Jan 2025 18:42:52 -0000</lastBuildDate>
    <image>
      <url>https://static.media.ccc.de/media/conferences/sps23/logo.png</url>
      <title>Chaos Computer Club - Swiss Python Summit 2023 (low quality mp4)</title>
      <link>https://media.ccc.de/c/sps23</link>
    </image>
    <item>
      <title>Closing (sps23)</title>
      <link>https://media.ccc.de/v/sps23-56137-closing</link>
      <description>Closing


about this event: https://www.python-summit.ch/
</description>
      <enclosure url="https://cdn.media.ccc.de/events/sps23/h264-sd/import-56137-eng-Closing_sd.mp4"
        length="20971520"
        type="video/mp4"/>
      <pubDate>Thu, 21 Sep 2023 18:50:00 +0200</pubDate>
      <guid isPermaLink="true">https://cdn.media.ccc.de/events/sps23/h264-sd/import-56137-eng-Closing_sd.mp4?1696541613</guid>
      <dc:identifier>b9a8436a-3b98-4201-9daf-18ae9f53f871</dc:identifier>
      <dc:date>2023-09-21T18:50:00+02:00</dc:date>
      <itunes:author>Stefan Keller</itunes:author>
      <itunes:explicit>No</itunes:explicit>
      <itunes:keywords>import, 56137, 2023, Main</itunes:keywords>
      <itunes:summary>Closing


about this event: https://www.python-summit.ch/
</itunes:summary>
      <itunes:duration>00:05:22</itunes:duration>
    </item>
    <item>
      <title>Welcome (sps23)</title>
      <link>https://media.ccc.de/v/sps23-56136-welcome</link>
      <description>Welcome


about this event: https://www.python-summit.ch/
</description>
      <enclosure url="https://cdn.media.ccc.de/events/sps23/h264-sd/import-56136-eng-Welcome_sd.mp4"
        length="10485760"
        type="video/mp4"/>
      <pubDate>Thu, 21 Sep 2023 11:00:00 +0200</pubDate>
      <guid isPermaLink="true">https://cdn.media.ccc.de/events/sps23/h264-sd/import-56136-eng-Welcome_sd.mp4?1696541222</guid>
      <dc:identifier>c2a48559-b25a-4e88-82a5-4146e7a324cb</dc:identifier>
      <dc:date>2023-09-21T11:00:00+02:00</dc:date>
      <itunes:author>Stefan Keller</itunes:author>
      <itunes:explicit>No</itunes:explicit>
      <itunes:keywords>import, 56136, 2023, Main</itunes:keywords>
      <itunes:summary>Welcome


about this event: https://www.python-summit.ch/
</itunes:summary>
      <itunes:duration>00:03:59</itunes:duration>
    </item>
    <item>
      <title>Lightning Talks (sps23)</title>
      <link>https://media.ccc.de/v/sps23-56135-lightning-talks</link>
      <description>We are happy to introduce Lightning Talks to this year&#39;s conference!


about this event: https://www.python-summit.ch/
</description>
      <enclosure url="https://cdn.media.ccc.de/events/sps23/h264-sd/import-56135-eng-Lightning_Talks_sd.mp4"
        length="74448896"
        type="video/mp4"/>
      <pubDate>Thu, 21 Sep 2023 18:20:00 +0200</pubDate>
      <guid isPermaLink="true">https://cdn.media.ccc.de/events/sps23/h264-sd/import-56135-eng-Lightning_Talks_sd.mp4?1696482470</guid>
      <dc:identifier>5ddd4458-db49-40b7-841b-b70656095ec6</dc:identifier>
      <dc:date>2023-09-21T18:20:00+02:00</dc:date>
      <itunes:author>Orga</itunes:author>
      <itunes:explicit>No</itunes:explicit>
      <itunes:keywords>import, 56135, 2023, Main</itunes:keywords>
      <itunes:summary>We are happy to introduce Lightning Talks to this year&#39;s conference!


about this event: https://www.python-summit.ch/
</itunes:summary>
      <itunes:duration>00:31:26</itunes:duration>
    </item>
    <item>
      <title>Asynchronous Multiprocess Large Model Training on PyTorch for Synthetic Cities Generation (sps23)</title>
      <link>https://media.ccc.de/v/sps23-56134-asynchronous-multiprocess-la</link>
      <description>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 &#39;surgery&#39; 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 &#39;surgery&#39; 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/
</description>
      <enclosure url="https://cdn.media.ccc.de/events/sps23/h264-sd/import-56134-eng-Asynchronous_Multiprocess_Large_Model_Training_on_PyTorch_for_Synthetic_Cities_Generation_sd.mp4"
        length="81788928"
        type="video/mp4"/>
      <pubDate>Thu, 21 Sep 2023 17:45:00 +0200</pubDate>
      <guid isPermaLink="true">https://cdn.media.ccc.de/events/sps23/h264-sd/import-56134-eng-Asynchronous_Multiprocess_Large_Model_Training_on_PyTorch_for_Synthetic_Cities_Generation_sd.mp4?1696482244</guid>
      <dc:identifier>a2f140ce-acee-4061-aa85-d7fda0fa08e8</dc:identifier>
      <dc:date>2023-09-21T17:45:00+02:00</dc:date>
      <itunes:author>Furio Valerio Sordini, Pavel Sulimov</itunes:author>
      <itunes:explicit>No</itunes:explicit>
      <itunes:keywords>import, 56134, 2023, Main</itunes:keywords>
      <itunes:summary>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 &#39;surgery&#39; 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 &#39;surgery&#39; 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/
</itunes:summary>
      <itunes:duration>00:30:43</itunes:duration>
    </item>
    <item>
      <title>A Short History of Python Web Frameworks (sps23)</title>
      <link>https://media.ccc.de/v/sps23-56133-a-short-history-of-python-we</link>
      <description>Python is currently a powerhouse when it comes to web development. But, how did it all start? We explore Python&#39;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&#39;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/
</description>
      <enclosure url="https://cdn.media.ccc.de/events/sps23/h264-sd/import-56133-eng-A_Short_History_of_Python_Web_Frameworks_sd.mp4"
        length="67108864"
        type="video/mp4"/>
      <pubDate>Thu, 21 Sep 2023 16:35:00 +0200</pubDate>
      <guid isPermaLink="true">https://cdn.media.ccc.de/events/sps23/h264-sd/import-56133-eng-A_Short_History_of_Python_Web_Frameworks_sd.mp4?1696481833</guid>
      <dc:identifier>38e9cc28-2cea-45a0-9a43-ce84841d9c38</dc:identifier>
      <dc:date>2023-09-21T16:35:00+02:00</dc:date>
      <itunes:author>Quazi Nafiul Islam</itunes:author>
      <itunes:explicit>No</itunes:explicit>
      <itunes:keywords>import, 56133, 2023, Main</itunes:keywords>
      <itunes:summary>Python is currently a powerhouse when it comes to web development. But, how did it all start? We explore Python&#39;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&#39;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/
</itunes:summary>
      <itunes:duration>00:30:01</itunes:duration>
    </item>
    <item>
      <title>Voice Control in Action: A Python-Based Approach for Operating a Quadrupedal Robot (sps23)</title>
      <link>https://media.ccc.de/v/sps23-56132-voice-control-in-action-a-py</link>
      <description>In an era where autonomous robots, such as Boston Dynamics&#39; 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&#39;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&#39; 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&#39;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/
</description>
      <enclosure url="https://cdn.media.ccc.de/events/sps23/h264-sd/import-56132-eng-Voice_Control_in_Action_A_Python-Based_Approach_for_Operating_a_Quadrupedal_Robot_sd.mp4"
        length="92274688"
        type="video/mp4"/>
      <pubDate>Thu, 21 Sep 2023 16:00:00 +0200</pubDate>
      <guid isPermaLink="true">https://cdn.media.ccc.de/events/sps23/h264-sd/import-56132-eng-Voice_Control_in_Action_A_Python-Based_Approach_for_Operating_a_Quadrupedal_Robot_sd.mp4?1696481649</guid>
      <dc:identifier>c470c6a7-fbf1-4f96-9e50-da72940cc9ef</dc:identifier>
      <dc:date>2023-09-21T16:00:00+02:00</dc:date>
      <itunes:author>Robin Ehrensperger</itunes:author>
      <itunes:explicit>No</itunes:explicit>
      <itunes:keywords>import, 56132, 2023, Main</itunes:keywords>
      <itunes:summary>In an era where autonomous robots, such as Boston Dynamics&#39; 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&#39;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&#39; 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&#39;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/
</itunes:summary>
      <itunes:duration>00:30:55</itunes:duration>
    </item>
    <item>
      <title>A walk with CPython (sps23)</title>
      <link>https://media.ccc.de/v/sps23-56131-a-walk-with-cpython</link>
      <description>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/
</description>
      <enclosure url="https://cdn.media.ccc.de/events/sps23/h264-sd/import-56131-eng-A_walk_with_CPython_sd.mp4"
        length="79691776"
        type="video/mp4"/>
      <pubDate>Thu, 21 Sep 2023 13:35:00 +0200</pubDate>
      <guid isPermaLink="true">https://cdn.media.ccc.de/events/sps23/h264-sd/import-56131-eng-A_walk_with_CPython_sd.mp4?1696481411</guid>
      <dc:identifier>d433f989-d4d2-4de6-b969-613aa12c57ae</dc:identifier>
      <dc:date>2023-09-21T13:35:00+02:00</dc:date>
      <itunes:author>Sadhana Srinivasan</itunes:author>
      <itunes:explicit>No</itunes:explicit>
      <itunes:keywords>import, 56131, 2023, Main</itunes:keywords>
      <itunes:summary>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/
</itunes:summary>
      <itunes:duration>00:31:25</itunes:duration>
    </item>
    <item>
      <title>Kivy: Cross-platform App development for Pythonistas (sps23)</title>
      <link>https://media.ccc.de/v/sps23-56130-kivy-cross-platform-app-deve</link>
      <description>“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/
</description>
      <enclosure url="https://cdn.media.ccc.de/events/sps23/h264-sd/import-56130-eng-Kivy_Cross-platform_App_development_for_Pythonistas_sd.mp4"
        length="58720256"
        type="video/mp4"/>
      <pubDate>Thu, 21 Sep 2023 13:00:00 +0200</pubDate>
      <guid isPermaLink="true">https://cdn.media.ccc.de/events/sps23/h264-sd/import-56130-eng-Kivy_Cross-platform_App_development_for_Pythonistas_sd.mp4?1696481048</guid>
      <dc:identifier>2868b941-2565-42b7-95ac-93f5861b6dfc</dc:identifier>
      <dc:date>2023-09-21T13:00:00+02:00</dc:date>
      <itunes:author>Mirko Galimberti</itunes:author>
      <itunes:explicit>No</itunes:explicit>
      <itunes:keywords>import, 56130, 2023, Main</itunes:keywords>
      <itunes:summary>“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/
</itunes:summary>
      <itunes:duration>00:24:32</itunes:duration>
    </item>
    <item>
      <title>Proving Python code correct with Nagini (sps23)</title>
      <link>https://media.ccc.de/v/sps23-56128-proving-python-code-correct</link>
      <description>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&#39;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&#39;t) do. I&#39;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&#39;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&#39;t) do. I&#39;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/
</description>
      <enclosure url="https://cdn.media.ccc.de/events/sps23/h264-sd/import-56128-eng-Proving_Python_code_correct_with_Nagini_sd.mp4"
        length="92274688"
        type="video/mp4"/>
      <pubDate>Thu, 21 Sep 2023 11:15:00 +0200</pubDate>
      <guid isPermaLink="true">https://cdn.media.ccc.de/events/sps23/h264-sd/import-56128-eng-Proving_Python_code_correct_with_Nagini_sd.mp4?1696480779</guid>
      <dc:identifier>687a4b0c-99ae-41ee-b3c6-d5815aa0669e</dc:identifier>
      <dc:date>2023-09-21T11:15:00+02:00</dc:date>
      <itunes:author>Marco Eilers</itunes:author>
      <itunes:explicit>No</itunes:explicit>
      <itunes:keywords>import, 56128, 2023, Main</itunes:keywords>
      <itunes:summary>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&#39;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&#39;t) do. I&#39;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&#39;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&#39;t) do. I&#39;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/
</itunes:summary>
      <itunes:duration>00:36:24</itunes:duration>
    </item>
    <item>
      <title>Did you know Matplotlib could do that? (sps23)</title>
      <link>https://media.ccc.de/v/sps23-56129-did-you-know-matplotlib-coul</link>
      <description>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&#39;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&#39;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/
</description>
      <enclosure url="https://cdn.media.ccc.de/events/sps23/h264-sd/import-56129-eng-Did_you_know_Matplotlib_could_do_that_sd.mp4"
        length="61865984"
        type="video/mp4"/>
      <pubDate>Thu, 21 Sep 2023 11:50:00 +0200</pubDate>
      <guid isPermaLink="true">https://cdn.media.ccc.de/events/sps23/h264-sd/import-56129-eng-Did_you_know_Matplotlib_could_do_that_sd.mp4?1696480929</guid>
      <dc:identifier>a07eb56d-9a56-4cf1-9ec9-edbf211274d4</dc:identifier>
      <dc:date>2023-09-21T11:50:00+02:00</dc:date>
      <itunes:author>Teresa Kubacka</itunes:author>
      <itunes:explicit>No</itunes:explicit>
      <itunes:keywords>import, 56129, 2023, Main</itunes:keywords>
      <itunes:summary>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&#39;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&#39;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/
</itunes:summary>
      <itunes:duration>00:29:20</itunes:duration>
    </item>
    <generator>media.ccc.de / RSS 0.3.1</generator>
    <itunes:category text="Technology"/>
    <itunes:image href="https://static.media.ccc.de/media/conferences/sps23/logo.png"/>
    <itunes:owner>
      <itunes:name>CCC media team</itunes:name>
      <itunes:email>media@c3voc.de</itunes:email>
    </itunes:owner>
    <itunes:author>CCC media team</itunes:author>
    <itunes:explicit>No</itunes:explicit>
    <itunes:keywords>CCC Congress Hacking Security Netzpolitik</itunes:keywords>
    <itunes:subtitle>A wide variety of video material distributed by the CCC. All content is taken from cdn.media.ccc.de and media.ccc.de</itunes:subtitle>
    <itunes:summary>A wide variety of video material distributed by the Chaos Computer Club. This feed contains all events from sps23 as mp4</itunes:summary>
  </channel>
</rss>