- TDC
- GambiConf
- Codecon
- Orgulho tech
- DevFest
- The Developer's Life
# -------------------------------------------------------------------------------------------- | |
# 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) | |
# |
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
Mix.install([ | |
{:req, "~> 0.4.0"} | |
]) | |
Req.get!("https://germanvelasco.com") | |
|> IO.inspect() |
-- 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 |
- 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
Traduzido de Bad Reasons to Reject Good Papers, and Vice Versa, By Peter Sewell
- A motivação não é explicada - não explica claramente por que alguém deveria se importar.
- O argumento de motivação é falso.
- O trabalho é tecnicamente correto, mas sem sentido (basicamente uma reformulação do acima).
- As alegações (presumindo que sejam substanciadas) não avançariam significativamente o assunto (é realmente um incremento menor em relação ao trabalho anterior).
- O trabalho é promissor, mas como está, o avanço é insuficiente para este contexto.
- Realmente já foi feito antes.
Link: https://www.youtube.com/watch?v=wvPpxrY7JxA
- 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