Pedro @aredesph

Gimme my Bi pride flag Unicode 🌈 linktr.ee/lorpedro Brasília, Brasil Joined October 2019

Tweets

5K
Followers

208
Following

301
Likes

2K

Pedro @aredesph

4 days ago

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

0 0 0 21 0

Pedro @aredesph

4 weeks ago

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

nico @NICOx2N

4 weeks ago

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

295 2K 40K 1.8M 1K

0 0 0 44 0

Pedro @aredesph

a month ago

ufa, já tava ficando preocupado

E. Cavendish @ducavendish

a month ago

ufa, já tava ficando preocupado

336 1K 8K 365K 147

Download Image

0 0 0 45 0

Pedro @aredesph

3 months ago

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

0 0 0 88 0

Pedro @aredesph

4 months ago

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

0 0 0 87 0

Pedro @aredesph

4 months ago

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

0 0 1 114 0

Pedro @aredesph

5 months ago

my dream is to find an euclidian algorithm for Fourier transform that is fast enough to be run without quantum bs

0 0 0 120 0

Pedro @aredesph

6 months ago

oficialmente estou empregado, fiz a minha primeira burrice eeeeeeeeeeee

0 0 3 135 0

Pedro @aredesph

6 months ago

gist.github.com/PHAredes/e3f44… I think I did it, let me just ping @VictorTaelin 'coz I'm anxious haha

0 0 1 115 0

Pedro @aredesph

6 months ago

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

0 0 0 93 0

Download Image

Pedro @aredesph

6 months ago

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)

0 0 0 97 0

Download Image

Pedro @aredesph

6 months ago

🥳🥳🥳

0 0 1 91 0

Download Image

Pedro @aredesph

6 months ago

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

0 0 0 49 0

Download Image

Pedro @aredesph

7 months ago

cada dia que passa eu vejo que minha decisão de continuar fazendo suco até conseguir algo fora de webdevelopment foi acertada

0 0 0 59 0

Pedro @aredesph

8 months ago

some yapping based on "Curry-style explicit substitution for the linear and affine lambda calculus" gist.github.com/PHAredes/65c4e… researchgate.net/publication/22…