Tootfinder

The best thing about blogging is that I take things out of my head, which is full, and put them somewhere else.
The second best thing about blogging is that I meet more interesting people when I do it.

@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…

After wearing my cargo pants yesterday and being spoiled by decent sized pockets (I could fit my phone in the front pocket, keys, and lipstick without it falling out when I sit) I’m pissed again about the pockets in my current pants, back pocket I can only put my hand up to my second knuckle in the back (might fit a lipstick but it would fall out) and the front ones, stuff keeps falling out when I sit. I’m going to lengthen the pockets based on the cargo pants pockets, I don’t care if it ‘ruins the line of the pants, and adds bulkiness’ because as I always say, women’s pockets, when pants have them, are bullshit. And I don’t care if they make me look fat because I value function and comfort more. My son can fit a whole keyboard in his. I’ve been gradually lengthening my pockets as I get to them, or wearing a Fanny pack, but had to go to a funeral Sunday and got pissed again about my pockets. I want to empower other women with decent pockets, so we can take over. That poem about seditious pockets comes to mind. Or at least carry phones and keys. Will post photos. #sewing #pockets #womenspants

About those massive Russian losses of equipment near Kursk... looks like Ukraine released video of it.
Considering that Russia only has about 5-2 odds on that front, well... I don't think things are going all that well. Whatever gains they are making are just too expensive.

@… I definitely would enjoy learning more about this stuff. Do you have any good places to start?

Got bullied* into doing some yoga and chilling out instead.
All good though. Now I am beered up and ready to write!
* after complaining about my shoulders for 20 straight minutes

@… @… There is so much right about this that I don't know where to start.
The only worry I have is that it sounds hard for someone else to create a competing implementation, and I think that we need more of that from our…

You know the North Koreans are getting owned when I can share a new, 4 minute long video of them getting owned and owned and owned by a plethora of drone strikes, AND share an article about how they are getting owned and owned and owned by cluster munitions, to what appears to be an even greater degree.

Ukrainian Artillery Rained Cluster Shells On Exposed North Korean Troops
A single Dual-Purpose Improved Conventional Munition dispenses 88 submunitions.

The way we think about large language models (LLMs) like ChatGPT is more important than we often realise. What if we just think about them as sophisticated databases?
#ai #llms #genai

Almost noticed this too late, and I would’ve been greatly upset if I had missed it: Voting for the #Latin Word of the Year 2024 has started, with candidates curated from the new (“newly discovered”?!) words added to the Thesaurus linguae Latinae! Make sure y’all vote!!
htt…