Pedro @aredesph
Gimme my Bi pride flag Unicode 🌈 linktr.ee/lorpedro Brasília, Brasil Joined October 2019-
Tweets5K
-
Followers206
-
Following305
-
Likes2K
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
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
ufa, já tava ficando preocupado
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
gist.github.com/PHAredes/e3f44… 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)
é 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…
Gostaria de pedir desculpas antecipadamente pra quem for ler isso (isso inclui eu no futuro)

Lazyguga @lazyguga
1K Followers 2K Following Jornalista apaixonado por games, séries e cinema Vice do Sazonal de Desventuras Mágicas Melhor Atleta de Card Games em 2022 Contato: [email protected]
MaykaS @MaykaS_LoR
572 Followers 265 Following Top 16 LoR Worlds 2022 / Top 8 Seasonal / 3x Top 32 Seasonal / Top 32 Runeterra Open / 2x Top 64 Runeterra Open / Top 16 Runeterra Open WCQ / Top 4 LCQ Open /
Mah Sgarbi 🏳️... @MahSgarbi
4K Followers 2K Following 🏳️🌈 o L em lgbtqia+ 📸 Criadora da conteúdo ✨ Sempre fazendo alguma coisa por aí 📧 [email protected] 📍 Avaré/SP
julia mafra 🤠 @Divatimberlake
2K Followers 426 Following Streamer Parceira twitch / Advogada / Comentárista / #AcademiadePiltover email profissional: [email protected] https://t.co/pf7ttLwFe1
King ✊🏿️�... @CanaldoKing_
2K Followers 1K Following Contador de Histórias📚👊🏾🏳️🌈 A lore do jogo que você ama está aqui! 🎬 + 48k Youtube +24k Tiktok +14k IG #LeaguePartner #Fifine [email protected]
SrRoxas @SrRoxas
443 Followers 217 Following Editor de vídeos, entusiasta da cultura japonesa e juiz profissional de Yu-Gi-Oh! Aberto a bate-papos e sempre buscando aprendizado. Streamer em horas vagas.
Kuchta 🐨 @KuchtaS2
247 Followers 669 Following BR/US/POL | escrevo umas paradas quase que interessantes aí 📖 | Estudante no 3° período de Publicidade 📽 | Palmeirense 💚 | Nick: Jubis 🦝
Thiago Mengo @tthiagostat1
705 Followers 2K Following Flamenguista, carioca, apaixonado por números, anti-facista, integrante da Fla-Torresmo e amigo do Anzini.
Trivo @Trivo_Lor
1K Followers 390 Following Former Legends of Runeterra ProPlayer Seasonal champion, worlds competititor MTG grinder Contact email: [email protected]
Aki @eaiAkihiko
948 Followers 997 Following (Ele/Dele) Caótico aleatoriedades, música, audiovisual, esporte, jogos, tesão e loucuras 📚 Ciências Sociais - UFRJ
4LW (João Ramos) @4LWlor
2K Followers 209 Following Former Legends of Runeterra player, successful at official tournaments, ladder and deckbuilding. Also a PhD candidate and philosophy professor.
Ez2Win @_ez2win
417 Followers 218 Following Jogador de Legends of Runeterra. Top 4 & 16 sazonal. 8x open top cut. https://t.co/RR7LWmTCFH
Sudrakon @Sudrakon_
599 Followers 1K Following Video games & anime https://t.co/d6JdvzZMMq [email protected]
BlackBoss @TiagoAmaralCCGs
1K Followers 996 Following Between Worlds seasonal champion. If you need to reach me send a msg to one of those: Discord: Tiago Amaral #3319. E-mail: [email protected]
Big Bad Bear @BigBadBear_
90K Followers 4K Following Vazamentos e talz | Leaks and stuff... OFF: @CrazyCuteCub_ ele/dele//he/him e-mail: [email protected] Bear
Aritthaadamas @aritthaada98351
21 Followers 86 Following
Bolha Funcional @BolhaFunc
71 Followers 55 Following Use a hashtag #bolhafunc ou marque @BolhaFunc para ser retweetado.
Amelia Tucker @Harrytucker4905
40 Followers 321 Following
Oomiqal @Oomiqal1690165
45 Followers 1K Following
@gerry (with/dhh) @Gerry
1K Followers 922 Following I Simplify. Personal belief: I support you being free to be yourself, so long that that doesn't involve preventing others from doing the same.
Bruno Augusto @slimm082
2 Followers 261 Following Aprendendo programação funcional e teoria dos tipos
gleizi ⚡ @gleizi
360 Followers 965 Following CEO of @DaviPetris. Passionate about decentralized systems, compilers, type theory, FP and low-level details of computation @gleizibarbosa @bolhafunc
OlliCarolli @OlliCarolli
181 Followers 3K Following Creator of ShaderBoi: https://t.co/ZUxVykG3F9 https://t.co/MaRkaocVYf
EduardoRFS.tei @TheEduardoRFS
9K Followers 2K Following 26yo anti floating point developer. You can almost always find me at https://t.co/XTQJQqaVhe, it's the boring side of tech.
Nubythinha❤️ @Nubiadesouza175
140 Followers 177 Following pra ser rainha não é só sentar no trono , pra ser rainha tem que saber governar!
Linguagem Potigol @potigol
4K Followers 7K Following Linguagem de programação funcional para iniciantes - Functional programming language for novices
lorenzo @Lorenzoowb
539 Followers 455 Following
Bonatto @fiBonatto
1K Followers 1K Following Software engineer building @AgorizBot. Focused on formal methods and functional programming. Opinions are mine.
Yahia @Yahiadalbah
2 Followers 77 Following https://t.co/hP4kQYfcT1 https://t.co/pLpIjAaMpC https://t.co/Ufn3WO706m
Alex • Dad @copywritig__dad
275 Followers 4K Following Built a $120K+/month online business as a stay-at-home dad. I help you grow a community and monetize your ideas to $100k+/Month. DM for 1-on-1 mentorship.
Joaquim Shaliv @JoaquimShaliv
9 Followers 324 Following
XeniaPontarelli @Pontarelli83078
35 Followers 2K Following
Wanda @s_wanda92
227 Followers 3K Following
Jennifer @t_jennifer38
263 Followers 3K Following
𝕊𝕒𝕞𝕦𝕖�... @samuell_vitoorr
165 Followers 975 Following Aspirante a Programador Backend 「 ruby 💜 java 」 「 Ciências da Computação 」
saldaña daniel @dan18wind
92 Followers 603 Following Persona que busca aprender cosas nuevas cada dia
luscaralho @putscript
1K Followers 5K Following DEVeras desinteressado / padawan java / whovian em hiato / 24 anos dando desgosto pro mundo
reinaldorauch.dev.br @reinaldorauch
1K Followers 4K Following Primally TS/JS Programmer, with interests in Rust and Funcional Programming (He/His). Marjorie's Parent ♡
Neurodivertido @Laeciosemor
30 Followers 60 Following
Chip Babilônico @bandeireiro
94 Followers 626 Following
brilhanteemo @LucasBrilhante_
229 Followers 508 Following Não-mono Ele/Dele Software developer, gamer, what, am, i, doing, with, my, life, fuck, me
Barbie Professora @Brisaella
274 Followers 555 Following
Minha @thaisn_rosa
121 Followers 199 Following Aqui é meu universo de fofoca, desabafo e jornal matinal.
GM.Photos @EuComo_Pudim
30 Followers 122 Following Quanto mais vc espera, menos vc vai ter que esperar. Reflita kkk
Magic The Gathering B... @BrasilMTG
2K Followers 3K Following #MagicTheGathering Notícias, Dicas, Decks, Novidades e Muito Mais! #mtg #mtga #mtgo #magicarena #magiconline
JJ ✠ 🎸 @P3reiraJJ
202 Followers 301 Following Guitarrista // Apreciador de desenho japonês // Vasco minha paixão // Games // Valorant Player // TI meu ódio
Lazyguga @lazyguga
1K Followers 2K Following Jornalista apaixonado por games, séries e cinema Vice do Sazonal de Desventuras Mágicas Melhor Atleta de Card Games em 2022 Contato: [email protected]
MaykaS @MaykaS_LoR
572 Followers 265 Following Top 16 LoR Worlds 2022 / Top 8 Seasonal / 3x Top 32 Seasonal / Top 32 Runeterra Open / 2x Top 64 Runeterra Open / Top 16 Runeterra Open WCQ / Top 4 LCQ Open /
Santupea @Santupea
4K Followers 174 Following 🃏 #LegendsOfRuneterra Journalist 🎮 #LoR Content Creator 🌐 LoR Tournaments, Results & Decks 🚀 #LPP #RPP 📺 #PathOfChampions Streamer - Twitch Affiliate
Mah Sgarbi 🏳️... @MahSgarbi
4K Followers 2K Following 🏳️🌈 o L em lgbtqia+ 📸 Criadora da conteúdo ✨ Sempre fazendo alguma coisa por aí 📧 [email protected] 📍 Avaré/SP
total 🧉 @totalmaster_
941 Followers 829 Following ⭐ Caster profissional de E-sports ⭐ Narrador oficial do Mundial e do Sazonal de LOR Pela Riot games⭐https://t.co/DqQ3z19xze⭐
julia mafra 🤠 @Divatimberlake
2K Followers 426 Following Streamer Parceira twitch / Advogada / Comentárista / #AcademiadePiltover email profissional: [email protected] https://t.co/pf7ttLwFe1
dudu de nunu @DududeNunu
386 Followers 405 Following
King ✊🏿️�... @CanaldoKing_
2K Followers 1K Following Contador de Histórias📚👊🏾🏳️🌈 A lore do jogo que você ama está aqui! 🎬 + 48k Youtube +24k Tiktok +14k IG #LeaguePartner #Fifine [email protected]
Barba do Rafa #ASRPG @Abarbadorafa
2K Followers 693 Following Content Creator I Marketing no @assimilacaoRPG 📩: [email protected]
SrRoxas @SrRoxas
443 Followers 217 Following Editor de vídeos, entusiasta da cultura japonesa e juiz profissional de Yu-Gi-Oh! Aberto a bate-papos e sempre buscando aprendizado. Streamer em horas vagas.
Kuchta 🐨 @KuchtaS2
247 Followers 669 Following BR/US/POL | escrevo umas paradas quase que interessantes aí 📖 | Estudante no 3° período de Publicidade 📽 | Palmeirense 💚 | Nick: Jubis 🦝
Thiago Mengo @tthiagostat1
705 Followers 2K Following Flamenguista, carioca, apaixonado por números, anti-facista, integrante da Fla-Torresmo e amigo do Anzini.
Trivo @Trivo_Lor
1K Followers 390 Following Former Legends of Runeterra ProPlayer Seasonal champion, worlds competititor MTG grinder Contact email: [email protected]
Aki @eaiAkihiko
948 Followers 997 Following (Ele/Dele) Caótico aleatoriedades, música, audiovisual, esporte, jogos, tesão e loucuras 📚 Ciências Sociais - UFRJ
Hexenwitch @hexenwitch_
2K Followers 397 Following ex Criador de conteúdo de Games, 23y e gay povo animado 🏳️🌈
4LW (João Ramos) @4LWlor
2K Followers 209 Following Former Legends of Runeterra player, successful at official tournaments, ladder and deckbuilding. Also a PhD candidate and philosophy professor.
Ez2Win @_ez2win
417 Followers 218 Following Jogador de Legends of Runeterra. Top 4 & 16 sazonal. 8x open top cut. https://t.co/RR7LWmTCFH
Steve Rubin @RubinZoo
12K Followers 587 Following Senior Game Designer @riotgames @PlayRuneterra MTG (Retired):PT Champ, 14 GP Top 8s, 2 SCG Wins
Pablo Menin @kaxangabr
3K Followers 595 Following Narrador/Caster/Apresentador 🎙️ contato: [email protected]
Adriano 4dr Machado @fourdiar
9K Followers 382 Following Dota 2 Player Mid Lane https://t.co/7iL2Xh1dow https://t.co/waS1IVzuTr
Gui @PDSdoto
9K Followers 1K Following 👩🧑🐰🐶🐶🐶🐶🐶🐦🐦🐱🐱🐱 caster, analist, host, streamer. musician and photographer wannabe. di tudu um pocu. [email protected]
SangueV- @Bernardo_VNery
5K Followers 290 Following Diretor de broadcast // Narrador profissional de e-sports e sócio/fundador @Missclick_tv . Business: [email protected]
NS_ART @ns4rt
10K Followers 755 Following Dota 2 Streamer/analyst/coach/coment, former @Furia player https://t.co/8XFmBbeITq - Contact: [email protected]
Kinera Official @kinera13
5K Followers 151 Following Transport yourself to a world of enchanting music and exceptional craftsmanship with Kinera's IEMs. https://t.co/gNfGWt5vKN
JIN @JINfutebol
66K Followers 2K Following A Chinesinha do X! 🤗 Falo sobre Futebol e sobre o LifeStyle relacionado a esse esporte. Mais ''dicas de moda'' no link e no post fixado!
Aram Hăvărneanu @aramh
3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Zanzi Tangle, now at ... @tangled_zans
3K Followers 324 Following Turning Category Theory into code she/her Find me at: https://t.co/B0egvR0lmb @zanzi.bsky.social
ademir_corno @brainletbr
91K Followers 1K Following King corno of brainlotagem por trás do Brainlet BR. página anti-woke Faço lives na twitch: https://t.co/eqardQ9tci
@gerry (with/dhh) @Gerry
1K Followers 922 Following I Simplify. Personal belief: I support you being free to be yourself, so long that that doesn't involve preventing others from doing the same.
League of Legends: Wi... @WildRiftBR
188K Followers 65 Following Twitter OFICIAL do League of Legends: Wild Rift, seu MOBA preferido da @riotgames para dispositivos móveis.✨
Ayub | Internet propr... @ayubio
24K Followers 192 Following Me chamo Ayub e eu faço a Internet funcionar interligando cidades e países. Mantenho um canal YouTube sobre a Internet, sou professor e Diretor de Tecnologia.
András Kovács @andrasKovacs6
907 Followers 66 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM
gleizi ⚡ @gleizi
360 Followers 965 Following CEO of @DaviPetris. Passionate about decentralized systems, compilers, type theory, FP and low-level details of computation @gleizibarbosa @bolhafunc
Dmitrii Kovanikov @ChShersh
48K Followers 231 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Type Theory Forall @ttforall
4K Followers 283 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
OlliCarolli @OlliCarolli
181 Followers 3K Following Creator of ShaderBoi: https://t.co/ZUxVykG3F9 https://t.co/MaRkaocVYf
shusui @mrasc0
6K Followers 201 Following As vezes sou Tech Recruiter. Eu falo primeiro e depois penso. As opiniões expressas aqui são pessoais e não refletem a posição da empresa em qual eu trabalho.
Eduardo Ochs @eduardoochs
145 Followers 231 Following Person with doggy. Favorite pronouns it/its, but I don't care much. Biiig home page: https://t.co/Fr3JZm9iYI
Ross Tate @rossetate
3K Followers 148 Following Researcher and Consultant for Programming-Language Design and Implementation
Gio - Recrutadora @gipinheiral
8K Followers 83 Following Talent Acquisiton | Tech Recruiter | Recruiter (Ela/Dela | She/her)
Matt Timmermans @matt_timmermans
101 Followers 62 Following My opinions are all deeply suspect, except where software development is concerned.
JadeDragonSS 🇵🇸 @JadeDragonSS
645 Followers 1K Following From the river to the Sea Palestine Shall be free .
OCaml @ocaml_org
2K Followers 16 Following The industrial-strength functional programming language | safe, expressive, performant | Changelog + OCaml Planet RSS feeds https://t.co/TqiIR3AdHB
坛九 @tanjiu9
549K Followers 42 Following
Cloudy 🌥️ @oncIoud_e
409K Followers 436 Following this account is set to self destruct! pls switch to my new one @oncloud_e :)
it is not savio @itisnotsavio
50 Followers 81 Following T.I., GEEK, NERD, ROCK, GAMER... Viva cada segundo como se fosse o último, sempre de o máximo de você em tudo...
Design Liquido @DesignLiquido
212 Followers 476 Following Promovendo tecnologias em língua portuguesa: Delégua, LMHT, FolEs, LinConEs.
Linguagem Potigol @potigol
4K Followers 7K Following Linguagem de programação funcional para iniciantes - Functional programming language for novices
lorenzo @Lorenzoowb
539 Followers 455 Following
SKFTs.bend @SKFT_s
45 Followers 136 Following T.I., GEEK, NERD, ROCK, GAMER... Viva cada segundo como se fosse o último, sempre de o máximo de você em tudo...
Bonatto @fiBonatto
1K Followers 1K Following Software engineer building @AgorizBot. Focused on formal methods and functional programming. Opinions are mine.
Raphael Amorim @raphamorims
5K Followers 274 Following intern at @charmcli. Creator of Rio terminal and other few stuff.
Bolha Funcional @BolhaFunc
71 Followers 55 Following Use a hashtag #bolhafunc ou marque @BolhaFunc para ser retweetado.
el hombre pulpo @coproduto
22K Followers 3K Following faço código (profissionalmente), faço código (como hobby), construo empresas e falo de tecnologia, ciência e negócios
EduardoRFS.tei @TheEduardoRFS
9K Followers 2K Following 26yo anti floating point developer. You can almost always find me at https://t.co/XTQJQqaVhe, it's the boring side of tech.