Introdução à Linguagem de Especificação Formal Quint | Esquenta SE4FP 2025 com Gabriela Moreira

Neste episódio especial do Elixir em Foco, você confere uma palestra seguida de bate-papo com Nelkisa Matias, Engenheira de Software no Nubank e graduada em Sistemas de Informação pela UNINASSAU, sobre a linguagem de programação funcional Clojure, uma das linguagens que inspiraram a criação de Elixir. O encontro faz parte do Esquenta SE4FP 2025 (Workshop de Engenharia de Software para Programação Funcional), que acontecerá dentro do CBSoft 2025, Além de explorar as bases do Clojure, Nelkisa compartilha exemplos práticos, referências de estudo e o repositório com o conteúdo da palestra. Links citados no episódio: LinkedIn de Nelkisa Matias – https://www.linkedin.com/in/nelkisamatias/ GitHub de Nelkisa Matias – https://github.com/gabriias Repositório da palestra – https://github.com/gabriias/funcional SE4FP 2025 – https://se4fp.github.io/2025/ CBSOFT 2025 – https://cbsoft.sbc.org.br/2025/cbsoft/ Clojerl – https://clojerl.org/ PPGCA – UTFPR Curitiba – https://www.utfpr.edu.br/cursos/programas-de-pos-graduacao/ppgca-ct Rede Emílias de Podcasts – https://fronteirases.github.io/redeemilias/ Clojure Brasil – https://clojurebrasil.com.br/ Seven Languages in Seven Weeks – https://pragprog.com/titles/btlang/seven-languages-in-seven-weeks/ Functional Design – Uncle Bob – https://www.amazon.com/Functional-Design-Principles-Patterns-Practices/dp/0138176396 Programming Clojure – https://pragprog.com/titles/shcloj3/programming-clojure-third-edition/ Episódio “Clojure com Camilo Cunha de Azevedo e Márcio Lopes de Faria” no YouTube – https://www.youtube.com/watch?v=VOhNsfg5JSk Episódio “Clojure com Camilo Cunha de Azevedo e Márcio Lopes de Faria” no Spotify – https://open.spotify.com/episode/6VyITbeEMnASqetR9odfX9 #Clojure #Elixir #programaçãocional #Clojerl #BEAM #JVM #Lisp #linguagemfuncional #NelkisaMatias #Nubank #SE4FP #CBSoft #desenvolvimentodesoftware #SevenLanguagesinSevenWeeks #UncleBob #ProgrammingClojure #ClojureBrasil #comunidadesdeprogramação #engenhariadesoftware #PPGCAUTFPR

No vídeo de hoje, você vai entender de forma rápida e simples o que é versionamento semântico, também chamado de Semantic Versioning ou SEMVER. Esse conceito é essencial para qualquer pessoa que trabalhe com desenvolvimento ou operações, e pode ser a diferença entre um deploy tranquilo e um caos em produção. Neste vídeo você vai aprender: - O que é SEMVER e como ele é estruturado (MAJOR.MINOR.PATCH); - Como interpretar as versões de um software; - Por que o versionamento semântico é tão importante no universo DevOps. 📌 Mesmo que você nunca tenha prestado atenção nesses números, depois desse vídeo você vai olhar pra eles com outros olhos. 👉 Faça parte da Pós que tem mudado a vida de milhares de profissionais no Brasil! https://tcbcloud.link/hh65Ps #DevOps #VersionamentoSemantico #SEMVER #TheCloudBootcamp #SoftwareDevelopment #CarreiraTI

