My recent motto for AI stuff is that if we were able to play Dota 2 in 2019, we can for sure play Lean 4 in 2026.

made EduardoRFS.tei version

AWS only sucks because Plan 9 failed.

I'm a big fan of state machines and I feel like they're just the wrong tool, we have programming languages bro. You're just discretizing a program.

I fear not the man who has wrote an interpreter for 1000 languages but I fear one who has wrote 1000 interpreter for one language.

Software 2.0 engineering with EduardoRFS.tei. Good vibes in the new paradigm, but not exclusively. Still, lots of new affordances, and feels like there's a big unlock around the corner.

Mano, me contaram isso eu tinha CERTEZA que era mentira pq n é possível tanta incompetênca, mas é vdd Os caras publicaram os Epstein Files todos redatados Mas eles só colocaram um fundo preto no texto no Adobe Acrobat, ainda dá pra vc copiar p outro arquivo e ler tudo KKKKKKKKK

28 days a month, 13 months, 1 additional day every year, it's a better system.