Mambi

Novo podcast da GambiConf acaba de sair! Tivemos uma conversa bem bacana com o @rgsilva.com, desenvolvedor há mais que 10 anos. Falamos sobre diversos assuntos, como automação residencial e cheat para jogos online usando hardware.

🏴‍☠️ Novo patrocinador a bordo: @quint-lang.org ! A Quint é uma linguagem open source de especificação executável. Com ela você descreve o comportamento do sistema e verifica se ele está certo antes que o bug chegue em produção.

Contamos com a parceria da Mente Binária nessa edição! A Mente Binária é uma ONG com a missão de tornar cada vez mais estreita a relação entre as pessoas que buscam conhecimento de base sólida e empregadores que precisam de profissionais de tecnologia 👩🏽‍💻👨🏿‍💻

Você já viu a grade completa da GambiConf? Pela primeira vez, teremos trilhas paralelas! Com o evento crescendo, estamos dando mais espaço para as pessoas apresentarem ideias e projetos diferentes. Assim, você terá ainda mais o que fazer no evento!

Keynote "Guixifying Conta Aberta" por Mário Pinotti Jr. Conheça os experimentos que estamos fazendo, e os passos que estamos tomando, para tornar o Conta Aberta ainda mais transparente através do Guix e de builds reprodutíveis.

Workshop "O Laboratório do Frankenstein Autônomo" por Sergio Lopes e Denis Cruz Rodrigues IAs autônomas podem destruir seu host! Neste lab usaremos Docker Sandboxes e MCP para enjaular agentes. Venha ver uma IA codando um backend do zero, mas com o caos 100% controlado!

Sobre o Sergio Lopes: Engenheiro de Software, Docker Captain, LocalStack Champion, Geek, músico de garagem, gamer e pai. Curto tudo que envolve esse universo maravilhoso e muita música, desde que seja de qualidade.

Talk "Erlang... no MEU microkernel seL4?" por Marcos Benevides O seL4 é um microkernel formalmente verificado, uma obra-prima da computação... até alguém empacotar uma solução caótica com remendos em Nix, Zig, C e LionOS, tudo visando um único objetivo blasfemo: rodar a BEAM.

Workshop "SD-WAN de pobre: OpenWrt, celular e um roteador sobrevivente" por Sergio Cabral Vamos transformar um roteador com OpenWrt em uma contingência caseira de internet: link principal, celular como backup, detecção de queda e failover automático.

Talk "The problem of induction and INSANELY DEPENDENT TYPES" by @TheEduardoRFS As Alonzo Church taught us, functions are data. This talk will show that this is true even with dependent types.

Talk "Camel up: towards Karuta's BEAM" por Eduardo Lemos Karuta é a grande obra de um grupo de nerds frustrados com ideias mirabolantes para uma nova linguagem. Explicaremos a alquimia por trás do nosso compilador: paradigma lógico, Nix, OCaml, LFE, BEAM e microKanren.

Workshop "Cursão de Nix e NixOS" por Marcos Benevides e Victor Freire Cansado de deploys amaldiçoados pelo fantasma do UNIX? Venha aprender como criar infraestrutura declarativa e imutável usando Nix e NixOS!

Sobre o Marcos Benevides: Programador Erlang/F#/OCaml, apreciador de Haskell, entusiasta do PostgreSQL, maximalista de Nix/NixOS

Talk "Yes, your can run your company mostly with PostgreSQL" by Eduardo Bellani Stop adding tools for every problem. See how PostgreSQL handles fintech requirements that "justify" Temporal, Redis, OLAP databases. First principles over hype.

Talk "Como fiz um advergame para GBA com Rust em pleno 2026" por Alexsandro dos Santos Em Janeiro desse ano me desafiei aprender Rust do zero da pior forma possível: Fazendo um jogo de GBA. Agora vamos usar esse jogo como peça de mkt, te conto essa história nessa Palestra!

Painel: Pirataria e Copyright Quem se beneficia (e quem perde) com as regras atuais de copyright? Neste painel, profissionais de tecnologia discutem pirataria, acesso à cultura, remuneração de criadores e os benefícios e malefícios da propriedade intelectual.

O painel será mediado pelo @adrianocamacho.com, editor de conteúdo no @tecmundo.com.br.web.brid.gy Na mesa: Ayub, @lucaslago.projeto7c0.com.br e @coprodu.to Será uma oportunidade única pra dicutirmos diferentes pontos de vista nesse tema bem divisivo Qual a sua opinião sobre pirtaria e copyright?

Talk "Descubra a mágica atrás dos CODECs de vídeos" por Leandro Moreira Entenda de forma gradual o que é um vídeo, o que representa cada componente de baixo nível do mesmo, e porque compressão é necessária e mais importante como é esta é feita de forma didatica.

Workshop "Como resolver um cubo mágico" por Pedro Pires Você já ficou travado num cubo mágico sem saber o que fazer? Neste workshop, você vai aprender do zero a desvendar um dos quebra-cabeças mais famosos do mundo!

Talk "Um Mundo Funcional: Construindo uma Physics Engine em Clojure" por Luana Amorim A talk mostrará o processo de criar simulações físicas em Clojure. Inicialmente introduzindo forças e colisões, em seguida abordando implementação e finalmente mostrando aplicações.

Talk "Enrolator 2000: Enrolando golpe da falsa central com um modem 4G barato e IA" por Danillo Bosco Falsa central na linha? Melhor um golpista sendo enrolado do que fazendo uma nova vítima. O Enrolator 2000 enrola os golpistas com um modem 4G baratinho e IA generativa