2024-09-11T19:08:04Z https://yabu.me Hazel Weakly https://yabu.me/npub186y86k08lla36zf3rhlmxhvv8dqa9lg7hrn0fccccrjc65kjeh4sd7xyyy https://media.hachyderm.io/accounts/avatars/109/292/687/434/643/137/original/c03ee78a751960d4.png https://media.hachyderm.io/accounts/avatars/109/292/687/434/643/137/original/c03ee78a751960d4.png https://yabu.me/nevent1qqs8gh8gkq06cnk520ngzxu9yq09x68pvaedfuy3tf87ez38p68c9aszyqlgsl2eulllk8gfxywllv6a3sa5r5har6uwda8rrrqwtr2j6tx7k50ex0l I thought today about why I do what I do.<br/><br/>When I was a child, I yearned very deeply to be seen and recognized for who I truly was. I didn&#39;t quite realize the cause of this, or reason. I couldn&#39;t have articulated it had I tried. Nevertheless, it was there. 2024-08-14T04:58:14Z https://yabu.me/nevent1qqs276c3pmmrvcvhcz9hsg3k0fj97vxh3ukkjxctwaa0lwpylew3q7qzyqlgsl2eulllk8gfxywllv6a3sa5r5har6uwda8rrrqwtr2j6tx7ku5dssc In reply to <a href='/nevent1qqsww9hpeh72gmda58pephe3jrmrx9t0m7hpwu0qv92c08ddzrk3nucyxnqvt'>nevent1q…nqvt</a><br/>_________________________<br/><br/>Lean is excellent! A former coworker of mine is actually working on lean right now, it&#39;s a marvelous piece of software.<br/><br/>I&#39;m really looking forward to formal verification getting easier! Better proof repair in particular will unlock a *ton* of value<br/><br/>Speaking of formal verification: do you have a favorite tool(s) currently? I read your blog post on getting into formal specification from 2022 but was curious if a few more years and tools have informed your list of favorites or not :) 2024-08-07T22:43:17Z