formal languages

1 statements across 1 episodes · 1 bullish · 0 bearish · 1 people on the record · first statement May 16, 2025 by Guido Appenzeller · across every show →

Everything said about formal languages, oldest first

May 16, 2025 positive

Prediction Not checkable as stated

Appenzeller: Formal programming languages will not be replaced by AI

“I think formal languages won't go away because ultimately they seem complicated, but I think effectively a formal language is often the simplest type representation you can find to specify intent, right?”

Guido Appenzeller May 16, 2025 ▶ 27:10 Who's Coding Now? - AI and the Future of Software Development

Turn any episode into a week of clips.

This entire site, over 1,000 episodes transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.

formal languages

Everything said about formal languages, oldest first

Turn any episode into a week of clips.