Skip to content
Permalink
Browse files

publish 038 hillel audio; little edits

  • Loading branch information...
Steve Krouse
Steve Krouse committed Apr 11, 2019
1 parent b0a970a commit d5810d621afd50e2ac30d54fed9ced62c434c523
Showing with 5 additions and 3 deletions.
  1. +5 −3 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">

0 comments on commit d5810d6

Please sign in to comment.
You can’t perform that action at this time.