List of videos

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 --- LUCET: SAFE WEBASSEMBLY OUTSIDE THE BROWSER by Tyler McMullen THIS TALK IN THREE WORDS: WebAssembly Open source Edge computing TALK LEVEL: Intermediate ABSTRACT Lucet is a new open source tool for compiling, embedding, and running WebAssembly outside the browser. It's made specifically for running untrusted code in a high concurrency and multi-tenant environment. In other words, it's made for taking the serverless model to the edge and beyond. Join Fastly CTO Tyler McMullen in a discussion on how Lucet was built, how it works, and the novel serverless models it's made to enable. Slides & full abstract: https://codesync.global/speaker/tyler-mcmullen/ --- THE SPEAKER - TYLER MCMULLEN Tyler is building a better internet. As CTO and part of the founding team at Fastly, he built the first versions of Fastly's Instant Purging system, API, and Real-time Analytics, while exponentially scaling the engineering team. Tyler McMullen is CTO at Fastly, the leading edge cloud platform, where he is responsible for evolving the system architecture and the company's technology vision. He leads a team of experienced technology innovators focused on internet scale, and working on future-facing, ambitious projects and standards. As part of the founding team at Fastly, Tyler built the first versions of Fastly's Instant Purging system, API, and Real-time Analytics, while scaling the engineering team tenfold. Prior to joining Fastly, Tyler worked on large scale web applications, text analysis, and performance. He can be found talking about edge computing, networking, and distributed systems all over the world. More on Tyler McMullen: https://codesync.global/speaker/tyler-mcmullen/ --- 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 #Lucet #WebAssembly

Exploring Alternative Tech. Code Mesh is a London based conference promoting the non-mainstream technologies. A two-day conference that brings together users and speakers of different languages to share their innovative and inspiring projects. All in the spirit of exploring the alternative tech and learning from one another!

This video was recorded at Code Mesh V 2020 - https://codesync.global/conferences/code-mesh-ldn/ A Computer Culture for Children | Cynthia Solomon ABSTRACT In 1966 a group of us created Logo, a programming language for children and other learners. This language gave rise to a learning environment as well as a computer culture. The design of the language went through many iterations; the learning environment expanded to embrace making and programming a variety of physical and virtual objects; and the culture with its mix of learners, teachers and ideas broadened discussions on thinking about thinking. The enthusiasm of children learning to program computers in school gave way to the realities of the lack of knowledgeable mentors and for a while led to schools embracing the learning of Microsoft Office skills. Today there is a new thrust of activity on making things. It raises questions about building and fostering their environments and cultures. What ideas might be helpful in casting these new spaces to encourage children’s creative spirit is the intention of this talk. • Follow us on social: Website: https://codesync.global/conferences/code-beam-sto/ Twitter: https://twitter.com/CodeMeshIO • 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

This video was recorded at Code Mesh V 2020 - https://codesync.global/conferences/code-mesh-ldn/ Inside Every Calculus Is A Little Algebra Waiting To Get Out | Erik Meijerr - Software Engineer ABSTRACT Because of deep learning, there has been a surge in interest in automatic differentiation, especially from the functional programming community. As a result there are many recent papers that look at automatic differentiation from a Category Theory perspective. However, Category Theorists have already been looking at differentiation and calculus in general since the late 60’s in the context of Synthetic Differential Geometry. In this talk, we will provide a gentle introduction to the ideas behind SDG, by relating them to dual numbers, and show how it provides a simple axiomatic and purely algebraic approach to (automatic) differentiation and integration. And no worries if you suffer from arithmophobia, there will be plenty of working Kotlin code that turns the math into something fun you can play with for real. • Follow us on social: Website: https://codesync.global/conferences/code-beam-sto/ Twitter: https://twitter.com/CodeMeshIO • 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

This video was recorded at Code Mesh V 2020 - https://codesync.global/conferences/code-mesh-ldn/ Panel discussion: Types for All: From weak to strong, from static to dynamic THE PANELISTS Sophia Drossopoulou - PROFESSOR, IMPERIAL COLLEGE LONDON Martin Odersky - INVENTOR OF THE SCALA, FOUNDER OF LIGHTBEND Edwin Brady - CREATOR OF THE IDRIS PROGRAMMING LANGUAGE; LECTURER Gilad Bracha - COMPUTATIONAL THEOLOGIST EMERITUS. KNOWN FOR JAVA SPECS, BUT PROUD OF NEWSPEAK ABSTRACT When working from home, everyone looked at what books were on display on the shelves in the background. Type systems seemed to be very much in vogue, often put there to be seen. In order to not loose momentum, we are planning a panel on Type Systems at Code Mesh! It will be lead by Felienne Hermans of Leiden University. The idea is to discuss the panelists' approach to type systems, the rationale behind their design decisions, and how they have benefited the programming languages they have created. Questions will include, but not be limited to: when do we want type, when are types in the way, and what can we do about that? How extensible should a type system be? Attendees, through the Q&A section of the app, will be able to ask their own questions. With cameras on, don't forget to put your books on display. • Follow us on social: Website: https://codesync.global/conferences/code-mesh-ldn/ Twitter: https://twitter.com/CodeMeshIO • 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

