List of videos

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 --- TOWARDS LANGUAGE SUPPORT FOR DISTRIBUTED SYSTEMS by Heather Miller THIS TALK IN THREE WORDS: Language design Distributed systems TALK LEVEL: Intermediate ABSTRACT Building and managing different sorts of distributed systems is notoriously difficult; of course nodes can fail, but we are also often connecting many different services with many different underlying assumptions behind each. This means that not only can individual components fail, but so can entire inter-connected groups of services. But what if we could leave some of these headaches, like making sure that certain invariants hold between two inter-connected services, to our programming language to worry about? In this talk, Heather will talk about some recent work bridging distributed systems and programming languages research by shifting reasoning for two classes of problems into the programming language; building up richer computations making use of CRDTs, and building up richer computations implemented as compositions of serverless functions. Read the full abstract: http://codesync.global/speaker/heather-miller/ --- THE SPEAKER - HEATHER MILLER Assistant Professor, School of Computer Science at Carnegie Mellon University Heather is an Assistant Professor in the School of Computer Science at Carnegie Mellon University. Before that, she was the co-founder and Executive Director of the Scala Center at EPFL, where she was also a research scientist, as well as an Assistant Clinical Professor at Northeastern University. She recently completed her PhD in EPFL's Faculty of Computer and Communication Science where she contributed to the now-widespread programming language, Scala. Heather's research interests are at the intersection of data-centric distributed systems and programming languages, with a focus on transferring her research results into industrial use. She has also led development of popular MOOCs some 1 million students strong, such as "Functional Programming Principles in Scala." More on Heather Miller: http://codesync.global/speaker/heather-miller/ --- 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 #LanguageDesign #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 --- 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 --- ABSTRACT NONSENSE by Ju Gonçalves THIS TALK IN THREE WORDS: Monoids Effects Art TALK LEVEL: Intermediate / Advanced ABSTRACT Generative art programming requires many effectful computations, such as random number generation and image output. What if we applied category theory to model a declarative, purely functional way of programming artworks? In other words, what if we could generate abstract nonsense with abstract nonsense? Read the full abstract: http://codesync.global/speaker/ju-goncalves192/ --- THE SPEAKER - JU GONÇALVES Phd Student in Computer Science Ju Gonçalves is a young computer scientist based in Copenhagen. They can usually be seen working on their Ph.D. on Type Theory at Roskilde University or playing with Nintendo games on the streets of Copenhagen. They are a member of Programming, Logic and Intelligent Systems research group, and many interesting forums. For them, pokémons and bugs in programming language development have something in common, they gotta catch 'em all! More on Ju Gonçalves: http://codesync.global/speaker/ju-goncalves192/ --- 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 #AlgorithmicArt #Art #CategoryTheory #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 --- INTERTWINGLING THE TIDDLYWIKI WITH ERLANG by Joe Armstrong & Jeremy Ruston THIS TALK IN THREE WORDS: Hypertext Docuverse Xanadu TALK LEVEL: Beginner ABSTRACT Ted Nelson, who coined the term ""Hypertext"" also coined the lesser known word ""Intertwingled"" - this captures the idea that all there is is knowledge which is tangled up and linked together in a myriad of complex ways. Computer scientists think that we can organize knowledge in a systematic way but Nelson thought this was impossible. All there is is knowledge and links. A Tiddlywiki is a self-contained system that organizes data in a non-hierarchical manner allowing it to be read and authored in a non-linear manner. This talk will go through the evolution of hypertext, following the evolution of ideas from Vannevar Bush to Ted Nelson and thence to the World Wide Web. Our goal is to extend the boundaries of the Tiddlywiki to a larger distributed system, that's where Erlang comes in. We'll talk about the problems encountered in turning small consistent data collections of dense knowledge into larger distributed systems with sparse knowledge. Read the full abstract: http://codesync.global/speaker/jeremy-ruston/ --- THE SPEAKER - JOE ARMSTRONG Co-creator of Erlang Joe Armstrong is a retired computer scientist. He got his grey hairs inventing Erlang, starting a few companies, writing a few books, doing some research and teaching people to program. More on Joe Armstrong: https://codesync.global/speaker/joe-armstrong/ THE SPEAKER - JEREMY RUSTON Creator of TiddlyWiki Jeremy Ruston cut his teeth writing books about the home computers of the early 1980s. He has worked at several startups, an investment bank, and enjoyed a stint as Head of Open Source Innovation at BT plc after his previous company was acquired by them. Jeremy is the creator of TiddlyWiki ("a hypertext card index system from the future") and has led the community for nearly 15 years. His passion is building tools that extend the capabilities of individuals and groups. More on Jeremy Ruston: http://codesync.global/speaker/jeremy-ruston/ --- 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 #JoeArmstrong #HyperText #Docuverse #Xanadu #Tiddlywiki

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 --- ETHICS IN TECH: A PSYCHOLOGICAL PERSPECTIVE by Andrea Dobson THIS TALK IN THREE WORDS: Ethics Technology Psychology TALK LEVEL: Beginner ABSTRACT Why do people behave unethically and what can we do about it? Andrea will do a deep dive into social psychology research on behaviour, ethics and company culture. What are the anti-patterns we should all avoid? Most of the knowledge we have on Conformity and Obedience today come from Psychological experiments done in the 1950s and 1960 What do they mean in today’s society and what impact are they having on the choices we make? And are there things we can do about this? Read the full abstract: http://codesync.global/speaker/andrea-dobson/ --- THE SPEAKER - ANDREA DOBSON Counseling psychologist/GZ psychologist Andrea Dobson is a Registered Psychologist (HPCP) and a Cognitive Behavioural Therapist. As a practising psychologist, Andrea specialised in depression and anxiety disorders, complex grief and worked for over a decade in Mental Health. Andrea started working at Container Solutions (CS) in 2015 to expand their learning culture. This involved coaching, executive education and formalising the hiring process whilst expanding it to include psychometric testing. This work continued in 2017 when Andrea created CS’s leadership development programme. In 2018, Andrea started working for the Innovation Office working with Pini Reznik, the founder of Container Solutions, to link patterns of consumer behaviour with their latest product development efforts. More on Andrea Dobson: http://codesync.global/speaker/andrea-dobson/ --- 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 #Ethics #Technology #Psychology"

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