O começo do ano teve suas dificuldades inerentes da adaptação de se tornar pai, a Briana crescer e suas recorrentes novelas pra regular seu sono, que se mantém com problemas até hoje (pense numa bixinha hiperativa a noite!).

Tive algumas disciplinas a serem feitas no ITA, entre elas uma matéria de metodologia científica, mas nada em especial que fosse realmente difícil. Nesse caso foi mais uma disciplina trabalhosa pra montar o mapeamento sistemático da literatura que iria servir como guia pra minha dissertação de mestrado. Muitos artigos pra ler, resumir e comparar.

E, aí… Descobri que iria ser mais uma vez pai no final de abril pra início de maio. Dessa vez de um menino! Eu estava com planos pra ir a São José dos Campos, mas não imaginava uma segunda gravidez nessa altura do campeonato.

Isso praticamente fez eu desistir de ir pra São José dos Campos, porque iria complicar consideravelmente tudo. Por outro lado, a partir desse ponto eu já teria me tornado aluno regular no mestrado do ITA e sem essa ida no próximo semestre pra completar as disciplinas presenciais faltantes, certamente no ano seguinte eu não poderia viajar pra poder fazer as aulas e iria ter que desistir do mestrado!

Então… Decidimos ir, após uma grande insistência da Taiene para que eu não desistisse de tudo nessa altura do campeonato por conta da nova gravidez. Combinamos ir logo depois do aniversário da Briana, que seria feito de forma antecipada em julho por conta da viagem.

Chegamos em 1 de agosto em SJC, fomos de carro dessa vez. Esse dia completava um ano de vida da Briana. Foi uma viagem divertida, apesar das dificuldades de viajar com uma criança e também de ter acabado o combustível na estrada no meio do deserto que é Tocantins.

De toda forma… Esse semestre foi difícil, muito difícil mesmo. Foi interessante ter que sair do Pará e passar por um período como pais independentes longe de todos, exercitando nossa capacidade de gerenciar tudo sozinho, com o agravante da Taiene estar grávida novamente.

A Briana eventualmente aprendeu a andar, e então a correr… Explorar tudo. Mas infelizmente não aprendeu a dormir direito, sempre trazendo muitos desafios durante o período da noite.

Tivemos complicações na gravidez, no mês de outubro, no exame de ultrassom morfológica de segundo semestre recebemos um diagnóstico de colo curto em que aumentaria a chance de parto prematuro. Isso complicou as coisas, tivemos que fazer uma intervenção emergencial pra diminuir os riscos de parto e planejar uma volta imediata da Taiene e a Briana… Mas eu não poderia voltar com elas e ficar por lá, infelizmente.

Durante esse período, eu ainda estava tendo aulas presenciais em duas disciplinas e só teria férias depois de um mês, e uma em especial certamente foi a disciplina mais difícil que tive no mestrado: Estrutura de Dados, Análise de Algoritmos e Complexidade Estrutural (CT-234). Que disciplina!

No final de outubro viajei brevemente com a Taiene e Briana até Belém pra elas voltarem com sua família pra casa, enquanto voltei pra São José dos Campos. Apesar da loucuras, vôo atrasados, tretas com bagagem… E viajar pela primeira vez com uma criança num avião por quase 4 horas, deu tudo certo. Quando voltei pra SJC, cheguei quase 3 da manhã em casa depois de muito rolo… Tive que dirigir de madrugada e foi muito cansativo.

O mês de novembro foi muito estranho. Eu fiquei sozinho nesse período todo. Acho que comecei a perder a noção do tempo, foco e qualquer outra coisa que sobrou. E eu sempre estava em algum momento desejando mais tempo e silêncio, consegui isso mas minha mente já tava tão saturada com tudo que não consegui saber usar bem todo esse recurso valioso que tanto queria.

A segunda prova dessa disciplina eu não me dei bem e fiquei pendurado dependendo de tirar uma nota melhor na última prova pra não reprovar.

Acho que… Desde o vestibular entre 2012-2013 nunca mais tinha sentido tanta ansiedade. E a pressão toda tinha um motivo: se eu reprovasse eu iria perder o mestrado. Ou seja, todos os sacrifícios dos últimos dois anos teria sido em vão, junto com todo o dinheiro gasto no processo de ter residência de temporada em SJC (caríssimo).

Estudei como um maluco nos próximos dias… Orava todo dia. E, então, consegui tirar um 9.6 na última prova, que foi o suficiente pra conseguir passar ainda com uma média boa no final da disciplina. Foi um alívio imenso. Realmente fazia muito tempo que não ficava tão feliz com algum resultado de algo que me esforcei pra conseguir!

Diogo, meu sobrinho, veio do interior do Pará de avião e então voltamos de carro, dirigindo por 3000km durante 5 dias até chegar em casa, como fizemos em 2024 também.

Aliás, dias antes de começar a viagem estávamos lá na pista de kart e dessa vez o Diogo conseguiu lavar a alma dele, já que na partida de 2024 ele levou uma lapada de uma cacheada que fez ele rodar na pista e chegar em penúltimo. Dessa vez ele chegou em 5°!

Agora estamos apenas esperando o ano acabar… E também na espera de eventualmente o parto acontecer de forma saudável. Ainda há preocupações por aí… Seja como vai ser o parto com a remoção do pessário nesse fim de mundo, ou as dívidas que ficaram no caminho com essa loucura de ano, ou como vamos conseguir comprar uma boa casa pra essas crianças ano que vem.

Mas eu quero pensar… De forma bem direta, que até esse momento, Deus esteve comigo e vai continuar comigo em 2026. Sei que minhas preces foram ouvidas durante aquela véspera de prova! E que Deus cuide da Taiene, a "gestosa" que carrega o Sebastian.

Feliz ano novo a todos. Que 2026 seja divertido e também nos permita descansar de tudo isso.

Em novembro de 2025 comecei a estudar OCaml, uma das últimas linguagens de programação funcional que ainda não havia tocado a mão. Em anos anteriores, já havia programado em Haskell, Common Lisp, Scheme, Racket, um pouco de Clojure, F#, Scala entre outras. Mas OCaml nunca tinha me chamado tanto atenção, por um lado por achar que Haskell deveria ser superior por ser uma linguagem de programação pura, mas talvez nunca dei moral por conta que nunca gostei do nome da linguagem… é, talvez tenha sido uma coisa estúpida como essa…

