publish 038 hillel audio; little edits

Author: Steve Krouse

episodes/038.md

@@ -6,9 +6,11 @@ title: 38 - The Case for Formal Methods - Hillel Wayne
 
 _04/11/2019_
 
-At one end of the spectrum is the young Zuck encouraging his hackers to "move fast and break things." And then there's Hillel Wayne with a very different sort of advice.
+<iframe src="https://omny.fm/shows/future-of-coding/38-the-case-for-formal-methods-hillel-wayne/embed?style=artwork" width="100%" height="150" frameborder="0" title="#38 - The Case for Formal Methods: Hillel Wayne"></iframe>
 
-A couple years ago Hillel was working at a web development company that ran into a hairy distributed systems problem. The sheer complexity of it was overwhelming, so he starting looking for a way to make it more manageable. That's when he stumbled on TLA+. Long story short: Hillel fell in love.
+At one end of the spectrum is the young Zuck encouraging his hackers to "move fast and break things." And then there's Hillel Wayne with a very different sort of advice: move a bit slower and get things right. Unsurprisingly, the more mature Mark Zuckerberg of today would now agree with Hillel. "When you build something that you don't have to fix 10 times, you can move forward on top of what you've built," [Zuckerberg told BI](https://www.businessinsider.com/mark-zuckerberg-on-facebooks-new-motto-2014-5?r=US&IR=T).
+
+Hillel's road to this wisdom was much shorter than Zuck's. A couple years ago Hillel was working at a web development company that ran into a hairy distributed systems problem. The sheer complexity of it was overwhelming, so he starting looking for a way to make it manageable. That's when he stumbled on TLA+. Long story short: Hillel fell in love.
 
 Now Hillel is a renowned formal methods consultant, advising and training companies on TLA+, Alloy, and various other formal methods. It's part of his personal mission to evanalize the benefits of formal methods to everyday programmers.
 
@@ -129,7 +131,7 @@ _Transcript sponsored by [repl.it](https://repl.it/)_
 
   <div class="block">
     <div class="name">SK:</div>
-      Yeah, okay, so you have, I think the first thing I saw was learntlaplus.com. Was that the documentation you were talking about?
+      Yeah, okay, so you have, I think the first thing I saw was <a href="https://learntla.com">learntla.com</a>. Was that the documentation you were talking about?
   </div>
 
   <div class="block">