Pedro retweeted
O canal oficial do PL postou isso, @gabrielswainer. Já podemos gritar “fogo” ou meio que ta cedo ainda?
OPINIÃO GABRIEL WAINER 💬 "A cada quatro anos, o país está a um passo do abismo. E o abismo nunca tem o mesmo nome. Acontece que, embora muita gente não goste, a alternância de poder é, em si, a democracia funcionando. Perder a eleição encerra um governo, e o país segue adiante. Ou pelo menos deveria. E quem grita incêndio em toda eleição acaba gastando o alarme quando o perigo for real."
gist.github.com/PHAredes/e3f…
Revisited it after a full year, and I think I got wiser in this meanwhile
Comprei um teclado 60%, coloquei homerow mod (que eu nunca tinha testado). Em 30 min eu fiquei triste, pq agora acho que tenho tecla demais
impressionante que até hj a porra dos @correiosBR não segue ordem judicial de mais de 5 anos e não entrega no Sol Nascente. Ainda me coloca pra buscar encomenda lá em Taguatinga
my dream is to find an euclidian algorithm for Fourier transform that is fast enough to be run without quantum bs
gist.github.com/PHAredes/e3f…
I think I did it, let me just ping @VictorTaelin 'coz I'm anxious haha
Solving some issues with unification at progress proof (it requires some subst application to fix types), so close...
Just did it. Funny how all models just fall in the rabbit hole of considering Acc defined with the recursor independently from the accessibility predicate (no matter how much you explain it not to do so) and cannot solve it (although Grok gets the idea but not the execution)
cada dia que passa eu vejo que minha decisão de continuar fazendo suco até conseguir algo fora de webdevelopment foi acertada
some yapping based on "Curry-style explicit substitution for the linear and affine lambda calculus"
gist.github.com/PHAredes/65c…
researchgate.net/publication…
Spent a full month proving an interpreter and forgot to test it for the capability of instantiate the bare minimum to address the requirements. Now that I finished I realized it is to restrict to even encode BCK combinators. Well, at least now I assure I can read sequent calculus