Depois de muita conversa com colegas sobre como OCaml era usado em Jane Street, uma empresa famosa no mundo de trade de alta frequência em NYC, comecei a olhar com certa cautela sobre a linguagem… Eles mantém um compilador particular de OCaml com extensões próprias, não é interessante? Há muitas histórias também de compiladores inicialmente escritos em OCaml, o próprio compilador de Rust em suas primeiras versões era escrito em OCaml. Não que eu me importe tanto com Rust, mas é um achievement interessante a linguagem ter esse tipo de sucesso. Curtia muito também um leitor de PDF ultra rápido chamado llpp, que era escrito em OCaml também.

Pra isso, resolvi me embarcar numa nova jornada de aprendizado com OCaml através da plataforma de exercícios de programação exercism.org.

Eu tive muitas infelicidades pra tentar fazer coisas mais práticas com Haskell ao depender de cabal e stack. Quem mexeu com Haskell e não passou por cabal hell não mexeu com Haskell tempo o suficiente. Era um verdadeiro inferno… Tive duas rodadas de programação com Haskell no geral, em 2014 e outra em 2017. Aprendi vários conceitos interessantes, mas sempre me bati muito sobre como gerenciar uma aplicação prática que possui dependências e irá entregar uma aplicação útil no final. Percebi também que o gerenciamento monâdico obrigatório pra IO e todos os efeitos colaterais era pra mim um verdadeiro pé no saco, onde linguagens como Scala, F# e Common Lisp me davam muito mais liberdade pra escolher bem onde era melhor fazer algo procedural ou funcional. Eu sempre gostei de liberdade e poder escolher as melhores ferramentas pra'quele problema invés de ser algo disciplinar, como acontece com Haskell e também Rust (por outros motivos que não é programação funcional pura).

Acredito que antes de entrar em todos os detalhes sobre as particularidades da linguagem, algo me chamou atenção em relação a outras linguagens de programação funcional, principalmente em comparação a Haskell. OCaml tem um tooling muito melhor e mais coeso em amplo sentido.

Por outro lado, OCaml se resolve com dois pilares de ferramentas:

• opam: package manager
• dune: build system (que usa s-exp para configs, achei ótimo)

Isso já me trouxe um certo frescor inicial em ter que pensar que não iria passar novamente pelo terror que foi com Haskell.

Meu editor principal é o emacs, e aparentemente há muitos programadores de OCaml que também o usa, então fiquei contente por pensar que teria uma vida facilitada com isso… Haskell já tinha um suporte bom no emacs também. Aparentemente bons programadores escolherem emacs não é uma grande surpresa também.

Ao utilizar como base a configuração do prelude, o módulo prelude-ocaml, o modo tuareg-mode está configurado com um conjunto de ferramentas que mesmo sem o uso de LSP possui praticamente tudo que preciso: goto-definition, auto-complete e type signature lookup.

Há algumas ferramentas em particular que encontrei que ajudam bastante adescoberta de funções e depuração. Em seguida vou citar três em particular que achei bastante interessante.

utop: um repl cheio de firulas que melhora a interação com OCaml interativamente (não saquei muito o motivo do nome).

ocp-index: motor de busca local de funções, docs e autocomplete, tem um browser legal com fuzzy search também muito bom (ocp-browser).

sherlocode: um sistema web indexador de funções e documentações de vários pacotes, com fuzzy search e type signature search, similar ao Hoogle – que de longe era uma das melhores coisas do tooling de Haskell.

Eventualmente, escrevemos o site usando org-mode para termos uma página principal da comunidade, que é literalmente toda escrita em org e usa o emacs pra compilar pra HTML.

Em determinado momento, um membro do grupo novo que era fã de Lisp há décadas chamado Hélio Cordeiro se ofereceu para conceder o domínio https://lisp.com.br para nós. Ele havia comprado há muitos anos esse dominio e o mantinha esperando algo grande acontecer.

Desde então, mantemos esse domínio memorável como nosso principal ponto de contato.

Fomos ao ar pela primeira vez num sábado, 02 de fevereiro de 2018.

Somos uma comunidade com picos de atividade muito sazonais, mas também sofremos hiatos de tempos em tempos também. Entre os projetos que temos, eis uma lista não-exaustiva:

• quicksys ²- um projeto para facilitar o gerenciamento de pacotes com múltiplas distribuições quicklisp (como ultralisp, borodust, shirakumo etc);
• docker-roswell - imagem docker com roswell instalado;
• docker-reblocks - imagem com o framework reblocks + roswell para desenvolvimento de aplicações web, como https://logic.manoel.dev;
• stickers - um repositório com stickers personalizados sobre Lisp que usamos no telegram;
• troll-shield - um mecanismo de defesa criado em 2020 para impedir que os trolls destruíssem nossa comunidade (um bot expulsador de gente escrito em Go);
• starwar - um port/fork de um joginho de dominação de planetas escrito em Common Lisp que particularmente sempre gostei muito;
• lisp.com.br/cl-cookbook - a tradução do cl-cookbook pra português, mas está boa parte incompleto.

Aqui… essa parte vou omitir por enquanto, que está parcialmente descrita em https://lisp.com.br/rules.html. Em outro momento entro em detalhes.

The initial system was designed to be a propositional calculus checker, in the sense of:

Given a set of K premises, show how we can deduce this conclusion C.

This was requested as an engineering task in my computer engineering graduation in 2014, during the first period. Funny, what did the professor think when requesting something like this for the students in the first year? The outcome was not good, as anyone could probably imagine. The project was designed to be split in such a way that part of the classroom was doing X, Y, Z… and in the end, the small parts would be glued together to form a "Propositional Calculator."

Well, this professor talked about Lisp to us, but what everyone had started to learn basically two months ago was programming in C. I'm not sure, but he really tried to convince us that a header called <lisp.h> was real and we could use it to process lists using C, using functions like car and cdr.

I'm not sure if the professor was going crazy or if it was just a lie, but this didn't exist. And most of the students were struggling to just implement linked lists. The result was a complete disaster; most of the groups, which were split from A to F, failed completely.

To this day, I think this impossible task was aimed at giving students a real feeling about how hard engineering is, because some weeks before this, the same professor was teaching us digital electronics, and after other hard courses (like calculus and physics), someone said, "Hey, this is easy." I think he took this personally, I'm not sure. Besides this, he was a great professor teaching digital electronics.

