List of videos

Valentin Rothberg - Decomposing container tools: Swiss Army Knives & containers | Code Mesh LDN 19

This video was recorded at Code Mesh LDN 19 - http://bit.ly/37xc3Nr Get involved in Code Sync's next conference - http://bit.ly/2Mcm4aS --- DECOMPOSING CONTAINER TOOLS - ABOUT SWISS ARMY KNIVES AND CONTAINERS by Valentin Rothberg THIS TALK IN THREE WORDS: No One-size-fits-all Solutions TALK LEVEL: Intermediate ABSTRACT One-size-fits-all solutions come at a price. In this talk, I present four open-source container tools dedicated to specific use-cases: - CRI-O, a Kubernetes runtime - Podman, for managing pods and containers - Buildah, for building containers - Skopeo, for distributing container images All tools are collaboratively developed across the industry and distributions and are built on top of the same libraries, allowing for seamless integration, compatibility and interoperability. Live demos demonstrate how they can cover an entire life-cycle: from local development to migrating to production. Slides & full abstract: https://codesync.global/speaker/valentin-rothberg/ --- THE SPEAKER - VALENTIN ROTHBERG Containers are Linux Valentin is an engineer in Red Hat's container runtimes team, focusing on and maintaining various open-source projects such as Buildah, Podman, Skopeo and CRI-O. He contributed to many other projects in the containers landscape such as Kubernetes, the Linux kernel, Moby, Google Cloud, container-diff and more. Prior to working in the industry, Valentin has been working in academia researching and teaching operating systems and their development. More on Valentin Rothberg: https://codesync.global/speaker/valentin-rothberg/ --- CODE SYNC & CODE MESH LDN 19 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 19 was sponsored by WhatsApp, Microsoft, Erlang Solutions, Juxt, aeternity, Duffel, and IOHK. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeMeshIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global #Containers #Kubernetes #Podman #Buildah #Skopeo

Watch
Martin Kleppmann - Correctness proofs of distributed systems with Isabelle | Code Mesh LDN 19

This video was recorded at Code Mesh LDN 19 - http://bit.ly/37xc3Nr Get involved in Code Sync's next conference - http://bit.ly/2Mcm4aS --- CORRECTNESS PROOFS OF DISTRIBUTED SYSTEMS WITH ISABELLE by Martin Kleppmann THIS TALK IN THREE WORDS: Distributed Formal Verification TALK LEVEL: Intermediate ABSTRACT Testing systems is great, but tests can only explore a finite set of inputs and behaviours, while many distributed systems have an infinite state space. If you want to be sure that a program does the right thing in all possible situations, testing is not sufficient: only mathematical proof can cover an infinite state space. This talk introduces Isabelle/HOL, an interactive proof assistant (a kind of programming language and REPL for proofs), and explores how to formally verify distributed algorithms. Slides & full abstract: https://codesync.global/speaker/martin-kleppmann/ --- THE SPEAKER - MARTIN KLEPPMANN Distributed systems researcher and author Dr Martin Kleppmann is a researcher in distributed systems at the University of Cambridge, and author of the acclaimed 'Designing Data-Intensive Applications' (O'Reilly Media, 2017). He mainly works on collaboration software, CRDTs, and formal verification of distributed algorithms. Previously he was a software engineer and entrepreneur at Internet companies including LinkedIn and Rapportive, where he worked on large-scale data infrastructure. More on Martin Kleppmann: https://codesync.global/speaker/martin-kleppmann/ --- CODE SYNC & CODE MESH LDN 19 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 19 was sponsored by WhatsApp, Microsoft, Erlang Solutions, Juxt, aeternity, Duffel, and IOHK. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeMeshIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global #Isabelle #FormalVerification #MartinKleppmann

Watch
Alvaro Videla - Literary Theory looks at Readable Code | Code Mesh LDN 19

