🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Thanks Claude #ElixirLang

Entrevistamos Genaína Rodrigues no Fronteiras da Engenharia de Software. Tema: Engenharia de missões robóticas Mais de 700 visualizações (o algoritmo do YouTube está recomendando) Assista em youtu.be/qghdjPnVxW4 cc @fronteirases Emílias - Armação em Bits

SE4FP 2025 | 1st Workshop on Software Engineering for Functional Programming Submit your paper by June 20th! bit.ly/3EXqu2J Part of CBSoft 2025

Community + Ecosystem

Maurício Aniche Maurício Aniche fala sobre Testes em Escala youtube.com/live/rSKMkF0K0… Entrevistador: Marcos Kalinowski, co-chair do ICSE Os dois estiveram no Fronteiras da Engenharia de Software

📝 New article: "Predicting the Truck Factor in a Software Repository Using Machine Learning"" by Ahmed El Cheikh Ammar, Sukru Eraslan, and Yeliz Yesilada 👉 Get your copy at authors.elsevier.com/a/1l4hf3O8rCo9… #truckfactor #busfactor #keydevelopers

The war on science in the US is already affecting private sector research like AlphaFold. Bears repeating but the private sector builds on top of things created by academic research for the public good. This hurts everyone.

Incredible lineup ahead for Elixir Mentor! 🚀 Brian Cardarella | bcardarella.bsky.social on adoption, 𝑨𝒏𝒅𝒓𝒆𝒘 𝑺𝒕𝒆𝒘𝒂𝒓𝒕 🇵🇸 & Daniel Bergholz vibe coding with AI, ElixirFixer - also known as Greg! on career trends, Ash creator Zach Daniel | zachdaniel.bsky.social on Ash AI, Mike H (eboss/acc) on AI agents, then live coding with Zach Daniel | zachdaniel.bsky.social!

🔥 Google DeepMind just dropped their "formal conjectures" project - formalizing statements of math's biggest unsolved mysteries in #LeanLang and #Mathlib! This Google-backed project is a HUGE step toward developing "a much richer dataset of formalized conjectures", valuable

Continua atual? Algoritmos de destruição em massa: Como o Big Data aumenta a desigualdade e ameaça a democracia Capa comum – 6 julho 2021 amzn.to/453MPq9

Codecon Summit 18 e 19 de julho de 2025 Curitiba-PR bit.ly/CodeconSummit

Uma bobagem tremenda, mas inofensiva. Bem diferente de dar golpe (Temer, Aécio, Bolsonaro), matar 400 mil ou mais (Bolsonaro, Trump I), desrespeitar toda e qualquer lei (Trump II), praticar genocidio (vocês sabem). Não tem escolha difícil. A escolha é muito fácil.

Can Lean cure hallucination machines?

9th Conference on Information Systems in Latin America bit.ly/3Hczz8v

What Needs Attention? Prioritizing Drivers of Developers’ Trust and Adoption of Generative AI RUDRAJIT CHOUDHURI Bianca Trinkenreich, Ph.D. Rahul Pandita EIRINI KALLIAMVAKOU Igor Steinmacher MARCO GEROSA CHRISTOPHER A. SANCHEZ ANITA SARMA arxiv.org/abs/2505.17418