Skip to content

“How did you get started in this field? I would suggest…” — The Pragmatic Engineer at 57:01

The Pragmatic Engineer Designing Data-intensive Applications with Martin Kleppmann

“How did you get started in this field? I would suggest starting with model checking. So something like TLA plus office B are much friendlier to getting started with compared to proof assistants like Isabelle, Rock and Lean.”

0:00 1:25:00