iiinova — where your digital self keeps evolving

Reposted by SE4FP Workshop

Lucas Vegi @lucasvegi.bsky.social · 18/08/2026

🚨 Quer fazer uma lightning talk no SE4FP 2026? Estamos recebendo propostas de palestras de até 10 minutos sobre Programação Funcional! 🚀 📅 08/09/2026, a partir das 14h 📍 IME-USP — São Paulo ⏰ Submissões até 19/08, às 10h 👉 Formulário: forms.gle/zHs3iSh5ibuE... #ElixirLang

022

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 05/05/2026

Hoje às 18h00 (horário de Brasília, UTC-3) começa o Esquenta @se4fp.github.io, parte da divulgação do SE4FP e do @cbsoft.bsky.social Além dos Paradigmas de Programação, Luciano Ramalho @ramalho.org (Esquenta SE4FP 2026) Link: youtube.com/live/PIQhsBb...

youtube.com

Além dos Paradigmas de Programação, Luciano Ramalho (Esquenta SE4FP 2026)

YouTube video by Elixir em Foco

086

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 02/06/2026

Sobre a manutenção de testes de grande escala em Elixir, Lívia Almeida Barbosa (Remote) #SE4FP 2025 @se4fp.github.io www.youtube.com/watch?v=CrIW...

youtube.com

Sobre a manutenção de testes de grande escala em Elixir, Lívia Almeida Barbosa (Remote) #SE4FP 2025

YouTube video by Elixir em Foco

011

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 02/06/2026

Coloque na agenda! Na próxima segunda, 08/06 14h00, teremos João Brunet falando sobre pesquisa em engenharia de software para programação funcional no Esquenta SE4FP @se4fp.github.io se4fp.github.io/2026/#esquenta github.com/joaoarthurbm sigaa.ufcg.edu.br/sigaa/public...

se4fp.github.io

SE4FP 2026 | 2nd Workshop on Software Engineering for Functional Programming

SE4FP aims to bring together academics and industry professionals to share and discuss experiences, best practices, tools, and research on applying software engineering principles to systems developed...

022

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 03/06/2026

Esquenta SE4FP: Entendendo, Detectando e Refatorando Code Smells em Clojure, João Brunet (UFCG) 08/06 14h00 ao vivo www.youtube.com/watch?v=I9-j... @se4fp.github.io

youtube.com

Esquenta SE4FP: Entendendo, Detectando e Refatorando Code Smells em Clojure, João Brunet (UFCG)

YouTube video by Fronteiras da Engenharia de Software

011

SE4FP Workshop @se4fp.github.io · 03/06/2026

🔥 O Esquenta SE4FP está de volta! 📚 08/06, 14h: João Arthur Brunet (UFCG) apresenta "Entendendo, Detectando e Refatorando Code Smells em Clojure". Pesquisa com o Nubank que replica e estende para Clojure o trabalho sobre code smells em Elixir. www.youtube.com/watch?v=I9-j... #Clojure #CodeSmells

011

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 08/10/2025

Proceedings of the Workshop on Software Engineering for Functional Programming (SE4FP) @se4fp.github.io bit.ly/SE4FP_Procee...

bit.ly

Anais do Workshop em Engenharia de Software para Programação Funcional (SE4FP)

021

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 22/09/2025

Entre os patrocinadores do @cbsoft.bsky.social, mais especificamente do @se4fp.github.io, estão três empresas/organizaçōes do ecossistema de Erlang: - Dashbit - Erlang Ecosystem Foundation @theerlef.bsky.social - Erlang Solutions @erlangsolutions.bsky.social

062

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 23/09/2025

Começa o @se4fp.github.io com Paulo Valente!

091

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 23/09/2025

Lívia Barbosa @liviaab.bsky.social da Remote ministrando palestra agora no @se4fp.github.io

092

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 23/09/2025

Casa cheia na primeira edição do @se4fp.github.io !

051

Reposted by SE4FP Workshop

Fronteiras da Engenharia de Software @fronteirases.bsky.social · 20/09/2025