This video was recorded at Code Mesh LDN 19 - http://bit.ly/37xc3Nr Get involved in Code Sync's next conference - http://bit.ly/2Mcm4aS --- LITERARY THEORY LOOKS AT READABLE CODE by Alvaro Videla THIS TALK IN THREE WORDS: Language Literary Theory Programming TALK LEVEL: Intermediate ABSTRACT Programming is a human communication activity. We want to minimize misunderstandings in our code to be able to work effectively as teams. This means we need to learn how to look at our code to spot areas where we could improve our communication skills. We want to get our ideas across. We want that our abstractions, our models, make sense to others. Literature is a discipline with a long track record of authors and researchers trying to find out how to make writing communication effective. What could we learn from them? In this talk, Alvaro explores the relation between the process of writing computer programs with that of writing literary works of fiction. In particular he wants to show some ideas presented by Umberto Eco in his book Lector in Fabula, seeing how we can improve knowledge sharing via our code, tests, documentation, and other artifacts. Slides & full abstract: https://codesync.global/speaker/alvaro-videla/ --- THE SPEAKER - ALVARO VIDELA Co-author of RabbitMQ in Action Member of the Azure advocates’ team at Microsoft. DuraznoConf organizer. Coauthor of RabbitMQ in Action. Ex  - Ex RabbitMQ Core Dev. More on Alvaro Videla: https://codesync.global/speaker/alvaro-videla/ --- CODE SYNC & CODE MESH LDN 19 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 19 was sponsored by WhatsApp, Microsoft, Erlang Solutions, Juxt, aeternity, Duffel, and IOHK. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeMeshIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global #LiteraryTheory #Programming #Language

Watch
Evelina Gabasova - Breaking black-box AI | Code Mesh LDN 19

This video was recorded at Code Mesh LDN 19 - http://bit.ly/37xc3Nr Get involved in Code Sync's next conference - http://bit.ly/2Mcm4aS --- BREAKING BLACK-BOX AI by Evelina Gabasova TALK LEVEL: Beginner / Intermediate ABSTRACT Machine learning and artificial intelligence are becoming wide-spread and productionalised - you no longer need a mathematics PhD and months of software development time to implement and use a machine learning algorithm. You can just call an API and you get the answer! You can treat them completely as black boxes and use them directly in your applications! But beware - all the algorithms have some cases when they fail to deliver what you're expecting. This talk is packed with live demos that show failure cases of popular algorithms, from linear regression to cutting-edge deep learning. Evelina will look at practical examples, use standard algorithms as black boxes and observe when they fail and why. You will learn that although you can treat the algorithms as black boxes, they can fail silently and what to do about it. Slides & full abstract: https://codesync.global/speaker/evelina-gabasova/ --- THE SPEAKER - EVELINA GABASOVA Evelina is a machine learning and data science researcher. She works as Principal Research Data Scientist at The Alan Turing Institute, the UK's national institute for data science and artificial intelligence. She is a member of the research engineering team where she is connecting academic research with real-world applications. She did her PhD at Cambridge in mathematics and has been applying machine learning methods to everything from cancer bioinformatics to air traffic control. Her passion is to make data science understandable and accessible to everyone. When not wrangling data or training machine learning models, she is an active member of the F# community, Microsoft MVP and a technical speaker. More on Evelina Gabasova: https://codesync.global/speaker/evelina-gabasova/ --- CODE SYNC & CODE MESH LDN 19 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 19 was sponsored by WhatsApp, Microsoft, Erlang Solutions, Juxt, aeternity, Duffel, and IOHK. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeMeshIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global #MachineLearning #AI #Algorithm

Watch
Sarah Allen - A landscape of unintended consequences | Code Mesh LDN 19

This video was recorded at Code Mesh LDN 19 - http://bit.ly/37xc3Nr Get involved in Code Sync's next conference - http://bit.ly/2Mcm4aS --- A LANDSCAPE OF UNINTENDED CONSEQUENCES by Sarah Allen THIS TALK IN THREE WORDS: Connected Application Security TALK LEVEL: Intermediate ABSTRACT Increasingly, software is connected to the internet. How do we design software that will do what it was designed to do without making humans and connected systems vulnerable? Sarah will share lessons learned from Shockwave and Flash, and the kinds of modern exploits that ought to keep you up at night, along with both modern and time-tested techniques that every developer should know. Slides & full abstract: https://codesync.global/speaker/sarah-allen/ --- THE SPEAKER - SARAH ALLEN Co-Creator Adobe After Effects/Shockwave Flash Video Around the time that Erlang was being invented, Sarah was coding in C for 3D computer graphics. She applied concepts of 3D modelling and animation in her first startup, creating After Effects to let artists control how two-dimensional video changes over time and space. In the mid-90s, she joined Macromedia to learn about the Internet, on a project code-named Shockwave and later transitioned to creating software that enabled communications with the Shockwave Multiuser Server and Flash video. Throughout her career, Sarah has leveraged deep experience in one technology to create innovation with the next. She believes in learning by teaching, even or perhaps especially for things that she has recently learned. In parallel with her technical work, Sarah has created programs to increase the diversity of the tech industry. In 2009, she co-founded RailsBridge, which became Bridge Foundry in 2013. Just last year, ElixirBridge was formed and she volunteered at their first workshop, learning and teaching Elixir to programmers who are new to the language. Sarah is an avid polyglot in programming and human-spoken languages. She speaks English, Spanish, German and is learning Japanese and a little Mandarin. More on Sarah Allen: https://codesync.global/speaker/sarah-allen/ --- CODE SYNC & CODE MESH LDN 19 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 19 was sponsored by WhatsApp, Microsoft, Erlang Solutions, Juxt, aeternity, Duffel, and IOHK. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeMeshIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global #Security #ConnectedApps #SarahAllen

