> Pretty interesting problems. In the last year or two I've worked with some of the founding designers of Haskell on compiler profiling. I've heard from Leslie

> Pretty interesting problems. In the last year or two I've worked with some of the founding designers of Haskell on compiler profiling. I've heard from Leslie Lamport on using TLA+ to formally prove consensus algorithms. I profiled worst-case-performance of cloud infrastructure across the world. Stephen Wolfram and Vint Cerf gave internal talks to us at monthly learning sessions. I've written systems code in Rust, Haskell, Golang, F#, and multiple other 'cool' languages. I got to ask the guy who introduced monads to functional programming wtf is a monad? I spoke to SPJ about programming. Been taught property-based testing by the creator of QuickCheck. Etc... It's a really cool space if you like tech with some great minds in it. Sounds a lot like university, what do you guys produce as a result ? Do you work at BlockOne, I hear a lot of such dilettante feedback where work is more about learning fun things at random without any specific purpose. I mean from compiler profiling to property testing, do you have time to focus on a tight deadline ? How many systems do you focus on, if you have to touch 4+ languages just to apply a change ? I hope at least it's not each end to end feature that requires all those languages -_-. But at least, good you accept to work on all of them, problem where I work, where we do more classical Python/Java/C#/JS,is I have trouble to convince my colleagues just to touch a second one and de-specialize.