Tootfinder

@… Ooof, that sounds horrible. Even more reason to rest though! (Can I recommend playing Cats Love Boxes, if you need to stare at a screen?)
Hope you feel better very soon.

Demand that the European Union does not leave millions of dogs and cats unprotected against illegal breeding! #AnimalRights

Demand that the European Union does not leave millions of dogs and cats unprotected against illegal breeding!
While MEPs prepare to vote on a groundbreaking regulation on the welfare of dogs and cats, animal welfare organizations warn: the proposed exemptions could leave millions of animals unprotected.

I would say I'm sorry for flooding the timeline with cats (but that would be a lie) :ablobcatblink:

The cats also got a new scratching post that Bubbs thinks is a cat tower.
#caturday #catsOfMastodon #FediCats

You cats! You're driving me absolutely dingbats!

@… Oooooooh
What happens when you hit a file? Does it get deleted?

Urge FIFA to Help Stop the Slaughter of Cats and Dogs in Morocco! #AnimalRights

Urge FIFA to Stop the Slaughter of Cats and Dogs in Morocco!
Homeless animals are being shot, poisoned, or set on fire in Morocco as the country prepares to co-host the 2030 FIFA World Cup – urge FIFA to intervene.

The world would be a better place if Chris Rufo just got run over by a bus (ideally 10 years ago).
https://fed.brid.gy/r/https://bsky.app/profile/did:plc:5o6k7jvowuyaquloafzn3cfw/post/3ltdt66yen22h

The Tennessee Holler (@thetnholler.bsky.social)
SEMAFOR: @nytimes.com published the hit piece on Zohran to not get scooped by… Chris Rufo🤔 (CRT fear peddler who offered $5K for proof of Haitians eating cats) “people are really upset” inside NYT. Again: the story itself is the scandal. https://www.semafor.com/article/07/06/2025/times-pushed-ahead-to-avoid-being-scooped-on-mamdani-columbia-story

I’m liking my cats’ approach to starting the weekend.
#SimplePleasures #cats #catsofmastadon

🇺🇦 #NowPlaying on KEXP's #VarietyMix
The Coup:
🎵 Fat Cats, Bigga Fish
#TheCoup
https://chopperman.bandcamp.com/track/the-coup-fat-cats-bigga-fish
https://open.spotify.com/track/74mjiDuK4B0yKtMBoVWt51

Now with colour!
https://codeberg.org/ooble/defrag.exe
I also improved the way that the “file system” is generated; the file sizes are a bit more variable now. I think it’s prettier.

The cats got a new tent! Summer must be right around the corner.
#caturday #catsOfMastodon #FediCats

@… That’s excellent, and I wish I’d come across that magazine!

I had to let the cats in. They knew the secret knock.

@… Imperial, but it wouldn’t surprise me in the slightest if the same nonsense was going on at UCL.

@… It was a really good time, and I miss having that excuse to just devour a chunk of Stilton.

Don't you worry. The cats and I will figure it out.

@… My university (in London) had (has?) a Cheese Society.
Once a week, they meet to eat cheese.
Sometimes with ale.
It’s a good university. I learned a lot.

@… Whatever works!
I like Omen by Prodigy when I want to smash through something.

@… @… Your butthole merely adopted the cheese, mine was born to it.

@… Yes, so much yes.
I have started using “a checklist / comparison table where none was necessary” as an LLM heuristic now, because there are so many terrible articles (many written before mainstream LLMs were released) which use a checklist as a replacement for any actual content, and now the machines have been trained to regurgitate them.
My thinking …

@… I’m trying to finish all my cheese before travelling tomorrow and I can tell you that 400g is probably enough cheese.

@… Gonna have to acquire one…

@… Oh, I get that. Sometimes you need to push through.
I like to pair program when I hit a wall like that. Not sure if that works for you or not, but it might be something worth considering.

How many blocks/wedges of cheese are too many blocks/wedges?

@… This is how you know it’s time for a pizza and a sleep before you do more coding.

@… I’m not even sure how to play a tone, except for the terminal beep!

@… I have a vague recollection of very short bursts of “err, err” as the drive head moves. But I don’t think you get that with modern spinning disks, only the really old ones.
@… has sent me a link that I haven’t checked out yet, but…

@… No, but you’re the second person to ask!
Any idea how to generate some programmatically?

@… Yeah, I know, and I loved making this one. And unlike every actually useful project I’ve made, this one is getting feature requests!

@… I got told off by my partner for calling it my “stupid little project”. She said it was cute too. ☺️

@… And I just remembered to buy your dice app, in case I don’t get a chance. Looking forward to playing with it. 😊
Perhaps you’d like my latest RNG toy:
https://mastodon…

@… Oooh, I’m travelling so I don’t have dice with me. I’m gonna have to pick up a set in the next few days so I’m ready. 😄

@… The chunks are rounded down and up, because the file boundaries don’t line up perfectly with cell boundaries. I make them as big as possible so they will often take up a whole cell when they actually only fill part of it.
I’d like to make this clearer, visually, but I haven’t had time yet.

@… @… Let’s be honest, I just needed an excuse.

@… Ich glaube beide!

@… To be fair, “it depends” is the software consultant’s battle cry. 🙃

@… @… Amazing!

@… @… I think you are spot on with regards to AI. I cannot see how LLMs will get us anywhere close to what you’re describing, and I am sad that all the funding for AI/ML is now being steered in this direction.

@… Did you know that Haskell’s `do` notation started out as a generalisation of list comprehensions?
Now list comprehensions are a specialisation of `do` notation, and most people don’t bother with them.