Watch
Mary Sheeran - Let's get more women into computer science | Code Mesh LDN 19

This video was recorded at Code Mesh LDN 19 - http://bit.ly/37xc3Nr Get involved in Code Sync's next conference - http://bit.ly/2Mcm4aS --- LET'S GET MORE WOMEN INTO COMPUTER SCIENCE by Mary Sheeran THIS TALK IN THREE WORDS: Call To Action TALK LEVEL: Intermediate ABSTRACT It is well known that science and engineering disciplines fail to attract and retain women, in academia and in industry. And horrifyingly, computer science is at the bottom of the class. In this talk, Mary will consider the current sorry state of computer science in academia, why we have ended up here, and what we can do. Slides & full abstract: https://codesync.global/speaker/mary-sheeran/ --- THE SPEAKER - MARY SHEERAN Mary Sheeran has been a functional programming enthusiast for nearly 40 years, at Oxford University, Glasgow University and now Chalmers University of Technology, where she has been a full professor since 1999. She was designing and using a functional hardware description language before there were hardware description languages, and she contributed to the development of SAT-based methods for verifying hardware. She has been supervisor to a great bunch of doctoral students too. This has all entailed working mostly with men. A couple of years ago, her university asked its staff "How would you like to change Chalmers?" and the answer was obvious to her: increase gender equality, aiming for excellence. The resulting proposal was funded to the tune of about 30 million euros and work on the Genie initiative began last January, with Mary as co-leader. More on Mary Sheeran: https://codesync.global/speaker/mary-sheeran/ --- CODE SYNC & CODE MESH LDN 19 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 19 was sponsored by WhatsApp, Microsoft, Erlang Solutions, Juxt, aeternity, Duffel, and IOHK. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeMeshIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global #WomenInTech #WomenInSTEM #ComputerScience

Watch
John Hughes - How to specify it! A guide to writing properties of pure functions | Code Mesh LDN 19

This video was recorded at Code Mesh LDN 19 - http://bit.ly/37xc3Nr Get involved in Code Sync's next conference - http://bit.ly/2Mcm4aS --- HOW TO SPECIFY IT! A GUIDE TO WRITING PROPERTIES OF PURE FUNCTIONS by John Hughes ABSTRACT Property-based testing is an appealing approach to testing, but requires developers to identify suitable properties to test--and many find this difficult, and find the simple properties in tutorials difficult to generalize. In this talk, I'll present five different strategies for coming up with properties of pure functions, and I'll compare their effectiveness as tests; I'll also warn of the biggest pitfall to be avoided. You'll leave my talk with new ideas for writing properties of your own functions. I'll be using the Haskell version of QuickCheck for my examples, but the ideas are usable with any property-based testing tool. Slides & full abstract: https://codesync.global/speaker/john-hughes/ --- THE SPEAKER - JOHN HUGHES Co-designer of Haskell and QuickCheck John Hughes has been a functional programming enthusiast for more than thirty years, at the Universities of Oxford, Glasgow, and since 1992 Chalmers University in Gothenburg, Sweden. He served on the Haskell design committee, co-chairing the committee for Haskell 98, and is the author of more than 100 papers, including "Why Functional Programming Matters", one of the classics of the area. With Koen Claessen, he created QuickCheck, the most popular testing tool among Haskell programmers, and in 2006 he founded Quviq to commercialise the technology using Erlang. In 2018 he became an ACM Fellow. More on John Hughes: https://codesync.global/speaker/john-hughes/ --- CODE SYNC & CODE MESH LDN 19 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 19 was sponsored by WhatsApp, Microsoft, Erlang Solutions, Juxt, aeternity, Duffel, and IOHK. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeMeshIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global #PropertyBasedTesting #QuickCheck #JohnHughes

