2016 não foi um ano bom, em geral. Entretanto, esse foi um ano que eu considero especialmente bom na minha vida.
- 2015 foi um ano desastroso pra mim, comecei 2016 com aviso prévio na Podio, que tava demitindo em massa todo mundo do escritório de Copenhagen. Felizmente, já na primeira semana de Janeiro, consegui uma oferta da Opbeat - que é definitivamente o produto mais interessante que já trabalhei.
- Em Abril, larguei a Opbeat (como dev em tempo integral), para começar o doutorado em Ciência da Computação na Universidade de Roskilde. Algo que eu ensaiava fazer há muito tempo, que era me distanciar de JavaScript e desenvolvimento frontend para me dedicar à Programação Funcional e Teoria de Tipos, em um nível acadêmico.
- Aprendi Teoria de Tipos, inclusive a implementar checadores de tipos até System F. Sei como tipos dependentes e de refinamento funcionam, embora não tenha uma visão clara de como implementá-los (2017 spoiler). Também aprendi "tipos e sistemas de efeitos" e tipos de sessão.
- Aprendi Semântica Operacional e usá-la para descrever linguagens de programação, e como Semântica Denotacional funciona.
- Finalmente aprendi Haskell à um nível aceitável e desenvolvo programas não-triviais.
- Aprendi F# o suficiente para ter alguns programas funcionando e adicionar alterações à programas existentes.
- Falhei na jornada de aprender Coq.
- Resolvi aprender Isabelle/HOL no lugar de Coq e aprendi a descrever e provar semântica operacional usando isso.
- Comecei a aprender Rust.
- Comecei a aprender Teoria das Categorias.
- Li centenas de artigos.
- Exceto meetups, não fui à nenhum evento de tecnologia e, analisando agora, acho que foi positivo.
- Comecei a correr, teve dias que eu corri mais de 10km.
- Ganhei um PS4 e finalmente entendo o que as pessoas no trabalho falam sobre jogos agora. Tava parada no PS2.
- Me mudei pra Roskilde, uma cidadezinha à ~30km de Copenhagen.
- Namorei com dietas vegetarianas e veganas ao longo do ano. Não consegui adicionar isso complementamente à minha vida (por culpa minha mesmo), mas é algo que pretendo continuar seguindo.
- Abandonei quase 100% comunidades online e isso melhorou muito minha produtividade e ansiedade.
- Passei um mês (não-consecutivo) na cidade dinamarquesa de Aalborg.
- Tirei férias de um mês no Brasil, passei um tempo com a minha família e finalizei Beyond: Two souls.
- Comecei a fazer aulas particulares de inglês, e meu professor disse na primeira aula que meu inglês é muito bom e devo ser perfeccionista (continuei as aulas mesmo assim).
- Tive uma melhora considerável na depressão e ansiedade.
- Descobri que, além da ansiedade social, também tenho depressão sazonal. Sou 2x SAD (Social Anxiety Disorder; Seasonal Affective Disorder). Já comecei o tratamento com luz azul e estou tendo bons resultados.
- Comecei com Meditação Transcendetal e é algo que não consigo viver sem mais.
🤘
Que ano que vem seja ainda melhor que esse, sucesso!