5 ms·

Sorry milord, continue working earnestly a little bit more before we have to bow and kiss your golden moonshaped shoes. What do you guys work on all day long ?

• exdsq 5y ago
  > Sorry milord, continue working earnestly a little bit more before we have to bow and kiss your golden moonshaped shoes. You see, this is the issue I have. This is just twattish behaviour. > What do you guys work on all day long? 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.
  • inter_netuser 5y ago
    Where do you work? seems exciting.
  • xwolfi 5y ago
    > 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.
    • exdsq 5y ago
      I worked on the Cardano blockchain at IOHK, then worked on a financial exchange but that’s NDA’d, and now work for a decentralized exchange trying to think of consensus methods that avoid front running (so problems like generating random numbers that are both deterministic while also not being known in advance in a decentralized and distributed space). I used Haskell on Cardano, F# for profiling Windows stuff to find a file system performance issue, Go at the NDA’d thing, and Rust in my current role. Also python and typescript for bits; wrote a 1k bash script for one project lol.