Chaos Computer Club - archive feed

Chaos Computer Club - archive feed

By CCC media teamTechnology
Download on the App Store

Chaos Computer Club - archive feed episodes

  • Svø über Krähen ♥ [5 Minuten Termine] (chaotikum)
    Svø hat in den letzten Jahren die Krähen in der Nachbarschaft kennengelernt. Aber was ist überhaupt eine Krähe? Sind Krähen Raben? Und welche Krähen wohnen eigentlich so in Deutschland.
    Ein Vortrag im Rahmen der Fünf-Minuten-Termine. Die Idee ist eigentlich einfach: Ab und zu nutzen wir das volle Haus und jede Person, die möchte, kann kurz vorstellen, was auch immer ihr vorschwebt.
    This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY NC ND 4.0). https://creativecommons.org/licenses/by-nc-nd/4.0/
    about this event: https://chaotikum.org/blog/2023/03/14/5min/
    8 min
  • Fiona über End-To-End Arguments im Systemdesign [5 Minuten Termine] (chaotikum)
    Manchmal scheint es eine gute Idee, Probleme und deren Lösung aufs Netzwerk zu verschieben anstelle an die Endpunkte. Das ist aber nicht immer schlau und das ist auch gar keine so neue Erkenntnis.
    Ein Vortrag im Rahmen der Fünf-Minuten-Termine. Die Idee ist eigentlich einfach: Ab und zu nutzen wir das volle Haus und jede Person, die möchte, kann kurz vorstellen, was auch immer ihr vorschwebt.
    This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY NC ND 4.0). https://creativecommons.org/licenses/by-nc-nd/4.0/
    about this event: https://chaotikum.org/blog/2023/03/14/5min/
    5 min
  • Johannes Thorn über doctToolSchain - Schnell erklärt aber mächtig [5 Minuten Termine] (chaotikum)
    Die docToolchain und ASCII-Doc zusammen sind ein mächtiges Tool
    in Vortrag im Rahmen der Fünf-Minuten-Termine. Die Idee ist eigentlich einfach: Ab und zu nutzen wir das volle Haus und jede Person, die möchte, kann kurz vorstellen, was auch immer ihr vorschwebt.
    This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY NC ND 4.0). https://creativecommons.org/licenses/by-nc-nd/4.0/
    about this event: https://chaotikum.org/blog/2023/03/14/5min/
    6 min
  • Wood instead of ivory — functional programming for CNC machines (bobkonf2023)
    Functional programming has long left the domain of academia. But what does it truly mean to be general purpose? It means that you can wirte programs for all domains, such as steering your CNC router, and literally cutting metal using functional programming.
    Last year, me and Franz Thoma held a workshop on generative art at BOB, and our associated library. The pictures, while nice, are still digital, so I set out to build an almost-DIN-A1-sized CNC router that now resides in my living room.
    The instructions this machine runs is called G-Code, a semi-standard machine code used by all sorts of CNC machines, e.g. 3D printers, mills, or laser cutters. My machine is a pen plotter (for safety reasons – for now), and it moves a pen over paper, thousands of times, for hours on end, to paint pretty pictures. This machine code is 100% generated by Haskell.
    about this event: https://bobkonf.de/2023/quchen.html
    42 min
  • When Testing Just Doesn't Cut It (bobkonf2023)
    Writing unit tests is pretty much standard practice these days. Otherwise, how would you make sure that your code does what you expect? Yet, some software is mission-critical and merely testing a few examples – or even randomized testing – is not enough. To reach higher levels of assurance, we need proof: mathematical, formal proof. This session will be based on an example from industry, where we successfully verified the core of a financial application. I will describe the core architecture of the system and the mathematical foundations behind the verification, including the classes of problems that we can (or cannot) discover with this approach.
    about this event: https://bobkonf.de/2023/hupel.html
    47 min
  • Structuring effectful programs (bobkonf2023)
    Historically, Haskell has been using monads to encode effects in programs, and monad transformers to provide a modular way to combine several such effects. More recently, algebraic effects have become increasingly popular as a mechanism to replace monad transformers. Often, discussions about the advantages and disadvantages of the various approaches seem to focus on technical details and not on the bigger question of how scalable effectful applications should actually be designed. In this talk, I am hoping to provide a brief introduction to both monad transformers and algebraic effects and then explain how I believe that effectful programs should be structured in such a way that the choice between these approaches becomes mostly irrelevant.
    about this event: https://bobkonf.de/2023/loeh.html
    44 min
  • Cloud, done the Nix way (bobkonf2023)
    Nix has proved to be a revolutionary advance in packaging. In addition to packaging, the core idea has also been succesfuly applied to machine configuration (with NixOS), and to programming languages (Unison). Given how fruitful these applications have been, it’s natural to ask whether there are others.
    In this talk, we’ll ask how to do cloud infrastructure the nix way. The core idea will be a hash-based service-addressing: the way we contact a service is not via a identifier for a machine (an IP address), nor a mutable pointer to a machine (a service URL), but instead a hash URL that is unique to the machine configuration (the hash of all the software and configuration in a machine).
    Suddenly, many of the problems of distributed systems become much easier. Deployments with zero downtime, where every request is handled to completion, services are terminated promptly and in the right order, there is no overprovisioning, and we have an exquisitely fine-grained control and understanding of API compatibility issues.
    As part of this investigation, we’ll go through what the core idea of Nix is, and how it relates to similar hash-based technologies such as git, docker, and unison. You’ll learn about infrastructure and deployment philosophies and techniques, how to adjudicate which notions of identity work best in a given settings, what input-addressed and content-addressed hashing are and why you should care, and more.
    about this event: https://bobkonf.de/2023/arni.html
    46 min
  • Abschlussveranstaltung (fossgis2023)
    Drei spannende Konferenztage gehen zu Ende. Ein gemeinsamer Abschluss soll erfolgen mit Rückblick auf die Konferenz und das erlebte. Natürlich auch mit einem Ausblick auf das nächste Jahr 2024.
    Drei spannende Konferenztage gehen zu Ende. Ein gemeinsamer Abschluss soll erfolgen mit Rückblick auf die Konferenz und das erlebte. Natürlich auch mit einem Ausblick auf das nächste Jahr 2024.
    about this event: https://pretalx.com/fossgis2023/talk/AQQNEP/
    15 min

About Chaos Computer Club - archive feed

From the publisher's feed

Der Chaos Computer Club ist die größte europäische Hackervereinigung, und seit über 25 Jahren Vermittler im Spannungsfeld technischer und sozialer Entwicklungen.