Eric Griffis @dedbox
intrepid metaprogrammer with an audacious vision :: PL PhD student @umichcse :: hobby photographer dedbox.github.io Ann Arbor, MI Joined January 2014-
Tweets802
-
Followers240
-
Following1K
-
Likes4K
Come work with me! Build the future of the internet! Finally, the lisp/scheme hacking job you always wanted! Help us build our core tech! spritely.institute/jobs/core-arch… Or maybe you're more admin/operations but you'd like to dabble in / grow your tech skills! spritely.institute/jobs/admin.html
Come work with me! Build the future of the internet! Finally, the lisp/scheme hacking job you always wanted! Help us build our core tech! spritely.institute/jobs/core-arch… Or maybe you're more admin/operations but you'd like to dabble in / grow your tech skills! spritely.institute/jobs/admin.html
"Haha pwned!!" "LOL"
The purpose of emotional abuse is to control and change the victim so that the abuser doesn’t have to change, work on, or improve themselves" "If the abuser never looks at themselves, and they always get what they want from their victim, they will never change."
The purpose of emotional abuse is to control and change the victim so that the abuser doesn’t have to change, work on, or improve themselves" "If the abuser never looks at themselves, and they always get what they want from their victim, they will never change."
I'm seeking additional participants for a user study on text and structure editing! Details in thread. RTs appreciated 🙏
This reads like propaganda. Performative nonsense like "uploading your Facebook photos to Tumblr instead" and indiscriminately clicking ads is ineffective at best. You lose privacy and Google gets paid either way. Choosing which monster to feed is not a serious solution.
This reads like propaganda. Performative nonsense like "uploading your Facebook photos to Tumblr instead" and indiscriminately clicking ads is ineffective at best. You lose privacy and Google gets paid either way. Choosing which monster to feed is not a serious solution.
Does anyone want to be involved in the process of setting up and administering institution-independent transitional funding for programming languages researchers? I have an extremely viable path forward to get this off the ground over the next month or so
At long last, a musical genre I can relate to.
it’s funny and deeply frustrating that our society believes it’s complicated to figure out if someone is autistic, ND, or NT when honest answers to just a few questions could tell you definitively bc every group thinks fundamentals of the other groups’ brains don’t even exist
A Hearty Congratulations to Bob Harper, recipient of the 2021 SIGPLAN Programming Languages Achievement Award!
I resigned from my faculty position. austinhenley.com/blog/leavingac…
This attitude nearly killed me. I took caffeine for years because it was "safe." It made me bipolar, dyslexic, and forgetful. Fight or flight became a lifestyle. Switching to Ritalin literally saved my life.
This attitude nearly killed me. I took caffeine for years because it was "safe." It made me bipolar, dyslexic, and forgetful. Fight or flight became a lifestyle. Switching to Ritalin literally saved my life.
"Thinking alone and thinking together aren’t two ends of a one-dimensional number line that we can tune with a dial; the interplay is far richer than that!"
"Thinking alone and thinking together aren’t two ends of a one-dimensional number line that we can tune with a dial; the interplay is far richer than that!"
Finally got a color-calibrated monitor for photo editing. Not gonna miss that old nicotine-hued tinge one bit. old edit vs new edit
If you make generative art and don’t sell NFTs drop a link to your work. It’s a RT Christmas. (And if you sell your work be sure to include a link to it)
For the Virtual Meetup series this Thursday, the 16th of December, we will host a discussion about "Filling Typed Holes with Live GUIs" by @neurocy. You can join us: strumenta.community/meetup/virtual… #virtualmeetup
I am on the academic job market in programming languages (with focuses on functional programming and type theory). Website: xnning.github.io CV: xnning.github.io/CV.pdf
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
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
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.
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 ⚜️
Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5
Alriewar @Alriewar37484
30 Followers 2K Following
Toslearsl @toslearsl87698
32 Followers 2K Following A true friend is someone who accepts your past, supports your present and encourages your future.
Claudine Cummings @ClaudineCu76682
22 Followers 2K Following
Irdroucir @Irdroucir09629
8 Followers 221 Following
Thawddor @Thawddorksi
46 Followers 5K Following
fossette @fossette17845
45 Followers 4K Following
Shirto @ShirtomrZx6wf
12 Followers 633 Following
Teesmawn @TeesmawnIheklQ
12 Followers 644 Following
Telikiez @telikiez9332
89 Followers 7K Following A strong woman is one who is determined to do what others are determined not to do.
PhoenixLew @O3aJB5ev00J92
67 Followers 7K Following
Saurabh Kumar @__sa1__
67 Followers 665 Following
❤Erina❤ @Erina963060
0 Followers 296 Following
DoloresLawson @LLVr6daNjF64t8d
71 Followers 7K Following
Sundara Vishnu @sundara_vishnu
27 Followers 299 Following @UMich '25 | pl, distributed systems, & math | 🏃♂️🧗♂️🚴♂️|
Smate @Smate16824
26 Followers 2K Following
Donna @donna63james
375 Followers 3K Following
Pheatel @pheatel98521
28 Followers 1K Following
Litia Eeloo @litia_eeloo
106 Followers 742 Following Sleeping at night is not what the next 700 people do.
Danielle Szafir @dalbersszafir
2K Followers 2K Following Associate Professor in CS at UNC-Chapel Hill. Research crosses visualization, cognitive science, data science, and MR. Mom, hockey player, golfer, & crossfitter
Colin Gordon of Masto... @csgordon
1K Followers 3K Following CS prof at Drexel. (He/him). Now mostly on Mastodon at @[email protected] and @[email protected] and @[email protected]
🦉nature_girls098 �... @Viera_mits
19K Followers 15K Following Nature is my breath and pulse.💚🌹🐝🐞🦋.🔺NO DM
problema cibernetico @cyberproblem1
2K Followers 1K Following Resolvedor de Tretas Computacionais | Pai | Marido | ex-emo | ex-boemio
Hilbert (Yuang) Chen @HilbertYaa
335 Followers 119 Following Qualcomm Research Innovation Fellow | Ph.D. Student at Carnegie Mellon researching Computer Sys & µArch | Type systems are fun | Opinions here are mine.
Adam Bouhenguel @ajbouh
383 Followers 1K Following
Dawid Górny @dawidgorny
347 Followers 717 Following graphics, visualisation, simulations and tools, creative tech and ux. https://t.co/aM9gfQrCfj
cogwire @cog_wire
92 Followers 1K Following
felipecortez @felipe___cortez
80 Followers 612 Following
Eric Normand @ericnormand
8K Followers 572 Following Learn Clojure & Functional Programming ☞ https://t.co/oYnRibhoKr Author of Grokking Simplicity ☞ https://t.co/zPmPNRgOhK
alcides @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
Szymon Kaliski @szymon_k
4K Followers 901 Following
Michael Musil @_MichaelMusil
494 Followers 1K Following My projects: - https://t.co/2Pm9Dq72QU - https://t.co/o7Bp1gRrR5 - https://t.co/f2VWhZ5FUC - Various FigJam widgets https://t.co/pTw0CXJEiu Freelance full-stack dev - React, Typescript, Blitz, Prisma
goobernetes @worace
534 Followers 1K Following data agrarian ;; Making places data @Foursquare ;; @Factual ;; @hfa ;; @turingschool, @livingsocial ;; @hungryacademy 1203
galeno @bb_bounty1
0 Followers 5K Following
Alexander Bandukwala ... @abanduk
384 Followers 760 Following Pursuing the Future of Computing. PhD student at @UMichCSE. Worse is worse. @[email protected]
Josh Pollock @joshmpollock
870 Followers 549 Following CS PhD Student @MIT_CSAIL @mitvis. Using PL, HCI, and Vis to build better systems. https://t.co/xulVbZqIsS https://t.co/Bik4YqxhMY @[email protected] 🐟
Alex Bit @alex__bit
1K Followers 3K Following love people & solving hard technical problems. forward-looking. systems thinker. building @Codemod to automate code migrations for all. ex @Meta.
Latrokles @latrokles
127 Followers 2K Following
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Will Crichton @tonofcrates
7K Followers 159 Following Cognitive engineer, assistant professor @BrownUniversity.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
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
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Rasmus Andersson @rsms
82K Followers 3K Following Adventures in software & design. Founder of @playbit_, designer of Inter, @Figma, @Spotify. Eng & design @Facebook. (https://t.co/cS300CeZsH)
Jack Rusher @jackrusher
8K Followers 205 Following Ex-Bell Labs/AT&T Research'er making art & technology. Extended bio in pinned tweet. 🐘 @[email protected]
deech @deech
5K Followers 1K Following
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.
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
John Carmack @ID_AA_Carmack
1.1M Followers 273 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
Computer Science and ... @UMichCSE
4K Followers 252 Following Shaping the future through the power of computing.
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Nate Postlethwait @nate_postlethwt
86K Followers 10 Following Writer. My thoughts on healing. Survivors POV. YouTube: Nate_Postlethwait POD: A Little Less Lonely Resources here: https://t.co/pQMe6CHqHz
Graham Sutherland (Po... @gsuberland
8K Followers 1K Following Electronics, windows internals, cryptography, hardware, lasers, chemistry, demoscene, ADHD. I run @unsafe_warnings and hack stuff for a living, I guess (he/him)
aleha_84 @84Aleha
86K Followers 119 Following Creating cozy #pixelart scenes Support: https://t.co/0ljK1AZWR8 https://t.co/M4ya66D8Qi
🦉nature_girls098 �... @Viera_mits
19K Followers 15K Following Nature is my breath and pulse.💚🌹🐝🐞🦋.🔺NO DM
Jonathan Brachthäuse... @__protected
821 Followers 385 Following Researcher in computer science, all things effects, author of the Effekt language (https://t.co/HrYL6Fvffa), JunProf. at Uni Tübingen. https://t.co/lvCLTiKbL1
RITZ-OLD SCHOOL @RITZ1540469181
10K Followers 705 Following In a world full of trends... I want to remain a classic! Thank you, Lord! No photos are actually mine
Karim @kessam56
49K Followers 2 Following
elliot (deprecated) @elliotokay
1K Followers 246 Following ✍️ mastodon: @[email protected] ✍️ bluesky: @elliot.website
Nicholas Belardes🐤 @nickbelardes
17K Followers 15K Following Writes eco-horror, Chicano fiction | THE DEADING | TEN SLEEP (June ‘25) | MFA: UCR Palm Desert | Twitterature pioneer
73 @73__photo
10K Followers 394 Following photograph, camera, flower, rose, (@nananan_73)(@swallowtail_73) SUZURI(https://t.co/XSe7HisT2X) Reproduction is prohibited.
Hilbert (Yuang) Chen @HilbertYaa
335 Followers 119 Following Qualcomm Research Innovation Fellow | Ph.D. Student at Carnegie Mellon researching Computer Sys & µArch | Type systems are fun | Opinions here are mine.
A.R. Moxon 🦋 @JuliusGoat
105K Followers 316 Following 99.99% dormant. JuliusGoat on the other platforms, find me there, especially my newsletter, https://t.co/r8fneXFYnn
Bonnie Greenwell @awakeningguide
197 Followers 155 Following Non-dual teacher, transpersonal psychologist, author of The Kundalini Guide, The Awakening Guide & Energies of Transformation. Blog: http://t.co/gt2ULWrprN
∬ ⌬ + ☢ @zaxtax
2K Followers 416 Following I do machine learning and natural language processing. Tells jokes and anecdotes.
Don Williamson @Donzanoid
6K Followers 604 Following
Dawid Górny @dawidgorny
347 Followers 717 Following graphics, visualisation, simulations and tools, creative tech and ux. https://t.co/aM9gfQrCfj
Alexander Bandukwala ... @abanduk
384 Followers 760 Following Pursuing the Future of Computing. PhD student at @UMichCSE. Worse is worse. @[email protected]
Josh Pollock @joshmpollock
870 Followers 549 Following CS PhD Student @MIT_CSAIL @mitvis. Using PL, HCI, and Vis to build better systems. https://t.co/xulVbZqIsS https://t.co/Bik4YqxhMY @[email protected] 🐟
Stargirl 🌠 @theavalkyrie
21K Followers 1K Following Thea (Stargirl) Flowers ✨ Creative technologist, synth crafter ✨ @wntrblm ✨ @oshwassociation president ✨ PSF Fellow ✨ She/her
Lawrence Paulson @LawrPaulson
2K Followers 437 Following Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the other place.
Colin Gorrie @colingorrie
22K Followers 986 Following Linguistics PhD | Old English | Middle English | Latin | Old Norse | Your guide through the history of English and its relatives | Get started below 👇
madison @dearmadisonblue
3K Followers 2K Following
Yair Chuchem @yairchu
431 Followers 442 Following
neil turkewitz @neilturkewitz
7K Followers 968 Following Arts advocate. Warning about libertarian definitions of freedom that fail to consider asymmetrical power since 1996. Secular humanist writing about religion.
Daniel Brown @dbtwr
3K Followers 2K Following Artist, Designer, Programmer. Designer of the Year 2004. Head of Interaction at SHOWstudio. Work in the collections of V&A, SFMOMA, Denver Art Museum and more.
mattparlmer 🪐 🌷 @mattparlmer
32K Followers 11K Following making machines that make other machines @genfabco - rationalist, humanist, liberal, and friend of the future
Jeremy Gibbons @jer_gib
2K Followers 260 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
Dr. Michael Green @Bumblebor
689 Followers 380 Following Ph.D from NYU in AI | automated tutorial generation | coffee, sailing, games | Scholar: https://t.co/DFSY1dEwFF
Will Griffin @WillGriffin1of1
16K Followers 3K Following Believer-Husband-Father|@WEF Tech Pioneer|@IEEEorg Global Ethics Award |Tedx|Goldman, McKinsey| Harvard Law, Dartmouth|#GOE
Frances Haugen @FrancesHaugen
69K Followers 112 Following Advocate for accountability & transparency in social media | Signal 650-796-9723 | Iowan | Data Scientist | 🕵️♀️⛑🕊 | [email protected] for interviews
Mrmo Tarius @MrmoTarius
40K Followers 1K Following I make things! Procedural, sandbox and simulation stuff fascinates me to no end. If you like what I do, please consider supporting me at https://t.co/CSzVtDblEz ☕
Joe Latham Illustrati... @Lookhappy
3K Followers 1K Following HARU - Book 2 OUT NOW in the US & CA on Andrews McMeel! Book 3 coming soon
Cacheflowe @cacheflowe
7K Followers 818 Following Multidisciplinary software developer for museums, brands, games, art, fashion, data viz, music, education. In pursuit of arcane excellence. Vegetarian.
School of Informatics... @InfAtEd
7K Followers 0 Following School of Informatics, The University of Edinburgh
Szymon Kaliski @szymon_k
4K Followers 901 Following
Merrick Christensen @iammerrick
6K Followers 575 Following Principal Software Engineer @ Webflow - Long Live the Open Web. Trying to follow Jesus. (he/him) - 🦋 https://t.co/N4vrpk5h9O
Daniel Litt @littmath
50K Followers 884 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Topos Institute @ToposInstitute
3K Followers 23 Following Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.
bOb cOeCke @coecke
9K Followers 602 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/himTrends for United States
You might like
