aredesph's profile picture. Gimme my Bi pride flag Unicode 🌈

Pedro

@aredesph

Gimme my Bi pride flag Unicode 🌈

Really appreciate @kinera13 support. I bought an IEM from them a few months ago and the boom mic connector loosened after the warranty expired, causing white noise and malfunction. I contacted them just to let them know and they sent me a brand new one, no questions asked


Quero ver superar o tecnólogo, a ETB com o lendário cardápio de - strogonoff de peixe - pipoca de mistura e abacaxi de sobremesa

todo dia eh assim uerj = lasanha bolonhesa ufrj = sambiquira ao molho de maracuja uerj = sobrecoxa ufrj = fubá com água



ufa, já tava ficando preocupado

Estão destruindo o Banco do Brasil. 😢

ducavendish's tweet image. Estão destruindo o Banco do Brasil. 😢


bateu o desespero, me candidatei pra vaga web Java (isso é um pedido de socorro)


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


oficialmente estou empregado, fiz a minha primeira burrice eeeeeeeeeeee


Solving some issues with unification at progress proof (it requires some subst application to fix types), so close...

aredesph's tweet image. 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)

aredesph's tweet image. 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)

🥳🥳🥳

aredesph's tweet image. 🥳🥳🥳

é impressionante que todo progresso que eu tenho vem acompanhado de algo 10x mais difícil, merere

aredesph's tweet image. é impressionante que todo progresso que eu tenho vem acompanhado de algo 10x mais difícil, merere
aredesph's tweet image. é impressionante que todo progresso que eu tenho vem acompanhado de algo 10x mais difícil, merere

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/65c4e… researchgate.net/publication/22…


we can have de Bruijn indices, nice

aredesph's tweet image. we can have de Bruijn indices, nice

Gostaria de pedir desculpas antecipadamente pra quem for ler isso (isso inclui eu no futuro)

aredesph's tweet image. Gostaria de pedir desculpas antecipadamente pra quem for ler isso (isso inclui eu no futuro)
aredesph's tweet image. Gostaria de pedir desculpas antecipadamente pra quem for ler isso (isso inclui eu no futuro)

Loading...

Something went wrong.


Something went wrong.