Andy Gordon

1.6K posts

Andy Gordon banner
Andy Gordon

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.

Cambridge Katılım Haziran 2009
982 Takip Edilen1.7K Takipçiler
Andy Gordon retweetledi
Matti Palli 🧙‍♂️
Matti Palli 🧙‍♂️@tritlo·
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)
Matti Palli 🧙‍♂️ tweet media
gelisam@haskell_cat

@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=…

English
4
7
80
5.5K
Andy Gordon retweetledi
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
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/
English
0
6
20
1.2K
Andy Gordon retweetledi
Satnam Singh
Satnam Singh@satnam6502·
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…
English
0
4
20
2.6K
Andy Gordon retweetledi
Satnam Singh
Satnam Singh@satnam6502·
I am especially happy for @HerrDreyer and @natefoster who have become ACM Fellows this years. Hugh congratulations Derek and Nate!
Association for Computing Machinery@TheOfficialACM

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

English
1
6
51
3.4K
Derek Dreyer
Derek Dreyer@HerrDreyer·
My father, @BenardDreyer, died suddenly yesterday at the age of 78. He was a wonderful father and a wonderful person who touched so many people's lives, and I miss him so much.
Derek Dreyer tweet media
English
34
0
70
3.9K
Andy Gordon
Andy Gordon@AndrewDGordon·
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!
PLRG :: Bristol@PLRG_bristol

Thank you to @AndrewDGordon for joining us on Monday, and treating us to his "Requirements are all you need" talk!

English
0
1
13
783
Ian Arawjo
Ian Arawjo@IanArawjo·
Well, that's a wrap. Finished my class notes for the Empirical Methods in HCI course this fall, and it came in at a whopping 152 (!!) pages of content. Still more refining to do before a public release, but happy to share the materials with instructors at this point.
Ian Arawjo tweet media
English
1
1
42
1.4K
Andy Gordon retweetledi
Tomas Petricek (find me on BlueSky)
Tomas Petricek (find me on BlueSky)@tomaspetricek·
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!
Tomas Petricek (find me on BlueSky) tweet mediaTomas Petricek (find me on BlueSky) tweet mediaTomas Petricek (find me on BlueSky) tweet media
English
1
5
23
3.1K
Andy Gordon
Andy Gordon@AndrewDGordon·
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…
YouTube video
YouTube
English
0
2
10
881
Andy Gordon
Andy Gordon@AndrewDGordon·
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…
English
1
6
21
1.8K
Andy Gordon retweetledi
Atılım Güneş Baydin
Atılım Güneş Baydin@atilimgunes·
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 #Call-for-Papers" target="_blank" rel="nofollow noopener">popl25.sigplan.org/home/lafi-2025…
Atılım Güneş Baydin tweet mediaAtılım Güneş Baydin tweet mediaAtılım Güneş Baydin tweet media
English
1
8
19
5.8K
Andy Gordon retweetledi
ICFP Conference
ICFP Conference@icfp_conference·
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!! 🚀
English
0
7
52
3.1K

Keşfet

@HaskelInterlude @tritlo @programmingconf @HerrDreyer @natefoster @BenardDreyer @BBCRadio4 @BBCRadio3