@bigzaphod …wow, that’s smooth 😍

Not that I could ever afford to the way things are going, and it’s probably way too tied to Tapestry’s specific needs… but if you ever consider licensing any of this, that’s a conversation I’d have — even though I have no money and usually avoid third party libs 😀

Maybe I’ll win the lottery. 🙃

My neck pain has been killing me for the second week now, and I can't turn my head anymore. The doctor prescribed strong anti-inflammatory painkillers, so I gotta try to pick them up in misty downtown. I have an appointment with a physical therapist on Monday, the first day of my fall break.

Anyway, Idris/Haskell (or just GHC?) have this "holes" idea, where you can drop a "placeholder" value, prepend stuff with question marks, and Idris will just Not Make Assumptions about that bit. You can write your code out-to-in, while still getting the "chiseling" effect. In theory. Maybe I could learn that.

Problem: Yesterday my laptop rebooted (desktop linux seems to crash more in 2026 than it did in 2006) and now the Idris LSP won't wake up. Sublime Text LSPs do that sometimes. Aaaaargh!

@mcc The fact that you used the word dismiss in your question helped, to be honest.

A lot of calisthenics tutorials have a serious "draw the rest of the owl" problem.

Hey guys, I’m volunteering with @desertbus this year, if you’ve never heard of it, it’s a crazy 24/7 multi-day donation drive full of nerdy fun and games that raises a million dollars for Child’s Play charity!

It’s super fun. You can check out the twitch stream and join in here:

https://www.twitch.tv/desertbus

#DB2026 #DB20 #desertbus

@mcc It will also solve the hole for you, if you ask, and it is capable. The more type info you give Idris, the better it is at filling in holes on your behalf.

Most people responding to this correctly guessed that the circular pill object at the end with the dropdown menu and the word "dismiss" is, in fact, a button that dismisses the modal. I do not understand what it is like to be you but I am happy for you, as you will survive in this horrible new world of rounded corners, whereas I will be die in the frozen Canadian wastes, my body be eaten by wolves, after I cannot figure out how to operate the glowing rainbow circle that replaced the thermostat

@Mrfunkedude you make pants out of 'gurt?

A few years back, my lawyer wrote a scathing letter to my ex employer on my behalf warning them that I will take action for something they did wrong. My lawyer signed the letter "I trust we have an understanding". Since then I've been using that to sign passive-aggressive emails.