Potencialize seu Chatbot com a Técnica RAG: Busca Vetorial e Conteúdo Personalizado Neste vídeo, Fábio Vedovelli explora a técnica de *Retrieval Augmented Generation* (RAG), integrando conteúdos específicos em chatbots com GPT-4. Ideal para otimizar respostas de IA com informações exclusivas. Código-fonte: https://github.com/vedovelli/ag-ui-screencast Destaques do Vídeo - **Integração de Dados:** Aprenda a transformar artigos do TabNews em dados estruturados usando FireCrawl e armazená-los em bancos de dados vetoriais como Postgres com pgVector. - **Busca Semântica:** Configure buscas vetoriais para que o chatbot identifique semelhanças de significado, oferecendo respostas precisas e contextualizadas. - **Implementação Técnica:** Utilize tecnologias como Mastra para backend e CopilotKit para interface de usuário, criando uma experiência de chat intuitiva. - **Desenvolvimento Moderno:** Descubra como React Router e CopilotKit podem construir interfaces front-end eficientes para comunicação direta com a AI. Palavras-chave RAG, GPT-4, Busca Vetorial, Postgres, TabNews, React, Mastra, CopilotKit, AI, FireCrawl Este vídeo é perfeito para desenvolvedores e entusiastas de tecnologia que querem aprofundar seus conhecimentos em inteligência artificial e integrar funcionalidades avançadas em suas aplicações. Assista agora e transforme seu entendimento sobre AI e buscas semânticas! Sobre o Criador Fábio Vedovelli é especialista em desenvolvimento de software, apaixonado por compartilhar conhecimento através de screencasts detalhados. Confira outros vídeos no canal para mais conteúdos sobre tecnologia!

💰 Mentorship to six figure software engineer - https://calcur.tech/mentorship ⚙️ Backend Engineering Mind Map - https://calcur.tech/mindmap 💻 System Design Playlist - https://calcur.tech/system-design Timestamps: 00:00:00 - Intro 00:01:23 - Why use Elixir 00:03:48 - Installation and Setup 00:07:15 - Intro to Mix 00:09:02 - Overview of Elixir Files 00:10:52 - Running and Elixir Script 00:13:40 - Compiling Elixir 00:16:36 - Running an Elixir Application 00:23:29 - Intro to Hex 00:25:40 - Basic Types 00:26:53 - Creating a Variable 00:27:52 - Module Attributes 00:29:01 - Atoms and Strings 00:35:35 - Strings 00:38:40 - More about Hex 00:39:49 - Numbers 00:47:39 - Compound Types 00:47:53 - Dates and Times 00:50:50 - Example App - Time Until the New Year 00:56:27 - Tuples 01:01:59 - Lists and Loops 01:04:15 - Mapping 01:04:47 - Structs 01:11:46 - Building a Guessing Game - Taking User Input 01:14:00 - if Statements 01:15:07 - Random Number 01:16:26 - Docs and Arity 01:17:28 - Cases and Errors 01:19:19 - Case 01:22:23 - Lists 01:24:16 - Append and Prepend 01:25:29 - Comprehensions with Conditions 01:27:22 - Functional Programming 01:30:07 - Defining Custom Functions 01:34:41 - What’s Next? 💯 FREE Courses (100+ hours) - https://calcur.tech/free-courses 🏆 C++ Mastery Course - https://calcur.tech/cpp-mastery 🐍 Backend Python Course - https://calcur.tech/backend-python 🥇 Python Mastery Course - https://calcur.tech/python-mastery ~~~~~~~~~~~~~~~ CONNECT ~~~~~~~~~~~~~~~ ✉️ Newsletter - https://calcur.tech/newsletter 📸 Instagram - https://www.instagram.com/CalebCurry 🐦 Twitter - https://twitter.com/calebCurry 🔗 LinkedIn - https://www.linkedin.com/in/calebcurry ▶️ Subscribe - http://calcur.tech/subscribe 👨🏻‍🎓 Courses - https://www.codebreakthrough.com 🅿 Patreon - http://calcur.tech/patreon-calebcurry

