- 374
- 118 379
Adolfo Neto
Brazil
เข้าร่วมเมื่อ 29 มิ.ย. 2009
Canal do professor Adolfo Neto da UTFPR Curitiba
Além das Terras de Java - Uma Introdução ao Lisp da JVM para Programação Funcional, Eduardo Lemos
Eduardo Lemos: duing.dev/
Outros links do Eduardo Lemos gist.github.com/adolfont/6adf226a446880220fcd790e9352106a
#clojure
Esta palestra fez parte da disciplina CAES005 - Introduction to Functional Programming
do Mestrado Profissional em Computação Aplicada da UTFPR Curitiba (PPGCA @ppgcautfpr www.utfpr.edu.br/cursos/coordenacoes/stricto-sensu/ppgca-ct)
Site da disciplina: github.com/adolfont/caes005-introduction-to-functional-programming
Meu site: adolfont.github.io/
Outros links do Eduardo Lemos gist.github.com/adolfont/6adf226a446880220fcd790e9352106a
#clojure
Esta palestra fez parte da disciplina CAES005 - Introduction to Functional Programming
do Mestrado Profissional em Computação Aplicada da UTFPR Curitiba (PPGCA @ppgcautfpr www.utfpr.edu.br/cursos/coordenacoes/stricto-sensu/ppgca-ct)
Site da disciplina: github.com/adolfont/caes005-introduction-to-functional-programming
Meu site: adolfont.github.io/
มุมมอง: 155
วีดีโอ
Implementação de processos híbridos de ensino e aprendizagem na Pós-Graduação presencial
มุมมอง 4628 วันที่ผ่านมา
INSTRUÇÃO NORMATIVA GAB Nº 2, DE 3 DE DEZEMBRO DE 2024 www.in.gov.br/en/web/dou/-/instrucao-normativa-gab-n-2-de-3-de-dezembro-de-2024-600266533
Usando Elixir (com ajuda de ChatGPT e Claude) para resolver Advent of Code 2024 Dia 4
มุมมอง 59หลายเดือนก่อน
#ElixirLang Solução github.com/adolfont/pensandoemelixir/tree/main/adventofcode/2024/day04 Advent of Code Dia 4 adventofcode.com/2024/day/4 Meu canal em inglês www.youtube.com/@elixiradolfont
Sistemas de Informação, Análise e Desenv. de Sistemas, Engenharia de Computação e outros #UTFPR
มุมมอง 58หลายเดือนก่อน
Quais são os cursos de graduação na área de Computação na UTFPR? Clique aqui bit.ly/4f6sjqg e procure por Sistemas de Informação Engenharia de Computação Engenharia de Software Análise e Desenvolvimento de Sistemas Sistemas para Internet Todos os cursos são presenciais e gratuitos. A concorrência de cada curso está em www.utfpr.edu.br/cursos/estudenautfpr/vestibular/vestibular/estatisticas/vest...
O que Bruce Tate (Groxio) pensa do sistema de tipos em Elixir?
มุมมอง 812 หลายเดือนก่อน
Bruce Tate x.com/redrapids Groxio grox.io/ Começo do fio no X x.com/redrapids/status/1830222568785391983 Seven Languages in Seven Weeks: A Pragmatic Guide to Learning Programming Languages (Pragmatic Programmers) 1st Edition by Bruce Tate amzn.to/3UDyISc
O que esperar do sistema de tipos de Elixir? Slides de Vinícius Alonso para a Elixir Curitiba 2024
มุมมอง 642 หลายเดือนก่อน
Slides speakerdeck.com/viniciusalonso/o-que-esperar-do-novo-sistema-de-tipos-em-elixir Elixir Curitiba elixircuritiba.github.io/
Usando ChatGPT, Copilot , Meta AI e Claude para encontrar erros em programas em C
มุมมอง 1352 หลายเดือนก่อน
Usando ChatGPT, Copilot , Meta AI e Claude para encontrar erros em programas em C
Lua e Roberto Ierusalismchy
มุมมอง 672 หลายเดือนก่อน
Site de Lua lua.org/ Fronteiras da Engenharia de Software fronteirases.github.io/
Hok: Higher-Order GPU kernels in Elixir
มุมมอง 2163 หลายเดือนก่อน
Read more at dev.to/adolfont/two-new-elixir-related-papers-at-the-28th-brazilian-symposium-on-programming-languages-2c1h
A Matemática (com Lean) é o Caminho para Criar Chatbots que não Alucinam?
มุมมอง 1893 หลายเดือนก่อน
A Matemática (com Lean) é o Caminho para Criar Chatbots que não Alucinam?
Devemos fazer uma live com os criadores das 3 linguagens de programação criadas por brasileiros?
มุมมอง 1874 หลายเดือนก่อน
Devemos fazer uma live com os criadores das 3 linguagens de programação criadas por brasileiros?
Como escrever funções anônimas na linguagem de programação Elixir?
มุมมอง 634 หลายเดือนก่อน
Como escrever funções anônimas na linguagem de programação Elixir?
Novidades sobre o Sistema de Tipos de Elixir: Tipos para Tuplas e Listas
มุมมอง 1154 หลายเดือนก่อน
Novidades sobre o Sistema de Tipos de Elixir: Tipos para Tuplas e Listas
Aprenda Lean: Programa simples com entrada e saída
มุมมอง 794 หลายเดือนก่อน
Aprenda Lean: Programa simples com entrada e saída
Lean: Nova Fronteira da Programação Funcional e Verificação Formal
มุมมอง 1024 หลายเดือนก่อน
Lean: Nova Fronteira da Programação Funcional e Verificação Formal
CBSOFT (Congresso Brasileiro de Software) 2024 em Curitiba
มุมมอง 755 หลายเดือนก่อน
CBSOFT (Congresso Brasileiro de Software) 2024 em Curitiba
Funcionalidades do Huawei Watch Fit 3
มุมมอง 3.9K5 หลายเดือนก่อน
Funcionalidades do Huawei Watch Fit 3
Fones de Condução Aérea (Não Óssea) - IT-BLUE LE-2421 e AWEI A889BL - Bons para Podcast e Corrida
มุมมอง 6885 หลายเดือนก่อน
Fones de Condução Aérea (Não Óssea) - IT-BLUE LE-2421 e AWEI A889BL - Bons para Podcast e Corrida
Funções Anônimas em Gleam - "Secrets" no Exercism
มุมมอง 1016 หลายเดือนก่อน
Funções Anônimas em Gleam - "Secrets" no Exercism
Wine Cellar no Exercism em Elixir - Parte 2 - Recebendo Mentoria
มุมมอง 556 หลายเดือนก่อน
Wine Cellar no Exercism em Elixir - Parte 2 - Recebendo Mentoria
Wine Cellar no Exercism - Argumentos Padrão em Elixir
มุมมอง 566 หลายเดือนก่อน
Wine Cellar no Exercism - Argumentos Padrão em Elixir
Como pesquisar e baixar artigos científicos no Google Scholar?
มุมมอง 2127 หลายเดือนก่อน
Como pesquisar e baixar artigos científicos no Google Scholar?
Podcasts do Ecossistema de Erlang (Elixir, Gleam, LFE, BEAM, etc)
มุมมอง 1027 หลายเดือนก่อน
Podcasts do Ecossistema de Erlang (Elixir, Gleam, LFE, BEAM, etc)
Conferências do Ecossistema de Erlang (e Elixir)
มุมมอง 747 หลายเดือนก่อน
Conferências do Ecossistema de Erlang (e Elixir)
Library Fees no Exercism em Elixir: Aprendendo Date e DateTime
มุมมอง 719 หลายเดือนก่อน
Library Fees no Exercism em Elixir: Aprendendo Date e DateTime
Você enfrentou dificuldades, na escola ou no trabalho, por ser mulher? Anne Lesinhovski
มุมมอง 3710 หลายเดือนก่อน
Você enfrentou dificuldades, na escola ou no trabalho, por ser mulher? Anne Lesinhovski
Uma Dieta Além da Moda, de José Carlos Souto
มุมมอง 43011 หลายเดือนก่อน
Uma Dieta Além da Moda, de José Carlos Souto
É possivel conectar o relogio a um fone bluetooth para poder controlar (passar musica, pausar..) o que ouço pelo spotify do celular? (Estarei com o celular por perto). Estou dependendo apenas dessa informação para comprar ou nao rsrs. O meu celular é um Iphone
Oi, Adolfo! Tudo bem? Eu lembro de você! 😅 Conversávamos muito. Eu trabalhava na UFRPE e gostava de Astronomia.Meu nome de solteira era Alcione Jandir Candéas. Quando eu estava na universidade, eu ficava na mesma sala da Jeane e Liliane. Baixinha de cabelo preto liso. 😂 Fico feliz e honrada por na época você ter feito menção a mim na sua tese, mesmo que 20 anos depois tenha esquecido... 😊
Oi Professor! Por volta do minuto 1:10:19 foi dito que o Datomic seria um ORM e não um banco de dados. Eu fui procurar no site oficial da ferramenta e lá está escrito isto: "The fully transactional, cloud-ready, distributed database.". Fiquei um tanto confuso. Pode esclarecer isso? Abraço! 😅
resgatando conhecimentos fantásticos na área de Literatura Cinzenta!
Tem triatlo? Vc rolou rápido não deu pra ver
"Como a normativa não especifica percentuais, entende-se que uma aula inaugural ou de fechamento da disciplina já seria suficiente para atender ao formato híbrido (termo adotado na referida IN). A UTFPR está adaptando suas diretrizes de ensino na Pós-Graduação Stricto Sensu para se alinhar à Instrução Normativa da CAPES de 3 de dezembro de 2024, que proíbe o ensino remoto total. A discussão envolveu a adequação da **IN PROPPG/UTFPR nº 01**, de 18 de janeiro de 2023, que trata das diretrizes para disciplinas remotas, com foco na implementação de processos híbridos de ensino e aprendizagem. A interpretação adotada é de que aulas presenciais com componentes síncronos (como aulas no ambiente universitário ou à distância) são suficientes para atender ao formato híbrido. A adaptação da normativa da UTFPR ocorrerá para incorporar os novos termos da CAPES. A revisão das disciplinas transversais está sendo analisada, e uma minuta da nova IN será discutida com os DIRPPGs antes de sua publicação."
Como a normativa não especifica percentuais, entende-se que uma aula inaugural ou de fechamento da disciplina já seria suficiente para atender ao formato híbrido (termo adotado na referida IN). A UTFPR está adaptando suas diretrizes de ensino na Pós-Graduação Stricto Sensu para se alinhar à Instrução Normativa da CAPES de 3 de dezembro de 2024, que proíbe o ensino remoto total. A discussão envolveu a adequação da **IN PROPPG/UTFPR nº 01**, de 18 de janeiro de 2023, que trata das diretrizes para disciplinas remotas, com foco na implementação de processos híbridos de ensino e aprendizagem. A interpretação adotada é de que aulas presenciais com componentes síncronos (como aulas no ambiente universitário ou à distância) são suficientes para atender ao formato híbrido. A adaptação da normativa da UTFPR ocorrerá para incorporar os novos termos da CAPES. A revisão das disciplinas transversais está sendo analisada, e uma minuta da nova IN será discutida com os DIRPPGs antes de sua publicação.
54:40 Demo
48:30 Mutabilidade
3:14 O que os programas de pós precisam deixar claro?
Tem como sincronizar o yazio com o relógio?
Desculpa. Não sei. Nem sabia que existia este app de alimentação.
Tem assistente virtual?
@@josiana95 Como assim? Ele fica te estimulando a andar, a ficar em pé. É isso?
@@AdolfoNeto ele quis dizer um assistente de perguntas, tipo o Google Assistente ou a Siri
Olá, Professor! No vídeo você faz uma comparação entre tipos e o uso da keyword `when`. No caso, tipos e function guards servem para propósitos diferentes: - tipos, como você mesmo fala, servem tanto para documentar o tipo de dado esperado para um parâmetro quanto para análise estática do fluxo do programa (isso ajuda a detectar bugs antes mesmo deles irem à produção); - já function guards servem para o cenário de um programador que explora a capacidade do Elixir/Erlang de funções terem múltiplos corpos (function bodies) e fazer implementações distintas caso um desses guards "batam" (ou, que haja um "match" no formato dos argumentos). Um exemplo disso seria: ``` defmodule M do @spec label(count :: pos_integer()) :: String.t( ) def label(count) when count == 0, do: "No items" def label(count) when count == 1, do: "1 item" def label(count) when count >= 2, do: "#{count} items" end ``` Veja que apesar da função `label/1` ter o mesmo tipo, os function guards ajudam o programar a manter implementações diferentes com base nas condições definidas via function guards.
@@joeljuca Sim, mas nos exemplos mostrados fica com uma cara de repetição desnecessária. Claro que, como seu exemplo mostra bem, cláusulas when podem substituir o que, em outras linguagens, seriam ifs. Mas ainda assim acho (é uma percepção, não uma certeza) que alguns (muitos) vão achar repetitivo.
E esta talvez seja uma razão para eu já não gostar muito de typespecs
Põe gentileza ! Tem como baixar o app WhatsApp no relógio e estar respondendo mensagens na própria tela? Outra dúvida, não consigo adicionar todos meus contatos ! Somente alguns favoritos pelo app no celular !
Não. Você só configura algumas respostas rápidas no app da Huawei
Nem tentei adicionar contatos. Não sei se dá
Ok ! Muito obrigado! Se descobrir como inserir todos os contatos me avise por gentileza ! Abs…
5:50 Meta AI
5:12 Claude
3:43 ChatGPT
4:33 Copilot
Alguém consegue usar o ECG?
Eu nem tentei.
@@AdolfoNeto o meu aparece a função, mas qnd entro, n tem o botão pra apertar e fazer o ECG. Queria saber pq.
O Android não está aceitando o app da Huawei fala que o app é nocivo
Que chato! Como instalei faz tempo, talvez tenha mudado de lá pra cá.
Grande Adolfo! Fomos pro SBIA no meu Gol. Lembro que Sergio e Ticiano quando dirigiam empurravam o pé no acelerador. Tu reclamava da velocidade e eles passaram a tapar o velocímetro com a camiseta deles. Tu então passou a anotar o tempo entre uma placa que marcava a quilometragem e a seguinte para calcular a velocidade do carro. E quando conseguia dizia "Ticiano, você esta a 130 por hora". Ele tira a camisa do painel e era perto disso mesmo. "Porra, Adolfo, como é que tu ta vendo atraves da minha camisa?". "Eu não vejo, eu usei Newton". Sensacional!
Hahaha! Que boa memória, Fred! Eu não lembrava da camiseta nem do Newton, mas lembrava do restante.
A pulseira do fit 2 cabe no 3 ?? Eu tenho algumas pulseira do 2 .. vou vender o meu e pegar o 3 .. nao quero ter q comprar pulseira nova
Não sei. Só tenho o 3
Você usa no Android ou IPhone?
Android. Vê o vídeo do Sérgio Rocha (Corrida no Ar) que deixei linkado. Lá ele mostra o que você tem que fazer pra subir os treinos pro Strava. É possível, mas não é trivial.
Dr Souto é maravilhoso ❤
Com certeza!
😍
SIM
Já estou conversando com pessoas mais populares do que eu.
Sim!!!!!!!!!!!!!
Quem será que vai fazer?
Oi professor, descobri seu canal algumas semanas atrás e vc conseguiu me evangelizar no elixir. Muito bom os conteúdos do canal, tenho estudado bastante através dele maratonando.
Obrigado pelo feedback!
Ótimo conteúdo, mas infelizmente, todos os eventos vão ser no horário comercial, fica inviável ir, sendo que encerra as 18
Esses vídeos são ótimo!, sua didática é muito boa professor, parabéns pelo conteudo
4:56 Comadre agora é Cumbuca.
2:30 O único criador de Lean é o Leonardo de Moura. A confusão, talvez só minha, é que Lean se tornou linguagem de programação na sua versão 4, na qual Sebastian Ullrich também trabalhou.
Bem interessante. Um topico que tenho bastante curiosidades é sobre o emprego da metologia matemática, seu rigor e ferramentas na construção de programas e de provas que verificam se de fato o programa comporta-se como deveria. Já o assunto do uso de "inteligência artificiais " ando cismado e os próprios termos dentro da IA como "machine learning", "deep learning", "redes neurais" não me parecem confortáveis. Talvez eu seja pessimista demais ainda. Ótimo vídeo Adolfo. Obrigado por partilhar conhecimentos conosco
Eu que agradeço seu feedback. Minha esperança é que Lean seja capaz de pelo menos domar algumas das "alucinações" (ou, termo melhor nos dado por Marcelo Finger, "parvoíces") dos LLMs.
@@AdolfoNeto De fato seria bom mesmo se esses problemas fossem contornados na IA. Apesar do hype atual ainda há muito por se fazer além também dos aspectos eticos. Eu costumo acompanhar canais e grupos de programação criativa e também de artes plásticas e há varias visões e questionamentos sobre o uso de IAs por exemplo nas artes. Questionamentos como o de que poderia ser considerado arte as peças geradas por IA e se não seria certa violação dos direitos autorais das obras de artistas. Já vi quem até falasse em uma tal de "renda básica universal " por conta de uma possivel onda de desemprego. Sei que de certa forma pra nós que estamos na base da pirâmide não há muito que se fazer e como dizem os mais antigos a corda so arrebenta do lado dos mais fracos. Desejo sucesso em seus trabalhos e muita saúde. Abraços fraternos e cordiais. Wandeson Ricardo
Muito interessante
opa ai sim, ótima recomendação do TH-cam, espero que lancem mais materiais.
No meu blog professoradolfo.blogspot.com/2024/07/dois-fones-de-conducao-aerea-nao-de.html
Mano, eu to no hello world do PHP eu fiz : <?php function helloWorld() { echo "Hello World!"; } helloWorld(); tá errado? pq lá diz que tá '-'
Feio demais. Larga isso. Vai pro Elixir.
Arnaldo, trabalhei com o conectiva nos anos 89, por aí.
Muito bom, obrigado
Que bom!
Gostei da sua análise, Prof. Adolfo! 🤩👏 Me instigou a procurar o livro para leitura 🎯
Obrigado! Há também esta live th-cam.com/video/euf4AY5v_-c/w-d-xo.html
@@AdolfoNeto🤝 irei conferir TB. 📝
Bom vídeo Prof. Adolfo! 💯🎯 Aguardando sua próxima dica 😉🤟
Excelente tutorial Prof. Adolfo! 🤩👏 Agradecida por compartilhar 💯🎯
Foi uma viagem no tempo ouvir sobre a Conectiva!
Que bom!
Muito bom... Obgdo pelo conteudo
Agradeço o feedback!
Aprendizado muito bom!
Fico feliz em saber!
Boa solução!
Obrigado! Mas o feedback do mentor sugeriu que posso melhorar.