List of videos

Dominic Orchard - Quantitative program reasoning in Granule via graded modal types | Code Mesh LDN

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 --- QUANTITATIVE PROGRAM REASONING IN GRANULE VIA GRADED MODAL TYPES by Dominic Orchard THIS TALK IN THREE WORDS: Types for Verification TALK LEVEL: Intermediate ABSTRACT A benefit of static typing is that various program properties can be specified and automatically checked as part of a language. But there are always limits to what can be expressed. This talk presents Granule, a functional language which pushes these limits by combining linear and indexed types with the recent notion of graded modal types. We'll see examples enforcing privacy constraints, stateful protocols, and verifying properties of standard functional programs just by getting the right type signature. Slides & full abstract: https://codesync.global/speaker/dominic-orchard/ --- THE SPEAKER - DOMINIC ORCHARD Computer science lecturer and co-creator of the Granule language Dominic is a computer science researcher and lecturer, interested in mathematically structured programming and lots else, at the School of Computing, University of Kent More on Dominic Orchard: https://codesync.global/speaker/dominic-orchard/ --- 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 #Granule #FunctionalProgramming

Watch
Simon Thompson - Marlowe: financial contracts on Blockchain | 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 --- MARLOWE: FINANCIAL CONTRACTS ON BLOCKCHAIN by Simon Thompson THIS TALK IN THREE WORDS: Blockchain Functional DSL TALK LEVEL: Beginner ABSTRACT Marlowe is a high-level, domain-specific language (DSL) for writing financial contracts on blockchain. Marlowe is defined by an executable semantics in Haskell, and has been implemented on the UTxO-based Cardano blockchain. This talk will introduce Marlowe and describe its semantics, implementation and tooling as well as give examples, including some from the ACTUS financial standard. It will also address Marlowe as a Haskell DSL, and describe the choices made in designing and revising the language. Slides & full abstract: https://codesync.global/speaker/simon-thompson/ --- THE SPEAKER - SIMON THOMPSON Longtime functional programmer, author and researcher Simon Thompson is a researcher, author and teacher, and professor of logic and computation at the University of Kent. His research into functional programming covers verification, tool-building and testing for Erlang, Haskell and OCaml. He is the author of books on type theory, Haskell and Erlang, and runs a Mooc about Erlang for FutureLearn. He works with IOHK on domain-specific languages for Cardano. More on Simon Thompson: https://codesync.global/speaker/simon-thompson/ --- 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 #Blockchain #FinancialContracts

Watch
Romeu Moura - Bourdieu's social theory applied to tech | 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 --- BOURDIEU'S SOCIAL THEORY APPLIED TO TECH by Romeu Moura THIS TALK IN THREE WORDS: Invert Symbolic Violence TALK LEVEL: Beginner ABSTRACT Obscure though it may seems, the sociologist Bourdieu and his social theory tell us a lot about what is happening in the workplace and society around us. By understanding what he meant by "symbolic violence", "cultural capital" "hexis" etc, we see how each of us influences and is influenced by the people around us, in ways that we wouldn't expect. From this talk, a vulgarized and easy to understand version of Bourdieu's ideas, each of us can seek how to improve the ambience immediately around us Slides & full abstract: https://codesync.global/speaker/romeu-moura/ --- THE SPEAKER - ROMEU MOURA One must imagine sisyphus happy Endless conversation — with friends, compilers — on art, Symmathesy, methods, absurdism, dialectic, paradigm jumps, serendipity. More on Romeu Moura: https://codesync.global/speaker/romeu-moura/ --- 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 #Bourdieu #Programming #SocialTheory

