List of videos

This video was recorded at Lambda Days Virtual 2021 - https://www.lambdadays.org/lambdadays2021 Building Full Stack Web Applications with Safe Stack | Ody Mbegbu ABSTRACT As the web has become more and more ubiquitous and people are now doing even more online. Web Development has only grown in complexity from it's humble days of serving documents. Today, Modern Web Applications are quite complex. And if you don't want to build it in Javascript, you typically have to use two languages, One for the front end and the other for the backend. SAFE Stack provides an alternative allowing you to build the entire application in F# with superb type safety and still keep the flexibility of a scripting language like Python. In my talk, I will show you how to get started building a web application using Safe Stack. • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: ttps://www.linkedin.com/company/lambda-days • Looking for a unique learning experience? Attend the next Lambda Days conference! See what's coming up at: https://www.lambdadays.org • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw

This video was recorded at virtual Lambda Days conference, which took place on 16-19th February 2021 - https://www.lambdadays.org/lambdadays2021 Functional Programming: the Glue for Introducing Computing through Data Science by Kathi Fisler | ABSTRACT The "language wars" about the best way to teach programming are alive and well. They're also moving into new territory. Many countries are ramping up computing education for K-12. Disciplines across universities are looking to develop Data Science abilities in their students. Leaders emphasize having these efforts reach students equitability, lest we increase digital divides. Which languages, curricula, pedagogies, and tools would help us meet those goals? Luckily for the fun()ky folks like those as Lambda Days, we have a lot of experience, as well as educational research, showing the value of functional programming in these broader settings. By summarizing what we already know from these efforts, I hope to leave everyone with fresh talking points about the centrality of functional programming to holding these values together in computing education. • Follow us on social: Website: https://www.lambdadays.org​ Twitter: https://twitter.com/LambdaDays​ • 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 virtual Lambda Days conference, which took place on 16-19th February 2021 - https://www.lambdadays.org/lambdadays2021 Secrets of type driven program synthesis by Edwin Brady ABSTRACT Idris is a functional programming language with first-class types, where types may be parameterised by other values. This gives the language implementation a lot of information up front about what a function should do, which means we can use Idris is our interactive assistant, where we write programs by conversation with the machine. As part of this, we are actively developing program synthesis tools, which generate fragments of programs from types. This can appear like magic! However, the key ideas are surprisingly simple. In this talk, I will demonstrate the current state of program synthesis and Idris, and try to demystify how it works, as well as discuss some related work and possible future research directions. • Follow us on social: Website: https://www.lambdadays.org​ Twitter: https://twitter.com/LambdaDays​ • 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 SPEAKER - Edwin Brady Creator of the Idris programming language Edwin is Lecturer in Computer Science at the University of St Andrews in Scotland, interested in type-driven development, domain-specific languages and reasoning about effectful programs. When he's not doing that, he might be playing Go, watching cricket, or wandering around Scotland's hills. --- Lambda Days Website: https://www.lambdadays.org​ Twitter: https://twitter.com/LambdaDays​

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​ --- Correct-by-Construction Cryptographic Arithmetic in Coq by Adam Chlipala ABSTRACT Cryptographic systems include big-integer arithmetic routines that have been subjected to heavy optimization, usually by hand in C or assembly code. The code is often rewritten from scratch for each new set of algorithm parameters. My collaborators and I built a tool Fiat Cryptography to automate generation of these routines, without sacrificing performance compared to the best-known C code. As a bonus, we get machine-checked proofs of correctness. The basic approach works within the Coq theorem prover, using a formally verified compiler to specialize formally verified functional programs to parameters. Today our tool is used by a number of open-source projects, including both Chrome and Firefox for producing parts of their TLS implementations. --- SPEAKER - Adam Chlipala Researcher in scaling machine-checked proofs and advanced FP ideas Adam Chlipala has been on the faculty in computer science at MIT since 2011. He did his undergrad at Carnegie Mellon and his PhD at Berkeley, and his research focuses on clean-slate redesign of computer-systems infrastructure, typically taking advantage of machine-checked proofs of functional correctness. Much of his work uses the Coq proof assistant, about which he has written a popular book, "Certified Programming with Dependent Types." He most enjoys finding opportunities for drastic simplification over incumbent abstractions in computer systems, and some favorite tools toward that end are object-capability systems, transactions, proof-carrying code, and high-level languages with whole-program optimizing compilers. Some projects particularly far along the real-world-adoption curve are Fiat Cryptography, for proof-producing generation of low-level cryptographic code, today run by Chrome for most HTTPS connections; and Ur/Web, a production-quality domain-specific language for Web applications. http://adam.chlipala.net/ --- Lambda Days Website: https://www.lambdadays.org​ Twitter: https://twitter.com/LambdaDays​

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​ --- Dimensional Analysis for Multidimensional Dataflow Programming by Monem Shennat ABSTRACT In this presentation we show an algorithm for Dimensional Analysis (DA) of a multidimensional dialect of the dataflow language Lucid. A Lucid program is a set of equations defining a family of multidimensional datasets; each data set being a collection of data points indexed by coordinates in a number of dimensions. Every variable in a Lucid program denotes one such dataset, and they are defined in terms of input and transformations applied to other variables. In general, not every dimension is relevant in every data set. It is very important not to include irrelevant dimensions because otherwise you have the same data duplicated with different values of the coordinates in the irrelevant dimension. In most multidimensional systems it is the programmer’s responsibility to exclude irrelevant dimensions and to keep track of changes in dimensionality that result from transformations. In other words, DA is performed manually. In Lucid, however, we have an alternative, namely automated DA. Static program analysis allows us to calculate or estimate the dimensionality of program variables. This is the goal of our research. We use an iterative algorithm that computes a series of approximation that settle down after a few steps. The algorithm is a first step towards the most general case; it does not yet handle local dimensions and user defined transformations. --- SPEAKER - Monem Shennat PhD student @University of Victoria, searching Dimensional Analysis for Data-flow programming Monem is studying at the Department of Computer Science in University of Victoria, working on Dimensional Analysis for Data-flow Programming for my research, and interested in analyzing and visualizing datasets. --- Lambda Days Website: https://www.lambdadays.org​ Twitter: https://twitter.com/LambdaDays​

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​ --- Curious properties of latency distributions by Michał J. Gajda ABSTRACT We propose modeling of capacity insensitive distributed systems with latency distributions. We can use a latency of a single packet, and application model to get the latency of the given outcome. Using algebra of latencies we show how to efficiently computate these distributions and evaluate simple distributed systems like broadcast, or n-out-of-k majority voting. It is all implemented and illustrated by Haskell code. OBJECTIVES: Latency modeling is cheap and easy way to model performance of distributed systems. AUDIENCE: Designers of distributed systems in general: whether they are web apps, cryptocoins or swarms of Kubernetes services. --- SPEAKER - Michał J. Gajda Science-based solutions Michał got PhD in structural bioinformatics pipelines, and after two postdocs in top research facilities moved on to use his expertise of data analysis platforms in commerce. After a stint in a bank, and fintech startup, he founded his own company. --- Lambda Days Website: https://www.lambdadays.org​ Twitter: https://twitter.com/LambdaDays​

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​ --- A UML equivalent for functional programming by Yusuf Motara ABSTRACT There is currently no way to model the high-level structural design of a functional system, so just communicating about that design with dysfunctional (or OO-only) programmers is difficult. One solution is to find a modelling notation that everyone can use. But the history of UML shows that this must be done very carefully, or the results can be ... sub-optimal. This talk is about modelling and functional programming and history and language and even a little mathematics, but also about the meaning of meaning and making things as clear as possible (but no clearer). OBJECTIVES: Getting people to think about why we don't have a modelling language, and why we might want one designed by ourselves AUDIENCE: People who are interested in broadening the applicability of functional programming and making it easier to use for businesses and organizations. --- SPEAKER - Yusuf Motara Trying to make functional programming as accessible as possible Dr Yusuf Motara is a senior lecturer at Rhodes University, South Africa. His interest in teaching and using functional programming led him to consider how the functional paradigm could be made more accessible to both programmers and non-programmers, which accounts for his current interest in both modelling and gamification. Other research interests include computer science education and software development. --- Lambda Days Website: https://www.lambdadays.org​ Twitter: https://twitter.com/LambdaDays​

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​ --- Effective Programming in OCaml by KC Sivaramakrishnan ABSTRACT Effect handlers have been gathering momentum as a mechanism for modular programming with user-defined effects. Effect handlers allow for non-local control flow mechanisms such as generators, async/await, lightweight threads and coroutines to be composably expressed. The Multicore OCaml project retrofits effect handlers to the OCaml programming language to serve as a modular basis of concurrent programming. In this talk, I will introduce effect handlers in OCaml, walk through several examples that illustrate their utility, describe the retrofitting challenges and how we overcome them without breaking existing OCaml code. Our implementation imposes negligible overhead on code that does not use effect handles and is efficient for code that does. Effect handlers are slated to land in OCaml after the addition of parallelism support. --- SPEAKER - KC Sivaramakrishnan Professor & Hacker at IIT Madras leading the Multicore OCaml project. KC Sivaramakrishnan is an Assistant Professor in the Computer Science and Engineering department at Indian Institute of Technology, Madras. He works on the intersection of Programming Languages and (Concurrent, Parallel, Distributed) Systems, applying the rigour of functional programming to engineer robust systems. He leads the Multicore OCaml project which brings native support for the concurrency and parallelism to OCaml. --- Lambda Days Website: https://www.lambdadays.org​ Twitter: https://twitter.com/LambdaDays​

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​ --- A Bricklayer-Tech Report by Victor Winter ABSTRACT AUTHORS: Victor Winter, Hubert Hickman, Isabella Winter Bricklayer is an educational ecosystem whose focus is on the development of visuospatial, mathematical, and computational abilities foundational to computer science. This talk gives an updated report on the core (Ed)Tech elements comprising the Bricklayer educational ecosystem. OBJECTIVE: To inform interested parties of freely available EdTech suitable for CS education AUDIENCE: Introductory CS Education --- SPEAKER - Victor Winter Creator of Bricklayer and the general-purpose transformation system TL Victor Winter is a full professor in the Department of Computer Science at the University of Nebraska-Omaha and the creator of Bricklayer. His area of expertise is programming languages. Within this area Dr. Winter has a particular interest in formalisms and frameworks that enable the description of computation in a manner that facilitates understanding as well as various forms of analysis. This interest includes, (1) verification – the informal and formal reasoning about properties of programs, and (2) validation – the manual and automated construction of tests to increase confidence in the behavior of a system. --- Lambda Days Website: https://www.lambdadays.org​ Twitter: https://twitter.com/LambdaDays​