Code Mesh LDN 2018

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

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 --- EVERYTHING ABOUT DISTRIBUTED SYSTEMS IS TERRIBLE by Hillel Wayne THIS TALK IN THREE WORDS: TLA+ Formal Specification TALK LEVEL: Intermediate ABSTRACT Distributed systems are hard. How do you test your system when it's spread across three services and four languages? Unit testing and type systems only take us so far. At some point we need new tools. Enter TLA+. TLA+ is a specification language that describes your system and the properties you want. This makes it a fantastic complement to testing: not only can you check your code, you can check your design, too! TLA+ is especially effective for testing concurrency problems, like crashes, race conditions, and dropped messages. This talk will introduce the ideas behind TLA+ and how it works, with a focus on practical examples. We'll also show how it caught complex bugs in our systems, as well as how you can start applying it to your own work. Read the full abstract: http://codesync.global/speaker/hillel-wayne/ --- THE SPEAKER - HILLEL WAYNE Coder, chocolatier, cjuggler Hillel is a software consultant in Chicago who specialises in formal specification. He is the author of Learn TLA+ (learntla.com), currently writing Practical TLA+ (Apress, est 2018), and on the Alloy Adoption and Outreach working group. In his free time he juggles and makes candy. More on Hillel Wayne: http://codesync.global/speaker/hillel-wayne/ --- 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 #HillelWayne #TLA+ #FormalSpecification #DistributedSystems

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 --- PROGRAMMATION EN LOGIQUE by Lars Hupel THIS TALK IN THREE WORDS: Logic-based Programming Rocks TALK LEVEL: Beginner ABSTRACT Prolog is one of the most underrated programming languages around; possibly because of its strange syntax and the unusual paradigm. But it is a very nice special-purpose programming language. In this talk, I would like to introduce Prolog’s programming model, showcase some programming domains in which Prolog allows for very concise, elegant programs, and finally describe how it can also be used as a general-purpose tool. Read the full abstract: http://codesync.global/speaker/lars-hupel/ --- THE SPEAKER - LARS HUPEL Co-founder, Typelevel Lars Hupel is a PhD student at TU München in the field of logic and verification. His research focus is on techniques for verified code generation from theorem provers. Additionally, he has worked on formal treatments of Linux firewalls. A frequent conference speaker and co-founder of the Typelevel initiative, he is active in the open source community, particularly in Scala. He also enjoys programming in Haskell, Prolog, and Rust. More on Lars Hupel: http://codesync.global/speaker/lars-hupel/ --- 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 #LogicBased #Prolog #Programming

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 --- HOLISTIC SPECIFICATIONS FOR ROBUST CODE by Sophia Drossopoulou THIS TALK IN THREE WORDS: Robust Specify Information hiding TALK LEVEL: Beginner ABSTRACT Programs are considered to be robust, if they behave “well” in all possible usage scenarios, whether intended or not. To help develop robust programs several programming language features and programming patterns have been proposed: constants, private members, encapsulation, capabilities, ownership, proxies, membranes etc. All these are powerful mechanisms which support the development of robust code. However, these mechanisms do not address the question as to what specific guarantees we want the particular robust code to make. How do we express, eg, that a DOM-tree protected by a wrapper will not be modified beyond the part allowed by the wrapper, or that money will not disappear from a multiowner-account unless one of the account holders withdrew their money? Traditional program specifications, based on pre- and post- conditions do not address robustness either. In this talk we will claim that robustness is about guaranteeing that certain thing will not happen – as opposed to functional specifications which are about what will happen. We will introduce "holistic specifications", an extension of traditional program specifications that support the expression of robustness properties through a logic with spatial and temporal features. We will show how holistic specifications can be used to specify robustness concerns in a number of popular program patterns from object-capabilities and smart contracts: the membrane, Mint-and-Purse, DOM-wrappers, the DAO, and ERC-20. We will show how to reason about the preservation of non-trivial properties concerning our data when it comes into contact with unknown, or adversarial code. This is joint work with James Noble (VUW), Mark Miller (Agoric), and Toby Murray (Univ. Melbourne) Read the full abstract: http://codesync.global/speaker/sophia-drossopoulou/ --- THE SPEAKER - SOPHIA DROSSOPOULOU Professor, Imperial College London Sophia is Professor of Programming Languages at Imperial College London. She started her career in research in compilers, and in particular parsers and attribute grammars. But then she was drawn into the beautiful world of programming languages, and what can be expressed naturally and succinctly with the right choice of paradigm. Since then, she has been working on type systems, module systems, ownership types, traits, type-state and session types for oo languages, and concurrency. With her students, they were the first to propose gradual typing and type inference for Javascript. She is passionate about getting to the bottom of things, and formulating the most elegant and precise explanation. More on Sophia Drossopoulou: http://codesync.global/speaker/sophia-drossopoulou/ --- 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 #Robust #Specify #InformationHiding #SophiaDrossopoulou

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 --- PARSING SAFELY, FROM 500MB/S TO 2GB/S by Geoffroy Couprie THIS TALK IN THREE WORDS: Parser Combinators Rust TALK LEVEL: Intermediate ABSTRACT To handle low level data, we now have a few safe languages, and good parsing libraries, to make sure untrusted data will never overstep its bounds. Unfortunately, when we need performance, we will too often resort to handwritten state machines, generally in C, and maybe a little assembly while we're at it. Thanks to one of the most annoying formats to parse (HTTP), we will see how we can write a naive parser in Rust, and transform it to beat state of the art handwritten C parsers while keeping it as readable and safe as the original one. Read the full abstract: http://codesync.global/speaker/geoffroy-couprie/ --- THE SPEAKER - GEOFFROY COUPRIE Security engineer Geoffroy thinks a lot about parsers and protocols, and builds proxies for Clever Cloud. If left unchecked, he starts writing highly technical projects for ridiculous purposes and puns. More on Geoffroy Couprie: http://codesync.global/speaker/geoffroy-couprie/ --- 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 #Parser #Combinators #Rust

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 --- A POSTSCRIPT TO FUNCTIONAL GEOMETRY by Einar Høst THIS TALK IN THREE WORDS: Functional Concatenative Recursion TALK LEVEL: Intermediate ABSTRACT Peter Henderson's 1982 ""Functional Geometry"" is a classic paper that shows the beauty and power of functional representation. Using functions to represent pictures, Henderson defines a small set of combinators to create a replica of Escher's recursive tessellation ""Square Limit"". It's a nice kata for functional programmers. However, you could also implement Henderson's combinators in concatenative languages, which excel at composition! In this talk, I'll show you how. For choice of language, I turn to PostScript, a proven and battle-worn concatenative language that has been on the plateau of productivity for decades. It's also rather good for drawing. With one neat trick, values on the stack can be captured inside an executable array, to simulate closures. And the rest is easy. Read the full abstract: http://codesync.global/speaker/einar-hoest/ --- THE SPEAKER - EINAR HØST Computer at NRK Einar W. Høst is a computer at NRK, the Norwegian public broadcaster. He thinks that programs should be written for people to read and also for machines to laugh at. He has a PhD in Computer Science from the University of Oslo. More on Einar Høst: http://codesync.global/speaker/einar-hoest/ --- 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 #FunctionalGeometry #FunctionalProgramming

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 --- ADDING KIND-POLYMORPHISM TO THE SCALA PROGRAMMING LANGUAGE by Miles Sabin THIS TALK IN THREE WORDS: Moar Polymorphism FTW! TALK LEVEL: Advanced ABSTRACT Shapeless is the tool that people reach for when they have problems involving abstraction over data types of different shapes and sizes. But suppose we wanted to support this sort of data type generic programming directly in Scala? What sort of primitive mechanisms would we choose? In this talk, Miles will argue that kind-polymorphism, the ability to abstract over type constructors of any arity, is one we should give serious consideration to. I will demonstrate a prototype implementation in the Typelevel compiler and show how it can be used to dramatically simplify generic programming in Scala. Read the full abstract: http://codesync.global/speaker/miles-sabin/ --- THE SPEAKER - MILES SABIN Type astronaut, Typelevel co-founder and Shapeless hacker Miles has been doing stuff with Scala for more than a decade, currently with Underscore Consulting. He is a cofounder of Typelevel and his best known project, the Scala generic programming library shapeless, is the weapon of choice wherever boilerplate needs to be scrapped or arities abstracted over. More on Miles Sabin: http://codesync.global/speaker/miles-sabin/ --- 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 #Polymorphism #Scala #Typelevel

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 --- PROPERTY BASED TESTS FOR THE MASSES by Romeu Moura THIS TALK IN THREE WORDS: Property Based Tests TALK LEVEL: Beginner ABSTRACT Use property-based tests to challenge your knowledge of the domain, to create smaller, fewer tests that: test more, are more readable & document the problem. Use them even (specially) in horrible eldritch codebases written in awful languages, use property-based tests to ask questions to your codebase. Read the full abstract: http://codesync.global/speaker/romeu-moura/ --- THE SPEAKER - ROMEU MOURA Absurdism Lobbyist Endless conversation — with friends, compilers — on art, symmathesy, methods, absurdism, dialectic, paradigm jumps, serendipity. More on Romeu Moura: http://codesync.global/speaker/romeu-moura/ --- 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 #PropertyBasedTesting

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 --- INTERACTIVE GPU PROGRAMMING WITH CLOJURECUDA AND CLOJURECL by Dragan Djuric THIS TALK IN THREE WORDS: Clojure CUDA OpenCL (Interactive) TALK LEVEL: Intermediate ABSTRACT Who wouldn't like to program with CUDA dynamically, in an interactive, but compiled, environment? Dragan will present an interactive approach to accelerating dynamic functional programs with GPU kernels. Dragan developed ClojureCUDA an ClojureCL, libraries that integrate CUDA and OpenCL into a Clojure environment, which compiles to Java bytecode and integrates into ubiquitous Java enterprise ecosystem. They help programmers discover the solutions by growing GPU programs inside a live session, by constantly learning and experimenting with instant results, rather than having to specify the whole GPU program right away, compile it, and run it to see the result. CUDA and parallel programming are complex and brittle. Interactive programming is indispensable when the details of the solution are not certain beforehand. For both the novice and the expert, the instant feedback is of great help. We aim at full CUDA power at a low level and offer a nice dynamic environment and the power of LISP to automate grudge work without hiding the important details of CUDA kernels. ClojureCUDA demonstrates this in Bayadera and Neanderthal projects. The resulting programs are novel, require typically very little code (low thousands instead of hundreds of thousands), have little if any overhead, and, what is unusual, have equivalent functionality a similar performance on both Nvidia (CUDA) and AMD (OpenCL) hardware. Read the full abstract: https://codesync.global/speaker/dragan-djuric/ --- THE SPEAKER - DRAGAN DJURIC Clojure + CUDA + OpenCL infrastructure; Bayesian GPU software Dragan Djuric is a professor at the Department of Software Engineering, FON, University of Belgrade, Serbia. He passionately uses Clojure as a primary language since 2009, and teaches Clojure-based courses at the university since 2010. He published his Clojure-based research in leading scientific journals, but does not skip contributiing to the community through open-source Clojure projects (www.uncomplicate.org). His main interests are in the area of software engineering and intelligent systems, but programming in Clojure is the activity he enjoys the most. When he is not working in Emacs, he likes doing his daily dose of long-distance running, gym, and Cuban salsa dancing. More on Dragan Djuric: https://codesync.global/speaker/dragan-djuric/ --- 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

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 --- PURESCRIPT SPIROGRAPHS by Tom Harding THIS TALK IN THREE WORDS: Graphics Purescript FRP TALK LEVEL: Intermediate ABSTRACT Back when you couldn't make a phone call and be online at the same time, I was obsessed with spirographs. Small, composable gears are composed to form beautiful complex structures; sounds familiar, doesn't it? In this talk, we'll explore PureScript, get a computer to draw some spirographs, and see how functional programming makes the code almost as pretty as the end result. Read the full abstract: http://codesync.global/speaker/tom-harding/ --- THE SPEAKER - TOM HARDING Lead Engineer (PureScript/Haskell) PureScript and Haskell Engineer at Habito, Idris enthusiast. Trying to overcome a very real fear of CSS. More on Tom Harding: http://codesync.global/speaker/tom-harding/ --- 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 #Haskell #PureScript #Spirographs #FRP

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 --- COROUTINES EXPLAINED by Dmitry Kandalov THIS TALK IN THREE WORDS: Coroutines, concurrency, lua, scheme, javascript, kotlin TALK LEVEL: Intermediate users ABSTRACT Coroutines have received quite a bit of attention recently from language designers with async/await in JavaScript 2017, Python 3.5 new syntax and Kotlin 1.1 coroutines support. Yet there seems to be a lot of confusion why coroutines exist and how to use them. This session explains what coroutines are, how they differ between programming languages and how to use coroutines for fun and profit. Read the full abstract: --- THE SPEAKER - DMITRY KANDALOV Software Developer Dmitry has been programming and trying to get better at it since DOS times. He is currently working with Java and JVM languages such as Kotlin. More on Dmitry Kandalov: --- 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

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 --- LIFE OF A DISTRIBUTED GRAPH DATABASE QUERY by Teon Banek THIS TALK IN THREE WORDS: Distributed Graph Querying TALK LEVEL: Intermediate ABSTRACT Graph databases require a different approach to query language design. This is a complex problem in itself. On top of that, we would like to support querying a distributed graph database. This talk describes the life of a query in Memgraph. Follow the process from reading a query as a character string, through planning query operations for distributed execution and finally to the execution itself. Read the full abstract: http://codesync.global/speaker/teon-banek/ --- THE SPEAKER - TEON BANEK Senior software engineer at Memgraph Ltd. Teon was born in Zagreb, 1991. Ever since he was a child, Teon was very fond of computers and started programming at an early age. He finished his Master's degree in Computer Science at Faculty of Electrical Engineer and Computing in Zagreb, 2015. His interests developed towards computer graphics and programming languages, especially Lisp. Other than programming, Teon's hobbies are fencing, board-gaming and enjoying a nice meal of lasagne. More on Teon Banek: http://codesync.global/speaker/teon-banek/ --- 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 #Distributed #Graph #Querying

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 --- FINITE OF SENSE AND INFINITE OF THOUGHT: A HISTORY OF COMPUTATION, LOGIC AND ALGEBRA by Ron Pressler THIS TALK IN THREE WORDS: History Philosophy Computation TALK LEVEL: Intermediate ABSTRACT At the dawn of the Scientific Revolution, inspired by Thomas Hobbes’s claim that the mind is an automaton and thought is but computation, Gottfried Leibniz set out to devise a universal language of thought, the characteristica universalis. By employing the science of algebra — the art of combining symbols — and applying it to Aristotle’s symbolic logic, he wanted to create the Art of Combination, a “general algebra” where the variables stand not for numbers but for concepts, which would serve as a “calculus ratiocinator”, a mechanism for calculating the answer to any question. It would end disputes among men and convince all in the glory of God. Two hundred years later, a self-taught mathematician by the name of George Boole also noticed the similarity between the use of symbols in Aristotelian logic and algebra and created an algebra of logic — based on then-recent advances first proposed by a mathematician and inventor called Charles Babbage — that allowed variables to represent things other than numbers. Boole, who had given up on the dream to become a priest, rejected the Christian doctrine of Trinitarianism in favor of monism, and believed that the unity of all things is represented by the number 1, which he then chose to represent the “universe of discourse” in his algebra. The talk will cover the long history of computation, logic and algebra, and the relationship between the three, from Classical times to the 20th century, starting out as a single discipline and then growing apart in the early 20th century. Rather than being surprising, this relationship stems from a single — yet fascinating — line of inquiry into the essence of thought, guided by a particular ancient aesthetic. We will focus on the importance of language and meaning in that evolution, and discuss the philosophical revolution that broke away from the linguistic tradition and completely changed how we view thought, computation and meaning. Read the full abstract: http://codesync.global/speaker/ron-pressler/ --- THE SPEAKER - RON PRESSLER Veteran programmer, leader of OpenJDK's Project Loom Ron is a veteran programmer interested in formal methods and the history and philosophy of computation. More on Ron Pressler: http://codesync.global/speaker/ron-pressler/ --- 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 #HistoryOfComputation

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 --- CRDTS: FROM SEQUENTIAL TO CONCURRENT EXECUTIONS by Carlos Baquero THIS TALK IN THREE WORDS: CRDTs Geo-replication High availability TALK LEVEL: Intermediate ABSTRACT When nodes are spread across large geographic distances, being available for local users, and providing short response times, is often at odds with keeping strong consistency across the whole system. Several systems, that target large scale geo-replication, support multi-master operation and transient data divergence, allowing each site to update replicas with no immediate coordination. From the user application perspective, the system cannot be seen anymore as a single sequential copy, since now operations can be processed concurrently at different locations. Conflict-free Replicated Data Types (CRDTs) can take away a lot of the complexity when migrating from a sequential to a concurrent setting. In this talk we will explore a bit of the path in this transition, cover what can be expected, and present a few guiding principles. Concurrent behaviour will be explored for common data types, such as counters, registers, sets and sequences. Read the full abstract: http://codesync.global/speaker/carlos-baquero-moreno/ --- THE SPEAKER - CARLOS BAQUERO Distributed Systems Professor, Co-creator of CRDTs Carlos Baquero is an Assistant Professor and teaches Distributed Systems at Universidade do Minho, Portugal. He is a Senior Researcher at the High Assurance Software Laboratory within INESC TEC. In the 90s, motivated by mobile computing and offline operation for file systems, he studied data types with merge operations over semi-lattices, a precursor to state-based CRDTs. As an academic, he believes on pursuing research that can have a practical impact. His work on causality tracking, scalable bloom filters, and CRDTs made its way into several products and systems, running in production worldwide. Away from computers he enjoys mountain climbing, and scavenging for old mechanical calculators. More on Carlos Baquero: http://codesync.global/speaker/carlos-baquero-moreno/ --- 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 #CRDTs #GeoReplication #HighAvailability

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 --- INTRODUCTION TO AI ENGINEERING by Garrett Smith THIS TALK IN THREE WORDS: AI Software Development TALK LEVEL: Beginner / Intermediate / Advanced ABSTRACT The field of AI engineering has emerged over the last several years, fueled by breakthroughs in applied machine learning, computational acceleration, and supporting software frameworks. While similar to traditional software development disciplines, AI engineering requires additional roles, skill sets, and techniques that make it challenging to implement successfully in organizations unfamiliar with AI. In this talk, Garrett Smith, founder of Guild AI, will discuss the process of creating AI applications and the roles involved, with an emphasis on software engineering. Garrett will highlight the key differences between AI application development and traditional programming. If you or your organisation is interested in building AI competency, this talk will give you an outline for understanding and approaching the various problems you will face. Read the full abstract: http://codesync.global/speaker/garrett-smith/ --- THE SPEAKER - GARRETT SMITH Founder Guild AI, deep learning engineer and teacher Garrett Smith is the founder of Guild AI, an open source package management and automation tool for machine learning models. Garrett specializes in AI application development, bringing together experts in statistics, deep learning, programming, accelerated computing and operations. Prior to founding Guild AI, Garrett led the PaaS division at CloudBees, which hosted tens of thousands of production applications and databases. Garrett is a frequent speaker and instructor in the fields of AI and software engineering. More on Garrett Smith: http://codesync.global/speaker/garrett-smith/ --- 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 #AIEngineering #MachineLearning

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 --- MESSAGE PASSING FOR ACTORS AND HUMANS WITH RAXX by Peter Saxton THIS TALK IN THREE WORDS: Message Passing Rulz TALK LEVEL: Intermediate ABSTRACT Elixir, and Erlang, implement an elegant model of message passing. This is their secret sauce for managing concurrency. HTTP is the primary means of communicating between clients and servers, and often between servers and other servers, it is a protocol for message passing. Raxx is an Elixir toolkit that treats HTTP interactions as just another kind of message. These external messages are handled in a way completely analagous to internal messages between processes. This talk will start with an explanation of the core concepts and getting started with Raxx. Extending message passing to all parts of a system provides a uniform model to describe it. This talk will explore how to use this model to reason about interactions in an extended web application, from server to browser to human. Read the full abstract: http://codesync.global/speaker/peter-saxton/ --- THE SPEAKER - PETER SAXTON Elixir developer at Pay with Curl A regular participant in hacknights and meet-ups in London I always enjoy learning something new. Now a full time Elixir developer, at paywithcurl.com, I get the joy of using it everyday. Currently I am interested in the topic causality and consistency and looking into how these concepts can be part of our languages. More on Peter Saxton: http://codesync.global/speaker/peter-saxton/ --- 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 #MessagePassing #Raxx

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 --- THE LIFE, TIMES, AND THINKING OF DR. CLAUDE SHANNON, THE FOUNDER OF INFORMATION THEORY by Jimmy Soni THIS TALK IN THREE WORDS: Engaging Fun Unique TALK LEVEL: Beginner ABSTRACT The talk focuses on the life, times, and thought of Claude Shannon, the famed founder of the information theory. Claude Shannon is one of the foremost intellects of the twentieth century and the architect of the Information Age, whose insights stand behind every computer built, email sent, video streamed, and webpage loaded. He was a groundbreaking polymath, a brilliant tinkerer, and a digital pioneer. He constructed the first wearable computer, outfoxed Vegas casinos, and built juggling robots. He also wrote the seminal text of the digital revolution, which has been called “the Magna Carta of the Information Age.” Read the full abstract: http://codesync.global/speaker/jimmy-soni/ --- THE SPEAKER - JIMMY SONI Award-winning Author Jimmy is a New York based author, editor, and speechwriter. He's the co-author of Rome's Last Citizen, a biography of the ancient Roman Senator Cato, and A Mind at Play, a biography of the late mathematician Claude Shannon. The latter book won the Neumann Prize for the top book in the history of mathematics for 2017 and was named one of the best books of the year by Nature and Bloomberg. Jimmy has also served as an editor at the Huffington Post, the New York Observer, and the Washington Examiner. More on Jimmy Soni: http://codesync.global/speaker/jimmy-soni/ --- 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 #InformationTheory #JimmySoni #ClaudeShannon #CodeMesh

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 --- SCALING ERLANG CLUSTER TO 10,000 NODES by Maxim Fedorov THIS TALK IN THREE WORDS: Scaling Erlang Cluster TALK LEVEL: Advanced ABSTRACT Growing user population beyond 1.5B does not leave a chance to keep server footprint as small as it used to be. Adding new capabilities requires more and more processing power. When it gets impossible to keep everything on just ten servers, we have to scale the cluster to a hundred. When a hundred gets too tight, we expand it to 1,000. What’s next? 10,000? And how is it possible, considering current scalability limits of a single Erlang cluster? This talk will guide you along the way we took to improve Erlang scalability, remove bottlenecks and increase efficiency of our Erlang-based applications. Read the full abstract: http://codesync.global/speaker/maxim-fedorov/ --- THE SPEAKER - MAXIM FEDOROV Software Engineer at WhatsApp Maxim Fedorov is a software engineer at WhatsApp, the largest messaging app. Maxim’s work is focused on performance and scalability of the server side. Before WhatsApp, Maxim has been developing low-latency TCP/IP applications at NetAlliance (Sydney, Australia), designing Kaspersky Enterprise Security Endpoint (Moscow, Russia), improving Parallels Virtual Automation, called Odin now, at Parallels (former SWsoft), and developing network security software before. Maxim earned a Master’s Degree in Computer Science. More on Maxim Fedorov: http://codesync.global/speaker/maxim-fedorov/ --- 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 #Scalability #WhatsApp #Erlang #Cluster #CodeMesh

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 --- UNDERSTANDING GOSSIP PROTOCOLS by Felix Lopez THIS TALK IN THREE WORDS: Understanding Gossip Protocols TALK LEVEL: Beginner ABSTRACT In large Distributed Systems knowing the state of the whole system is a difficult task which becomes harder as we increment the number of nodes. There are too many nodes to communicate with and many algorithms that solve the problem tend to grow linearly with the number of nodes. The underlying network is a problem too, we can’t rely on hardware solutions as they wouldn’t be available in the cloud (e.g. Multicast). It’s also really complex to maintain an updated graph of nodes and even to store the graph itself, in large systems. Many distributed systems nowadays rely on Gossip protocols to share the state of the system among the nodes because they avoid these problems. A Gossip protocol is a communication protocol, a way of multicasting messages inspired by epidemics, human gossip, and social networks. Read the full abstract: http://codesync.global/speaker/felix-lopez/ --- THE SPEAKER - FELIX LOPEZ Research Master Félix López is Engineering Manager at Gocardless, During his career, he has worked on web development, video games, distributed systems and applications for the currency exchange market. He holds a Research Master in Intelligent Systems (including neural networks, speech processing, data mining, etc.). He is interested in Distributed Systems and Machine Learning. More on Felix Lopez: http://codesync.global/speaker/felix-lopez/ --- 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 #GossipProtocols #DistributedSystems

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 --- ETA: THE RISE OF PURE FP ON THE JVM by Jyothsna Patnam THIS TALK IN THREE WORDS: Haskell JVM FP TALK LEVEL: Intermediate ABSTRACT Pure functional programming has been around for more than 30 years and the benefits are widely known. Yet, it’s industrial adoption has been scanty. In this talk we’ll discuss how we are addressing this problem via Eta. Read the full abstract: http://codesync.global/speaker/jyothsna-patnam/ --- THE SPEAKER - JYOTHSNA PATNAM Co-founder of TypeLead and co-author of Eta Jyothsna is a UX Developer at heart. Her self-directed research into Human Computer Interaction revealed that we have a long way to go with making developer tools more productive. Currently, she is working on making the user experience of Eta as pleasant as possible. More on Jyothsna Patnam: http://codesync.global/speaker/jyothsna-patnam/ --- 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 #JyothsnaPatnam #Haskell #JVM #FunctionalProgramming

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 --- BREAKING CHANGES by James Coglan THIS TALK IN THREE WORDS: Open source Language Communication ABSTRACT Semantic Versioning has become a de-facto standard in the last few years, with several language ecosystems now relying on it to manage software upgrades. However, it is frequently misunderstood as a technical tool for making cold hard guarantees about code, rather than as a human tool for signalling intent and setting expectations. Never is this more apparent than when we consider what a "breaking change" means. It's highly contextual: it depends on which language you're using, what your public interface is, what guarantees you've explicitly or implicitly made to users, how much software sits downstream of you, and so on. In this talk James will explore several ways you can accidentally break other people's JavaScript apps, how to avoid them, and what to do when you can't. Read the full abstract: https://codesync.global/speaker/james-coglan/ --- THE SPEAKER - JAMES COGLAN Open source developer and independent author James has been working in software for twelve years, primarily as a back-end web developer, most recently in the live music and online education sectors. He created the open-source web messaging system Faye, whose internals now form the basis of much WebSocket tooling in the Ruby and JavaScript ecosystems. James also enjoys hacking on language tools, creating the cross-language parser generator Canopy, and a toy logic programming language called Infer. James is the author of the book JavaScript Testing Recipes, and am working on a second called Building Git, available in 2019. More on James Coglan: https://codesync.global/speaker/james-coglan/ --- 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 #OpenSource #ProgrammingLanguage #CodeMesh