This video was recorded at Code Mesh V 2020 - https://codesync.global/conferences/code-mesh-ldn/ Cultures of Programming | Tomas Petricek - Lecturer at University of Kent ABSTRACT Computer programming originated at the intersection of logic, art, electrical engineering, business and psychology. Those disciplines brought with themselves different ways of thinking about and doing programming. In the early days, the friction between cultures could have been just a sign of the immaturity of the field. 70 years later, the idea that a unified culture will emerge as the field matures is becoming difficult to believe. Different cultures keep their strong identity, but they interact. Interesting innovations appear and revealing discussions occur when multiple cultures meet or clash. In this talk, I will characterize and explore the different cultures of programming through a number of historical case studies. I will describe five different cultures of programming. The mathematical culture sees programming as a mathematical activity and advocates the use of formal methods. The hacker culture sees programming as tinkering and emphasizes practical skills of an individual. The managerial culture aims to solve problems via organizational structures and processes. The engineering culture emphasizes methodologies and tools that help achieve good-enough results. Finally, the artistic culture emphasizes creativity and interaction with a computer. This talk will not be just about the history of programming - the different cultures of programming shape much that happens around programming. They influence what we think of as a "correct" program, they influence what we teach as programming and they also clash about what characteristics we look for in job interviews. • Follow us on social: Website: https://codesync.global/conferences/code-mesh-ldn/ Twitter: https://twitter.com/CodeMeshIO • 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

This video was recorded at Code Mesh V 2020 - https://codesync.global/conferences/code-mesh-ldn/ A Computer Culture for Children | Cynthia Solomon ABSTRACT David Turner is best known as the inventor of combinator graph reduction and for designing and implementing a series of purely functional programming languages – SASL (1972), KRC (1981) and the commercially supported Miranda (1985) - that had a strong influence on the development of the field and on the emergence of Haskell. He invented or coinvented many of the ideas which are now standard in functional programming, including pattern matching with guards, list comprehensions and the "list of successes" method for eliminating backtracking. David has a D.Phil. from the University of Oxford and has held professorships at Queen Mary College, London, University of Texas at Austin and the University of Kent at Canterbury, where he has spent most of his career and is now Emeritus Professor of Computation. He is also an Emeritus Professor at Middlesex University, England. • Follow us on social: Website: https://codesync.global/conferences/code-beam-sto/ Twitter: https://twitter.com/CodeMeshIO • 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

This video was recorded at Code Mesh V 2020 - https://codesync.global/conferences/code-mesh-ldn/ Quickstrom: Specifying and Testing Web Applications | Oskar Wickström - Software Engineer ABSTRACT Quickstrom is a high-confidence browser testing system. It combines ideas from property-based testing, TLA+ and linear temporal logic, and functional programming. In this talk, we'll take a look at the core ideas, how it's currently implemented, the results from testing TodoMVC implementations, and some possible future work. For more details and documentation, see https://quickstrom.io/. • Follow us on social: Website: https://codesync.global/conferences/code-mesh-ldn/ Twitter: https://twitter.com/CodeMeshIO • 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

This video was recorded at Code Mesh V 2020 - https://codesync.global/conferences/code-mesh-ldn/ A funny thing happened on the way to the future...' / Why Mainframes Still Matter - Herbert Daly - Senior Lecturer at University of Wolverhampton ABSTRACT For the cool kids of enterprise computing, mainframes are considered something of an embarassment; technology of a previous era, long superceeded with its clunky interfaces, all staffed by a curious breed who measure time in epochs. Recent events like the Cobol Covid Crisis of 2020 highlight the risks of technical debt at the heart of our critial infrastructure...and yet there's another, overlooked story about this first general purpose enterprise platform. With design goals familiar to anybody working on BEAM, mainframes pioneered many of the innovations the cool kids take for granted and continue to serve up impressive solutions to the problems we face in a high stakes computing world. Moreover as the Linux Foundation Open Mainframe project celerates its fifth year, ideas and technologies continue to converge, presenting a future where the platform may enjoy a rennassance or at the very least exchange its frumpy image for new found credibility. • Follow us on social: Website: https://codesync.global/conferences/code-mesh-ldn/ Twitter: https://twitter.com/CodeMeshIO • 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