Anyway, since this failure, I had already read about Common Lisp because of Serial Experiments Lain a year ago (2013). Then, my interest in this increased even more because Lisp seemed like such an ALIEN technology, which was fascinating to me.

Well, most part of the literature I've found abouth proof checkers, propositional logic and in the classic sense was written in Lisp. Curiously, most part of the books the professor shared was doctor thesis or really old books (from 197X).

To accomplish the initial task, that actually to see this happening, I decided to learn Common Lisp properly. Between 2015-2016 I was only looking superfially how Lisp works, how Emacs works… But not having much time to get into it. In 2017, however, I got a deep dive on it.

I started to read Structured and Interpretation of Computer Programmings (SICP), watched all the youtube course of MIT 6.001 of 1986 and read from start to end the book Land of Lisp (very fun to read, btw). All my notes about this journey of learning is scattered in some small code and notes in this repository called lisp-insights.

After thoroughly reading a lot about this and learning Common Lisp more profoundly, I decided to apply my recently acquired knowledge. The first project was actually Lisp Chat, a fun experience of managing a chat using raw TCP sockets and being capable of using even netcat as a client.

It's still 2017, three years since 2014, when my previous professor showed the nightmare of dealing with propositional calculus. In that year, I started lisp-inference and got some stuff working on generating truth tables, although this was not exactly the initial request.

To create a real logical proposition checker, I had to implement the Wang's Algorithm, which was, at that moment, beyond my comprehension of how I'd deal with it. I even tried to start, dealing with expression transformation, like simplification, double negation, equivalences, etc. An automation of human deduction of logical proofs.

Since then, I have worked on this project, improving it little by little each year. It's almost my personal laboratory for Common Lisp.

I worked on revitilization of this application due being a important project for me, even without any practical usage. Some things was really important to deal with, including:

• implementing a pratt parser;
• implement a share button to share truth tables;
• change deprecated web framework weblocks to reblocks;
• restylize web application;
• changed testing framework prove to rove;
• add input validator:
  • error handling of invalid expressions;
  • reject expressions with more than 10 premisses;
• improve dockerfile build time from 8min to 1min
• ci/cd with new scheme of tests / deploy

Se eu fosse relatar tudo o que aconteceu durante esses dez anos, poderia escrever um livro. Nos primeiros dois anos, de 2014 a 2016, cursei engenharia na UFPA. Por motivos pessoais, comecei a sentir que não me identificava mais com a instituição e que estava no lugar errado. Assim, em 2016, iniciei o processo de transferência de instituição e fui aprovado para continuar meu curso de Engenharia da Computação na UFC, em Sobral.

Em Sobral, senti uma conexão mais forte com a instituição e percebi que estava em um lugar que fazia mais sentido para mim. Lá, consegui expandir significativamente meu conhecimento e estabelecer boas relações com professores e outros alunos, apesar de geralmente fazer poucas amizades.

Os primeiros anos em Sobral, de 2016 até o final de 2017, foram marcados por muitos problemas financeiros, pois havia parado de trabalhar. Trabalhei em uma empresa de procedência duvidosa de 2015 a 2016. Em 2018, ao ser contratado pela Neoway, empresa na qual trabalho até hoje (2024), consegui me manter financeiramente em Sobral.

A partir de 2020, com o início da pandemia, minha graduação entrou em um ciclo terrível de depressão e adversidades. Embora já enfrentasse problemas antes, o confinamento e meu casamento recente (2019) pareceram intensificar a crise.

Por mais de dois anos, a partir de 2021, fiquei paralisado com meu projeto de TCC. Uma mistura de ansiedade, que me levou à emergência pensando que estava tendo um infarto, depressão e outros problemas, tornaram o tema que escolhi praticamente impossível de desenvolver, apesar de ter parecido uma boa ideia quando o escolhi em 2021.

Após várias reviravoltas, incluindo a obtenção de uma bolsa de iniciação científica voluntária no ITA em 2020 e quase perder minha relação com meu orientador na UFC devido à minha incapacidade de responder seus e-mails, 2023 trouxe uma grande mudança.

Em junho de 2023, mesmo ainda estando na gradução, fui aprovado no programa de mestrado do ITA em Engenharia Eletrônica e Computação com o mesmo tema do meu TCC – Segmentação Semi-Supervisionada de Imagens através de Dinâmicas Coletivas em Redes Complexas. Isso me deu um novo impulso para finalmente concluir meu TCC. Felizmente, o resultado foi muito melhor do que eu esperava e a banca examinadora elogiou bastante o trabalho que passei mais de dois anos pesquisando. No dia 25 de janeiro de 2024, finalmente me formei, totalizando 10 anos na engenharia desde que fui aprovado na UFPA em 2014.

Cheguei aqui em São José dos Campos, SP, em fevereiro de 2024. As minhas primeiras aulas presenciais no ITA começarão no início de março. Fazer parte do ITA me proporcionou uma imensa alegria, pois era um sonho que eu tinha há mais de 10 anos e que acreditava estar perdido. Apesar da pós-graduação ser diferente da graduação, sinto-me satisfeito por estar avançando na minha carreira acadêmica. Quem sabe, este passo pode me levar a lugares que, no momento, não consigo nem imaginar.

Minha primeira depressão ocorreu quando tinha 16 anos, em 2010. Fiquei recluso por todo esse ano em casa, no último ano do ensino médio com um turbilhão de sentimentos, onde se misturava a separação dos meus pais, meu primeiro namoro e uma traição que sofri de um amigo próximo. Mesmo sendo um aluno aplicado — um ano adiantado na formação de ensino por ter pulado a segunda série para terceira aos 8 anos sendo que mal frequentei a terceira a série por conta de problemas familiares — a depressão não encontrou barreiras pra destruir esse histórico.

Penso até o momento que o Transtorno Bipolar é uma condição psiquiatra extremamente mal compreendida, começando pelos próprios pacientes em certas ocasiões. Um transtorno como esse que pode possuir tantas variações não pode ser caracterizado como um transtorno psiquiátrico fácil de entender — ao mesmo tempo que possa ser confundido com uma pessoa completamente normal, é possível também confundir com esquizofrenia (T.B. Tipo I).