Nosso episódio com Marco Túlio Valente (UFMG), autor de Engenharia de Software Moderna e Co-Chair do @se4fp.github.io no @cbsoft.bsky.social @adolfont.github.io @redeemilias.bsky.social open.spotify.com/episode/0BuG...

open.spotify.com

Engenharia de Software Moderna, com Marco Tulio Valente (UFMG)

Spotify video

054

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 02/09/2025

The recording of "From Python to Erlang and Elixir, Mackenzie Morgan - Esquenta SE4FP" is at www.youtube.com/watch?v=ZuA5... #ElixirLang @se4fp.github.io @cbsoft.bsky.social

youtube.com

From Python to Erlang and Elixir, Mackenzie Morgan - Esquenta SE4FP

YouTube video by Fronteiras da Engenharia de Software

092

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 09/09/2025

Os episódios recentes do Elixir em Foco que vieram de palestras do Esquenta @se4fp.github.io já estão em www.elixiremfoco.com/episodios

elixiremfoco.com

Elixir Em Foco · Portal

021

Reposted by SE4FP Workshop

Erlang Ecosystem Foundation @erlef.org · 10/09/2025

📢 The 1st Workshop on Software Engineering for Functional Programming (@se4fp.github.io) is around the corner! A space for academia & industry to share best practices, tools, and research on functional programming systems. 🔗 se4fp.github.io/2025/

se4fp.github.io

SE4FP 2025 | 1st Workshop on Software Engineering for Functional Programming

011

SE4FP Workshop @se4fp.github.io · 29/08/2025

We’re thrilled to announce our third and final sponsor for #SE4FP2025: the Erlang Ecosystem Foundation (EEF)! -- @theerlef.bsky.social Their support is essential to make our very first edition possible. Thank you, EEF, for believing in this initiative! #Erlang #ElixirLang #FunctionalProgramming

011

SE4FP Workshop @se4fp.github.io · 24/08/2025

🔥 Temos novidade! O keynote de abertura já está confirmado. 🎤 Paulo Valente vai falar sobre: 👉 "Como a Programação Funcional Transforma o Design de Sistemas" 🧵 Segue o fio com os detalhes 👇

162

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 06/08/2025

Hoje tem Esquenta @se4fp.github.io. Teremos, às 16h00, palestra com Nelkisa Matias sobre Clojure. Ela é Engenheira de Software no Nubank (provavelmente a empresa mais famosa no mundo a usar Clojure). Se quiser receber o link, inscreva-se em forms.gle/NoQw2XHuGs7c...

forms.gle

🇧🇷 Inscrição no Esquenta SE4FP -- 🇬🇧 Registration for the SE4FP Warm-up

SE4FP: https://se4fp.github.io/2025/ 🇧🇷 O Esquenta SE4FP é uma série de palestras online gratuitas, em inglês ou em português, com temas relacionados à Engenharia de Software para Programação Funcio...

022

SE4FP Workshop @se4fp.github.io · 06/08/2025

🎙️ Our last roundtable guest is João Brunet, professor & researcher at UFCG! 👨‍🏫 He works with NuBank, IBM & the Federal Police to understand how devs work and support them through SE research. 🔍💻 He'll share insights from his work with Clojure at NuBank — and visions for the future! 🚀 #CBSoft #Clojure

011

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 01/08/2025

"ERLDA: Explorando Concorrência e Resiliência com SEDA em Erlang" by Fernando Areias and me. Accepted at @se4fp.github.io

041

Reposted by SE4FP Workshop

CBSoft 2026 @cbsoft.bsky.social · 01/07/2025

A programação do CBSOFT está em cbsoft.sbc.org.br/2025/cbsoft/...

Na segunda-feira pela manhã, teremos: LATAM School, CBSoft Ensino Médio, VEM, AIWARE Latam, WBots e SAST.

Na segunda-feira à tarde, teremos: LATAM School, Trilha da Indústria, VEM, AIWARE Latam, MSSiS e SAST.

Na terça-feira pela manhã, teremos: LATAM School, Trilha da Indústria, ISE, SRLM@70: Celebrando a Carreira de Silvio Meira e SE4FP e SBCARS.

