2024-09-11T19:08:04Z https://njump.me Hazel Weakly https://njump.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://njump.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://njump.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 https://njump.me/nevent1qqspnz5esp9yxfwy5zlrycq00w3yx2snprj5kp57wgjtavkz60sp3rszyqlgsl2eulllk8gfxywllv6a3sa5r5har6uwda8rrrqwtr2j6tx7kpju9v8 Do you all know how fucking incredible you are?<br/><br/>Seriously, humans are so cool. There are so many hobbies, so much energy invested in your passions, so much delight. The world is soaking in it<br/><br/>I mean, the world is also on fire and everything is shit right now.<br/><br/>But the people! So much wonder!<br/><br/>I could spend an eternity learning about what fulfills humans and never get tired of the passion and twinkle in someone&#39;s eyes as they share what brings meaning into their world<br/><br/>What lights you up? 2024-06-15T04:50:30Z https://njump.me/nevent1qqstqwkva6pet3mxdpkhk7wwn885m4nu0es7fe0numsl20pjud8a9vszyqlgsl2eulllk8gfxywllv6a3sa5r5har6uwda8rrrqwtr2j6tx7klge34h We ran hachyderm.io, which is ruby on rails + postgres, off of 32 vCPUs, 128GB of ram, and 2 failing hard drives RAID 10&#39;d with international NFS and IOPS performance measuring in the *dozens*<br/><br/>And 45,000 active users<br/><br/>Had the storage been faster than a 1997 floppy disk, we could&#39;ve cut compute and ram by 80% and not suffered that much at all<br/><br/>Y&#39;all really don&#39;t understand how far a single laptop can really push things anymore cause we waste computers so hard<br/><br/><a href="https://mastodon.social/@GeePawHill/112613403362243583">https://mastodon.social/@GeePawHill/112613403362243583</a> 2024-06-14T20:15:29Z https://njump.me/nevent1qqsq0x9veqrqu2mtqnseqqy3t4rzme9kre8dukg6jpays77putle2dgzyqlgsl2eulllk8gfxywllv6a3sa5r5har6uwda8rrrqwtr2j6tx7knchmcs Y&#39;know how there&#39;s a pattern of behavior where someone says something is bad about the tech industry or community or OSS software or something, and then every single nerd within a 50 square mile radius says *WELL ACKTUALLY*?? <br/><br/>I just realized that if, like, even 10% of them just... Sat down and spent some energy fixing the problem instead of insulting someone for experiencing it, we would&#39;ve solved all those issues by now 2024-06-02T02:36:42Z