Cresci toda minha vida rodeado de dramas em relação ao Transtorno Bipolar por conta do meu pai, que possui T.B. Tipo I. Esse tipo de transtorno possui várias semelhanças ao tipo II, mas com uma diferença substancial: a mania. O portador de transtorno bipolar maníaco-depressivo tipo I possui uma resposta oposta a depressão chamada mania, onde acontece uma extrema euforia, podendo levar a agressividade, estresse e até mesmo alucinações.

Eu não tenho mania, apenas hipomania, que é uma versão mais branda desse episódio que acontece exclusivamente com o T.B. tipo I. Na imagem a seguir é possível observar as transições de humor entre diferentes transtornos psiquiátricos em relação a uma pessoa comum, a mania e hipomania é a diferença entre os bipolares tipo I e tipo II.

Durante uma crise de mania, já vi meu pai destruir uma casa inteira enquanto criança (aos 6 anos de idade) e isso foi devastador pra mim, por muito tempo tive medo do meu pai e também não compreendia isso muito bem. Muitos falavam de possessão demoníaca, e honestamente, até que parecia mesmo… Seu tom de voz mudava, sua personalidade, sua percepção, até mesmo suas memórias… E muitas vezes ele se tornava extremamente agressivo, principalmente com seus familiares.

Isso persistiu por muitos anos na minha família, as crises de mania e depressão que meu pai sofria. E eu, que tinha meus problemas, não recebia atenção que talvez eu precisasse sobre os traumas que estavam sendo criados continuamente, e eu escolhi ali a reclusão como meu protetor, pois eu senti naquele momento que não poderia contar com ninguém.

O ano de 2010… É um ano chave. Como comentei, é o início de muitas coisas na minha vida, a incluir o alcoolismo juvenil, a primeira traição, a primeira vez de tantas coisas. Isso foi devastador pra mim de muitas maneiras. Foi uma experiência muito intensa, que me obrigou a me afastar de praticamente todas as pessoas que eu conhecia… e me aproximar da música, neste ano foi quando comecei a aprender tocar violão enquanto faltava as aulas do ensino médio.

Na perspectiva de quem possui essa condição, a diferença substancial de uma pessoa com transtorno bipolar é a resposta as emoções, seja as boas ou ruins… No geral, tudo é muito intenso. Alguns tem a percepção que bipolares são muito sensíveis, mas não é somente sobre isso, as emoções perduram por muito mais tempo e isso trás consequências que nem sempre são tão agradáveis.

Meu primeiro episódio de depressão durou cerca de 9 meses. Isso ocorreu novamente em anos posteriores, em ciclos de aproximadamente 2 anos… 2012, 2014, 2016, 2019, 2021…

Os ciclos de depressões no geral sempre foram bastante longas (9 meses em média), e entre esses ciclos, há intervalos de hipomania que podem parecer uma ressuscitação emocional de tão agressiva que pode ser, afinal nesse momento tudo parecia ser novo, e eu com toda essa energia de renovação fiz muitas coisas… Seja na faculdade, no aprendizado individual com a música e outras coisas… Isso é tão forte, que pessoas próximas, principalmente em relacionamentos, já pensaram que eu tivesse dupla personalidade, e brincavam com meus nomes tentando separar as identidades (Manoel, Neto…). A hipomania é tão revitalizante após a depressão, que te mexe com sua percepção de auto-resistência, tornando uma espécie de super homem na sua auto imagem. Essa criação de uma distorção da percepção de si mesmo nesse período é comum, podendo também gerar até mesmo crises de megalomania (como um gatinho que olha pro espelho e vê um leão).

Esse combustível da hipomania te deixa imparável, tira os limites do cansaço e da distração, é possível aguentar longas exposições de esforço físico e mental, entre várias horas e dias, como também a baixa necessidade de sono (mesmo dormindo entre 3 a 4h diárias, ainda é possível se manter sem sinais de cansaço por VÁRIOS DIAS).

Mas existe um problema, a hipomania além de ser breve, ela costuma ter lados negativos também, em algumas situações muito negativas. Pressa na fala, irritabilidade, agressividade, dificuldade de sentir empatia. Isso pode ser devastador num relacionamento ou no trabalho profissional. Além do mais, por estar operando acima da sua capacidade cognitiva normal, a chance disso provocar uma exaustão emocional e mental se não for gerida é imensa, sendo um gatilho eventual para depressão (e assim perpetuando a dinâmica oscilatória malévola: a transição maníaca-depressiva).

Há uma preocupação grave com o transtorno bipolar não tratado, pois é a doença de transtorno de personalidade maior causadora de suicídios, sendo que 30% a 50% dos portadores tentam o suicídio ¹, 20% conseguem e o T.B. II é ainda pior nesse sentido, pois os ciclos de depressão costumam ser maiores, e também mais reincidentes. Pesquisador alerta sobre transtorno bipolar e comportamento suicida na adolescência (Fiocruz, 2022).

É um tema recorrente que passa pela mente do bipolar, mais agravante em períodos depressivos, coisas que já sofri muitas vezes, e o apoio da família e amigos nessa etapa é fundamental. Em outro momento talvez possa contar sobre um episódio crítico pessoal sobre esse tema.

Ele é bipolar… e agora?

Eu tive poucos relacionamentos na minha vida, e sempre o Transtorno Bipolar, esteve presente como um ator de conflito mesmo que eu não soubesse da sua existência.

Há muitos anos estou no mesmo relacionamento (minha atual querida esposa), mas nem por isso, esse relacionamento é imune aos males do transtorno. Pelo contrário, é uma batalha constante para ambos aqueles que participam da relação onde há o bipolar.

Dou mérito a minha esposa, por mais que na minha completa descrença, e com minha grande relutância, insistiu que eu buscasse ajuda profissional.

Não dá pra saber o que vai acontecer no futuro a partir daqui, mas o processo de diagnóstico foi essencial para salvar minha vida e também meu casamento que caminhava ao abismo.

Em 2022, além de ter passado por um problema de saúde familiar grave com minha mãe, tive um burnout severo no trabalho por conta de incompetência alheia, que prefiro nesse artigo não dar detalhes pra perder o foco.

Além de estar num episódio de depressão, burnout no trabalho, infeliz na vida pessoal, infeliz no casamento, os investimentos em colapso e todas minhas economias derretendo, perdi uma das essências que mais me motivava continuar: meus estudos.

Em 2021 entrei em exaustão profunda e não consegui dar continuidade nem na bolsa de pesquisa que ganhei no ITA, nem finalizar minha graduação que apenas faltava o trabalho de conclusão de concurso. Isso foi um veneno extremamente poderoso pra minha alma.