Watch
Louis Pilfold - Gleam: Lean BEAM typing machine | Code Mesh LDN 19

This video was recorded at Code Mesh LDN 19 - http://bit.ly/37xc3Nr Get involved in Code Sync's next conference - http://bit.ly/2Mcm4aS --- GLEAM: LEAN BEAM TYPING MACHINE by Louis Pilfold THIS TALK IN THREE WORDS: Strong Typing Propaganda TALK LEVEL: Beginner ABSTRACT With their impressive concurrency features and robust approach to handling failure, it is a joy to build scalable and reliable systems with BEAM languages such as Erlang and Elixir! However, all is not perfect: as codebases get larger and less familiar it becomes more difficult to make changes, with mistakes creating bugs that test out runtime resilience and make pagers ring in the middle of the night. In this talk, Louis introduces Gleam, a new language that takes inspiration from strongly typed languages such as Haskell, Rust and Elm to help BEAM programmers tackle these problems. We'll take a look at what Gleam offers, how it's made, and how it complements and interoperates with other BEAM languages. Lastly, we'll take a peek at what's planned for Gleam and how people can get involved with the language and the community. Slides & full abstract: https://codesync.global/speaker/louis-pilfold/ --- THE SPEAKER - LOUIS PILFOLD Author of Gleam, Elixir contributor Louis is an enthusiastic, jack-of-all-trades software engineer who writes code in many languages, some of which don’t even exist yet! A firm believer in open source, he maintains and contributes to many open source projects in the Erlang ecosystem and beyond. Professionally Louis is bringing the world’s largest building society to the cloud as part of the Nationwide Digital Accelerator Platform and is removing the pain from advertising usage management as the founder of Waive Hello. Unprofessionally Louis is collecting terrible dance music and wearing shoes with toes. Professionally Louis is bringing the world’s largest building society to the cloud as part of the Nationwide Digital Accelerator Platform, and is removing the pain from advertising usage management as founder of Waive Hello. Unprofessionally Louis is collecting terrible dance music and wearing shoes with toes. More on Louis Pilfold: https://codesync.global/speaker/louis-pilfold/ --- CODE SYNC & CODE MESH LDN 19 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 19 was sponsored by WhatsApp, Microsoft, Erlang Solutions, Juxt, aeternity, Duffel, and IOHK. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeMeshIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global #StronglyTyped #Gleam #Elixir

Watch
Bjarne Däcker - Concurrency before Erlang | Code Mesh LDN 19

This video was recorded at Code Mesh LDN 19 - http://bit.ly/37xc3Nr Get involved in Code Sync's next conference - http://bit.ly/2Mcm4aS --- CONCURRENCY BEFORE ERLANG by Bjarne Däcker THIS TALK IN THREE WORDS: Concurrency Applied research Prototyping TALK LEVEL: Intermediate ABSTRACT This talk covers (1) concurrent languages at Ericsson before Erlang, (2) imperative concurrent languages Modula, Chill and Ada (the last two large international efforts), (3) start of the Computer Science Lab at Ericsson and experimentation with language paradigms, and (4) the prototyping that led up to Erlang. Slides & full abstract: https://codesync.global/speaker/bjarne-daecker/ --- THE SPEAKER - BJARNE DÄCKER Member of the Royal Swedish Academy of Engineering. For five years chairman of the committee for funding Computer Science research. For six years Swedish member of the committee for EU's IT prize. Member of the society of researchers and members of parliament. Bjarne worked for 36 years at Ericsson first as programmer and systems analyst, then involved with programming language design and creation of programming environments. Together with 3 other persons proposed the creation of the Computer Science Lab and its manager for 18 years. The Computer Science Lab pioneered Unix, work stations, graphics, expert systems and other techniques but the main goal was to create a software technology for telecoms programming which lead to the definition of Erlang. More on Bjarne Däcker: https://codesync.global/speaker/bjarne-daecker/ --- CODE SYNC & CODE MESH LDN 19 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 19 was sponsored by WhatsApp, Microsoft, Erlang Solutions, Juxt, aeternity, Duffel, and IOHK. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeMeshIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global #Concurrency #Erlang #Ericsson

Watch