Hazel Weakly / is on Nostr

I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking. 🏳️‍🌈🏳️‍⚧️

Website: https://hazelweakly.me
GitHub: https://github.com/hazelweakly
Pronouns: she/her

Last Notes

2024-08-14 04:58:14

I thought today about why I do what I do.
When I was a child, I yearned very deeply to be seen and recognized for who I truly was. I didn't quite realize the cause of this, or reason. I couldn't have articulated it had I tried. Nevertheless, it was there.

2024-08-07 22:43:17

- reply

Lean is excellent! A former coworker of mine is actually working on lean right now, it's a marvelous piece of software.
I'm really looking forward to formal verification getting easier! Better proof repair in particular will unlock a *ton* of value
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-06-15 04:50:30

Do you all know how fucking incredible you are?
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
I mean, the world is also on fire and everything is shit right now.
But the people! So much wonder!
I could spend an eternity learning about what fulfills humans and never get tired of the passion and twinkle in someone's eyes as they share what brings meaning into their world
What lights you up?

2024-06-14 20:15:29

We ran hachyderm.io, which is ruby on rails + postgres, off of 32 vCPUs, 128GB of ram, and 2 failing hard drives RAID 10'd with international NFS and IOPS performance measuring in the *dozens*
And 45,000 active users
Had the storage been faster than a 1997 floppy disk, we could've cut compute and ram by 80% and not suffered that much at all
Y'all really don't understand how far a single laptop can really push things anymore cause we waste computers so hard
https://mastodon.social/@GeePawHill/112613403362243583

2024-06-02 02:36:42

Y'know how there'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*??
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've solved all those issues by now

2024-04-22 04:59:20

- reply

probably the most absurd thing of the entire proposal for me is how stunningly ineffective it is. Seriously, we take every single ounce of human written content and pour billions of dollars into it, analyzing it, categorizing it, and building a computational engine that requires an entire fucking rainforest of computers to run.
With the result of... "Not ready for primetime. Come back when it can be as useful as a 7 year old kid"
Really? That's the game changer?

2024-04-11 00:18:37

- reply

But here's the IMPORTANT part. Everything has to compose. All the little pieces have to fit together.
If you're thinking to yourself "Oh I could build that". No you can't. I guarantee it. Everyone tries, everyone thinks they can do this.
You think you can, and for about 3 options, you'll be right! But that's cause you just built 9 different things and hid it cleverly under the disguise of "gluing together 3 things".
You didn't glue shit.

2024-04-11 00:17:42

"The most valuable code in the world is often glue code" -- Ok yeah, so then why are we so fucking bad at it, huh?
Seriously. You know what would make my whole life right now? A flow chart. With a sarcastic paperclip or a snarky stapler or some other anthropomorphic substitute for soulless capitalism.
"Hey! Listen! What do you wanna build?"
Door 1: A CRUD server
Door 2: A CRUD client
Door 3: A CRUD to CRUD pipe
"Well you came to the right place! How much CRUD are we talkin'?"
[[ etc etc ]]

2024-04-03 00:54:31

- reply

yup, this ended up accidentally becoming the most comprehensive guide to scaling mastodon on the internet at the time. I'm not sure if it still is, but I wouldn't be surprised
Happy to answer questions if you have any! :)