Até hoje sinto ainda estar em recuperação disso tudo, pois não é apenas uma questão de medicação pra restabelecer o equilíbrio físico-químico do meu cérebro que é deficiente por natureza, mas também… Aceitar a condição psiquiatra que possuo e aprender a conviver com os traumas que fui adquirindo com cada fase da minha vida.

Não sou uma pessoa aberta, sou bastante recluso, anti social e tenho poucos amigos. E mesmo entre esses poucos amigos, em episódios de crise é praticamente impossível eu me comunicar de maneira efetiva. No pico da depressão, eu perco a comunicação total. E quem mais sofre, além de mim, é quem está perto de mim.

Por esses motivos, a única sensação que sobra é a de isolamento. E de certa maneira, isso não mudou muito, mesmo com a medicação.

A vontade de isolamento persiste. E isso torna um relacionamento saudável, seja amoroso, profissional, ou de amizade, extremamente difícil.

Van Gogh e o Transtorno Bipolar - É mais fácil amar ao longe.

Estudar sobre o transtorno bipolar me fez aumentar meu nível de aceitação e também entendimento sobre os gatilhos que podem fazer eu sair da zona de estabilidade.

Uma monografia em particular de Maria F. F. Mota como estudo de caso do transtorno bipolar para conclusão de curso de Psicologia (2005, UniCEUB) é bastante elucidativo:

MEU DEUS, POR QUE EU FIZ ISTO?.

Para quem quiser explorar as características clínicas para diagnóstico do transtorno bipolar tipo 2, é possível consultar no Manual Diagnóstico e Estatístico de Transtornos Mentais. Para facilitar o processo de busca vou deixar um link da quinta edição numa página hospedada gentilmente pelo Psiquiatra Gustavo Amadera (CRM-SP 117.682):

Transtorno Bipolar Tipo 2 Critérios Diagnósticos DSM-5

Em tratamento. Apenas deixo um recado pra quem se identificar: confie no seu psiquiatra e no tratamento. As medicações não são seus inimigos nem mudam quem você é realmente.

To be continued.

<2021-02-19 Fri>

Estamos em 202X. Já perdemos a conta sobre o número de lockdowns sequenciais. No mundo existe guerra política, ouve-se mentiras e histórias mal contadas nos meios de comunicação o tempo todo que são eventualmente desmascaradas ao longo de poucos dias. Todo ano que se passa, pontualmente, há uma variação do coronavírus que aparece no final do ano e explode no início do próximo ano.

Suponha o seguinte: a pandemia COVID-19 é um plano mundial pra coleta de informações das mais variadas áreas da humanidade. Todos estes acontecimentos foram planejados para que ocorresse uma revolução digital de vez com os programados lockdowns, principalmente nas universidades e no mercado industrial. Desse jeito, uma amostra do conhecimento do mundo muito maior que a anterior é feita.

Eles fizeram o problema, então ofereceram a solução. A coleta de dados é feita através de ferramentas digitais, como Google Meet e Zoom. Ferramentas usadas para dar aulas em universidades e reuniões empresariais, do qual foram recomendadas via parcerias gratuitas com mérito de caridade em momento de epidemia global, mas há uma cláusula: uma porcentagem mínima de usuários da instituição adotada deve gravar o conteúdo das conferências.

Por exemplo, a gravação no Google Meet é armazenada no Google Drive. Através de um tratado oculto, planejado desde 201Y, a China e outros governadores mundiais tem acesso direto aos dados provisionados de armazenamento em cloud… Portanto, possuem acesso a toda base de conhecimento do mundo. Como existe já I.A. suficientemente especialista com reconhecimento de voz e imagens, é possível fazer uma busca tremenda num mar novo de informações.

Dessa maneira, o Google, e os outros sistemas mundiais de busca, tem a maior biblioteca antecipada do estado da arte da ciência, engenharia, produtos e negócios. Pois eles tem acesso a toda informação catalogada automaticamente por inteligência computacional, com busca avançada e tudo mais que tem direito do novo milênio. E o pior: com acesso ao conhecimento de todo global, no ponto de produção, em tempo real! Imagine… o conceito de privacidade é abolido, algo do passado a ser sonhado por muitos. Quem acredita na possibilidade de privacidade nessa época são revolucionários desse sistema de vigilância opressor.

Essa seria chamada… a espionagem suprema, uma versão de 1984 global, a pandemia da espionagem. Ao considerar isto, devo apresentar o professor e um dos protagonistas dessa história, Doutor J. Karamazov, uma grande referência da ciência da computação, que sabiamente decide não gravar suas aulas pois conhece a verdade. Por outro lado, ele não conta isto a ninguém, muito menos a seus alunos. J. Karamazov é um herói indireto dessa história, destinado a revelar a todos a corrupção desse sistema… mesmo sem dizer nenhuma palavra direta a respeito.

Professor J. Karamazov sempre foi um professor muito atencioso, devidamente cauteloso no que fala e bastante didático. Nas variadas disciplinas que ministrava, sempre foi muito exigente com o nível de aprendizado dos seus alunos e também com uma empatia anormal sobre o entendimento real dos alunos. Por outro lado, por esperar tanto dos seus alunos, facilmente se decepcionava.

De maneira recorrente, o professor questionava se o que falava aos seus alunos fazia sentido, e apenas era necessário um silêncio estranho da turma para ouvir coisas do tipo: "Esse silêncio não é bom. Ou vocês estão entendendo tudo e estão entendiados, ou eu não estou me fazendo entender […] melhor eu clarificar, pois é normal não entender imediatamente, o aprendizado nasce do confronto". Com sua grande empatia ao aprendizado dos alunos, até aqueles mais tímidos que havia desistido de interagir pela opressão de outros professores arrogantes, tomava então coragem para fazer perguntas e pedir mais explicações de Karamazov. A aula era bastante fluída e definitivamente uma das aulas mais legais do semestre, pois sempre havia espaço pra questionamento e aquilo dava uma verdadeira sensação de liberdade de pensamento – como uma universidade deve ser.

