PLRG_bristol Profile Banner
PLRG :: Bristol Profile
PLRG :: Bristol

@PLRG_bristol

Followers
123
Following
177
Media
76
Statuses
115

This is the twitter of the Programming Languages Research Group at the University of Bristol. https://t.co/TXmuMW96It

Bristol, UK
Joined July 2023
Don't wanna be here? Send us removal request.
@PLRG_bristol
PLRG :: Bristol
1 month
Our annual Summer BBQ! Thank you to @mengwangoxf for hosting, and for the weather for giving us such a beautiful day
Tweet media one
Tweet media two
Tweet media three
0
0
1
@PLRG_bristol
PLRG :: Bristol
2 months
Last month Nicola Assolini visited us from the University of Verona to help us push the boundaries of embedded quantum programming in Haskell. It was lovely to have you Nicola!
Tweet media one
0
1
1
@PLRG_bristol
PLRG :: Bristol
4 months
After a lovely few days seeing the other #etaps talks and some of the sights in Hamilton/Niagara, Joe will be presenting today at 15:30 in MDCL1305.
0
0
0
@PLRG_bristol
PLRG :: Bristol
4 months
Fascinating Keynote by Ina Schaefer to kick off #etaps
Tweet media one
0
0
0
@PLRG_bristol
PLRG :: Bristol
5 months
Evidence of the many travels of our @lambdabetaeta
Tweet media one
Tweet media two
0
0
2
@PLRG_bristol
PLRG :: Bristol
5 months
The Bristol contingent at S-REPLS 16. Thank you to all the speakers, @afd_icl / Imperial for hosting, and @VetSS_RI for funding the lovely food! We had a wonderful day! What a great way to catch up with what people are working on and old friends
Tweet media one
0
1
7
@PLRG_bristol
PLRG :: Bristol
5 months
We were involved in @RISCS_UK+@VetSS_RI 's event centred on Felienne Hermans' case for feminism in PL It was a thought provoking day. We are looking forward to sharing a report of the discussions. Until then, we recommend reading the paperđź“·@ratherforky
Tweet media one
0
0
0
@PLRG_bristol
PLRG :: Bristol
5 months
This week is our visitor from Italy's last here in Bristol! As a send off, we all headed to the boardgame cafe where we were beaten by Daybreak, and smuggled goods past the Sheriff of Nottingham. All the best @alfy9102 ! We'll miss you
Tweet media one
0
0
1
@PLRG_bristol
PLRG :: Bristol
5 months
Over the past few months, we've had the pleasure of hosting Ke from Peking University. This week is the last of his visit, so we all had dinner together to wish him well. Happily, he'll be back in October. Can't wait till then!
Tweet media one
0
0
3
@PLRG_bristol
PLRG :: Bristol
6 months
Last week wasn't just the ICFP deadline, it was also Min's last day with PLRG::Bristol. We gathered to wish him well in his new industry job. Good luck Min!
Tweet media one
0
0
1
@PLRG_bristol
PLRG :: Bristol
8 months
RT @HaskelInterlude: New episode out now!. We interview @hgoldstein95, A property-based testing researcher who works in PL, SE, and HCI. We….
0
5
0
@PLRG_bristol
PLRG :: Bristol
8 months
RT @AndrewDGordon: Is a great time visiting the great @PLRG_bristol on Monday. Fascinating to hear about their latest research with LLM-bas….
0
1
0
@PLRG_bristol
PLRG :: Bristol
8 months
Some festive snacks from Sam
Tweet media one
0
0
7
@PLRG_bristol
PLRG :: Bristol
8 months
Thank you to @AndrewDGordon for joining us on Monday, and treating us to his "Requirements are all you need" talk!
Tweet media one
0
2
11
@PLRG_bristol
PLRG :: Bristol
9 months
Happy Holidays from the PLRG Bristol winter feast!
Tweet media one
1
1
9
@PLRG_bristol
PLRG :: Bristol
9 months
Li Yixuan from the University of Edinburgh treated us to their talk "Program Synthesis with a LLM Jellyfish" yesterday! We thoroughly enjoyed it. Thank you!
Tweet media one
0
0
3
@PLRG_bristol
PLRG :: Bristol
9 months
RT @HaskelInterlude: A special episode of the Interlude, out now!. Matti and Sam traveled to ICFP '24 in Milan, Italy, and recorded snippet….
0
6
0
@PLRG_bristol
PLRG :: Bristol
10 months
We'll soon start publishing talks from visiting speakers (contact us if you want to give a talk!), but in the meantime we've been putting our new AV equipment to good use around the office
Tweet media one
Tweet media two
Tweet media three
0
0
2
@PLRG_bristol
PLRG :: Bristol
11 months
Yesterday, @satnam6502 visited to give us a talk on "Haste: a DSL for programming Groq's ML chip". We had a wonderful time hosting you and hope to see you again soon!
Tweet media one
Tweet media two
0
0
17
@PLRG_bristol
PLRG :: Bristol
11 months
RT @satnam6502: A wonderful visit to the University of Bristol to see Meng Wang and others, and to give a talk about the Haste Haskell DSL….
0
1
0