List of videos

This video was recorded at Code Elixir LDN 19 Get involved in Code Sync’s next conference http://bit.ly/2Mcm4aS --- The Alchemist's Code: Bringing More Value with Less Magic by Rafal Studnicki Every developer has faced this at least once. You return to the code you wrote some time ago and you have no idea what it does. This can be frustrating, especially if said code has just crashed in production. But there is a way of designing applications so they are approachable, even upon first reading. The approach Rafal presents can make software more valuable to customers, allowing for quick response to change. It also benefits other developers, who can easily intuit how to put new features in place. OBJECTIVES Showing how choosing proper abstractions that are simple to build and test in isolation, and building complex logic on top of them leads to understandable, extensible software. Demonstrating how built-in Elixir features facilitate such a building process. Presenting the profits of this approach both for the customer and the development team. AUDIENCE Everyone wanting to build maintainable software in Elixir. THIS TALK IN THREE WORDS: Building readable software TALK LEVEL: Intermediate users Rafal Studnicki Elixir Team Lead Rafał joined Erlang Solutions in 2012 and spent the last few years building and running Erlang and Elixir systems in production in various industries, for a number of customers. --- CODE SYNC & CODE ELIXIR LDN 19 CODE ELIXIR LDN is powered by Code Sync. CODE ELIXIR LDN 19 was sponsored by Duffel, Cultivate, Erlang Solutions, Scout, Dice, aeternity and Toyota Connected. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeElixirIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global

This video was recorded at Code Elixir LDN 19 Get involved in Code Sync’s next conference http://bit.ly/2Mcm4aS --- Typeclasses: the value of programming vocabulary by Mikael Muszynski Monoids, Applicatives, Monads and Semigroups. What are these things? Much more importantly, however, why should one care? Elixir programmers are blessed with a language that allows them to be productive, seemingly without needing to reach for these arcane spells. And yet, for building architectures we have spells like "GenServer" and "Supervisor", among others. Maybe we can find useful tools in the ivory tower of Haskell? OBJECTIVES Introduce the concept of typeclasses to the uninitiated. Inspire a sense of marvel over the kaleidoscope of ways to categorize things. Lead the audience to a library that lets them explore typeclasses in Elixir (https://github.com/expede/witchcraft). Inspire the audience to seek out the words that are useful for describing their everyday work. AUDIENCE Programmers primarily experienced in dynamically typed languages, who are curious about the alleged benefits of the contraptions that they make up in the ivory tower of Haskell. THIS TALK IN THREE WORDS: Haskell, Typeclass, Musings TALK LEVEL: Intermediate users --- Mikael Muszynski Elixir consultant, Haskell amateur, tea enthusiast Ruby programmer that liked Haskell throughout his whole career. Eventually ended up in Erlang Solutions, where he gets to write functional code, primarily Elixir. CODE SYNC & CODE ELIXIR LDN 19 CODE ELIXIR LDN is powered by Code Sync. CODE ELIXIR LDN 19 was sponsored by Duffel, Cultivate, Erlang Solutions, Scout, Dice, aeternity and Toyota Connected. --- CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeElixirIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global

This video was recorded at Code Elixir LDN 19 Get involved in Code Sync’s next conference http://bit.ly/2Mcm4aS --- The River by Bruce Tate Working on a new language is like being on a river. When rivers are born, all of the focus is on the watersheds, what feeds them and what will eventually give them the critical mass to succeed. As they grow, the focus changes, and we tend to think about the health of the river and where it will take us. Come join us on the river, where we'll talk about what's happened in the Elixir community and how the language is changing the way we all program. We'll look at technologies, community and culture. OBJECTIVES Reminisce with the audience about Elixir's younger years Understand how the dynamics of a language changes with growth Learn where Elixir is going and what's likely to change as we go there --- TALK LEVEL: Beginner --- THE SPEAKER: Bruce Tate Author of Seven languages in seven weeks Bruce Tate is a kayaker, climber, programmer and father of two from Chattanooga, Tennessee. A serial entrepreneur, he has helped start three companies, and most recently served as CTO for icanmakeitbetter. The author of more than a dozen books including Programming Phoenix and the upcoming Designing Elixir Systems with OTP is active in the Elixir community as a speaker, author, editor and conference organizer. His love for teaching and computer languages led him to found Groxio in 2018. --- CODE SYNC & CODE ELIXIR LDN 19 CODE ELIXIR LDN is powered by Code Sync. CODE ELIXIR LDN 19 was sponsored by Duffel, Cultivate, Erlang Solutions, Scout, Dice, aeternity and Toyota Connected. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeElixirIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global

This video was recorded at Code Elixir LDN 19 Get involved in Code Sync’s next conference http://bit.ly/2Mcm4aS --- Building an IoT Demand Response solution with Elixir by James Every How to convert an RFP in the Energy Sector into a design and prototype that can scale to serve 100k chatty connected devices. OBJECTIVES Describe how to extract a design from the RFP. Show a prototype of the design. Describe how to test it with stateful property based testing. Describe how to test it with 100k mocks in AWS. Lessons learned. AUDIENCE Experienced developers and those interested in discovering the power of the BEAM. THIS TALK IN TWO WORDS: IoT, Scaling TALK LEVEL: Proficient users --- James Every Delivered several large scale integration and business transformation projects around Europe Loves functional languages, photography, travelling.d general systems thinking, which he tries to apply to both developing software and creating better teams. --- CODE SYNC & CODE ELIXIR LDN 19 CODE ELIXIR LDN is powered by Code Sync. CODE ELIXIR LDN 19 was sponsored by Duffel, Cultivate, Erlang Solutions, Scout, Dice, aeternity and Toyota Connected. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeElixirIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global

This video was recorded at Code Elixir LDN 19 Get involved in Code Sync’s next conference http://bit.ly/2Mcm4aS --- Building an interactive CLI app that people will love in Elixir by Unnawut Leepaisalsuwanna The command line interface (CLI) can play a big part of a great developer experience (DX). But building a user-friendly interactive CLI can be a daunting task. What user inputs should be treated as true? Are common CLI vocabularies being used? Are your commands compatible with shell pipes and exit statuses? To name a few. This talk focuses on highlighting key Elixir core features, key DX patterns, gotchas and libraries that can be used to develop a user-friendly CLI for your Elixir application. THIS TALK IN THREE WORDS: Command Line Interface, Mix Tasks, Developer Experience TALK LEVEL: Beginners --- Unnawut Leepaisalsuwanna Building white-label, blockchain-compatible, e-wallet backend for OmiseGO He loves contributing to open source projects, especially on developer-friendly documentations. --- CODE SYNC & CODE ELIXIR LDN 19 CODE ELIXIR LDN is powered by Code Sync. CODE ELIXIR LDN 19 was sponsored by Duffel, Cultivate, Erlang Solutions, Scout, Dice, aeternity and Toyota Connected. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeElixirIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global

This video was recorded at Code Elixir LDN 19 Get involved in Code Sync’s next conference http://bit.ly/2Mcm4aS --- Hold My State: The Problems of Process State by Johnny Winn OTP processes are a powerful ally when constructing your applications but like all good friends they can convince us to do some crazy things. How we implement our processes and the roles they play can have a dramatic effect on the life of our applications. What impact will the choices we make have? How much state is too much? Can our processes get in over their heads? Hold my state and we'll see! OBJECTIVES Examine the good, bad, and ugly ways processes can behave and look at the tools available to us to better diagnose problems. AUDIENCE Anyone building OTP applications. THIS TALK IN THREE WORDS: OTP, Processes, Elixir TALK LEVEL: Beginner --- THE SPEAKER - Johnny Winn Host of the Elixir Fountain podcast The renaissance man from Jacksonville, Johnny embarked on his computing curiosity during the eighties on a Commodore 64. However the road leading toward software craftsmanship has diverged down many paths. From musician to electrical engineer, chef to software developer, rugby player to local politician, the twist and turns have provided a wide range of experiences that have helped to shape him. Johnny Winn hosts and runs the popular Elixir Fountain podcast. --- CODE SYNC & CODE ELIXIR LDN 19 CODE ELIXIR LDN is powered by Code Sync. CODE ELIXIR LDN 19 was sponsored by Duffel, Cultivate, Erlang Solutions, Scout, Dice, aeternity and Toyota Connected. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeElixirIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global

This video was recorded at Code Elixir LDN 19 Get involved in Code Sync’s next conference http://bit.ly/2Mcm4aS --- Error-free Elixir by Maciej Kaszubowski Error-free Elixir Error handling can greatly increase the complexity of the system. In Elixir, the default way of reducing the error-handling code is to use the "Let it crash!" approach. But there's another way. In this talk, you'll learn how to eliminate errors by redefining the operation semantics, all supported by real-life examples. By doing so, you'll be able to not only reduce the need for error handling, but also simplify the entire codebase, make it smaller, more testable and easier to understand. OBJECTIVES Teach how we can reduce the amount of error-handling code. AUDIENCE All Elixir developers - because we're way too used to using error tuples and this should change. THIS TALK IN THREE WORDS: Error handling code TALK LEVEL: Beginner --- THE SPEAKER - Maciej Kaszubowski Software Developer at AppUnite, Computer Science student Maciej is a backend developer at AppUnite, where he's been using Elixir for almost 3 years now. Currently, he's mainly interested in broadly defined complexity theory and general systems thinking, which he tries to apply to both developing software and creating better teams. --- CODE SYNC & CODE ELIXIR LDN 19 CODE ELIXIR LDN is powered by Code Sync. CODE ELIXIR LDN 19 was sponsored by Duffel, Cultivate, Erlang Solutions, Scout, Dice, aeternity and Toyota Connected. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeElixirIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global

This video was recorded at Code Mesh LDN 18 http://bit.ly/2P7SPII Get involved in Code Sync's next conference http://bit.ly/2Mcm4aS --- *KEYNOTE* FROM QUADCOPTERS TO HELICOPTERS: FORMAL VERIFICATION FOR SAFER VEHICLES by Kathleen Fisher THIS TALK IN THREE WORDS: IoT security vulnerabilities High-assurance software Cyber retrofit ABSTRACT For decades, formal methods have offered the promise of software that doesn’t have exploitable bugs. Until recently, however, it hasn’t been possible to verify software of sufficient complexity to be useful. Recently, that situation has changed. SeL4 is an open-source operating system microkernel efficient enough to be used in a wide range of practical applications. It has been proven to be fully functionally correct, ensuring the absence of buffer overflows, null pointer exceptions, use-after-free errors, etc., and to enforce integrity and confidentiality properties. The CompCert Verifying C Compiler maps source C programs to provably equivalent assembly language, ensuring the absence of exploitable bugs in the compiler. A number of factors have enabled this revolution in the formal methods community, including increased processor speed, better infrastructure like the Isabelle/HOL and Coq theorem provers, specialized logics for reasoning about low-level code, increasing levels of automation afforded by tactic languages and SAT/SMT solvers, and the decision to move away from trying to verify existing artifacts and instead focus on co-developing the code and the correctness proof. In this talk I will explore the promise and limitations of current formal methods techniques for producing useful software that provably does not contain exploitable bugs. I will discuss these issues in the context of DARPA’s HACMS program, which had as its goal the creation of high-assurance software for vehicles, including quad-copters, helicopters, and automobiles. Read the full abstract: http://codesync.global/speaker/kathleen-fisher/ --- THE KEYNOTER - KATHLEEN FISHER Founder of HACMS program, Professor and Chair of Computer Science Department Kathleen Fisher is a Professor in and the Chair of the Computer Science Department at Tufts. Previously, she was a program manager at DARPA where she started and managed the HACMS and PPAML programs, a Consulting Faculty Member in the Computer Science Department at Stanford University, and a Principal Member of the Technical Staff at AT&T Labs Research. Kathleen is an ACM Fellow. She has served as Program Chair for PLDI,OOPSLA, ICFP, CUFP, and FOOL, and as General Chair for ICFP 2015. She is a former Associate Editor for TOPLAS and a former editor of the Journal of Functional Programming. Kathleen is a past Chair of the ACM Special Interest Group in Programming Languages (SIGPLAN) and past Co-Chair of CRA's Committee on the Status of Women (CRA-W). Kathleen is a recipient of the SIGPLAN Distinguished Service Award. She is Vice Chair of DARPA's ISAT Study Group and a member of the Board of Trustees of Harvey Mudd College. More on Kathleen Fisher: http://codesync.global/speaker/kathleen-fisher/ --- CODE SYNC & CODE MESH LDN 18 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 18 was sponsored by WhatsApp, Toyota Connected, Erlang Solutions, TEAMango, and aeternity. 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 #CodeMesh #KathleenFisher #Keynote #FormalVerification #FormalMethods

This video was recorded at Code Mesh LDN 18 http://bit.ly/2P7SPII Get involved in Code Sync's next conference http://bit.ly/2Mcm4aS --- IDRIS 2: TYPE-DRIVEN DEVELOPMENT OF IDRIS by Edwin Brady THIS TALK IN THREE WORDS: Enthusiasm About Types :) TALK LEVEL: ABSTRACT We've been having lots of fun over the last couple of years investigating the possibilities and limitations of type-driven development in Idris. As we write larger programs, though, we're finding the implementation of Idris is showing the strain - such is the nature of "research quality software" - and recently I decided the time was right to start again, and implement Idris 2 in Idris. In this talk, I'll give an introduction to type-driven development (in Idris 2) and report on progress so far, showing off the most interesting features which the new design enables (notably, linear types and better type inference). Read the full abstract: http://codesync.global/speaker/edwin-brady/ --- THE SPEAKER - EDWIN BRADY Creator of the Idris programming language; Lecturer Edwin is Lecturer in Computer Science at the University of St Andrews in Scotland, interested in type-driven development, domain-specific languages and reasoning about effectful programs. When he's not doing that, he might be playing Go, watching cricket, or wandering around Scotland's hills. More on Edwin Brady: http://codesync.global/speaker/edwin-brady/ --- CODE SYNC & CODE MESH LDN 18 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 18 was sponsored by WhatsApp, Toyota Connected, Erlang Solutions, TEAMango, and aeternity. 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 #CodeMesh #Idris #EdwinBrady #TDD