Na terça-feira à tarde, teremos: LATAM School, Trilha da Indústria, SE4Games, SRLM@70: Celebrando a Carreira de Silvio Meira, SEDT e SBCARS.

Na quarta-feira, teremos: SBES, SBLP e ROSE Festival.

Na quinta-feira, teremos: SBES, SBLP, CTIC e CTD.

Na sexta-feira, teremos: SBES e SBLP
.

042

SE4FP Workshop @se4fp.github.io · 28/07/2025

🚀 We’re excited to announce @erlangsolutions.bsky.social as a Bronze sponsor of #SE4FP! 🌍 A global leader in technologies like #Erlang, #Elixir, and #RabbitMQ, Erlang Solutions helps build scalable, reliable, and fault-tolerant systems. Thank you for supporting our community in Brazil!

223

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 15/07/2025

We will have a Gleam talk at Esquenta @se4fp.github.io

041

SE4FP Workshop @se4fp.github.io · 04/07/2025

📢 Last chance! The SE4FP 2025 paper registration and submission deadline has been extended to July 11 (Friday)! ⚠️ This is the hard deadline – no further extensions! 🚀 JEMS: jems3.sbc.org.br/se4fp2025 #SE4FP2025 #CBSoft2025 #CFP #FunctionalProgramming #SoftwareEngineering

031

SE4FP Workshop @se4fp.github.io · 01/07/2025

❗To attend SE4FP 2025, you must register for CBSoft 2025 (@cbsoft.bsky.social)! Your registration gives access to the full program — including our workshop. 🔗 cbsoft.sbc.org.br/2025/inscric... #SE4FP #CBSoft2025 #FunctionalProgramming #SoftwareEngineering

032

SE4FP Workshop @se4fp.github.io · 27/06/2025

This video is a great example of using functional programming features in a non-functional language. Elegant in some cases, questionable in others — but definitely insightful for those exploring multi-paradigm programming. www.youtube.com/watch?v=ylzo... 👀Are you preparing your paper for #SE4FP?

youtube.com

Let’s Replace All For Loops With Map and Filter

YouTube video by ArjanCodes

021

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 21/06/2025

Vinte pessoas já disseram que querem participar do Esquenta @se4fp.github.io, que começa nesta quarta com uma palestra sobre a linguagem de programação funcional e provador de teoremas Lean forms.gle/8Tgkugj5HSQ6...

forms.gle

Inscrição no Esquenta SE4FP

O Esquenta SE4FP é uma série de palestras online gratuitas, em inglês ou em português, com temas relacionados à Engenharia de Software para Programação Funcional. Embora as linguagens de programação f...

032

SE4FP Workshop @se4fp.github.io · 19/06/2025

🔥 We're excited to launch Esquenta SE4FP 2025! A series of free online talks (in 🇧🇷Portuguese or 🇬🇧English) on topics related to Software Engineering for Functional Programming, leading up to the in-person SE4FP workshop at #CBSoft2025. 🧵👇

121

SE4FP Workshop @se4fp.github.io · 19/06/2025

📢 Deadline extended! SE4FP 2025 just got 2 extra weeks! 🎉 🗓️ New dates: 📌 Paper registration: July 4 📌 Paper submission: July 11 se4fp.github.io/2025/#call-f... Time to polish your work and submit! 💻 #SE4FP #CBSoft #CallForPapers #SoftwareEngineering #FunctionalProgramming #CFP

021

SE4FP Workshop @se4fp.github.io · 13/06/2025

Let’s go, everyone! The deadline is approaching, but there’s still time to submit!: se4fp.github.io/2025/ #ElixirLang #SoftwareEngineering #FunctionalProgramming #CBSoft2025

042

SE4FP Workshop @se4fp.github.io · 09/06/2025

🚀 We're excited to welcome Dashbit (dashbit.co) as a Bronze Sponsor of SE4FP! Co-founded by @josevalim.bsky.social, Dashbit drives Elixir adoption in production and invests heavily in open source projects like Elixir, Ecto, Nx, and Broadway. 💜 #SE4FP #ElixirLang #OpenSource

