Hurrah! Lean really rocks! :)

Blog post dev.to/adolfont/insights-into-ethics-in-software-engineering-a-conversation-with-brittany-johnson-matthews-on-the-professor-adolfo-neto-podcast-56kk

Idk unc

31:03 Ahrefs RU-vid channel ru-vid.com

30:50 The 1-Page Marketing Plan: Get New Customers, Make More Money, And Stand Out From The Crowd (Lean Marketing) amzn.to/44nHbMZ

30:35 Traction: Get a Grip on Your Business amzn.to/44np3D9

30:18 The Mom Test: How to Talk to Customers & Learn If Your Business Is a Good Idea When Everyone Is Lying to You amzn.to/4aY55kI

Congrats professo!!

Actually, I recorded this episode before the episode with Laura Castro ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-m1RgrdTF5B8.htmlsi=pooUR5XBIAqIAlos. In both cases, I had already met the people interviewed before interviewing them virtually.

*Promo SM* 😞

you saved me big time ......i have struggled with installation but its now configured properly ....thanks mate

The best software engineer ❤ haha

It was an honor Adolfo, thanks again for having me!

On Spotify open.spotify.com/episode/1OhfkwGHfUgT6aJl9cby2w

Thank you for your interview 😁

0:47 What sparked Gustavo's interest in Computer Science?

1:08:37 We put our effort on generating interesting data.

1:05:06 oneof and frequency

~35:00 Property-Based Testing with PropEr, Erlang, and Elixir Find Bugs Before Your Users Do by Fred Hebert pragprog.com/titles/fhproper/property-based-testing-with-proper-erlang-and-elixir/

35:20 PropEr hexdocs.pm/proper/

33:11 PropCheck documentation hexdocs.pm/propcheck/readme.html

20:30 In Elixir, if you document your code, you get free tests.

12:04 The Erlang Movie ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-BXmOlCy0oBM.html

4:59 The meaning of Let it Crash

7:35 No defensive programming

💜 I LOVE LEAN 💜

This is awesome!

LEMN

Is Lean in the same class of things like Coq, Idris, etc? I'm completely new to these things and the most "formal" language Ive used is haskell. But this paradigm of programming is so fascinating

A better version of factorial live.lean-lang.org/#code=%23eval%203%0A%23check%203%0A%0Adef%20factorial%20(n%3A%20Nat)%20%3A%20Nat%20%3A%3D%0A%20%20match%20n%20with%0A%20%20%7C%20Nat.zero%20%3D%3E%201%0A%20%20%7C%20Nat.succ%20x%20%3D%3E%20n%20*%20factorial%20(x)%0A%0A%0A%23eval%20factorial%2010%0A%0A%23eval%20factorial%20100%0A%0Adef%20a_value%3A%20Int%20%3A%3D%20123%0A%0A%23eval%20factorial%20a_value

Então uma função n-ária em Haskell na verdade retorna outra função que aceita n-1 argumentos? É como se elas guardassem os argumentos um a um e passassem todos de uma vez para última função que realmente realiza a operação e retona o resultado ?

There is no partial application in Haskell because all functions there have arity zero or 1. There is no partial application in Elixir because if you have a function with arity n, you must pass all n arguments. And I am not counting "default" parameters, cause they are just syntactic sugar.

install elixir pake asdf pusing, mudah-mudahan gak sampe wasir, wkwkwkwk

Whoa, Adolfo! Haven't seen you for ages!

"uh yes, I can do this, move this here, o yess, i can do that, uh latest erlang version, yes, umm this"

muito massa