adolfont

Transcribing an audio file into a .srt file

Mix.install(
  [
    {:kino_bumblebee, "~> 0.4.0"},
    {:exla, ">= 0.0.0"}
  ],
  config: [nx: [default_backend: EXLA.Backend]]
)

adolfont

Links

• Perfil no Instagram https://www.instagram.com/professor.antonio.nicolodi/
• Perfil no Suas Aulas Particulares https://www.suasaulasparticulares.com.br/professores-santa-catarina/professor-linguagem-logica-programacao-1582138
• Perfil no SuperProf https://www.superprof.com.br/criador-portugol-aplicativo-visualg-aulas-logica-programacao-computadores.html
• Canal no YouTube https://www.youtube.com/channel/UCnKEf-1QkrwSK6R64thveQw
• Perfil no Facebook https://www.facebook.com/antoniocarlos.nicolodi/?locale=pt_BR
• Currículo no Escavador https://www.escavador.com/sobre/6369496/antonio-carlos-nicolodi

adolfont

Traduzido de Bad Reasons to Reject Good Papers, and Vice Versa, By Peter Sewell

1. A motivação não é explicada - não explica claramente por que alguém deveria se importar.
2. O argumento de motivação é falso.
3. O trabalho é tecnicamente correto, mas sem sentido (basicamente uma reformulação do acima).
4. As alegações (presumindo que sejam substanciadas) não avançariam significativamente o assunto (é realmente um incremento menor em relação ao trabalho anterior).
5. O trabalho é promissor, mas como está, o avanço é insuficiente para este contexto.
6. Realmente já foi feito antes.

adolfont

A Semana de Trabalho de um Dia de Edsger Dijkstra - YouTube

Link: https://www.youtube.com/watch?v=wvPpxrY7JxA

Transcrição:

• 00:01 Olá eu vou fazer uma leitura deste texto aqui a semana de trabalho de um dia de ética não sei o Dijkstra Não sei como funciona é um texto do professor cal Newport que também é um autor de livros de produtividade etc foi publicada agora em 6 de Agosto de 2023 eu falei quem sabe dependendo da situação do que eu ler eu vou comentar dentro do meu subconjunto particular de ciência da computação teórica não há talvez nenhum indivíduo mais celebrado do que destra chama Dijkstra Eu acho que é Dijkstra sua carreira passou de meio século começando com
• 00:52 jovem Dijkstra eu vou acabar falando com jovem Dijkstra formulando e resolvendo agora clássico problema dos caminhos mais curtos enquanto estava trabalhando com um programador de computadores no centro matemático em Amsterda

adolfont

What's the Best Way to Learn Elixir?

Learning Elixir Efficiently TL;DR

• Start with the official documentation and Elixir School website.
• Consider learning Elixir first before diving into Erlang or OTP.
• Explore resources like Exercism, Pragmatic Studio courses, and books such as "Programming Elixir" and "Elixir in Action"

Learning Resources

adolfont

Erlang on Livebook 0.10.0

Some Erlang code

Age = 20,
Weight = 100,
Height = 180,

adolfont

Truth-table generator written by ChatGPT in Elixir

Code

defmodule TruthTable do
  def generate(formula) do
    variables = extract_variables(formula)
    values = generate_truth_values(variables)
    header = Enum.join(variables, "\t") <> "\t|\t" <> formula

adolfont

Francisco Antonio Dória, Professor Emérito da UFRJ - YouTube

A transcrição foi feita pelo software Glasp.

https://www.youtube.com/watch?v=2RD1mzUhDkc

Transcript:

• 00:00 Olá eu gravei esta entrevista com professor Francisco Antônio Dória em 16 de Março de 2022 então qualquer referência que ele faz ao atual governo o atual governo na época era o antigo governo do Brasil que foi o governo federal de 2019 a 2022 eu demorei bastante para editar este vídeo porque um série de problemas na gravação mas eu acho que agora está com uma qualidade suficientemente boa vamos à entrevista Olá pessoal hoje estamos aqui com o professor Francisco Antônio Dória da UFRJ Universidade Federal do Rio de
• 00:37 Janeiro com certeza essa entrevista aproximadamente uma hora não vai dar para conhecer tudo da carreira do professor Dória mas foi vocês podem pesqui

adolfont

Grok Podcast - Episódio 41 - Erlang com José Valim - Parte 3 de 3 - 21/07/2011 - YouTube

https://www.youtube.com/watch?v=IgHdlUPBR7E

Transcript:

• 00:00 a [Música] broadcast.com e o olá bem-vindo ao blog poliqueste aqui é Carlos Brando aqui é rosa e que é bom no nariz já tem dois episódios gravados você já ouviu que nós somos falando um pouquinho sobre a estrutura do Islã de banco de dados né e etc agora vale você não tá aqui à toa né cara você tá aqui trago salvar da feiura da da syntax Hidrolândia né cara que ideia é essa do Que projeto é esse está desenvolvendo em cima do erland com um braço uma mão zona de transporte Engraçado que quando uma pessoa consegue nesse projeto Pera aí
• 00:51 que eu tô nesse carro que você aguenta esse governo não é muito feio eu falei cara passa para desenvolver ganhe porque a primeira coisa que eu vi eu só da máquina virt

adolfont

Observable Elixir | Bernardo Amorim | ElixirConf EU 2022 - YouTube

https://www.youtube.com/watch?v=98kYFy6nGXs

Transcript:

• (00:00) [Applause] foreign [Music] means I'm going to start talking about observability like just the word and a little bit like an introduction then I'm going to be talking about what some people call the three pillars of observability which is uh events event logs metrics and traces and we're going to be talking a lot about Telemetry and how Telemetry kind of like is a really great thing to have an ecosystem that enables a lot of things observability uh and just a warning is going to be a little bit fast-paced I already talked
• (00:40) to a little bit fast so I put some slides to breathe in and build also can stop for a moment but it's going to be a little fast-paced because it's kind of like a lot of things to cover in just a