List of videos

Constructive Bidirectional Programming - Zhenjiang Hu | Lambda Days 2021

This video was recorded at virtual Lambda Days conference, which took place on 16-19th February 2021 - https://www.lambdadays.org/lambdadays2021 More great virtual tech conferences - https://codesync.global​ --- Constructive Bidirectional Programming by Zhenjiang Hu ABSTRACT Bidirectional Transformation provides a powerful mechanism for synchronizing and maintaining the consistency of information between different representations. Although many languages have been proposed to support programming bidirectional transformations, we are lacking systematic ways to develop both correct and efficient bidirectional transformation. In this talk, we show that the program calculation technique, which is known to be useful for development of unidirectional functional programs, is useful for systematic development of correct and efficient bidirectional functional programs from a straightforward specification through correctness-preserving calculation. --- SPEAKER - Zhenjiang Hu Head of Department of Computer Science and Technology @ Peking University Zhenjiang Hu is a chair professor and the head of Department of Computer Science and Technology, Deputy Dean of School of Electronics Engineering and Computer Science, Peking University. His main interest is in programming languages and software engineering in general, and functional programming, bidirectional transformation, and parallel programming in particular. His work is characterized by developing methodologies to support rigorous development of robust software systems. He was awarded the basic research achievement awards from Japan Society for Software Science and Technology. He is famous for his contribution to the establishment of the well-known NII Shonan Meetings. He is Fellow of Japan Federation of Engineering Society, ACM Distinguished Scientist, Member of European Academy of Sciences, IEEE Fellow, Member of Engineering Academy of Japan. --- Lambda Days Website: https://www.lambdadays.org​ Twitter: https://twitter.com/LambdaDays​

Watch
Sherlock's Last Case

Joe Armstrong http://www.meetup.com/ErlangChicago/events/124283112/ Joe will be speaking on "Sherlock's Last Case" - from a chapter of his recently released 2nd edition of Programming Erlang. http://www.meetup.com/ErlangChicago/events/124283112/ You are seeing it right! Joe Armstrong, the Father of Erlang will be here, in Chicago! In July! 2013! This is a fantastic opportunity to hang out with one of Computer Science's luminary thinkers and personalities. Joe will be speaking on "S

Watch
Keynote: Over a Century of Programming - Mike Williams, Joe Armstrong, Robert Virding

Erlang User Conference 2013 More info and slides on the website: http://www.erlang-factory.com/conference/ErlangUserConference2013/talks The three of us (Joe, Robert and Mike) have more than 100 years combined experience of programming. We have noticed the vast majority of software development projects use programming languages based on concepts which were developed close on a half a century ago. Tools and development environments have changed, but with few exceptions the basic paradigms remain the same. We will reflect on our experience, what is good, what is bad and what is ugly. How did the past and our experience influence us when we developed Erlang.

Watch
Keynote: Welcome Inside the Head of Larry Wall - Joe Armstrong and Larry Wall

Erlang & Elixir Factory San Francisco is now Code BEAM SF! 15-16 March 2018. Get tickets now →→ http://bit.ly/2nlioFp --- Erlang & Elixir Factory SF 2017 http://www.erlang-factory.com/sfbay2017/larry-wall.html

Watch
Breaking Open: Erlang

Erlang has been around for nearly 30 years, and even though it essentially runs European telecom, many programmers are just starting to hear about it. In our fourth episode of Breaking Open, Joe Armstrong sits down for a frank discussion on the language he co-invented. Joe and our host, Marakana CEO Marko Gargenta, discuss the provenance and motivations of the language, where it exists in the open source landscape, and how the tasks it was designed to handle three decades ago are especially relevant today, such as concurrency. "It wasn't designed for big data, but it was designed for massive concurrency. If you go to planetary-scale computations, or very, very large-scale computations, you have to make these things self-repairing and self-configuring." ** Interested in Erlang training? Head to http://crcl.to/erlang to check out our courses

Watch
Erlang with Joe Armstrong

Visit our website https://softwaredaily.com “Mutable state is the root of all evil.” Erlang is a functional, concurrent programming language that was originally designed within Ericsson in the 1980’s. It was built to support distributed, fault-tolerant, non-stop applications suitable for telecommunications infrastructure. Joe Armstrong is one of the designers of Erlang, and the chief architect of the Open Telecom Platform (OTP), a framework for building Erlang applications. Questions Why has Erlang persisted as such a popular tool for communications platforms? In the domain of telecom, what were the valuable features of languages like Lisp and Prolog? How did Erlang germinate? Can you give a high level description for how someone using Erlang should be thinking about concurrency? What are the advantages of functional programming languages? Why did object oriented programming become so prevalent and so widely used? How has the Erlang community changed over time? Links Erlang Development of the AXE System Joe on Twitter Sponsors Hired.com is the job marketplace for software engineers. Go to hired.com/softwareengineeringdaily to get a $600 bonus upon landing a job through Hired. Digital Ocean is the simplest cloud hosting provider. Use promo code SEDAILY for $10 in free credit.

Watch
Joe Armstrong (Co-inventor Erlang) Talks About His Aim to Re-invent Music!

We caught up with Joe Armstrong (co-inventor of Erlang) at the EUC17 and he told us what he's been working on these days. Joe gave a Keynote with Sam Aaron this year all about using Erlang with Sonic Pi. He told us his thoughts on this, music and more. Joe and Sam will be live coding at Code Mesh 2017 between 8-9 November, find out more here: http://www.codemesh.io/ Joe and Sam's Keynote is available on Youtube here: https://youtu.be/PNAQctN5qKU?list=PLWbHc_FXPo2jAL3fm0YfN3nFVj6OyQcu2

Watch
Lambda Days 2019 - Highlights

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org ---

Watch