Entre os vários professores do corpo docente de computação, J. Karamazov era de longe um dos mais respeitados por outros colegas e principalmente seus alunos. Além do domínio exemplar sobre computação e inteligência artificial, era uma pessoa muito humilde e sincera, entretanto com aparente muitos segredos sobre sua vida pessoal, que a deixava totalmente reservada da sua atuação profissional. Ah, mas sei de algo pessoal, J. Karamazov era fã dos cientistas e escritores russos, especialmente o escritor Fiódor Dostoiévski. Ele até me apresentou um dia a última e maior obra desse autor numa feirinha de livro da universidade! E, óbvio, não pude resistir a sugestão e mesmo sem tempo pra ler eu comprei a única cópia que tinha – algum tempo depois me bateu uma leve culpa, pois este livro era prometido para um professor de filosofia de outra universidade e eu mesmo depois de anos ainda não terminei de ler toda a obra.

Para J. Karamazov o distanciamento social na universidade por conta da pandemiaera terrível, pois como ele era um professor muito atencioso que percebia o desentendimento apenas olhando para os rostos dos seus alunos, esse professor teve uma enorme dificuldade pra manter as aulas via conferências digitais. Afinal… quase nenhum aluno tinha a ousadia de ligar a câmera e provar que estavam focados, prestando atenção na aula, pois muitos estavam na verdade fazendo outra coisa enquanto fingiam estar assistindo aula.

Depois dos primeiros anos, apesar de ir quase a loucura, Dr. Karamazov finalmente conformou-se com a condição de talvez nunca mais dar aula ao vivo para todos seus alunos em sala de aula. A universidade estava propondo como regimento oficial o ensino híbrido: parte presencial, parte remota. Muitos alunos preferiram continuar com as aulas remotas por muitas questões pessoais e financeiras, portanto, o professor precisava continuar usando as ferramentas digitais para aula de todo jeito. Uma delas era o Google Meet.

Mas algo o incomodava… este professor não permitia em hipótese alguma a gravação de suas aulas, uma vez questionado sobre o motivo disse apenas que evitava a gravação para valorizar a sua aula e a atenção: "Se vocês não prestarem atenção agora, não haverá segunda chance, você ouvirá tudo isso apenas uma vez e é agora. Prestem atenção.".

Em contrapartida, havia um motivo medonho por trás dessa decisão… um aluno em especial, M. Laurent, desconfiava e defendia uma hipótese estranha com unhas e dentes, mas era considerado por muitos outros alunos como um lunático, embora fosse um aluno respeitado por J. Karamazov. M. Laurent… era literalmente pirado. Frequentava suas aulas de forma assídua e fazia grandes questionamentos pertinentes aos seus ensinamentos, conseguia gabaritar provas nas disciplinas mais difíceis com J. Karamazov, mas eventualmente tomava umas bombas tão grandes e ridículas que um dia teve que ouvir coisas de seu professor como: "Eu esperava mais de você, M. Laurent.". Isso era de cortar o coração de M. Laurent, mas ele sabia que estava errado e que deveria ao menos ter lido o conteúdo da prova invés de ter ficado livros sobre matemática pura que não tinha nada a ver com a disciplina.

E esta era a maneira de J. Karamazov educar seus alunos: "Vocês, meus alunos, podem e devem ser muito mais.". Penso que o professor poderia imaginar algo assim ao repreender seus alunos com a mão da decepção invés de o punho da arrogância.

To be continued…

Durante nossas vidas cotidianas consumimos muitas coisas. Passamos a vida consumindo, todos dias notícias, drogas, músicas, emoções, livros e até mesmo o ar que respiramos. O que reflete meu ser senão aquilo que eu consumo todos dias? Desde meu alimento, o que leio, o que estudo, o que me distrai. O consumo me consome como ser, consome meu tempo e meu estar, a distração atrapalha meu foco e minha atenção ao que está ao redor. Porque sentimos necessidade de tanto consumir e nos distrair? O sofrimento não é fácil de gerenciar, muito menos confrontar, muitas vezes é mais simples buscar o conforto na fuga. Mas será esse o caminho para aproveitarmos a experiência em vida?

O consumo na indústria do entretenimento é uma fuga das emoções externas e internas que abalam a nossa alma; seja uma música que incita o alcoolismo e o apelo sexual, um livro de autoajuda cheio de métodos vãos para a busca da verdade, um jogo de videogame cheio de violência pra extravasar sua raiva. Dito isto, pergunto: O que estamos fazendo nessa vida breve e finita?

A fuga nos afasta da experiência, do confronto, das emoções reais que sentimos. O consumismo consome nosso tempo e nossa mente, como um artifício em ilusão de repor o que perdemos, para acalmar nossa dor, um remédio pra postergar o confronto. Se o que há de mais valioso nessa vida é a experiência, porque deveríamos perder tanto tempo com tantas coisas vazias e sem valor?

