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 --- 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 --- BUILDING A BLOCKCHAIN IN ERLANG by Ulf Wiger THIS TALK IN THREE WORDS: Erlang Blockchain Architecture TALK LEVEL: Beginner ABSTRACT The Aeternity Blockchain is an ambitious Open Source venture, developing a system where the most exciting features in the blockchain space come together as first-class objects. In this talk, we will illustrate with architecture highlights and implementation details what this means, and how we chose to build it in Erlang. Read the full abstract: http://codesync.global/speaker/ulf-wiger/ --- THE SPEAKER - ULF WIGER Erlang greybeard Ulf Wiger has been using Erlang since 1992, bought the first-ever commercial license in 1993 and has been a full-time Erlang dev since 1996. While at Ericsson, he became something of an Erlang ambassadeur, speaking about the AXD 301 ATM Switch/Media Gateway and about how Erlang works in large industrial projects. After leaving Ericsson, Ulf joined Erlang Solutions as CTO. He then entered the Connected Device market first via the startup Feuerlabs, then as a freelance contractor to Jaguar Land Rover, and Lead Developer of GENIVI’s Remote Vehicle Interaction component. Ulf joined the Aeternity Core Team in 2017 and is now busy exploring and developing blockchain technology. In the Open Source arena, Ulf is perhaps best known for components like Gproc, Jobs, and Exometer. In his spare time, Ulf doubles as an opera singer and dabbles in politics. More on Ulf Wiger: http://codesync.global/speaker/ulf-wiger/ --- 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 #Blockchain #Erlang #UlfWiger #Aeternity

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 --- VERIFYING A DISTRIBUTED SYSTEM WITH COMBINATORIAL TOPOLOGY by Veronica Lopez THIS TALK IN THREE WORDS: Math DistSys Connectivity TALK LEVEL: Intermediate ABSTRACT Formal verification of distributed systems is hard and expensive. Modern systems rely on tools like observability, extensive testing, and more recenty, chaos engineering. Understanding the math behind distributed computing, and being able to express systems in terms of algebraic topology and graph theory brings a new possibility of formal verification and a new approach towards solving complex problems and their interconnections. Read the full abstract: http://codesync.global/speaker/veronica-lopez/ --- THE SPEAKER - VERONICA LOPEZ Sr. Software Engineer Veronica is a former physicist turned computer scientist, who currently finds joy building distributed systems with Go and Elixir, and trying to make physics and computers converge. More on Veronica Lopez: http://codesync.global/speaker/veronica-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 #FormalVerification #DistributedSystems #Connectivity

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