Adriano @adrianomvcii
I like cats and PL’s Joined September 2020-
Tweets135
-
Followers69
-
Following681
-
Likes871
Adriano retweeted
Adriano retweeted
a collection of set theorists who are so excited that they cannot contain themselves
Adriano retweeted
finally someone made it – tetris in @PostgreSQL, [almost] in pure SQL, with recursive CTEs github.com/nuno-faria/tet… HN: news.ycombinator.com/item?id=414448… UPD: the repo's README is amazing
Adriano retweeted
It's 2024. We still have cabal install but no cabal uninstall. But now it adds insult to injury by asking: "Maybe you meant `install`?" I did not.
Adriano retweeted
eu amo o ime
Adriano retweeted
All we ever see of stars is their old photographs.
Adriano retweeted
Oh you're a functional programmer? Name every type
Adriano retweeted
Today's T-shirt is from the movie “Bacurau” (2019). I recommend it. It features Udo Kier.
Adriano retweeted
Vicar Amelia is screaming.
Adriano retweeted
Two types of Elden Ring players. Which are you? #Eldenring 🔗 u/Own_Masterpiece_7136
Adriano retweeted
oportunidade de repostar a minha versão brasileira baseada inteiramente no mato grosso
oportunidade de repostar a minha versão brasileira baseada inteiramente no mato grosso https://t.co/NE6dLmUGdv
PDP-11/69 @LadyLandshark
214 Followers 1K Following Security researcher and music nerd. Known to occasionally speak in technobabble.
noboru @nbrhrsk
6 Followers 35 Following and you now that I'm in love with the mess and I think I like it
Martin @martinmrmar
21K Followers 4K Following Amateur photo snapper, math nerd, wood craftsman, lover of cozy log cabins, books, tacos, and everything Harry Potter. Don't be a catfish. No DMs! Pro-Choice!
Gabriela Moreira @bugarela
905 Followers 906 Following Building Quint at @informalinc | Born and living in Brazil 🇧🇷
bsky.app/profile/zee.... @zeeshanlakhani
2K Followers 4K Following eng @oxidecomputer | @papers_we_love/pwlconf co-founder/org. | @SCSatCMU PhD in PLT trial & erroring. Find me here instead: 🦋 https://t.co/hzRtv3yUNJ
Lef @elefthei
1K Followers 1K Following Research Engineer @Rise_MSR, @MSFTResearch. Compilers, Formal Verification, Cryptography. Previous: @Penn, @Bridgewater, @MIT.
Jennifer @jennifer_zuchel
548 Followers 3K Following
iblaidkbipdlfetbqw@ca... @iblaidkbip77941
0 Followers 7 Following
Marianne @hill_marianne12
315 Followers 3K Following
Kimberly @kimberl87850344
511 Followers 3K Following
Marie @irvin_marie61
372 Followers 3K Following
Rayna @rayna_boss
408 Followers 3K Following
Dian Ji @DianJi2
231 Followers 441 Following PhD student at @RiceEarthSci, MS from @UTK_EEPS. High temperature geochemistry and igneous petrology explorer 🌋. Fishing enthusiast 🎣. He/him
Axel Ljungström @overleaf_user
48 Followers 74 Following Mainly here to read football rants (preferably about IK Sirius). If you're looking for maths, I'm found here these days: https://t.co/OQCmQVjhqj
alcides @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
Marcos Renato Gomes @MarcosDoGarimpo
3 Followers 13 Following
Herr DC Lange @CarlHedgren
375 Followers 946 Following computer people Three digit IQ master race. proud neo-nmemonite and GWOD veteran. M-x immigrant
Henry Blanchette @rybl4
89 Followers 572 Following Programming Languages PhD student at the University of Maryland. Interested programming languages, formal verification, game dev, game theory.
Nil @yung_nil
69 Followers 152 Following PhD candidate in Computer Science at UFSCar • AI and NLP Researcher • Data Scientist at Americanas s.a
tá @leohaha0
17 Followers 77 Following
Arjun @arjunslays
491 Followers 2K Following I am Jake Gyllenhaal🍃, Guitar Nerd, λ Dev ||⚡, Fear is the mind killer 👾
Joel Svensson @sve10362122
292 Followers 2K Following Implementing a Lisp like language for microcontrollers. LispBM is a lisp or scheme like language with concurrency and an Erlang inspired message-passing system
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Tom Horner @TomHorner19
3K Followers 4K Following 🚀 Business English for Software Engineers | Feel Confident in Meetings 🔥 | Unlock New Career Opportunities 🔑🌎 | 60+ Student Reviews | DM for more info 📧
Bonatto @fiBonatto
1K Followers 1K Following Software engineer building @AgorizBot. Focused on formal methods and functional programming. Opinions are mine.
FP Complete @FPComplete
6K Followers 2K Following FP Complete is a technology company specializing in Server-Side Software, DevSecOps, Cloud Deployment, Container Orchestration & Advanced Programming Languages.
Hattori Rhenzo @HattoriRhenzo
56 Followers 321 Following descobri agora que tenho que colocar uma frase de efeito aqui
not real inv @wetrustinvent
736 Followers 1K Following Senior Software Engineer at Wiise 💻 Psytrance DJ 🎧👽 - https://t.co/suDtLI3Fdw Bacharel em Ciência da Computação - UFMT
Iggo @lggo95
16 Followers 175 Following
Felipe Nunes @_nullnes
108 Followers 410 Following As vezes me chamam de Felipe e um dia eu me prendi na idéia de ser livre.
Matuti Sapedeᅠᅠ�... @matheussapede
31 Followers 115 Following
Save the poyo @reneraman_
190 Followers 463 Following 'Sob a luz do luar garotos negros parecem azuis'
É o Braia @pedro_zenere
34 Followers 63 Following
GustavoKida @kida_gustavo
16 Followers 75 Following
SarahChibiArts ~ DM f... @SarahChibiArts
7K Followers 1K Following Sarah Chibi Arts💫 Languages: 🇧🇷/🇺🇸/🇯🇵 Freelancer illustrator! Ilustradora da Maru chan (Anime friends) 20th ver. Instagram @sarahchibiarts
The Institute for Typ... @typememetics
843 Followers 106 Following Truth in types, safety in thought. Advancing the use of type theory as a protective factor against cognitohazard.
Deadlock Intel @IntelDeadlock
74K Followers 40 Following Your #1 source for all things Deadlock, Valve's newest 6v6 shooter! Follow for Deadlock updates, gameplay vids, breakdowns, tournament results & more.
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Higher Order Company @higherordercomp
8K Followers 0 Following Getting to the very core of what makes computers capable of reasoning. https://t.co/5iLyJjioth
Ulf Norell @ulfnorell
612 Followers 96 Following
Sandfall Interactive ... @SandfallGames
81K Followers 243 Following Video game studio developing Clair Obscur @expedition33 a turn-based #RPG on #UnrealEngine. Montpellier. Dim dim dam dada dim dim da dada dim da lilam
Victor Borba @VictorABorba
2K Followers 73 Following Christian Metal singer, the guy who sang Bury The Light DMC5
Casey Edwards™️ @ComposerCasey
41K Followers 297 Following award-losing composer/producer 2XKO, Mortal Kombat 1, Destiny, Exoprimal, Devil May Cry, & more!
LaurieWired @lauriewired
106K Followers 285 Following researcher @google; serial complexity unpacker; https://t.co/Vl1seeNgYK ex @ msft & aerospace
PDP-11/69 @LadyLandshark
214 Followers 1K Following Security researcher and music nerd. Known to occasionally speak in technobabble.
Amar Hadzihasanovic @amar_hh
966 Followers 237 Following Assistant Professor @TallinnTech, Advisor @QuantinuumQC. Mathematician & CS theorist. Born in ex-YU, raised in 🇮🇹, lived in 🇳🇱🇬🇧🇯🇵🇫🇷, now in 🇪🇪.
Caterina Urban @caterinaurban
401 Followers 280 Following Research scientist at @inria_paris and @ENS_ULM. Left-handed 🤚, in the footsteps of Alan Turing and Marie Curie. I want a dog 🐕.
Alexander Bandukwala ... @abanduk
383 Followers 760 Following Pursuing the Future of Computing. PhD student at @UMichCSE. Worse is worse. @[email protected]
Xuejing, aka Snow @hxjxsnow
404 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
Travis Whitaker (hs/a... @TravisMWhitaker
5K Followers 834 Following I am weaponizing Haskell and Nix.
François-René Ridea... @fare
1K Followers 320 Following Cybernetician, building liberty, love and understanding (for Computing see @ngnghm, for Cryptocurrency see @phanaero)
💻🐴Ngnghm @Ngnghm
2K Followers 319 Following Welcome to the Swiftian World of Houyhnhnm Computing ("Hunam"). I am @fare's software alter ego (but see @phanaero for cryptofoo). Call me "Ann". 🐎Read my blog!
OPLSS @UOPLSS
260 Followers 0 Following Official account of the Oregon Programming Languages Summer School. 2017 tweets by @d_christiansen.
Chris Henson @_chenson__
867 Followers 3K Following CS PhD student @DrexelCCI working on categorical semantics in Lean. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
Quinn Dougherty (new ... @qd_forall
132 Followers 125 Following Bridging the cultures between formal verification and AI. My p(doom) is 50% cuz it either happens or it doesn't. https://t.co/NlknpJL8D6
LightQuantum @LightQuantumhah
8K Followers 761 Following CS PhD student @UofT | call-by-name | PLT/FP | zh-CN daily life | 生活推
Steven Baldasty @sbaldasty
9 Followers 44 Following Passionate software developer, proud father, barefoot runner, lifelong learner, chocolate enthusiast
ACM SIGLOG @acmsiglog
275 Followers 31 Following
Pratyush Das @ReikDas
401 Followers 663 Following PhD student @PurdueCS advised by @mkulkarni and @GhostOfBendy | Past: @apple @iris_hep
Alexandra Silva @alexandra8silva
2K Followers 867 Following Computer scientist, loves traveling and food tasting!
Ron Garcia @rg9119
2K Followers 429 Following Transmogrifies coffee into LaTeX at University of British Columbia
Yaron (Ron) Minsky @yminsky
16K Followers 340 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Noam Zeilberger @noamzoam
740 Followers 546 Following Computer scientist interested in the connections between things. Assistant professor at @LIX_lab @Polytechnique. https://t.co/idhOknEIRO
Taro Sekiyama @skymountain_
395 Followers 202 Following
Walaber @walaber
25K Followers 1K Following Making games like JellyCar, Parking Garage Rally Circuit and Replicube | ゲームを作っています！日本語だいたいワカル | He/him
RTX 5090 & 5080 Resto... @GPUStockAlerts
747 Followers 4 Following Follow for GPU restocks! Discord: https://t.co/AUV2fqHGBt As a Amazon Associate I earn from qualifying sales #NVIDIA #RTX5080 #RTX5090 #RTX5070
JacobTJV (Video Edito... @JacobTjv
5K Followers 2K Following Video Editor and Voice Actor! https://t.co/fOxZbQIzNY Banner by: @RunawayStar__ AI🚫
Pérolas do Broxada S... @perolasbroxada
36K Followers 71 Following Acervo das pérolas do Broxada Sinistra.
tobyfox @tobyfox
2.0M Followers 293 Following
Ryan Dougherty @ProfDougherty
66 Followers 48 Following Assistant Professor of #ComputerScience at West Point. Interests: discrete #mathematics, software testing, evolutionary algorithms, and CS education.
Ryan Dougherty @ryandoughertyaz
203 Followers 49 Following Non-professional account of Ryan Dougherty. Also the creator of @EasyTheory and @ProfDougherty.
Easy Theory @EasyTheory
157 Followers 24 Following Making theory easier one pumping lemma at a time. Run by @ProfDougherty (professional), @ryandoughertyaz (personal).
Samantha Reig @samaranthar
286 Followers 486 Following HCI/HRI researcher. Asst. Prof. @UMassLowell. PhD @cmuhcii.
Arthur Medina @ArthurMedinalol
7K Followers 647 Following 13y, Adc GM for @FURIA Trainee ‣ 📧 [email protected]
noboru @nbrhrsk
6 Followers 35 Following and you now that I'm in love with the mess and I think I like it
localthunk @LocalThunk
159K Followers 68 Following Creator of Balatro (@BalatroGame) Business/Media: [email protected] Blog: https://t.co/iTSIsn5UwZ Direct contact: [email protected]
HIDEO_KOJIMA @HIDEO_KOJIMA_EN
4.1M Followers 247 Following Game Creator: 70% of my body is made of movies.Trends for United States
166 B posts
49,6 B posts
85,7 B posts
6.918 posts
41,3 B posts
13,4 B posts
4.717 posts
39,2 B posts
11,5 B posts
6.768 posts
6.958 posts
20,5 B posts
47,1 B posts
11,1 B posts
6.686 posts
3.335 posts
3.676 posts
7.716 posts
8.091 posts
4.264 posts
You might like
Rolinha
@RolinhaG
164 Followers
Felipe Nunes
@_nullnes
108 Followers
FAMOSINHO FELIPE
@Felipede64
75 Followers
Brisa
@IsaaProducoes
82 Followers
Leonardo
@_leoGonc
45 Followers
Fumante do IC
@fuckingfogeid
16 Followers
Femassaka?
@femassaka
36 Followers
Salah
@sarrandotiel
50 Followers
pedro
@pedroS2neymar
48 Followers
Save the poyo
@reneraman_
190 Followers