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

SE4FP Workshop @se4fp.github.io · 14/10/2025

Eu diria que temos uma chance BEM grande de termos uma segunda edição já em 2026! 🔥

021

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

🚀 Uma palestra imperdível para quem quer repensar a forma de construir software! #ProgramacaoFuncional #ElixirLang #FunctionalProgramming #SoftwareEngineering #DevCommunity

010

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

👨‍💻 Quem é Paulo Valente? - Engenheiro de Software Sênior especializado em Elixir - Atuou na Stone e DockYard - Mantenedor do ecossistema Nx (Numerical Elixir) - Palestrante em eventos como ElixirConf, Code BEAM e LambdaConf

100

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

Usando Elixir, ele explora como o pensamento funcional transforma: ➡️ Fluxo de dados ➡️ Gerenciamento de estado ➡️ Concorrência ➡️ Tratamento de erros ✨ Problemas complexos se tornam simples e elegantes.

100

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

Na palestra, Paulo vai mostrar como os princípios da programação funcional — funções puras, imutabilidade e funções de ordem superior — oferecem uma abordagem totalmente diferente em comparação à OOP.

100

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

💡 E se a forma como pensamos sobre dados, estado e comportamento pudesse mudar completamente a maneira como criamos sistemas de software?

100

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

🎯 The first session is already scheduled! 📣 Sofia Rodrigues (Research Software Engineer at Lean FRO) 🗓️ June 25, 4PM (GMT-3) 💻 Topic: An introduction to the Lean programming language 🔗 lean-lang.org

lean-lang.org

Programming Language and Theorem Prover — Lean

110

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 · 29/05/2025

👀 In case you missed it: @josevalim.bsky.social, @polvalente.social, and Carla Bezerra (UFC) are already confirmed for #SE4FP! Who else will join the lineup? Stay tuned... 🔥 #ElixirLang #SoftwareEngineering #CBSoft2025 #FunctionalProgramming #MyElixirStatus

030