I'm trying out the Dusa programming language (https://dusa.rocks/), so I made a baby 4x4 Sudoku.
It was fun. ^_^
I'd love some array/list functionality; I wouldn't want to tackle a regular 9x9 Sudoku through copy-pasta. But I appreciate how easy this was with the `forbid` directive.

@… @…

@… There are also derpy cats!

@… I should definitely organise mine and not just leave tabs open for centuries…

User testing at Xerox PARC and Apple in the 1970s–80s, by Larry Tesler:
https://dl.acm.org/doi/pdf/10.1145/1044774.1534167
Thanks, @…

@… That is a wonderful route.
Congratulations on doing it. 😄

@… I have never made a terminal program make a sound except for a beep (`print ‘\a’`). This’ll be something fun to learn.
Probably not soon, though. This was my “fucking around” budget for the entire month.

@… This is an excellent idea! The sounds of the head moving, I take it. I wonder how you’d generate them…

@… I am adding this to my bio.

Now there is literally no excuse not to move to Linux from Windows. We even got defrag.exe. What else do you need?

I really miss the Windows Disk Defragmenter. It was so soothing.
So I made my own. And you can run this one as many times as you like; it’ll generate you a new (fake) file system to defragment every time.
Enjoy, folks.

Ooops, repo was private. Fixed!

@… Woohoo!

@… I get that. Cloudflare’s a good solution. :-)

I decided I was missing something on Unix.
https://codeberg.org/ooble/defrag.exe

@… Enjoy that one more beer. 🍻

@… Alcohol is overrated. Causes hangovers. You know what fixes them?

@… I have asked my partner to make her own coffee, and I’m gonna take your advice. 🙌🏾

My gut has been uncomfortable since this morning (and for some reason, I woke up at 06:00). This is *not* a good time to drink a coffee.
Someone please stop me from making a coffee.

@… Espresso, confidence, same thing, right?
Now I just need to figure out how to get it delivered to you.

@… Would you like to borrow some?

@… So I just looked up “fibration” and now I think I need to lie down in the dark for a while.

@… This is very cool!
I did something similar for PostgreSQL last month.
https://codeberg.org/ooble/tremuloides

@… Works much better if you openshit, I tried to closedshit once and it ended very badly.

@… I need you to hold my drink so I can belly-laugh, please.

@… @… Not what I had in mind, but that'd work!

@… You helped me answer a question about “why a relational language for build systems?” that a friend asked me 7 months ago, so thanks!

@… Yes plz

@… Agreed, I like this way of thinking about it.

@… Yes, compose with existing tech!
GNU Parallel and Make do good job control.

@… I think you’re thinking of “Calpol”.

One more day to ZuriHac. ^_^

Fuck yeah, new pizza truck in town.

I finally finished the article that inspired the above toot. It was written by @…:
https://queer.party/@eevee/114796122805592604
It’s a wonderf…

@… @… Yes, I have the same problem with German! I can never remember exact spellings or umlauts, and I used to be able to trust the computer to help me out.

@… It does this for me a lot in English too!
For some reason, it always wants to correct “tea” to “yea”, which has not been a word in a few hundred years

No, autocorrect, I meant “systemantics”, not “system antics”. The latter is what you get when you ignore the former.

@… Me too!
K8s smells a lot to me like what happens when you combine the 8 fallacies of distributed computing with a failure to understand systemantics.

@… I approve this message.

@… Fuck yeah.
This reminds me of “C is not a low-level language”: https://queue.acm.org/detail.cfm?id=3212479
We could have intere…

@… You don't know that, maybe they're a dick.

@… I know but a poll amuses me more.

The dual of inviting someone for dinner is

@… @… Right! My goal with mentoring a human is to get them to the point where they don’t need me any more.
Not so with a word generator.

@… But unfortunately, 2 double espressos = weird stomach problems for me. 😕
(He says, having had 3 coffees today.)

@… Now we’re getting somewhere!

@… I shall do!

@… I’m hoping to bring this up with people who know what they’re talking about at ZuriHac this weekend.

@… Thank you!

@… This is true, but I think there’s also a budget problem, in that the entire yearly budget for all Haskell tooling is approximately equivalent to a bag of oats and a nice juicy carrot.

I am once again asking GHC devs to make it possible for tooling such as HLint and the Haskell Language Server to compile against multiple versions of GHC.
I realise that this is a gigantic undertaking, but if you're wondering why people don't stick with Haskell, it might be because every compiler version upgrade breaks *everything*.

@… @… I’d love to attend, but perhaps next year! I’m still very limited in what time I can contribute.
If you’re here all weekend, can I pick your brain about it?

@… Nailed it. :-p
It would be nice if the companies who are making a lot of money using it would invest back.
(Some do, of course.)

@… @… <insert "one person in Nebraska" meme>
Same everywhere, isn't it? curl has one full-time dev.
I am reminded of this post:

@… @… You might be interested in the proposed schedule for the implementors' workshop tomorrow.

@… @… Not really, there are a bunch of blockchain companies using it and a few banks, but unfortunately, most of them are not investing in making it better.
Facebook were using it for a while in a couple of teams, but I…

@… @… Agreed, I think GHC *used* to be primarily a place for experimentation, but now there's a lot more focus on industrial use cases.
IMO the real problem is that there are 2 people who actually work on it profess…

@… I'll see if I can get the attention of a GHC dev. The Haskell implementors' workshop is tomorrow, and I won't be attending that, but maybe I'll get lucky.

Note to self: if your moustache is tickling the inside of your nose, you should have shaved yesterday.