Видео

Podcast episode generated by NotebookLM from the text of the Unsafe Impedance: Safe Languages and Safe by Design Software paper, written by Lee Barney and Adolfo Neto dl.acm.org/doi/10.1145/3677995.3678196 #programming #safety #elixir

#Elixir #Erlang #BEAM I went to Code BEAM America 2022 codebeamamerica.com/archives/CBA_2023/index.html (you can watch my talk with Lucas Tavano here ruclips.net/video/zvS1Uj3_UTE/видео.html ) and interviewed Dave Lucia, CTO & Co-Founder at TV Labs. You can find Dave (David Lucia) at: www.linkedin.com/in/david-lucia-a395441b/ Dave's talk is published at Accessible Time Series data with Timescal...

#Elixir #Erlang #BEAM I went to Code BEAM America 2022 codebeamamerica.com/archives/CBA_2023/index.html (you can watch my talk with Lucas Tavano here ruclips.net/video/zvS1Uj3_UTE/видео.html ) and interviewed Lee Barney, a Professor of Computer Science at BYU-Idaho www.byui.edu/. You can find Lee at: www.linkedin.com/in/barneylee www.byui.edu/directories/lee-barney A case study of using FP and ...

This short video was recorded for 10 Years of Elixir An event that celebrated the tenth anniversary of the Elixir programming language. May 24th, 2022 13:00 UTC-3 adolfont.github.io/service/events/10YearsOfElixir/

How did Nicole Novielli become interested in Human Aspects of Software Engineering?

In this episode, Professor Adolfo Neto interviews Nicole Novielli, Associate Professor at the University of Bari, about the role of emotions in software engineering. Transcription: dev.to/adolfont/transcription-for-emotions-in-software-engineering-with-nicole-novielli-5e76 Nicole Novielli's page at the Collaborative Development Group - CDG collab.di.uniba.it/nicole/ DBLP profile dblp.org/pid/09...

The program is here lean-lang.org/functional_programming_in_lean/hello-world/running-a-program.html#anatomy-of-a-greeting Previous video ruclips.net/video/ywBsvy4MxSc/видео.html

I recorded a video about Lean ( "An introduction to Lean 4, a functional programming language") in 19/11/2021! It is very popular on my channel. That's why, in this video, I update my vesion of Lean. My plan is to record more videos related to functional programming in Lean. I am using this book.lean-lang.org/functional_programming_in_lean/title.html

In this episode, Professor Adolfo Neto interviews Alexander Serebrenik about diversity and inclusion in software engineering. Alexander begins by sharing his journey into computer science and what motivated him to focus on Social Software Engineering. The conversation highlights the importance of diversity and inclusion, with Alexander explaining how these topics are crucial for fostering innov...

In this episode of the Professor Adolfo Neto podcast, Professor Adolfo Neto interviews Brittany Johnson-Matthews, an Assistant Professor in the Department of Computer Science at George Mason University. Brittany, who directs the INSPIRED Lab, shares insights from her research in Software Engineering. The interview begins with Brittany discussing her academic journey, including her Bachelor's de...

Inside the Scheme Workshop 2024 with Kris Micinski

Elixir Adoption: What can we do?

An interview with Herminio Torres at Code BEAM America 2022

Erlang Workshop, Erlang, and OTP with Kiko Fernandez-Reyes

Empowering Learning: Peter Ullrich's Journey from Psychology to Indie Courses

Elixir Enthusiasm: Insights from Senior Software Engineer Eduardo Borsa

Exploring Erlang, Elixir and Beyond: A Conversation with Professor Laura Castro

An interview with Sophie DeBenedetto at Code BEAM America 2022

An interview with Mackenzie Morgan at Code BEAM America 2022

Elixir, Education, and Beyond: A Conversation with Rickson Oliveira, Software Engineer at ateliware

An interview with Carlo Gilmar at Code BEAM America 2022

Learning Elixir with ELXPRO - Gustavo Oliveira

Try Lean on your browser

There is no partial application in Elixir! Nor in Haskell!

How to install Livebook on Hugging Face

Why I think the dot before a variable containing a function is not a problem in Elixir

Functions can now be defined directly in the shell! - Erlang/OTP 26

p5.js inside Livebook

Acive Cells on Elixir's Livebook