Strange Loop Conference

"Tackling Concurrency Bugs with TLA+" by Hillel Wayne

About this video

Hillel Wayne's Strange Loop talk introducing TLA+ as a specification language for finding concurrency bugs in designs. It covers stalling, race conditions and dropped messages, with PlusCal examples.

"Tackling Concurrency Bugs with TLA+" by Hillel Wayne

About this video

Keep your curiosity going.

Vectors | Chapter 1, Essence of linear algebra

Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich

But what is the Fourier Transform? A visual introduction.

But what is a neural network? | Deep learning chapter 1