Andy Gordon @AndrewDGordon
Computer scientist focused on AI & HCI, esp programming languages. Science advisor at Cogna and Evara AI. Ex partner at Microsoft. Honorary prof at U Edinburgh. linkedin.com/in/andrew-d-go… Cambridge Joined June 2009-
Tweets2K
-
Followers2K
-
Following977
-
Likes2K
My talk from the Haskell Ecosystem Workshop is out, and it’s already being quoted! Here, I make the case that Haskell is the best target for LLMs to generate (link below)
@rickasaurus @omervk timely presentation from @tritlo: the LLM should generate Haskell, because 1. Haskellers structure their code to support local reasoning, so the LLM really can limit itself to a single component 2. the types act as precise API boundaries youtu.be/hh0axmFH1j8?t=…
In this episode we learn about @AndrewDGordon's work including the origins of (>>=), introducing lambdas in Excel, and delve into his current work at Cogna using AI to allow non-programmers to write apps using natural language. haskell.foundation/podcast/65/
A fabulous interview with the inspiring @AndrewDGordon where he makes a compelling case for developing software from natural language prompts, something he puts into practice at Cogna. An inspiring career spanning the Haskell bind operator; lambdas in Excel; to LLMs for no-code software. A great @HaskelInterlude interview by Sam and @tritlo. podcasts.apple.com/us/podcast/the…
Cannot make it to Prague for @programmingconf? 🎬 We will be streaming the keynotes, regular talks and MoreVMs workshop talks online! 👉 Keep an eye on: 2025.programming-conference.org
Highlights from the #LAFI2025 workshop at #POPL2025 in Denver, where we had an amazing program at the intersection of programming languages, probabilistic and differentiable programming, and applications! popl25.sigplan.org/home/lafi-2025
Church types. Do you agree with Synod’s decision on safeguarding? (Please retweet this so we get a meaningful sample.)
I am especially happy for @HerrDreyer and @natefoster who have become ACM Fellows this years. Hugh congratulations Derek and Nate!
Meet the 2024 #ACMFellows! ACM has named 55 outstanding members as ACM Fellows for their groundbreaking contributions to computing science and technology. Please join us in applauding their accomplishment and contributions! bit.ly/2E5styU #Computing #Innovation
@HerrDreyer @BenardDreyer Oh no. I'm so sorry for your loss @HerrDreyer .
Some 🎄 reminders: 📻A Festival of Nine Lessons and Carols - tomorrow 3pm @BBCRadio4 and 1pm @BBCRadio3 on Christmas Day (check @AmPubMedia in the USA). 📺 Carols From King's - @BBCTwo tomorrow 6pm. #FestivalOfNineLessons #CarolsFromKings #ChristmasCarols
Is a great time visiting the great @PLRG_bristol on Monday. Fascinating to hear about their latest research with LLM-based translations, provenance tracking in the Fluid language, Haskell, and much more!
Thank you to @AndrewDGordon for joining us on Monday, and treating us to his "Requirements are all you need" talk!
@kayaburgess People who think bishops have lost their right to sit in the House of Lords might like to sign this petition: petition.parliament.uk/petitions/7005…
@SimonPeytonJon1 makes an appearance. @neurocy is there. @hgoldstein95 pops up. @ttforall says hi! @AndrewDGordon as well. Even @yminsky! It's a jam-packed episode!
This is interesting to read about the #impact of #Excel on normal people - #spreadsheets are important culturally, like the arrival of the internet. A #citizen #computing tool theguardian.com/technology/202…
I spent most of September making web sites, so that I can tell you about all the cool things happening in Prague at @matfyz around programming languages and systems! 👇PhD and post-doc opportunities, reading group, courses and much more!
Astonishing musicianship tonight by Philip Glass Ensemble at @CambridgeCornEx Fabulous retrospective including Glassworks
Looking forward to the Philip Glass Ensemble in Cambridge: cambridgelive.org.uk/cornex/events/… He's been active since 1964!
This is best video I've found so far on technical contributions by Grace Hopper, especially FLOW-MATIC first go at stylised English as a programming language: youtube.com/watch?v=7KAVtZ…
We are #hiring engineer interns at Cogna. These are 16 week posts working on our synthesis pipeline. Idea for research students working on code analysis, synthesis, verification, or AI for code. Experience life in an AI startup in London! linkedin.com/feed/update/ur…
Calling all PL enthusiasts! Matthijs Vákár (Utrecht Uni) and I are organizing LAFI 2025 at #POPL2025. If you’re working on differentiable programming, inference algorithms, PL for AI, this is your venue! Submit by: Oct 30, 2024 popl25.sigplan.org/home/lafi-2025…
To everyone who participated in ICFP and co-located events---all our attendees, presenters, keynote speakers---thank you!! You are what makes ICFP such an incredible event. We hope you enjoyed the conference this year. See you all next year in Singapore!! 🚀
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Loris D'Antoni @lorisdanto
9K Followers 775 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Graham Hutton @haskellhutt
9K Followers 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
Alastair Donaldson @afd_icl
3K Followers 422 Following Professor of Programming Languages at Imperial College London
Jeremy Gibbons @jer_gib
2K Followers 252 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
Ron Garcia @rg9119
2K Followers 424 Following Transmogrifies coffee into LaTeX at University of British Columbia
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
〚Dan R. Ghica〛 @danghica
1K Followers 291 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
José Manuel Calderó... @josecalderon
2K Followers 858 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Lawrence Paulson @LawrPaulson
2K Followers 549 Following Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the other place.
Susan kate @KateSusan68228
35 Followers 3K Following I am a sincere, honest, caring, kind, friendly very easy to get along with. I am, social, romantic, passionate, smart, intelligent, cool headed, adaptive, have
Aswin V @avi010_
85 Followers 583 Following
Faz Ray @FazRay123
5 Followers 976 Following
Madhav Kanda @madhav_kanda_
100 Followers 233 Following MSCS @UofIllinois | Prev @MSFTResearch , @Azure, @IITGN, @AaltoUniversity, @iiscbangalore, @spyne_ai
Brian Guerin @00BrianGuerin00
944 Followers 967 Following Publisher for Computer Science books at Cambridge University Press & Assessment, @[email protected] Opinions my own. He/him
Brady Velazquez @vdagj89758377
24 Followers 325 Following What are you looking for? Are you curious about other people?
Bernadette @6SnzrFmq9rV4HIX
167 Followers 6K Following
శ్రీనివ... @srinireddy85
81 Followers 6K Following Learning Machine. Writing is thinking . Pythonista, Engineer, and Software consultant. For hire .
Rosalinda @Rosalinda54198
38 Followers 561 Following Music lover 🎵 | Sharing songs & thoughts daily.
Ekanshdeep Gupta @EkanshdeepGupta
79 Followers 546 Following
Sadra Sabouri @sadrasabourih
32 Followers 135 Following PhD Candidate @CSatUSC (making LLMs better friends of humans) EE & CS BSc @ Sharif Univ.
Wenda Li @WendaLi8
1K Followers 572 Following Lecturer in hybrid AI at the University of Edinburgh. Interested in machine learning for (interactive) theorem proving, formalised mathematics, and AI for Math.
Eric Gilliam @eric_is_weird
5K Followers 3K Following I write about how 20th C. R&D orgs operated | Associate @RenPhilanthropy and Fellow @GoodSciProject, Stanford '19. Working to build more BBNs
Ivali @Ivali3401174
18 Followers 576 Following
Ordahoo @Ordahoo7315815
2 Followers 89 Following
Nina @Nina02186
281 Followers 7K Following I have always loved exploring the world of food. I am also a pet lover. For me, the meaning of life is to enjoy the beauty of life.
Chen Xiaoping @zzhhzxp411093
689 Followers 4K Following I came here to create something truly valuable.
Young World Infotech @YoungWorld_Info
130 Followers 4K Following We offers high-quality services in Web Design & Development, Social Media Marketing, SEO, Software Development, Domain Regi., and Web Hosting in India and UK.
GKS Interiors @GKSInterior
275 Followers 7K Following 🏡 Family-Run | 30+ Yrs Experience ✨ Bespoke Kitchens • Bedrooms • Bathrooms 📍 Quality Craftsmanship, British Made 📞 Transform Your Home With GKS Interiors
Gregory Michael Travi... @mitochon
357 Followers 3K Following Ugly, uncharming and pretentious bit of anti-taste
Adam @Adam30791873427
207 Followers 7K Following “Indeed, with hardship comes ease.” — Qur’an 94:6☪️🕋
Massi @Massiblesol
7 Followers 534 Following Software developer by day, sleeping software developer by night. I don't have an opinion on everything
Larry Diehl @larrytheliquid
795 Followers 680 Following Founder @ColimitAI. Formal Verification & Neuro-Symbolic AI. Formerly postdoc @uiowa and PhD @Portland_State.
Alex J Best @AlexJBest
589 Followers 3K Following Researcher in maths+formal methods+ml. Working on using formal verification to train models for reliable mathematics, software, and reasoning @harmonicmath
Michael Evans @TeamTock
599 Followers 2K Following TOCK Analytics (my math project and totally awesome vaporware company that has fun). Exploring the world of applied category theory. Proven critical systems.
Annie Vella @codefrenzy
771 Followers 483 Following Geek-concentrate (aka software engineer). Distinguished Engineer at Westpac New Zealand. Opinions are my own.
Oogaualxie @Oogaualxie9082
27 Followers 1K Following
Barbara Rich @BarbaraRich_law
25K Followers 4K Following Barrister/mediator, mental capacity, death, inheritance, public understanding of law https://t.co/QK0j6mMPvl
Tikhon Jelvis @tikhonjelvis
3K Followers 257 Following I like programming languages. A lot. Tools, types and functions.
Adam V @AdamVcoding
287 Followers 45 Following Rethinking human-computer interaction, interested in crazy graph problems, evolutionary algorithms, hyperdimensional computing, and AI alignment.
Tewppiski @TewppiskiO3xOm
48 Followers 4K Following
bright tetteh @bright651
224 Followers 2K Following I am an IT specialist, a computer programmer, an online marketer, an investor, a motivator and a philanthropist.
Princes_Z @princes_plan__Z
289 Followers 697 Following
rem @remyjck
42 Followers 190 Following
Pheylest @PheylestQGQRwm
23 Followers 891 Following
Dr.Code @A22Galexy
89 Followers 2K Following
Hao-Ping (Hank) Lee @hankhplee
825 Followers 514 Following PhD student @cmuhcii | user-centered privacy in AI | prev: @IBMResearch @MSFTResearch @brave @GeorgiaTech | @hankhplee.bsky.social 🦋
Smortorrou @SmortorrouNSR
47 Followers 4K Following
Cambridge Citizens @CambridgeCitiz4
241 Followers 368 Following An alliance of civil society organizations working for social justice and the common good.
L @LY8848
75 Followers 3K Following
James Noble @jameskjx
1K Followers 567 Following
Scarlert @Scarlertj30y
201 Followers 5K Following
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Derek Dreyer @HerrDreyer
3K Followers 209 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Loris D'Antoni @lorisdanto
9K Followers 775 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Graham Hutton @haskellhutt
9K Followers 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Erik Meijer @headinthebox
36K Followers 0 Following
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Alastair Donaldson @afd_icl
3K Followers 422 Following Professor of Programming Languages at Imperial College London
Jeremy Gibbons @jer_gib
2K Followers 252 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
Ron Garcia @rg9119
2K Followers 424 Following Transmogrifies coffee into LaTeX at University of British Columbia
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
〚Dan R. Ghica〛 @danghica
1K Followers 291 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Lawrence Paulson @LawrPaulson
2K Followers 549 Following Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the other place.
Peter O'Hearn @PeterOHearn12
2K Followers 135 Following Working on AI, code and reasoning. Researcher @AIatMeta & Prof @ucl. Separation logic, Incorrectness logic, Infer. Gödel Prize. Royal Society.
✨ Jean Yang ✨ @jeanqasaur
23K Followers 4K Following Dev tools all day all night. Founded @akitasoftware, acquired by @getpostman. Former programming languages professor @CSDatCMU.
Wenda Li @WendaLi8
1K Followers 572 Following Lecturer in hybrid AI at the University of Edinburgh. Interested in machine learning for (interactive) theorem proving, formalised mathematics, and AI for Math.
Eric Gilliam @eric_is_weird
5K Followers 3K Following I write about how 20th C. R&D orgs operated | Associate @RenPhilanthropy and Fellow @GoodSciProject, Stanford '19. Working to build more BBNs
Matti Palli 🧙�... @tritlo
4K Followers 2K Following uncertified haskell engineer | certified researcher
Together for the Chur... @TogetherforCofE
170 Followers 147 Following We are a group of anglicans seeking full inclusion & equality in the Church of England. All are welcome Also at : https://t.co/KSfeserD9K
Brendan Falk @BrendanFalk
10K Followers 2K Following Founder/CEO @ @UseHercules | Prev. Co-founder/CEO at @fig (acquired by @Amazon), @ycombinator @brexHQ @harvard | Australian 🇦🇺
Patrick Debois @patrickdebois
30K Followers 8K Following Generative AI and DevOps specialist - co-author Devops Handbook - https://t.co/PZlox9jwoq
Annie Vella @codefrenzy
771 Followers 483 Following Geek-concentrate (aka software engineer). Distinguished Engineer at Westpac New Zealand. Opinions are my own.
Gene Kim @RealGeneKim
53K Followers 2K Following WSJ bestselling author: Unicorn Project! DevOps researcher/enthusiast. Coauthor: Phoenix Project, Accelerate. Host of The Idealcast. Tripwire founder. Clojure.
Roomote @roomote
10K Followers 834 Following The always-on engineer for your entire team. From the team that created Roo Code.
Maeve Halligan @MaeveHalligan
24K Followers 379 Following 23yo, student, musician. President of @cusocofwomen
Connie Shaw @_ConnieShaw
52K Followers 1K Following External Affairs Officer @SpeechUnion. Contributor @gbnews. All views my own.
Hao-Ping (Hank) Lee @hankhplee
825 Followers 514 Following PhD student @cmuhcii | user-centered privacy in AI | prev: @IBMResearch @MSFTResearch @brave @GeorgiaTech | @hankhplee.bsky.social 🦋
Val Town @ValDotTown
4K Followers 5 Following If GitHub Gists could run and AWS Lambda were fun https://t.co/W96maV7Jf6 | https://t.co/T0a3NqvKbg | https://t.co/U8Awd889mK
Jordi Cabot @JordiCabot
6K Followers 426 Following Head of the Software Engineering RDI Unit at LIST (Luxembourg). FNR Pearl. Building Better SW Faster. Former ICREA, UOC, Inria/IMT, U of Toronto. 2xFounder
Barbara Rich @BarbaraRich_law
25K Followers 4K Following Barrister/mediator, mental capacity, death, inheritance, public understanding of law https://t.co/QK0j6mMPvl
Tikhon Jelvis @tikhonjelvis
3K Followers 257 Following I like programming languages. A lot. Tools, types and functions.
OpenRouter @OpenRouter
102K Followers 377 Following Discover and use the latest LLMs. 500+ models (incl. 50+ free), explorable data, private chat, & a unified API. https://t.co/qJG5mKrigL
Matthew Berman @TheMattBerman
12K Followers 392 Following i scaled the brands that you use every weekend 🍹 | building @EmeraldDigital_ @stealads
Phillip Schanely @pschanely
143 Followers 229 Following SMT, fuzzing, & verification in Python. Try CrossHair at the link below! Also find me at @[email protected]
Ruby Quantson Davis @RubyQuantson
248 Followers 829 Following Peace Research. Deliberative Dialogues. Learning Networks. Impacting Communities.
davidad 🎇 @davidad
23K Followers 9K Following cognizing structures of information processing systems, in all their forms | category theory, perennial philosophy, Bodhitropic Alignment | cancel heat death
Adam V @AdamVcoding
287 Followers 45 Following Rethinking human-computer interaction, interested in crazy graph problems, evolutionary algorithms, hyperdimensional computing, and AI alignment.
Apprenticeships and S... @Apprenticeships
72K Followers 2K Following Better performing businesses start with better trained employees. #SkillsForLife #ItAllStartsWithSkills Channel monitored weekdays 9am-5pm.
Ankush Desai @ankushpd
2K Followers 780 Following Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw
rem @remyjck
42 Followers 190 Following
Wil van der Aalst @wvdaalst
5K Followers 301 Following Professor of Process & Data Science (PADS) @RWTH Aachen University and Chief Scientist of @Celonis working on #processmining #datascience and #BPM
Belle Lin @bellelin_
3K Followers 900 Following Tech reporter @WSJ / @CIOJournal / [email protected]
Cambridge Citizens @CambridgeCitiz4
241 Followers 368 Following An alliance of civil society organizations working for social justice and the common good.
James Noble @jameskjx
1K Followers 567 Following
Elizabeth Weiss @eweissunburied
9K Followers 449 Following Professor Emeritus of Anthropology at SJSU. National Association of Scholars Board Member. For science over superstition. Research, not reburial.
Tom Dörr @tom_doerr
209K Followers 3K Following Follow for posts about GitHub repos, DSPy, and agents Subscribe for top posts DM to share your AI project (Due to volume of DMs I'll prioritize subscribers)
Ewen Maclean @Algorhythmica1
678 Followers 624 Following Ostensibly page for advertising jazz quintet, but actually more about cycling, active travel and not being very good at twitt
David Knott @DrDavidKnott
260 Followers 105 Following Technology strategist, Transformation Officer for @googlecloud, fair weather kayaker and perpetual philosophy student
Saksham @sgdescent
1K Followers 2K Following Interested in making LLMs go brrrrr x+N: @datologyai and @openai x: @LTIatCMU x-N: https://t.co/ht5ObQh7RV & Program Synthesis with LLMs @ProseMsft
Natia Kurdadze @natiakourdadze
43K Followers 469 Following Helping developers / startup founders get paying users faster. GTM Operator for tech products. Learn IP, branding & marketing. 👉1:1 Call: https://t.co/40FPHGfsmX
Yoram Bachrach @yorambac
4K Followers 7K Following Research Scientist at Meta (prev Google DeepMind and Microsoft Research). Working on LLM Agents and Multi-Agent Systems.
Swarat Chaudhuri @swarat
3K Followers 674 Following Research Scientist at @GoogleDeepmind London, Professor at @UTCompSci. Automated Reasoning + Machine Learning + Programming Languages.
Asari AI @AsariAILabs
1K Followers 12 Following Co-invent the future -- learn more: https://t.co/jxWiRvWrVn -- we're hiring!
Arindam Sharma @arindam_sharma8
45 Followers 87 Following Computer Science PhD student at @SRGImperial Working on software patch testing and fuzzing London/Oxford
‹Programming› 202... @programmingconf
1K Followers 143 Following This account is currently inactive. Please follow us on our other socal media accounts.
Sasha Luccioni, PhD �... @SashaMTL
23K Followers 4K Following Climate & AI Lead of @HuggingFace | Member of ClimateChangeAI | @TEDTalks speaker . (She/her/Dr/🦋)
Allie K. Miller @alliekmiller
104K Followers 2K Following #1 Most Followed Voice in AI Business (2M followers). Former Amazon, IBM. Time100 AI. Fortune 500 and startup AI advisor, public speaker. AI-First courses in 🔗
Microsoft Copilot @Copilot
60K Followers 0 Following
Lars Bergstrom @larsberg_
3K Followers 3K Following Google Director of Engineering, @android Platform Tools & Libraries. @rust_foundation & @risc_v Board of Directors. Powerlifter. (he/him)
























