During tomorrow's lunch lecture Vadim Zatsev will regale us with the story of his success at the TTC (Transformation Tool Contest) last summer. In his own words: "somewhere in the summer I’ve participated in a coding contest and slayed, producing a solution which was orders of magnitude smaller and faster than others — by relying on both my expertise and GAI help (usually people do only one of those, I aggressively did both); there is a paper which goes with it, it’s not out yet but accepted so it will be out one day; this is a bit on a braggy side and it is in F# which is a hard nut to crack, but I can try to keep it lightweight and F# is like Haskell anyway."

Do you want to learn about how an expert uses AI? Do you want to hear more about this fascinating story and go into the extreme depths of what is possible with programming? And enjoy some free lunch while you're at it?

Who

Committee for Lectures and Excursions

What

Lunch Lecture by Vadim Zaytsev

Where

RA 1501

When

Tuesday 9 September 2025 from 12:45 until 13:30

Label

Education

Costs

free