Adolfo Neto
@adolfont
Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.
Anyone in my network interested in a few hours of paid contracting on Multi-node Elixir and Gen Servers? CTO I know is looking for some help, happy to connect. #elixir
I have to admit the best tweet I have seen so far all year is the guy who had REPLit literally destroy his corporate database in violation of his obvious instructions during an organization-wide code freeze. That is such a motivator for a certain kind of security.....
Love watching @ThePrimeagen get purple pilled with @elixirlang #ElixirLang
Gotta admit… there's nothing quite like the feel of holding a paper copy of your book in your hands. (First time since 2007, haven't done new printing version since.) And color print-on-demand has gotten remarkably affordable, so price unchanged (just drop royalty a bit).
Maravilhosa explicação do projeto SPIRA e comemoração do centésimo episódio do melhor podcast de IA do Brasil, Top 10 do mundo open.spotify.com/episode/302Bft…
Which is the most famous example of recursion? Factorial, Fibonacci or other?
We need #ElixirLang and #LeanLang
The field of software verification (tests, code reviews, Q&A, type systems, formal verification, etc) will require new development and practices over the coming years and folks have not being paying enough attention to it (except for code reviews). PS: Having AI write and run…
It's the Summer of @elixirlang
São 9 disciplinas híbridas. Se você se inscrever, diga que viu aqui no X na minha conta. Ajuda-nos a saber como funciona a divulgação.
Dá pra fazer um test-drive do PPGCA (Mestrado Profissional em Computação Aplicada da UTFPR Curitiba). As disciplinas híbridas são 100% online para quem é externo (não aluno regular ou especial do mestrado) utfpr.edu.br/cursos/coorden…
Você pode "testar" o Mestrado Profissional em Computação Aplicada (PPGCA) da UTFPR Curitiba fazendo uma disciplina híbrida. Pra quem é aluno externo, é 100% online. Basta se candidatar no link (procure por Preencha o formulário) até 4/8. Vagas limitadas. bit.ly/3UAOmx7
Dá pra fazer um test-drive do PPGCA (Mestrado Profissional em Computação Aplicada da UTFPR Curitiba). As disciplinas híbridas são 100% online para quem é externo (não aluno regular ou especial do mestrado) utfpr.edu.br/cursos/coorden…
Você sabe o que é COMUT? Já usou? A @garotasemfio sabe e mencionou aqui pca.st/episode/bcbda7…
New paper! Exploring developer experience factors in software ecosystems The authors provide recommendations for practitioners about how to use the set of DX factors to deal with the concerns for DX in SECO. bit.ly/45imBQ9
July 30 ACM-SIGSOFT Talk, Working with Non-Traditional Subjects; Lessons Learned from Using VR to Help Students with ADHD Focus" with David Shepherd bsky.app/profile/adolfo…
Pesquisa: Expectativas dos Cidadãos sobre Chatbots Governamentais bit.ly/3TUIoag
An under appreciated fact about using formal methods like Lean is that it enables large-scale *collaboration* among mathematicians & potentially future AI agents. Why? Well, you can decompose a large proof into separate components that can be proven independently with robust…
Glad to have our article on factors that affect women participation in software dev teams in software ecosystems based on a field study accepted at the @JSSoftware by @ElsevierConnect with Juliana Outão & Luiz Costa (@UNIRIO_Oficial), @aserebrenik (TU/e) and @eleni_const (UCY) 🚀