Watch
Paul Schoenfelder - Lumen - Bringing the BEAM to WebAssembly and Beyond | 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 --- LUMEN - BRINGING THE BEAM TO WEBASSEMBLY AND BEYOND by Paul Schoenfelder THIS TALK IN THREE WORDS: BEAM WebAssembly Compilers TALK LEVEL: Beginner ABSTRACT Lumen is a new compiler and runtime for BEAM languages (currently Erlang and Elixir) that supports targeting environments that were previously unsupported or infeasible for the BEAM virtual machine, e.g. WebAssembly, bare metal embedded hardware and more. To best support these new targets, Lumen takes an alternative implementation approach compared to the BEAM - rather than being constructed as a compiler that produces bytecode which is then executed by a virtual machine, Lumen is instead an ahead-of-time compiler that produces native code in the form of a standalone executable. It builds on the capabilities and ecosystem provided by the Rust and LLVM toolchains, and makes it possible to apply BEAM languages to domains that were previously inaccessible. The beta release of Lumen in late August provided an early preview of the new compiler, with primary support for WebAssembly, as well as secondary support for x86_64. This talk will share more about Lumen, where it is currently, and what we have planned for it in the near future and beyond. Slides & full abstract: https://codesync.global/speaker/paul-schoenfelder/ --- THE SPEAKER - PAUL SCHOENFELDER Prolific open source contributor, borderline workaholic. Speaker at multiple ElixirConfs, as well as CodeBEAM SF ’18, LoneStar Elixir ’18/’19. Paul is currently an Architectural Engineer at DockYard, he came to Erlang and Elixir after about 10 years of working with .NET and JVM languages, and has spent the past 4 years working with the BEAM professionally. Paul is the author of a variety of tools and libraries for Elixir, most notably Distillery and Timex. More on Paul Schoenfelder: https://codesync.global/speaker/paul-schoenfelder/ --- 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 #WebAssembly #Compilers

Watch
Matthew Revell - Misadventures with Terraform | 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 --- MISADVENTURES WITH TERRAFORM by Matthew Revell THIS TALK IN THREE WORDS: Terraform Cloud Infrastructure TALK LEVEL: Intermediate ABSTRACT A brief tour of real life experiences where things went wrong, but useful lessons were learned. Slides & full abstract: https://codesync.global/speaker/matthew-revell/ --- THE SPEAKER - MATTHEW REVELL Get ready to automate the cloud Matthew is a Senior DevOps Consultant at OpenCredo. He has a broad experience in building and automating cloud infrastructure, monitoring, and data pipelines in an idempotent fashion leveraging Infrastructure as Code and automation technology. More on Matthew Revell: https://codesync.global/speaker/matthew-revell/ --- 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 #Terraform #Cloud

Watch
Maxim Fedorov - The art of challenging assumptions | 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 --- THE ART OF CHALLENGING ASSUMPTIONS by Maxim Fedorov TALK LEVEL: Intermediate ABSTRACT We spent countless hours and sleepless nights bringing and keeping up server-side of the most successful messaging service in the world. Looking back, how many choices we'd change? And how to ensure we make the right one next time? ""The real problem is that programmers have spent far too much time worrying about efficiency in the wrong places and at the wrong times; premature optimization is the root of all evil"" (Donald Knuth). But why does it happen? Why did we do something we didn't really want? Because we acted on assumptions. This talk will guide through a number of war stories where assumptions were made and acted on. There were regrets and disappointments, and we learned to challenge assumptions in the hard way. Now it's time to share what we learnt so far. Slides & full abstract: https://codesync.global/speaker/maxim-fedorov/ --- THE SPEAKER - MAXIM FEDOROV Evil mother of all mistakes 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. More on Maxim Fedorov: https://codesync.global/speaker/maxim-fedorov/ --- 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 #ServerSide #Deploy #Programming