O reconhecimento do que significa experiência é necessário. O autor J. L. Bondia no artigo intitulado `Notas sobre a experiência e o saber da experiência' defende: "A experiência é o que nos passa, o que nos acontece, o que nos toca. Não o que se passa, não o que acontece, ou o que toca. A cada dia se passam muitas coisas, porém, ao mesmo tempo, quase nada nos acontece. Dir-se-ia que tudo o que se passa está organizado para que nada nos aconteça. […]".

O excesso não é bom em praticamente nada nesta vida, não seria diferente quanto a informação. O autor anteriormente citado, parafrasesando-o, diz que a experiência tem sido cada vez mais rara, em primeiro lugar pelo excesso de informação, e informação não é experiência. Em segundo lugar, a experiência é cada vez mais rara por excesso de opinião. Pelo excesso de informação, opinamos demasiadamente. O autor continua e diz: "Em nossa arrogância, passamos a vida opinando sobre qualquer coisa sobre que nos sentimentos informados […]. A obsessão pela opinião também anula nossas possibilidades de experiência, também faz com que nada nos aconteça".

Ainda nessa perpectiva, é posto em cheque a raridade da experiência pela falta de tempo. O autor afirma que tudo se passa demasiadamente depressa, cada vez mais depressa na modernidade, de tal maneira que o acontecimento nos é dado na forma de choque e a velocidade com que ocorre é tão tremenda que impede a conexão significativa entre esses acontecimentos.

Por último, de acordo com o autor, a falta de experiência acontece pelo excesso de trabalho. Portanto, conectando estes pontos e a tirinha do André Dahmer, temos tido pouco tempo para apreciar a vida, o que nos ocorre a todo instante, inundados de informações inúteis e trabalhos medíocres que não nos fazem felizes, pra piorar, no estado de infelicidade fugimos da realidade com qualquer coisa que ajude a nos esquecer do que vivemos. No fim, chega o pior caso: a vida se torna um grande vazio completo sem experiência alguma. Tudo passou por nós e nada em nós terá ficado, pois estávamos sem tempo, trabalhando dia e noite, ocupados demais opinando sobre qualquer assunto irrelevante de uma notícia do governo, uma vacina que está pra chegar ou outra besteira de alguma rede social.

Sem experiência não teremos vida. Seremos uma mula até a morte. A experiência requer atenção, silêncio para que ocorra a transformação em nossa vida. O grande show da vida.

Eu tava tendo vários problemas com meu sistema operacional do computador de mesa, que além de ter um hardware já datado (10+ anos), possuí uma placa de vídeo nvidia (GT 240) que constantemente tem me dado dor de cabeça durante quase toda minha jornada com o Linux. Acho que a única distribuição Linux que não tive muitos problemas foi o Manjaro e o Artix.

Mas então, por questão de simplicidade multiusuário – outras pessoas tem usado esse computador agora – instalei o Linux Mint desde que perdi todos meus sistemas principais – resumo de uma longa história: (2019) artix random upgrade bug caused kernel panic at boot + (2020) ransomware no windows por causa de uma criança estúpida querendo baixar fortnite.

De toda maneira, cortando o lenga-lenga – ou uma parte dele – tenho usado Linux Mint desde então (2020) depois de fugir por alguns anos de sistemas baseado em debian/ubuntu e systemd. Por alguma razão estranha, após alguns upgrades (distro version upgrade, pensa numa parada pra dar merda! rolling release rules) eu finalmente cheguei numa versão… mais bugada ainda pra minha felicidade.

Toda vez que eu reiniciava meu computador simplesmente não funcionava mais o driver de vídeo. O X11 entrava em loop e eu se quer conseguia acionar o console via Ctrl+Alt+FN, ficava tudo travado; minha única opção era reiniciar naquele ponto ou destruir essa desgraça – brincadeira, esse computador foi o início de tudo. No fim das contas, o fluxo padrão de uso desse computador funcionava da seguinte maneira: toda vez que eu desligava, ao ligar novamente percebia que tava tudo fudido, então eu reiniciava de NOVO para então entrar no modo de recuperação, dava um jeito de acionar os serviços de rede (que depois de um tempo fazendo manualmente percebi que tinha uma OPÇÃO pra ativar pra você) e reinstalar os drivers de vídeo da nvidia com o seguinte comando:

apt install --reinstall nvidia-340

Toda vez, toda santa vez, que reiniciava ou desligava eu tinha que fazer essa merda. Claro, depois de corrigir eu reiniciava de novo. Só nisso já foi três restarts (o que deu ruim, a correção e o sistema funcionando de novo).

Sabe o que pensei? Quer saber, bora vê aqui se nesse SystemDeus tem um jeito de usar um hook pra executar um comando antes de desligar/reiniciar. Afinal, se essa porra toda sempre acontece depois de desligar, eu corrigindo antes de desligar deve funcionar, não?

Pois então, aí vamos lá. Eu fiz o seguinte, após uma breve pesquisa e verifiquei que quase ninguém sabe direito como faz pra isso funcionar, ou quando sabe fazer funcionar não sabe porque funciona, coletando os fragmentos de conhecimentos espalhados pelas threads encontradas, escrevi o seguinte serviço em /etc/systemd/system/reinstall-drivers.service:

[Unit]
Description=Reinstall Nvidia Drivers
DefaultDependencies=no
Before=shutdown.target reboot.target halt.target
After=network.target network-online.target
Wants=network.target network-online.target


[Service]
ExecStart=/usr/local/bin/apt install --reinstall nvidia-340 -y
Type=oneshot


[Install]
WantedBy=shutdown.target reboot.target halt.target

Logo então, acionei os seguintes comandos:

sudo systemctl daemon-reload
sudo systemctl enable reinstall-drivers

Fiz reboot e testei. Funcionou! Fiz reboot de novo e funcionou novamente. Espero que continue funcionando. A parte chata é só a demora de cerca de 3min agora pra desligar/reiniciar, afinal toda vez vai ser reinstalado o driver de vídeo, mas é muito melhor que fazer toda essa desgraça manualmente.

Invés de ser escravo de computador, prefiro que o computador seja escravo de si mesmo.

Post atualizado em: <2020-09-04 Fri>

Na real, essa porra de ficar reinstalando não é muito confiável. Depois de um mês e meio usando essa solução, às vezes isso funciona, às vezes não. O systemd nunca foi muito confiável, mas eu supus que pelo menos pra fazer ativação correta dos serviços poderia se confiar. Nem isso.

Às vezes os drivers eram reinstalados quando o computador desligava, mas nem sempre – também não sei o porquê isso acontecia. Além disso, se o computador fosse desligado abruptamente já era, aí não funcionaria mesmo a reinstalação no desligamento. Tentei também deixar o serviço rodando na inicialização do sistema, embora demorasse muito o computador pra desligar, iria assegurar que iria pelo menos ligar. Mas também não funcionou muito bem. ÀS VEZES funcionava.

Por esse motivo, eu resolvi usar uma propriedade do sistema dos arquivos e simplesmente marcar o atributo de imutabilidade como ativo para os arquivos de driver da nvidia. Uma solução brutal, mas que funcionou bem. Nesse caso, precisei rodar os seguinte comandos com permissão de administrador:

    sudo chattr +i /lib/modules/$(uname -r)/kernel/drivers/video/nvidia_uvm.ko
    sudo chattr +i /lib/modules/$(uname -r)/kernel/drivers/video/fbdev/nvidia/nvidiafb.ko

Para checar se a mudança teve efeito observa-se a inclusão do atributo de imutabilidade i via lsattr:

lsattr /lib/modules/$(uname -r)/kernel/drivers/video/nvidia_uvm.ko
    lsattr /lib/modules/$(uname -r)/kernel/drivers/video/fbdev/nvidia/nvidiafb.ko
  

Você deve receber uma resposta similar a:

----i--------------- /lib/modules/5.4.0-42-generic/kernel/drivers/video/nvidia_uvm.ko
----i--------------- /lib/modules/5.4.0-42-generic/kernel/drivers/video/fbdev/nvidia/nvidiafb.ko

O lado negativo dessa solução é que precisarei fazer esses comandos toda vez que o kernel for atualizado. Talvez uma solução definitiva seria assegurar que um script ativa os atributos de imutabilidade dos drivers assim que são reinstalados. Mas isso é papo pra outra história.

Post atualizado em: <2020-10-17 Sat>

Instalei outra distribuição Linux mais decente neste computador: Artix. Já venho usando essa distribuição desde 2017 e tem sido muito bom. Não vem com SystemD e é considerado um mini-fork do Arch Linux, uma distribuição rolling-release com uma ótima documentação online e também um repositório de pacotes de usuários com muitas coisas úteis: AUR.

Apesar de não existir suporte oficial para placas de vídeo NVIDIA mais legadas como a minha – GT 240 (2010) – pois os últimos drivers que a suportam é a versão 340.xx eu consegui ter uma versão funcional do meu sistema com a instalação dos seguintes pacotes via AUR:

yay -S lib32-nvidia-340xx-utils nvidia-340xx-dkms nvidia-340xx-utils

O lib32 é necessário pra rodar alguns softwares mais legados, como o da steam.

Egoísmo é comum. Talvez mais do que deveria ser; há uma certa confusão de egoísmo com individualidade. Ora, são coisas distintas! Egoísmo está relacionada com nossa identidade pessoal, está ligada diretamente com a ideia de que tudo gira ao seu redor (centro das atenções). Não é que você seja somente importante pra sua vida, afinal óbvio que na sua vida você é importante, mas você acredita fielmente que as outras pessoas também deveriam dar importância a você de repente até mais do que elas dão a si mesmo!

O egoísmo além de dar supremacia ao ego poderia tornar um indíviduo até mesmo um megalomaníaco: um complexo de superioridade que as outras vidas tem menos importância que a sua, uma ilusão, um delírio.

A individualidade por outro lado apenas preza que eu sou um indíviduo, eu tenho minhas vontades e elas devem ser respeitadas. Eu gosto da ideia de individualidade, mas tenho realmente dificuldade de lidar com pessoas egocêntricas por serem tão acidas e centradas em si.

Acredito que individualidade é necessário para a iluminação e o autoconhecimento, pelo menos em algum nível. É muito difícil não deixar sua identidade esparsa e nebulosa no meio de tanta explosão de informação pela internet.

Então entramos no oposto, senão é egoísta, então é altruísta? Não necessariamente. A seguir eu comento que o altruísmo pode ser às vezes até mais nocivo pra própria vida que o egoísmo.

Ou seja, não é necessário adotar extremos entre egoísmo e altruísmo para definir sua personalidade, é possível muito bem balancear o uso de empatia e individualidade para que você alcance seus desejos pessoais respeitando também a vontade, desejo, complexidade e sofrimento alheio.

Não devemos viver a vida dos outros! Mas também não devemos impedir que elas possam viver bem! Sejamos meros coadjuvantes na vida dos outros e na nossa, definitivamente, precisamos ser o protagonista!

Modelos determinísticos tem a propriedade que não há fatores de aleatoriedade no processo de modelagem da solução. Sua resposta sempre se aproxima de maneira ótima para o problema e é previsível em qualquer caso. Conhecidos modelos determinísticos são as análises da física newtoniana, como dinâmica e cinemática. Conhecendo os valores iniciais, é possível descrever a evolução de um sistema em condições ideais.

Outro modelo conhecido por ser determinístico é o modelo matemático envolvido nos circuitos elétricos. Como a lei de Ohm \(v = RI\). Em condições ideais, a resposta exata do sistema avaliado é descrito pelas equações que regem o modelo.

É importante lembrar que um modelo matemático é comumente referenciado como um sistema para descrever algo mensurável, que se assemelha a algo real — como é o caso da física newtoniana e a teoria de circuitos elétricos.

Muitos sistemas de interesse envolvem comportamentos imprevisíveis e aleatórios. Esses sistemas não podem ser descritos com modelos determinísticos, pois dependem de fatores não-determinísticos. Experimentos aleatórios, como o fato de lançar uma moeda, transmissão de pacotes, tempo de espera em uma fila… são problemas com natureza aleatória. Não é possível modelar esse tipo de problema com modelos determinísticos.

Nesse momento então surge um novo tipo de matemática que lidaremos como Probabilidade e Estatística. No decorrer do livro, entraremos em conceitos mais abstratos como o de Random Processes (Processos Estocásticos).

Os meios de comunicação da internet, assim como seus protocolos, são bons exemplos de sistemas modelados com modelos probabilísticos. Não é possível, por exemplo, saber de exato se um pacote ao ser enviado será chegado ao destinatário. Temos uma probabilidade que isso ocorra e uma determinada probabilidade relacionada a quantidade de vezes necessárias que um pacote seja enviado até que ele tenha sucesso.

Conceitos básicos de probabilidade, axiomas, teoremas e implicações.

Bom, variáveis aleatórias discretas são definidas no contexto de probabilidade e estatística. Uma variável aleatória nada mais é que uma função que relaciona um evento (experimento aleatório) a um dado número.

Para um variável aleatória ser definida, essa relação deve ser conhecida.

Há muitos tipos de variáveis aleatórias, como variável de poison, geométrica, bernoulli e a variável binomial. Cada uma delas são usadas para casos distintos de problemas com natureza probabilística.

Nas próximas seções serão definidas, de uma maneira mais descritiva e formal, as propriedades que uma variável aleatória discreta possuí.

Existe a noção de classe de eventos, que são uma coleção de experimentos aleatório que possuí o mesmo tipo de experimento. (como os resultados de lançar uma moeda ou um dado).

This is a lot of introspection about my entire life: the nested deaths and resurrections. Mainly about the depressing eras and fighting with it. How does the sound of a mind like that sound? The album covers a random composing music on these days. How can I say... it's just about me.

For me, was always (and always will be) like a eternal phoenix cycle: dead inside, reborn. Repeat.

Thanks to Boa and Vivaldi creating so much awesome musics, the Mindblowing and Lost tracks was covers of the respective music authors: Vivaldi Tribute by Patrick Rondat and Duvet by Boa.

As extra track, I added later of publish date a old cover that I recorded of Cello Suit I Prelude in G by John Sebastian Bach, but the execution is just a sample (not completed).

All credits © and rights reserved ® to Manoel Vilela (λ.me?), released in June 11, 2016.