IMPLEMENTING RAFT IN RABBITMQ by Daniil Fedotov THIS TALK IN THREE WORDS: RabbitMQ Raft Messaging TALK LEVEL: Intermediate ABSTRACT Raft protocol concepts, pros and cons for real world in application to RabbitMQ queues replication. Read the full abstract: http://codesync.global/speaker/daniil-fedotov165/ --- THE SPEAKER - DANIIL FEDOTOV RabbitMQ core developer, Erlang and Elixir contributor Daniil is a distributed systems engineer from Ulyanovsk, Russia, currently based in London. He has worked on mobile data synchronisation and messaging. He is passionate about functional programming and using mathematical approach to create reliable software. Daniil is currently working at Pivotal on the RabbitMQ message broker. More on Daniil Fedotov: http://codesync.global/speaker/daniil-fedotov165/ --- 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 #RabbitMQ #Raft #Messaging

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 --- SECURE ISOLATION IN RUST: HYPERVISORS, CONTAINERS, AND THE FUTURE OF COMPOSABLE INFRASTRUCTURE by Allison Randal THIS TALK IN THREE WORDS: Rust Hypervisors Containers TALK LEVEL: Beginner Read the full abstract: http://codesync.global/speaker/allison-randal/ --- THE SPEAKER - ALLISON RANDAL PhD at the University of Cambridge and Board member at Open Source Initiative. Allison's first geek career was as a research linguist in eastern Africa, but her love of coding led her away from natural languages to artificial ones. In over 30 years as a developer, she has worked on everything from games, linguistic analysis tools, websites, and shipping fulfillment, to compilers, hypervisors, database replication systems, deployment automation, mobile apps, and talking smart-home appliances. She is a board member at the Open Source Initiative, board member at the OpenStack Foundation, board member at the Perl Foundation, and co-founder of the FLOSS Foundations group for open source leaders. At various points in the past she has served as chief architect of the Parrot virtual machine, board member at the Python Software Foundation, chairman of the Parrot Foundation, Open Source Evangelist at O’Reilly, conference chair of OSCON, Technical Architect of Ubuntu and Open Source Advisor at Canonical, Distinguished Technologist and Open Source Strategist at Hewlett Packard Enterprise, and Distinguished Engineer at SUSE. She collaborates in the Debian and OpenStack projects, and is currently working on a PhD in Computer Science at the University of Cambridge. More on Allison Randal: http://codesync.global/speaker/allison-randal/ --- 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 #Rust #Containers #Hypervisors

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 --- DO CALCULATING MACHINES LIKE DRAWING? AND IF SO, WHY? CONSIDERATIONS FROM MEDIA ARCHAEOLOGY by Frieder Nake THIS TALK IN THREE WORDS: Graphics Languages Media TALK LEVEL: Beginner / Intermediate / Advanced ABSTRACT Of course, calculating machines do not like to draw. In fact, they will just not do it. I am a machine, they will say, a machine for calculations. That's exactly what I am supposed to do and that, therefore, I will do with utmost precision, reliable and correct. But there was a time when the calculating machine still had to be told what to do when its human master requested that a line was to be drawn, straight or circular. And many lines in many styles, and areas in brilliant colors. In such a way these visual object were supposed to appear an paper that galleries and museums, through their directors, would say, that's marvellous and rather surprising, and causing a lot of new thinking, but we exhibit that stuff anyway. And we don't hesitate too much and even call it art if it is nice enough. The years, when this happened, were the early 1960s. Today, nobody can imagine that there was a time when only symbols and numbers went through the narrow channels into and out from computers, no icons and no visuals, just nothing of this kind. The early 1960s became the time when digital media start emerging around an entirely new world of using (or mis-using?) computers. They are the times, when the machine computer mutates into a medium. A fascinating medium. The semiotic engine! – This contribution will offer a bit of media archaeology of the time. The perspective must, of course, be that of languages for programming. Therefore, it will include a remark on an algebra-oriented graphics language, and a few early language constructs for graphics. Read the full abstract: http://codesync.global/speaker/frieder-nake/ --- THE SPEAKER - FRIEDER NAKE Pioneer of algorithmic art, first exhibition in 1965 Frieder is a mathematician by training and a computer scientist by work who happened to become a pioneer of algorithmic art by having had the first exhibition of his works in 1965. Since then, he has had many more, has published a lot, taught a lot, and is still continuing to do so. More on Frieder Nake: http://codesync.global/speaker/frieder-nake/ --- 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 #FriederNake #AlgorithmicArt"

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 --- ONE LOG by Arnaud Bailly THIS TALK IN THREE WORDS: Log Emerging grammar Events TALK LEVEL: Intermediate ABSTRACT Every application has a narrator commenting its execution, be it a humble println or a more structured log. But this narrator is unreliable: It decides what's important and what's not, forgets to mention the juiciest parts of the plot, and usually rambles for gigabytes. There's more narration coming out of your application: metrics, tracing, all the system chatter that surrounds a running process - databases, message queues, git dags, etc., which deep down are logs. On the other side of the spectrum, Event Sourcing means to exhaustively describe all event affecting the state of the application and focusing on its dynamics. Logs - all the way down. But what if there was One Log? What if we used well structured messages, integrating in a single stream dtrace application logs, iostat metrics, prometheus signals, and domain events. What if we relinquished up-front filtering and throttling and let serendipity do its job? What if the separate realms of information (business events, kibana views, grafana boards) we work with were just views of a big stream of log events? This session will be a live-running experiment exploring what information we can harvest from this hoard of data. Building upon a simple event source application, we'll aggregate more events, implement traffic replay as a reverse event log, embrace system logs, treat log streams as a language with its semantics and model, and see what that emerging narrative tells us. Read the full abstract: http://codesync.global/speaker/arnaud-bailly/ --- THE SPEAKER - ARNAUD BAILLY Crafting software since 1994 Arnaud Bailly has been a researcher, consultant, agile and XP coach, architect, developer, trainer and teacher, CTO for startups More on Arnaud Bailly: http://codesync.global/speaker/arnaud-bailly/ --- 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 #Logs #EmergingGrammar #Events

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 --- APPLYING PRINCIPLES OF CHAOS ENGINEERING TO SERVERLESS by Yan Cui THIS TALK IN THREE WORDS: Serverless Chaos Architecture TALK LEVEL: Intermediate ABSTRACT Chaos engineering is a discipline that focuses on improving system resilience through experiments that expose the inherent chaos and failure modes in our system, in a controlled fashion, before these failure modes manifest themselves like a wild fire in production and impact our users. Netflix is undoubtedly the leader in this field, but much of the publicised tools and articles focus on killing EC2 instances, and the efforts in the serverless community has been largely limited to moving those tools into cloud-hosted functions. But how can we apply the same principles of chaos to a serverless architecture? Can we adapt existing practices to expose the inherent chaos in these systems? What are the limitations and new challenges that we need to consider? Join us in this talk as Yan Cui shares his thought experiments, and actual experiments, in his pursuit to understand how we can apply the principles of chaos to a serverless architecture. A word of warning though, you’re guaranteed to walk away with more questions than answers! Read the full abstract: http://codesync.global/speaker/yan-cui/ --- THE SPEAKER - YAN CUI Principal Engineer at DAZN Yan is an experienced engineer who has worked with AWS for nearly 10 years. He has been an architect and lead developer with a variety of industries ranging from investment banks, e-commerce, sports streaming to mobile gaming. In the last 2 years he has worked extensively with AWS Lambda in production, and he has been very active in sharing his experiences and the lessons he has learnt. Some of his work has even made their way into the Serverless Well-Architected whitepaper published by AWS. He is a regular speaker at user groups and conferences internationally, and he is also the author of Production-Ready Serverless and a co-author of F# Deep Dives. In his spare time he keeps an active blog at theburningmonk.com where he shares his thoughts on topics such as AWS, serverless, functional programming and chaos engineering. More on Yan Cui: http://codesync.global/speaker/yan-cui/ --- 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 #Serverless #ChaosEngineering #Architecture