Watch
Zainab Ali - Abstract data types in region of abysmal pain & how to navigate them | 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 --- ABSTRACT DATA TYPES IN THE REGION OF ABYSMAL PAIN, AND HOW TO NAVIGATE THEM by Zainab Ali THIS TALK IN THREE WORDS: ADTs graphs Dependent types TALK LEVEL: Intermediate ABSTRACT Abstract data types are an essential tool in a programmer's toolkit, but finding a data structure to fit them can be challenging. This is especially so for graphs, which can have complex constraints that are difficult to encode using conventional data structures. Join me in the search for a functional, typesafe graph. We will explore different graph representations, and discover how types can help us encode constraints. Using dependent types, we will construct a graph that we can prove satisfies its abstract data type. Slides & full abstract: https://codesync.global/speaker/zainab-ali/ --- THE SPEAKER - ZAINAB ALI Functional polyglot / can squat her own bodyweight Zainab is a functional polyglot. She is a co-organizer of the London Scala User Group and is the author and contributor to many functional libraries. She enjoys coding in Scala, Rust, Haskell, Idris, PureScript, Racket and anything she can get her hands on. More on Zainab Ali: https://codesync.global/speaker/zainab-ali/ --- 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 #DataTypes #Graphs

Watch
Simon Peyton Jones - Revisiting pattern match overlap checks in Haskell | 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 --- REVISITING PATTERN MATCH OVERLAP CHECKS IN HASKELL by Simon Peyton Jones TALK LEVEL: All levels ABSTRACT How hard can it be to spot missing or overlapping patterns in a Haskell function definition? Surely it’s the least we can expect from a decent compiler? But when you mix in GADTs, pattern guards, view patterns, data families, strict data constructors, and pattern synonyms, matters get surprisingly tricky. In a 2015 paper “GADTs meet their match” (https://www.microsoft.com/en-us/research/publication/gadts-meet-their-match-pattern-matching-warnings-that-account-for-gadts-guards-and-laziness/) we explored a nice, modular account of pattern-match checking that addresses many of these tricky points. Alas, GHC’s implementation of that paper has proved less than satisfactory: it can be terribly slow, and misses cases that programmers think look obvious. So my colleague Sebastian Graf and I have been radically refactoring the implementation. In this talk, I will give lots of tricky examples of pattern matching, describe how to think about coverage and overlap checking, and reflect on how their new refactored implementation works. Slides & full abstract: https://codesync.global/speaker/simon-peyton-jones/ --- THE SPEAKER - SIMON PEYTON JONES Principal researcher at Microsoft Research https://www.microsoft.com/en-us/research/people/simonpj/#!biography Simon has been a researcher at Microsoft Research in Cambridge, England since Sept 1998. He's also an Honorary Professor of the Computing Science Department at Glasgow University, where he was a professor during 1990-1998. Simon is interested in the design, implementation, and application of lazy functional languages. In practical terms, that means he spends most of his time on the design and implementation of the language Haskell. In particular, much of his work is focused around the Glasgow Haskell Compiler, and its ramifications. Simon is chair of Computing at School, the group at the epicentre of the reform of the national curriculum for Computing in England. Computer science is now a foundational subject, alongside maths and natural science, that every child learns from primary school onwards (background here). More on Simon Peyton Jones: https://codesync.global/speaker/simon-peyton-jones/ --- 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 #PatternMatching #Haskell #SimonPeytonJones

Watch
From the Idea to a MVP in Less than 3 Months | Benoit Chesneau | Code BEAM V 2020

This video was recorded at Code BEAM V 2020 - codesync.global/conferences/code-beam-sto/ From the Idea to a MVP in Less than 3 Months | Benoit Chesneau - owner @ Enki Multimedia ABSTRACT What does it mean to develop and deploy products or services written in Erlang on a daily basis? How can you build a product using multiple linked processes or services on one or more machine that will fit your business? How can you provide an MVP or a pilot in less than 3 months? In this talk, Benoit will describe some useful pattern and code/libraries written over Erlang OTP that will help you to achieve it. • Follow us on social: Twitter: https://twitter.com/CodeBEAMio LinkedIn: https://www.linkedin.com/company/27159258 • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw

Watch