Joined June 2009
- Tweets 1,614
- Following 983
- Followers 1,680
- Likes 2,238
53 Photos and videos
Pinned Tweet
7 Mar 2024
What if natural language really is the new programming language? We’re designing the future of end-user programming, and now, we’re looking for curious #computerscience minds to join us in making it happen.
#programmingjobs #hiring #techjobs #GenAI linkedin.com/pulse/edge-poss…
4
11
66
11,176
Andy Gordon retweeted
5 Aug 2025
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)
5 Aug 2025
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=670
4
7
80
5,556
Andy Gordon retweeted
7 Jun 2025
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/6…
6
20
1,215
Andy Gordon retweeted
31 May 2025
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/podcas…
4
20
2,580
Andy Gordon retweeted
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.…
11
41
2,635
Andy Gordon retweeted
20 Mar 2025
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…
1
3
16
1,130
Andy Gordon retweeted
12 Feb 2025
Church types. Do you agree with Synod’s decision on safeguarding?
(Please retweet this so we get a meaningful sample.)
15%
Yes
75%
No
10%
Undecided
260 votes • Final results
6
33
3
4,079
Andy Gordon retweeted
23 Jan 2025
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
1
6
51
3,415
Andy Gordon retweeted
23 Dec 2024
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
4
18
100
5,906
11 Dec 2024
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!
11 Dec 2024
Thank you to @AndrewDGordon for joining us on Monday, and treating us to his "Requirements are all you need" talk!
ALT Andy gesturing at his title slide
1
13
813
Andy Gordon retweeted
5 Dec 2024
People who think bishops have lost their right to sit in the House of Lords might like to sign this petition:
petition.parliament.uk/petit…
5
45
76
6,172
Andy Gordon retweeted
18 Nov 2024
@SimonPeytonJon1 makes an appearance. @neurocy is there. @hgoldstein95 pops up. @ttforall says hi! @AndrewDGordon as well. Even @yminsky! It's a jam-packed episode!
1
1
12
362
Andy Gordon retweeted
29 Oct 2024
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/2…
2
3
348
Andy Gordon retweeted
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!
ALT Programming Langauges and Systems group web page
ALT PhD Opportunities in Software Systems at D3S
ALT PRG*PRG - Prague Programming Langauges and Systems Research Network
1
5
24
3,157
29 Sep 2024
Astonishing musicianship tonight by Philip Glass Ensemble at @CambridgeCornEx Fabulous retrospective including Glassworks
19 Jul 2024
Looking forward to the Philip Glass Ensemble in Cambridge: cambridgelive.org.uk/cornex/… He's been active since 1964!
1
11
895
28 Sep 2024
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=7KAVtZGp…
2
10
881
24 Sep 2024
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/urn…
1
6
21
1,842
Andy Gordon retweeted
21 Sep 2024
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…
1
8
19
5,812
Andy Gordon retweeted
7 Sep 2024
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!! 🚀
7
52
3,103
6 Sep 2024
Here is the recorded livestream of the @icfp_conference session in memory of Alan Jeffrey and his extraordinary adventure of a life: youtube.com/live/Y2tJbaiMDCg…
27 Aug 2024
Next Wednesday, @icfp_conference will remember Alan Jeffrey, who passed away this year. If you knew Alan and will be there in person and would like to contribute please let me know. You can DM me here.
3
16
1,851
Andy Gordon retweeted
4 Sep 2024
It's official:
ICFP 2025 will be in Singapore!!
1
23
89
9,838