Pedro @aredesph
Gimme my Bi pride flag Unicode 🌈 Brasília, Brasil Joined October 2019-
Tweets5K
-
Followers207
-
Following329
-
Likes2K
@VictorTaelin se for sério me manda no pv que eu consigo alguém pra fazer esse tramite pra você
0
0
0
159
0
View Details
@VictorTaelin Sorry, here is the direct download link: dl.acm.org/doi/pdf/10.114… Yours seem clean to me. Take a look at a version with size invariants encoded by opus
@VictorTaelin No fancy things is a valid point, but pop/push is O(1) with Okazaki
@VictorTaelin but yeah, it has some downsides, especially the cons computing time
@VictorTaelin I asked that because cons lists are degenerated trees (spines). If you delta-reduce them to binary tries, indexing elements by bitnat, the balanced structure emerges from the index representation itself, parallelism becomes structural, and the user never sees anything but a list
@xsupyallx @DaronOxys @umqualquermcz @iFood pq o cara trabalha pro ifood, e o ifood orienta ele a se comunicar só pelo app
@coproduto não, esse faiface.github.io/par-lang/intro…
@coproduto então, esse é o problema em aberto em session types
@coproduto no caso, definir concorrência em processos lineares é meio que um problema aberto que o pessoal do Par Language está trabalhando
@coproduto poder podem, mas elas interferem de forma não-trivial quando combinadas
@andreadjsp @robertayared @vini_vecchi pq dá mais trabalho do que fazer tudo padronizado
@VictorTaelin They describe cones, a categorical model for the denotational semantics of linear logic to model continuous data types
@VictorTaelin take a look at those arxiv.org/abs/2212.02371 arxiv.org/abs/2001.04284
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
560 Followers 264 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 425 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! 🎬 + 71k Youtube +56k Tiktok +75k IG #LeaguePartner #Fifine [email protected]
Deach @Deachtv
1K Followers 713 Following Electrical engineer | Partner @Twitchbr | https://t.co/qXVeCT09HQ
SrRoxas @SrRoxas
429 Followers 224 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
244 Followers 725 Following BR/US/POL | escrevo umas paradas quase que interessantes aí 📖 | Publicidade, Eventos e Audiovisual 📽 | Palmeirense 💚 | Nick: Jubis 🦝
Thiago Mengo @tthiagostat1
691 Followers 2K Following Flamenguista, carioca, apaixonado por números, anti-facista, integrante da Fla-Torresmo e amigo do Anzini.
Trivo @Trivo_Lor
1K Followers 385 Following Former Legends of Runeterra ProPlayer Seasonal champion, worlds competititor MTG grinder Contact email: [email protected]
Aki @eaiAkihiko
923 Followers 980 Following (Ele/Dele) aleatoriedades, música, audiovisual, esporte, jogos, tesão e loucuras 📚 Ciências Sociais - UFRJ
4LW (João Ramos) @4LWlor
2K Followers 206 Following Former Legends of Runeterra player, successful at official tournaments, ladder and deckbuilding. Also a PhD candidate and philosophy professor.
Ez2Win @_ez2win
410 Followers 210 Following Jogador de Legends of Runeterra. Top 4 & 16 sazonal. 8x open top cut. https://t.co/RR7LWmTCFH
Sudrakon @Sudrakon_
585 Followers 1K Following Video games & anime https://t.co/d6JdvzZMMq [email protected]
BlackBoss @TiagoAmaralCCGs
1K Followers 1K 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]
captain_al @captain_al_23
111 Followers 3K Following
🐮Moo @Moo_McMoo
44 Followers 2K Following Web dev with an interest in AI and its applications to biotech 🤖
Anand Shah @apscomp
287 Followers 5K Following PolygamIT, Stacktant, Connector, Reifer, open.source...
Scarlet @scarletrosedev
2K Followers 226 Following solutions architect & product maker chaotic neutral; content and personal opinions here creating @tekipedia_ofc
Autark @Aut4rk
1K Followers 2K Following God-Emperor of Deterministic Codegen. First of His Name. Enterprise Inference Solutions Architect Fellowe
🪤 Vagas tech e + @arofateM
5 Followers 41 Following (ela/dela) | 🤓☝️ Estagiária de talent rumo ao fechamento de vagas | 💼 Vagas Tech, B2C, B2G, Adm e + (mais mesmo, o time vai enlouquecer)
Aritthaadamas @aritthaada98351
52 Followers 327 Following
Bolha Funcional @BolhaFunc
65 Followers 53 Following Use a hashtag #bolhafunc ou marque @BolhaFunc para ser retweetado.
Amelia Tucker @Harrytucker4905
34 Followers 240 Following
Oomiqal @Oomiqal1690165
39 Followers 1K Following
raul @raulseirintai
932 Followers 514 Following Throughout heaven and earth, I alone am the honored one
gleizi ⚡ @gleizi
337 Followers 1K Following Passionate about decentralized systems, compilers, type theory, FP and low-level details of computation. Also CEO of @DaviPetris · @gleizibarbosa @bolhafunc
OlliCarolli @OlliCarolli
164 Followers 3K Following Creator of ShaderBoi: https://t.co/ZUxVykG3F9 https://t.co/MaRkaocVYf
EduardoRFS.tei @TheEduardoRFS
9K Followers 2K Following 27yo anti floating point developer. You can almost always find me at https://t.co/XTQJQqaVhe, it's the boring side of tech.
Nubythinha❤️ @Nubiadesouza175
139 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
528 Followers 447 Following
Yahia @Yahiadalbah
1 Followers 72 Following https://t.co/hP4kQYfcT1 https://t.co/pLpIjAaMpC https://t.co/Ufn3WO706m
Alex • Dad @copywritig__dad
248 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
7 Followers 326 Following
𝕊𝕒𝕞𝕦𝕖�... @samuell_vitoorr
154 Followers 1K Following Aspirante a Programador Backend 「 ruby 💜 java 」 「 Ciências da Computação 」
saldaña daniel @dan18wind
86 Followers 599 Following Persona que busca aprender cosas nuevas cada dia
luscaralho @putscript
1K Followers 5K Following DEVeras desinteressado / padawan java / whovian em hiato / 27 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
29 Followers 58 Following
Chip Babilônico @bandeireiro
84 Followers 606 Following
brilhanteemo @LucasBrilhante_
223 Followers 523 Following Não-mono Ele/Dele Software developer, gamer, what, am, i, doing, with, my, life, fuck, me
Barbie Professora @Brisaella
271 Followers 550 Following
Minha @thaisn_rosa
120 Followers 197 Following Aqui é meu universo de fofoca, desabafo e jornal matinal.
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
560 Followers 264 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 /
Santupea92 @Santupea
4K Followers 173 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_
934 Followers 836 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 425 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! 🎬 + 71k Youtube +56k Tiktok +75k IG #LeaguePartner #Fifine [email protected]
Barba D. Rafa #ASRPG @Abarbadorafa
2K Followers 690 Following Dir. Marketing no @assimilacaorpg I PM no ChampZ @exitlagbr 📩: [email protected]
Deach @Deachtv
1K Followers 713 Following Electrical engineer | Partner @Twitchbr | https://t.co/qXVeCT09HQ
SrRoxas @SrRoxas
429 Followers 224 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
244 Followers 725 Following BR/US/POL | escrevo umas paradas quase que interessantes aí 📖 | Publicidade, Eventos e Audiovisual 📽 | Palmeirense 💚 | Nick: Jubis 🦝
Thiago Mengo @tthiagostat1
691 Followers 2K Following Flamenguista, carioca, apaixonado por números, anti-facista, integrante da Fla-Torresmo e amigo do Anzini.
Trivo @Trivo_Lor
1K Followers 385 Following Former Legends of Runeterra ProPlayer Seasonal champion, worlds competititor MTG grinder Contact email: [email protected]
Aki @eaiAkihiko
923 Followers 980 Following (Ele/Dele) aleatoriedades, música, audiovisual, esporte, jogos, tesão e loucuras 📚 Ciências Sociais - UFRJ
Hexenwitch @hexenwitch_
2K Followers 400 Following Criador de conteúdo de Games, 24y e gay povo animado 🏳️🌈
4LW (João Ramos) @4LWlor
2K Followers 206 Following Former Legends of Runeterra player, successful at official tournaments, ladder and deckbuilding. Also a PhD candidate and philosophy professor.
Ez2Win @_ez2win
410 Followers 210 Following Jogador de Legends of Runeterra. Top 4 & 16 sazonal. 8x open top cut. https://t.co/RR7LWmTCFH
Steve Rubin @RubinZoo
12K Followers 588 Following Game Designer @blizzard_ent, prev @riotgames MTG: Pro Tour Champ, 14 GP Top 8s, 2 SCG Open Wins
Kevin Nicolas @KevinNicolasPF1
14K Followers 468 Following Faço uns vídeos de F1 no Primeira Fila F1, sofro pelo Figueirense e gosto de falar de quase tudo que envolve esportes. Até com certo clubismo.
captain_al @captain_al_23
111 Followers 3K Following
Futebol em Linhas @Futebol_Linhas
4K Followers 1K Following Histórias, bastidores e memórias do futebol brasileiro. Contadas em linhas.
🐮Moo @Moo_McMoo
44 Followers 2K Following Web dev with an interest in AI and its applications to biotech 🤖
Anand Shah @apscomp
287 Followers 5K Following PolygamIT, Stacktant, Connector, Reifer, open.source...
Kardashian de Softwar... @oprimodev
34K Followers 1K Following Eu nunca tive sorte, eu nunca precisei. https://t.co/0vKhmF4iCu
Allie ✞ @allie__voss
35K Followers 2K Following Building @nxatomics with @AlexDVoss Energy fellow @ConservAmerica & @IWF 🌎 Fmr @NASA @SBIRgov and @Harvard
deejay @Hello_Deejay
341 Followers 811 Following partnerships @MOIC_Digital - praisoor @GomaFanClub CEO @ ungodly pattern recognition LLC
vittor the creator @vittorocriador
116K Followers 995 Following contatos via dm✉️ ou [email protected]
Runtime Vеrification @rv_inc
9K Followers 325 Following We apply formal methods to improve the safety, reliability, and correctness of computing systems for auto, space, and blockchain.
Nick Gabe @ImNickGabe
19K Followers 1K Following ✨ Poeta de software; 🚀 Meu site: https://t.co/otHgvgg6qO; 📸 Instagram: https://t.co/2ELHDZr5Zt;
Camarada Wood @camarada_wood
105K Followers 10K Following CEO da NBA Twitter | Cupom CAMARADA em: https://t.co/j7IGvjzdKi | ✉️[email protected]
Scarlet @scarletrosedev
2K Followers 226 Following solutions architect & product maker chaotic neutral; content and personal opinions here creating @tekipedia_ofc
Adam N. ➔ devscout.... @adamsnows
3K Followers 190 Following building @devscout_app · sports addicted · crossfit, sk8, surf, jiu jitsu
tsu.node ➔ tsunode.... @tsu_node
4K Followers 134 Following Entusiasta NodeJs e ReactJs, filósofo das techs 👀 Engineer Manager na NP Digital 🇺🇸
Autark @Aut4rk
1K Followers 2K Following God-Emperor of Deterministic Codegen. First of His Name. Enterprise Inference Solutions Architect Fellowe
Ander - nortjobs.com @Anderodev
2K Followers 386 Following Um dia eu vou: Ajudar 100 crianças por mês Ajudar 100 famílias por mês. Ajudar 1000 pessoas diferentes.
DevScout @devscout_app
3K Followers 1 Following DevScout não é um site de emprego. É um robô que trabalha por você enquanto você dorme.
Dr. Alex Wissner-Gros... @alexwg
65K Followers 4K Following Physicist, computer scientist, entrepreneur, and investor. Narrating and accelerating the Singularity. Co-host of Moonshots. Author of The Innermost Loop.
O Marcelo!!! @marcelolvl
354 Followers 778 Following Chegado em games, filmes séries, animes, futebol e escrevo às vezes umas besteiras aqui.
Pablo Menin @kaxangabr
3K Followers 563 Following Narrador/Caster/Apresentador 🎙️ contato: [email protected]
Adriano 4dr Machado @fourdiar
9K Followers 389 Following Dota 2 Player Mid Lane https://t.co/7iL2Xh1dow https://t.co/waS1IVzuTr
Gui @PDSdoto
9K Followers 1K Following 👩🧑🐰🐶🐶🐶🐶🐶🐦🐦🐱🐱🐱 serumano com muito bicho photos, videos, games, etc [email protected]
SangueV- @Bernardo_VNery
5K Followers 305 Following Diretor de broadcast // Narrador profissional de e-sports e sócio/fundador @Missclick_tv . Business: [email protected]
NS_ART @ns4rt
11K Followers 759 Following Dota 2 Streamer/analyst/coach, former @Furia - https://t.co/8XFmBbeITq - https://t.co/5aPsilItMX - https://t.co/JunKAcPytk - Contact: [email protected]
Kinera Official @kinera13
5K Followers 152 Following Premium In-Ear Audio Inspired by Norse Mythology Hear the Color. Wear the Myth. 📩 Collaborations: [email protected] DC: https://t.co/tnU0XLHKhZ
JIN @JINfutebol
91K Followers 2K Following A Chinesinha do Fut! 🇨🇳 Torço pra todos os times, irrito vocês e ''dou dicas'' de Lifestyle Esportivo. 😉 Meu perfil: @jinfan444166
Aram Hăvărneanu @aramh
5K Followers 2K 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 345 Following Co-Founder and Director @ GLAIVE Turning Category Theory into code she/her Find me at: https://t.co/B0egvR0lmb @zanzi.bsky.social
ademir_corno @brainletbr
99K 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
League of Legends: Wi... @WildRiftBR
190K Followers 52 Following Twitter oficial do League of Legends: Wild Rift, seu MOBA preferido da @riotgames para dispositivos móveis.✨
Ayub | Internet propr... @ayubio
32K Followers 255 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.
raul @raulseirintai
932 Followers 514 Following Throughout heaven and earth, I alone am the honored one
András Kovács @andrasKovacs6
904 Followers 66 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM
gleizi ⚡ @gleizi
337 Followers 1K Following Passionate about decentralized systems, compilers, type theory, FP and low-level details of computation. Also CEO of @DaviPetris · @gleizibarbosa @bolhafunc
Dmitrii Kovanikov @ChShersh
73K Followers 251 Following Dysfunctional Programming account #1. Senior SWE. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.Trends for United States
You might like
Sudrakon
@Sudrakon_
585 Followers
Shikkamarux
@Shikkax01
125 Followers
SharkGui
@SharkGui1
358 Followers
SrRoxas
@SrRoxas
429 Followers
Sucessor
@SucessorLoR
536 Followers
TFTék
@NFamoso_
188 Followers
7Keys
@Its7Keys
1K Followers
Kuchta 🐨
@KuchtaS2
244 Followers
Thiago Mengo
@tthiagostat1
691 Followers
VKS FATE #SAROLUDAY
@AYAYA_FATE
198 Followers
Cássio Afonso
@Afzera
208 Followers
HotSoup
@HotSoup_GG
294 Followers