Sveriges mest populära poddar
Feeling of Computing
Teknologi

The Case for Formal Methods: Hillel Wayne

1 tim 34 min•11 april 2019

Hillel Wayne is a technical writer and consultant on a variety of formal methods, including TLA+ and Alloy. In this episode, Hillel gives a whirlwind tour of the 4 main flavors of formal methods, and explains which are practical today and which we may have to wait patiently for. The episode begins with a very silly joke from Steve (about a radioactive Leslie Lamport) and if you make it to the end you're in store for a few fun tales from Twitter.

https://futureofcoding.org/episodes/038

Support us on Patreon: https://www.patreon.com/feelingofcomputing

See omnystudio.com/listener for privacy information.

Fler avsnitt av Feeling of Computing

Visa alla avsnitt av Feeling of Computing
Technical Dimensions of Feedback in Live Programming Systems by Josh Horowitz
•2 tim 9 min
The Computer is a Feeling by Tim Hwang & Omar Rizwan
•2 tim 34 min
Let's Take Esoteric Programming Languages Seriously
•1 tim 54 min
As We May Think by Vannevar Bush
•2 tim
Computing Machinery and Intelligence by Alan Turing (feat. Felienne Hermans)
•2 tim 12 min
A Case for Feminism in Programming Language Design by Felienne Hermans
•2 tim 4 min
Is the Whole Universe a Computer™?
•2 tim 13 min
Moving Beyond Syntax: Lessons from 20 Years of Blocks Programming in AgentSheets by Alexander Repenning
•2 tim 44 min
Pygmalion by David C. Smith
•3 tim 10 min
Elephant in the Room
•2 tim 56 min

Feeling of Computing med Ivan Reese, Jimmy Miller, and Lu Wilson finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.