Andy Keep @andykeep
Software engineer at Facebook. (Still working on compilers.) andykeep.com Redmond, WA Joined April 2006-
Tweets2K
-
Followers2K
-
Following347
-
Likes188
Andy Keep retweeted
Heads up functional programming practitioners! FP is quite opinionated about what constitutes a good software architecture. However, we tend to not talk about this very explicitly. We want to change that. Thus, we seek your contributions to FUNARCH 2023: icfp23.sigplan.org/home/funarch-2…
6
25
54
7K
6
Not sure who the Canadians I meet in the Frankfurt, Germany airport passport check line are, but I hope you made your flight! Thanks to you (and a fortunate delay on my connection) I made mine!
Andy Keep retweeted
compiler
Andy Keep retweeted
I’m very happy that @andykeep will be co-facilitating FUNARCH @icfp_conference with me! icfp22.sigplan.org/home/funarch-2…
Andy Keep retweeted
Deadline Extended! The 2022 Scheme and Functional Programming Workshop deadline is now Friday, July 29th, 2022: icfp22.sigplan.org/home/scheme-20…
Andy Keep retweeted
A gentle reminder that submissions to the 2022 Scheme and Functional Programming Workshop are due Friday July, 22, 2022: icfp22.sigplan.org/home/scheme-20…
Andy Keep retweeted
The Call for Papers for the 2022 Scheme and Functional Programming Workshop is now available at icfp22.sigplan.org/home/scheme-20….
Andy Keep retweeted
The Scheme and Functional Programming Workshop 2022 will be held on Friday, September 16th in Ljubljana, Slovenia.
Really looking forward to it!
Andy Keep retweeted
Wow, between the virtual assistant, lack of response on twitter, and problems with the call back @XboxSupport is pretty hard to get.
Andy Keep retweeted
Update! 20th anniversary Scheme Workshop deadline EXTENDED to June 7th. Keynotes by @andykeep and @edwinbrady. The Scheme Workshop is an excellent venue for student research and work in progress. Call for papers: thomas.gilray.org/scheme-2019/
It’s really dangerous to be reading twitter as I fall asleep apparently. I need the twitter setting the recognizes it is just my face against the iPad keyboard.
Andy Keep retweeted
CFP for Scheme 2019 is up! Submission deadline May 24th. Help us celebrate twenty years of @schemeworkshop. thomas.gilray.org/scheme-2019/ (Please spread far and wide!)
Andy Keep retweeted
One of the most impressive things C did was to convince people that its runtime doesn’t exist.
Ugh, iTunes for some reason decided to unsubscribe me from @hellobuglers and this week (after having resubscribed) decided to drop it entirely. I wonder what else I've lost?
Andy Keep retweeted
A self-hosting Scheme to WebAssembly compiler in less than 1000 lines of code: github.com/google/schism/… #Scheme #WebAssembly
Andy Keep retweeted
UPDATE: Republicans rejected our motion to adjourn until Monday so senators could read the bill they just introduced. RT If you think senators should have time to read a bill that affects every single American.
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
jhemann @jhemann
600 Followers 4K Following Professor of Computer Science @SetonHall. My other car is a cdr. | @jhemann.bsky.social | https://t.co/b7y1CxQEZE
Jeremy Siek @jeremysiek
3K Followers 352 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Eric Eide @eeide
2K Followers 2K Following Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own • RTs not endorsements • @[email protected]
Wilfred Hughes @_wilfredh
3K Followers 3K Following Programming language development, human factors, and a healthy dose of Emacs. Also https://t.co/faGheKDz69 and https://t.co/sqqeQ20uHV
David Van Horn @lambda_calculus
5K Followers 1K Following Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://t.co/Bwck1H9fXK Mastodon: @[email protected]
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
vollmerm @ma_vollmer
674 Followers 677 Following lecturer in @UniKentComp, cs phd from @IULuddy, functional programming and compilers, he/him
Shanny @shannymarie1220
225 Followers 591 Following I got four girls and just trying to learn new things and improve my money situation
mungunshaiga @mungunshai65514
7 Followers 33 Following
pipipi_jp @pipipi95315
7 Followers 37 Following
Klaudia Lewandowicz @KlaudiaLew10562
0 Followers 16 Following
Nazia Shabir @nazia_shab40575
18 Followers 151 Following
the general 😎 @thegeneral3043
2 Followers 246 Following Fashion is art in motion. It's a fusion of style, culture, and creativity. From haute couture to streetwear, fashion is a form of self-expression, empowering in
HOBBY~JAY @hobbyjay13
62 Followers 956 Following 🇳🇬I’m Single and Straight Forward type of Guy, Who actually looking for the missing puzzle of my heart💖💓😘😘❤️🔥❤️🔥💋💋💞💞🇳🇬
Topfix @topfix001
112 Followers 521 Following
Ahmet Altundağ @AhmetAlT0047
38 Followers 1K Following
Deep_y0 @Y0Deep
2 Followers 128 Following
Thomas Rife @ThomasHRife
3 Followers 50 Following
tegh100 @tegh10088082
2 Followers 35 Following
ωちゃ @ice_7515
160 Followers 445 Following
たま三郎 @kontetsu5963
2 Followers 16 Following
daniel c k edet emma @c_edet4066
0 Followers 155 Following
pipi_jp @pipi47599
6 Followers 77 Following
Nicole zogheib memhus... @nicole_zogheib
79 Followers 409 Following
Sekti Wibowo @wibowo_sek33169
1 Followers 9 Following
.... @hamadagold34
516 Followers 3K Following
maryam farsipor @farsipor37492
1 Followers 48 Following
Yoshiii @King_OmoSango
403 Followers 724 Following Fresh Pup with the @DoginalDogs. $Sol $Xrp $Doge $Xlm $Hbar $Crypto
mohamed hashem @mohameedhashiim
0 Followers 8 Following
Riley Morris @RileyMorri67543
1 Followers 28 Following
Paul University @paul_university
15 Followers 2K Following The global online institution reinventing higher education. Accessible. Accredited. Built for the world.
Sekti @Sekti297557
1 Followers 12 Following
✨ @Blue_sae52
15 Followers 283 Following
Sharo @ShaRoAwaT20
11 Followers 81 Following
Ala131 @ketEaYtM3qixQkJ
52 Followers 95 Following
Erebia @Erebiamiae
26 Followers 458 Following
choaded @02Larocque
3 Followers 123 Following
Mydal Sam @Mydal224
6 Followers 62 Following
Terrance Frederick @Tsfrederick333
174 Followers 565 Following
Nguyễn Kim Tường @NguyenKimTuongK
18 Followers 169 Following
Vycachep @vycachep01
0 Followers 22 Following
BURAK @Burakozbs
178 Followers 195 Following
PLEESPEOPLES @pleespeoples
61 Followers 580 Following #PLEESPEOPLES We are funny cool rocky smart beautiful and hope you enjoy us we there you welcome And have a Plees day 🙌🏾
Milad Usa001 @MiladUsa001
7 Followers 629 Following
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
jhemann @jhemann
600 Followers 4K Following Professor of Computer Science @SetonHall. My other car is a cdr. | @jhemann.bsky.social | https://t.co/b7y1CxQEZE
Yaron (Ron) Minsky @yminsky
15K Followers 335 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Alexis King @lexi_lambda
13K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Jeremy Siek @jeremysiek
3K Followers 352 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Eric Eide @eeide
2K Followers 2K Following Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own • RTs not endorsements • @[email protected]
Erik Meijer @headinthebox
31K Followers 2 Following
Max ⊶ New @maxsnew@... @ProfMaxNew
1K Followers 208 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
David Van Horn @lambda_calculus
5K Followers 1K Following Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://t.co/Bwck1H9fXK Mastodon: @[email protected]
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
vollmerm @ma_vollmer
674 Followers 677 Following lecturer in @UniKentComp, cs phd from @IULuddy, functional programming and compilers, he/him
Heather Miller @heathercmiller
14K Followers 987 Following Science-ing at Two Sigma, Professing computery things at CMU. Co-founder & former Exec Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Dave Herman @littlecalculist
15K Followers 405 Following Likes people & computers. Work: LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). ❤️: @lisasilveria & @tinycalculist. Goes by dherman… elsewhere. he/him
alexotos @otosalex
26K Followers 263 Following Hi! I'm Alex, I take photos and build keyboards. Commissions OPEN: https://t.co/bbxiTLDRPj…
Mode Designs @modekeyboards
10K Followers 34 Following The SixtyFive is now in fulfillment! Sonnet, Envoy, Tempo, and Loop are in-stock today at https://t.co/0NLw0BSC22
Kinetic Labs @kineticlabs1
8K Followers 229 Following Hey there! 👋 We help you customize your keyboard to match the look and feel that will make you most productive. Reach out anytime!
Astound powered by Wa... @WaveConnects
4K Followers 21 Following Connecting you to a world of astounding possibilities with our award-winning internet service and 24x7 local customer support.
HiroshiUnno @HiroshiUnno
32 Followers 116 Following automated reasoning, formal methods, programming languages, artificial intelligence https://t.co/dPV3HehsWa https://t.co/hvDU0J02Dw
doyougnu @do_you_gnu
124 Followers 348 Following PhD in programming languages. PL, FP, SAT solvers, Philosophy, and most importantly, dungeons and dragons. all views and claims are my own. (he/him)
VimTricks @vim_tricks
56K Followers 125 Following Email newsletter sending bite-sized Vim tips, tricks, plugins, and recipes https://t.co/zkibO0Tj9A Find us now on Bluesky: https://t.co/GS0uYHWbAV
@[email protected] @cyberglot
3K Followers 2K Following 🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iq
Orbit Books @orbitbooks
95K Followers 1K Following A leading publisher of science fiction and fantasy. An imprint of @HachetteUS and @LittleBrownUK.
Clément Pit-Claudel @cpitclaudel
819 Followers 814 Following EPFL (@ICepfl) assistant professor. Compilers, verification, hardware, & IDEs. Also lots of Emacs modes. Previously PhD @MIT and AppSci @AWS.
James S.A. Corey @JamesSACorey
78K Followers 491 Following
Xuan Huang · 黄玄 @Huxpro
15K Followers 1K Following Architect @LynxJS_org · ⚛️ Former @Reactjs core (Forget✨), @ReactNative, @HermesEngine, @ReasonML · 👨🔬 λ.TaPL/FP/@TC39/@W3C · 💭 e/acc
Dimitris Vardoulakis @dimvar
695 Followers 915 Following ML compilers @nvidia. Views my own. Prev TPU compiler, Closure Compiler @Google; DoctorJS @mozilla; CS PhD @neu_prl; BEng @ecentua. Also on bluesky, mathstodon
NASA @NASA
87.8M Followers 154 Following Official NASA account. Exploring the universe, advancing science, and inspiring the next generation of explorers. Verification: https://t.co/8nok3NP4PW
Ryan James Spencer @_justanotherdot
473 Followers 369 Following Authoring a book on writing performant Rust — https://t.co/lWAHbNSd01; Passionate about computers, books, and writing — https://t.co/TxJCl7EmAD. he/him
manoj s k @manojvito
9 Followers 163 Following
Jubi Taneja @jubitaneja
2K Followers 2K Following Working at @RiSE_MSR, @MSFTResearch. Ph.D. @UtahSoC | ML compilers, Formal Verification, AI for Compilers
Irene Zhang @schemeprincess
6K Followers 250 Following [email protected] on Mastodon. schemeprincess on Instagram.
Didier Verna @didierverna
647 Followers 213 Following Jazz musician, composer, and radio journalist part time. Computer scientist part time. Aikido teacher part time. Lisp, Jazz, Aikido all the time.
isis agora lovecruft ... @isislovecruft
25K Followers 994 Following “the bay area’s only hacker”; “peter pan coded”; former quantum cosmologist. i might be a cryptographer but i'm not your cryptographer 🏳️⚧️🏴 forest dweller
Kristopher Micinski -... @krismicinski
7K Followers 3K Following As of ~Sep '25, I have moved off Twitter, email me for personal thoughts ([email protected]). Tweets do not represent *anyone's* views, especially mine.
Sandra Dylus @ichistmeinname
282 Followers 398 Following Computer Science PhD student with interest in functional programming languages
Dr Heidy Khlaaf (ها... @HeidyKhlaaf
8K Followers 637 Following Climber 🇪🇬| Chief AI Scientist @AINowInstitute | TIME100 AI | x-ToB, Zipline, OpenAI, MSFTResearch
Pierce Darragh | pdar... @pl_pierce
821 Followers 1K Following he/him. PhD student @umdcs, interested in programming language design. I have cute cats and bad opinions about food.
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
paulette d. koronkevi... @koronkebitch
3K Followers 338 Following preserving types with @wilbowma at @ubc_spl. former @galois intern, former former @IULuddy undergrad (she/her)
Michael Vanier 🇺�... @mvanier42
241 Followers 21 Following Teaching professor at Caltech. Twitter sucks, go to Bluesky instead.
Ioanna M. Dimitriou H... @ioa_27
263 Followers 364 Following logician programmer, igalian @igalia pronouns: she/her/they let's talk on mastodon: @[email protected]
Brian Adkins @lojic
138 Followers 60 Following Imagination is more important than knowledge. - Albert Einstein
Amazon Help @AmazonHelp
541K Followers 77 Following We answer support questions in English / Deutsch / Español / Português / Français / Italiano / 日本語 / Türkçe / Nederlands / Polski / Čeština / Svenska / العربية
Ramakrishnan @vu3rdd
900 Followers 187 Following Computer programmer who is also interested in Math, RF, hardware, Free Software and Carnatic music. Also at https://t.co/r6bT2xmCsa
Saliya Ekanayake @esaliya
379 Followers 338 Following Principal Software Engineer at d-Matrix, Accelerating AI
Programming Languages... @PLPresents
1K Followers 2 Following We record and upload videos of PL talks. Run by @LeifAndersen and @ckfinite
Paulo Matos @pocmatos
445 Followers 777 Following Parked account, see: https://t.co/GtbfdQ3Vv8 instead.
Joe Gibbs Politz @JoePolitz
1K Followers 1K Following When not programming or teaching CS @ucsd_cse, I go to the dog beach. Spending more time as 🟦 https://t.co/k4HOSHhpwb these days. https://t.co/4skMx005C5 | https://t.co/v4f2VUk4D2Trends for United States
96,6 B posts
67,6 B posts
11,5 B posts
12,4 B posts
11,4 B posts
52,8 B posts
4.955 posts
5.436 posts
6.459 posts
6.439 posts
7.924 posts
36,1 B posts
226 B posts
8.518 posts
3.564 posts
40,5 B posts
108 B posts
45,3 B posts
8.486 posts
80 B posts
You might like
أبـو نـواف
@110
1K Followers
🌼 😊 🌏
@239
851 Followers
28
@28
1K Followers
RayReadyRay
@rayreadyray
10K Followers
131
@131
923 Followers