0102

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 01/06/2025

Você já está preparando seu artigo da indústria, ou científico, para o @se4fp.github.io? Vai ser no @cbsoft.bsky.social #ElixirLang #Clojure open.spotify.com/episode/3zyk...

open.spotify.com

SE4FP e Gambiconf

Elixir em Foco · Episode

022

SE4FP Workshop @se4fp.github.io · 28/05/2025

🔥 Hey everyone, we’ve got exciting news! Our first speakers and roundtable guests are announced on the #SE4FP website — and it's a stellar lineup! ⭐ Curious? Check them out and let us know what you think 👇 🔗 se4fp.github.io/2025/#speakers #ElixirLang #SoftwareEngineering #FunctionalProgramming

141

SE4FP Workshop @se4fp.github.io · 20/05/2025

Hey folks! Hope you don't mind if I switch to Portuguese for a moment. 🇧🇷🙂 🎙️ O podCast Fronteiras da ES publicou um vídeo sobre o SE4FP, explicando seus objetivos, chamada de trabalhos (call for papers) e formas de patrocínio! Confira no link a seguir: www.youtube.com/watch?v=IxeU...

youtube.com

Extra: SE4FP e Gambiconf

YouTube video by Fronteiras da Engenharia de Software

034

SE4FP Workshop @se4fp.github.io · 20/05/2025

🔔 Exciting news from SE4FP! 🔔 Remember two weeks ago when I said our program committee was being formed? Well… it’s now official: the full committee is confirmed! ✅ 👉 Check out the complete list of amazing reviewers on our website: se4fp.github.io/2025/#call-f... #ProgramCommittee

se4fp.github.io

SE4FP 2025 | 1st Workshop on Software Engineering for Functional Programming

000

Reposted by SE4FP Workshop

Camilo de Azevedo @camilotk.ulivre.dev · 14/05/2025

Se você tem interesse em Programação Funcional, acompanhe o perfil do @se4fp.github.io aqui. Se você trabalha em uma empresa que usa Programação Funcional considere falar sobre o Workshop lá, eles aceitam trabalhos da Indústria também.

162

SE4FP Workshop @se4fp.github.io · 12/05/2025

🚀 SE4FP is a new non-profit event focused on Software Engineering for Functional Programming! Our 1st edition is coming in 2025 — and we want you with us. Check out our sponsorship plans and help shape this community from day one: 1drv.ms/p/c/0237b41b... #SE4FP2025 #CBSoft2025 #ElixirLang

021

SE4FP Workshop @se4fp.github.io · 02/05/2025

So, what programming languages are accepted at SE4FP? 🧐 Spoiler: it’s not just functional languages! Papers can use functional or multi-paradigm languages (like Python, JS, Java, Rust...) as long as they focus on functional features like immutability, pure functions, etc. 💡 #CBSoft2025 #SE4FP

0114

SE4FP Workshop @se4fp.github.io · 01/05/2025

🚨 I think I forgot to mention this here... Did you see that the page limit for our industry papers has increased? Yes! Now you can submit up to 4 pages (3 for content + 1 for refs)! More space to share your experiences with functional programming languages in the industry! #SE4FP2025 #CBSoft2025

022

SE4FP Workshop @se4fp.github.io · 30/04/2025

👀 Curious to know who will be reviewing the papers submitted to SE4FP? Well… we've already started announcing some of the names on our program committee on the official website! se4fp.github.io/2025/#call-f... More names will be revealed in the coming weeks! #SE4FP2025 #ProgramCommittee #Reviewers

011

Reposted by SE4FP Workshop

Adolfo Neto @adolfoneto.elixiremfoco.com · 30/04/2025

Maybe someone could write a paper evaluating Tidewave for @se4fp.bsky.social José Valim recently introduced Tidewave, a new tool designed to connect web applications with editors and AI agents: Tidewave dev.to/adolfont/tid...

dev.to

Tidewave: Connecting Web Apps to AI-Powered Development

José Valim recently introduced Tidewave, a new tool designed to connect web applications with editors...

041