Adolfo Neto articles - 50 total
Lean won the SIGPLAN Programming Languages Software Award 2025
Great news!!! Lean won the "SIGPLAN Programming Languages Software Award 2025". SIGPLAN is The ACM...
The Elixir Pipe Operator
The Elixir pipe operator (|>) is beautiful. How do you use it? Imagine you have a data structure...
Who's Still Podcasting About Elixir? (May 2025 Edition)
I am writing this post on May 23, 2025. First, let me define what I mean by an active podcast: one...
The original motivation for creating Lean was software verification
"The main motivation, the original motivation for (creating) Lean was in software verification,...
Next Fronteiras Interview: Daniel Feitosa on Technical Debt Management
Next week, on May 12th, 2025, we are going to interview Daniel Feitosa, a Brazilian Software...
Tidewave: Connecting Web Apps to AI-Powered Development
José Valim recently introduced Tidewave, a new tool designed to connect web applications with editors...
Do you use LLMs? And some podcast recommendations
Right now, I am using LLMs to (a few examples): Translation Given the transcript and/or script of...
Unsafe Impedance: Safe Languages and Safe by Design Software, by Lee Barney and Adolfo Neto
Arxiv++ AI-Generated Summary Arxiv link for Unsafe Impedance: Safe Languages and Safe by...
Behind the Code: Highlights from Elixir Curitiba 2024 and Future Visions
Organizing and participating in Elixir Curitiba 2024 was an enriching experience, and I’d like to...
Brazilian Conference on Software: Brazilian Symposium on Programming Languages, by Dalvan Griebler
PUC-PR hosted CBSoft 2024 from September 30 to October 4, and I had the opportunity to organize the...
The Emotional Side of Software Development: Key Insights from Nicole Novielli at CBSoft 2024
This post was generated by ChatGPT. At the Brazilian Conference on Software: Practice and Theory...
Two new Elixir-related papers at the 28th Brazilian Symposium on Programming Languages
I attended the Brazilian Symposium on Programming Languages, where two papers related to Elixir were...
Elixir Curitiba 2024
🇺🇸 This text will be in Portuguese Olá, Acredito que a maioria de nós sabe que Elixir é uma...
Transcription for Emotions in Software Engineering, with Nicole Novielli
ADOLFO NETO: Hi, everyone. I am Adolfo Neto, a professor at the Federal University of...
Exploring Emotions in Software Engineering: An Interview with Nicole Novielli
In the latest episode of the Professor Adolfo Neto podcast, I had the pleasure of interviewing Nicole...
Lean FRO's First Year: Advancing Formal Methods in Software Engineering
As software engineers, we're always on the lookout for tools and technologies that can enhance our...
Promoting Diversity and Inclusion in Software Engineering, with Alexander Serebrenik
Introduction This interview with Professor Alexander Serebrenik provides insights into...
Insights into Ethics in Software Engineering: A Conversation with Brittany Johnson-Matthews on the Professor Adolfo Neto Podcast
In this episode of the Professor Adolfo Neto podcast, Professor Adolfo Neto interviews Brittany...
Erlang Workshop 2024 - Call for Papers
23rd Edition of the Erlang Workshop Monday 2nd September 2024, Milan, Italy A satellite workshop of...
Learning Elixir with ELXPRO - Gustavo Oliveira
In this episode of the Professor Adolfo Neto podcast, join me, Adolfo, as we sit down with Gustavo...
A livebook for the basics of processes in Elixir
The basics of processes in Elixir Examples All you have to do is to open a...
The “let it crash” error handling strategy of Erlang, by Joe Armstrong
This post was motivated by this tweet: Buy Luciano Ramalho's Fluent Python: Clear, Concise, and...
For, Map and Reduce in Elixir
Introduction One of the students in my Introduction to Functional Programming course...
How to start programming in Elixir?
A common question among people who discover the existence of the Elixir programming language, created...
Learn4Elixir - Chapter 1 (in Portuguese)
Learn more about Learn4Elixir.
Software Security with Laurie Williams
This is a bit off-topic, but I am the coordinator and co-host of the Fronteiras da Engenharia de...
Static Typing in Elixir
I am not a big fan of static typing. Or, rather, I am not someone who prefers static typing. (Read...
Bogosort: The Stupid Sorting Algorithm
Sorting algorithms are fundamental to computer science and play a crucial role in various...
Contract work in software development
Dave Lucia, a well known person in the Elixir community of practice, posted this tweet: ...