Sostenitori recenti
Namtao ha offerto 5 fruit tea .
Heinrich, I hope you're doing really well. I finally figured out what you meant by "I don't think what you ask for will actually make you happy." [1]
Your advice on my SO[1] post 14 years ago really stuck in my head. Thanks in a small part to my ongoing search for practical provability, I am now a professional youtuber (I would never have guessed this would happen to me!).
I made a video [2] recently where I quoted your good advice, and explained my path, from python, through scala, haskell, clojure, and go, to rust. Perhaps you'll get a kick out of it!
Thank you, all the best, and if you want to chat, I'm tris@oat.sh.
Tris
[1] https://stackoverflow.com/a/4078875/333294
[2] https://youtu.be/voRBS0r4EyI
I'm doing well, thank you kindly for your support!Oh wow, I have totally forgotten about that StackOveflow post, or any quotable remark contained therein. A blast from the past. :)Thank you for the video, I enjoyed it. As for practical provability, I have chosen to work with Haskell/Agda, and have had some success, so far [1,2]. [1]: https://github.com/cardano-foundation/cardano-wallet-agda/blob/main/lib/customer-deposit-wallet-pure/agda/Haskell/Reasoning.lagda.md [2]:
