Adriano @adrianomvcii
I like cats and PL’s Joined September 2020-
Tweets134
-
Followers69
-
Following681
-
Likes865
Adriano retweeted
Adriano retweeted
Adriano retweeted
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 34 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
897 Followers 904 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 PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
Jennifer @jennifer_zuchel
548 Followers 3K Following
iblaidkbipdlfetbqw@ca... @iblaidkbip77941
0 Followers 7 Following
Marianne @hill_marianne12
307 Followers 3K Following
Kimberly @kimberl87850344
506 Followers 3K Following
Marie @irvin_marie61
366 Followers 3K Following
Rayna @rayna_boss
409 Followers 3K Following
Dian Ji @DianJi2
232 Followers 440 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
49 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
376 Followers 947 Following computer people Three digit IQ master race. proud neo-nmemonite and GWOD veteran. M-x immigrant
Henry Blanchette @rybl4
85 Followers 554 Following Programming Languages PhD student at the University of Maryland. Interested programming languages, formal verification, game dev, game theory.
Nil @yung_nil
70 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
494 Followers 2K Following I am Jake Gyllenhaal🍃, Guitar Nerd, λ Dev ||⚡, Fear is the mind killer 👾
Joel Svensson @sve10362122
294 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
55 Followers 319 Following descobri agora que tenho que colocar uma frase de efeito aqui
not real inv @wetrustinvent
729 Followers 1K Following Senior Software Engineer at Wiise 💻 && Psytrance dj 👽 - https://t.co/suDtLI3Fdw
Iggo @lggo95
16 Followers 176 Following
Felipe Nunes @_nullnes
107 Followers 408 Following As vezes me chamam de Felipe e um dia eu me prendi na idéia de ser livre.
Matuti Sapedeᅠᅠ�... @matheussapede
31 Followers 116 Following
Save the poyo @reneraman_
189 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 74 Following
The Institute for Typ... @typememetics
697 Followers 106 Following Truth in types, safety in thought. Advancing the use of type theory as a protective factor against cognitohazard.
Deadlock Intel @IntelDeadlock
72K 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
611 Followers 96 Following
Sandfall Interactive ... @SandfallGames
71K Followers 239 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 298 Following award-losing composer/producer 2XKO, Mortal Kombat 1, Destiny, Exoprimal, Devil May Cry, & more!
LaurieWired @lauriewired
97K Followers 294 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
960 Followers 237 Following Assistant Professor @TallinnTech, Advisor @QuantinuumQC. Mathematician & CS theorist. Born in ex-YU, raised in 🇮🇹, lived in 🇳🇱🇬🇧🇯🇵🇫🇷, now in 🇪🇪.
Caterina Urban @caterinaurban
400 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
384 Followers 760 Following Pursuing the Future of Computing. PhD student at @UMichCSE. Worse is worse. @[email protected]
Xuejing, aka Snow @hxjxsnow
402 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 827 Following I am weaponizing Haskell and Nix.
François-René Ridea... @fare
1K Followers 316 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
261 Followers 0 Following Official account of the Oregon Programming Languages Summer School. 2017 tweets by @d_christiansen.
Chris Henson @_chenson__
862 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 (Phil... @qd_forall
122 Followers 121 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 762 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
400 Followers 664 Following PhD student @PurdueCS advised by @mkulkarni and @GhostOfBendy | Past: @apple @iris_hep
Alexandra Silva @alexandra8silva
2K Followers 869 Following Computer scientist, loves traveling and food tasting!
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Noam Zeilberger @noamzoam
738 Followers 546 Following Computer scientist interested in the connections between things. Assistant professor at @LIX_lab @Polytechnique. https://t.co/idhOknEIRO
Taro Sekiyama @skymountain_
390 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
734 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
35K Followers 73 Following Acervo das pérolas do Broxada Sinistra.
tobyfox @tobyfox
2.0M Followers 292 Following
Ryan Dougherty @ProfDougherty
68 Followers 48 Following Assistant Professor of #ComputerScience at West Point. Interests: discrete #mathematics, software testing, evolutionary algorithms, and CS education.
Ryan Dougherty @ryandoughertyaz
205 Followers 49 Following Non-professional account of Ryan Dougherty. Also the creator of @EasyTheory and @ProfDougherty.
Easy Theory @EasyTheory
161 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 645 Following 13y, Adc GM for @FURIA Trainee ‣ 📧 [email protected]
noboru @nbrhrsk
6 Followers 34 Following and you now that I'm in love with the mess and I think I like it
localthunk @LocalThunk
158K 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
193 B posts
67,6 B posts
53,8 B posts
65,6 B posts
224 B posts
183 B posts
73 B posts
40,6 B posts
55,2 B posts
7.795 posts
5.336 posts
5.275 posts
6.893 posts
5.091 posts
24 B posts
128 B posts
3.894 posts
5.791 posts
2.641 posts
3.936 posts
You might like
Rolinha
@RolinhaG
163 Followers
Felipe Nunes
@_nullnes
107 Followers
FAMOSINHO FELIPE
@Felipede64
74 Followers
Brisa
@IsaaProducoes
82 Followers
Leonardo
@_leoGonc
45 Followers
Fumante do IC
@fuckingfogeid
16 Followers
pedro
@pedroS2neymar
48 Followers
Save the poyo
@reneraman_
189 Followers
Will
@willuminaria
48 Followers