Hoje é dia de falar sobre como se dar bem quando estiver trabalhando com arquivos YAML. Sim, seja com a extensão .yaml ou .yml, você precisa entender como escrever e ler seus arquivos YAML do Kubernetes ou então do Ansible de maneira super simples e rápida! Compartilha com seus amigos em suas redes socias, eu dúvido que seus amigos já saibam trabalhar com arquivos YAML sem ficar sofrendo! #LINUXtips #VAIIII #YAML #DescomplicandoYAML 0:00 - Abertura 0:30 - O que é YAML 3:00 - Criando nosso YAML exemplo 3:30 - Como declarar string, boleano, inteiro e date 6:45 - Criando objetos, listas e 10:57 - Criando um exemplo de YAML utilizado no Kubernetes. 14:06 - Utilizando multiline no YAML 16:20 - VScode 17:10 - YAML lint 17:58 - Vários arquivos YAML dentro do mesmo arquivo YAML 18:40 - Encerramento 19:10 - VAIIII Treinamentos da LINUXtips: https://www.linuxtips.io/loja Instagram da LINUXtips: https://www.instagram.com/LINUXtipsbr/ Instagram do Jeferson: https://www.instagram.com/badtux_/ Twitter da LINUXtips: https://twitter.com/LINUXtipsbr/ Twitter do Jeferson: https://twitter.com/badtux_/ Grupo da LINUXtips no Telegram: https://t.me/canalLINUXtips Servidor da LINUXtips no Discord: https://discord.gg/ZmYRAuw Podcasts da LINUXtips: https://open.spotify.com/show/7tE9shw3IlK99kgFeJ6I8J Container Week: https://www.containerweek.com/ IaaS Week http://iaasweek.com/ Linux Week: https://www.linuxweek.com.br/ Semana DevOps: https://www.semanadevops.com.br/ E-mail para contato: contato@linuxtips.com.br Trilha: bensound.com e envato.com

🔥 Entre para a minha comunidade de automação - https://link.devaprender.com/entrar Curso Claude Code - https://youtu.be/KoFOPpUWi98 Curso Github Copilot - https://youtu.be/uW5OzVgtofU ✅Quer pedir um orçamento de um BOT(robô) ou sistema? - Solicite aqui: https://devaprender.com/orcamentos/ ✅Curso lógica de Programação: https://youtu.be/epf-WQdVis0 Links mencionados no video ------------------------------------------------------------------------------------------ nodejs download - https://nodejs.org/en/download opencode download - https://opencode.ai/download opencode mcp - https://opencode.ai/docs/mcp-servers/#context7 Skills - https://skillsmp.com/ ------------------------------------------------------------------------------------------ Resumo⤵️ Nesse curso completo de OpenCode, eu vou te mostrar como usar essa ferramenta de IA, para se conectar a qualquer provedor de IA, como o OpenAI, Claude Code, DeepSeek, OpenRouter. Ou seja, tanto opções pagas, como opções gratúitas! Aqui você irá aprender a usar o OpenCode do zero, desde de como instalar, configurar um provedor e personalizar e usar as principais funcionalidades como escolher modelos, nível de raciocínio, usar skills, usar servidores mcp e até mesmo como monetizar esse conhecimento. CONTATO COMERCIAL(não respondo dúvidas de videos) ------------------------ jhonatan@devaprender.com 00:00 - O que iremos aprender 00:50 - Como instalar OpenCode 03:18 - Por que usar OpenCode vs Claude Code ou outros? 04:39 - Como instalar qualquer provedor PAGOS 08:43 - Como instalar qualquer provedor GRATUITO 11:33 - Como usar Servidores MCP 14:49 - Como personalizar o OpenCode 16:25 - Como usar SKILLS 19:09 - Quando usar OpenCode no meu fluxo de trabalho? 20:10 - Como monetizar o conhecimento de criação de apps/automações?(parte 1) 20:51 - Como usar o modo Plan/Edit 21:05 - Como monetizar o conhecimento(parte 2) 21:48 - O que estudar a partir de agora?