adolfont

# --------------------------------------------------------------------------------------------
# Mostly Erlang - episode 019 Elixir With José Valim / October 7, 2013
#
# guests:
#   - Joe Armstrong (@joeerl)
#   - Robert Virding (@rvirding)
#   - Jose Valim (@josevalim)
#   - Fred Hebert (@mononcqc)
#   - Eric Merit (@ericbmerritt)
#

adolfont

É hora de parar de fazer pós-doutorandos se mudarem a cada dois anos, Brian McGill

Postado em 29 de janeiro de 2024 por Brian McGill - traduzido pelo ChatGPT

É amplamente reconhecido que, embora a academia possa ser um ótimo trabalho, uma das maiores desvantagens estruturais é o quão frequentemente você tem que se mudar para se estabelecer. Algumas dessas mudanças (como ir para a pós-graduação, conseguir um emprego em uma carreira acadêmica) são bastante difíceis de corrigir devido à escassez de universidades na paisagem (em comparação com escolas primárias, hospitais, corporações e até empregos no governo). Não estou dizendo que não devemos tentar abordar essas questões também, mas não estou tratando delas aqui.

O único requisito de mudança que acredito que podemos e agora devemos mudar é a mudança para um pós-doutorado. Isso normalmente envolve sair de onde você esteve na pós-graduação por cerc

adolfont

Podcasts indicados

Uma Tatti @a_tattiane escreveu: Alguém aí conhece bons podcasts sobre Tecnologia para indicar?

Em português

• Olá, Gabs
• Elixir em Foco
• Fronteiras da Engenharia de Software

adolfont

Mix.install([
  {:req, "~> 0.4.0"}
])

Req.get!("https://germanvelasco.com")
|> IO.inspect()

adolfont

-- Exercises
-- Functional Programming in Lean
-- https://lean-lang.org/functional_programming_in_lean/getting-to-know/functions-and-definitions.html

-- Define the function joinStringsWith with type String -> String -> String -> String that creates a new string by placing its first argument between its second and third arguments. joinStringsWith ", " "one" "and another" should evaluate to "one, and another".
-- What is the type of joinStringsWith ": "? Check your answer with Lean.
-- Define a function volume with type Nat → Nat → Nat → Nat that computes the volume of a rectangular prism with the given height, width, and depth.

def maximum (n : Nat) (k : Nat) : Nat :=
  if n < k then

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