Providing valuable services in chat channels
Christian, husband, dad, coder, trainer, speaker, rpg geek, adhd, game dev
- Joined
- Website
- blog.mavnn.eu
@[email protected] @[email protected] Good work! beta.3 worked out of the box and for some reason is also using way less cpu (than beta.2)
@[email protected] I suspect it's part of a mini-dictionary of related terms: "feeling when the blind date partner is my therapist", "feeling when the interviewee was my primary school teacher", "feeling when Philip Wadler sits in the front row as you get up to give your first ever conference talk and it's about functional programming, and then puts his hand up for a question at the end" (some of these may be more personally specific than others...)
@[email protected] I have no idea why Astro was unable to download it automatically? Other outbound http on the container are working fine, so I'd guess a file system permissions issue within the container but I might be totally wrong.
@[email protected] Just as a heads up, to start the docker container for beta.2 I needed to manually download the file de440s.bsp and expose it in a volume at /root/.cache/astro/de440s.bsp
Just in case any of you have been waiting to pay someone millions of euros to blow up your enemies with fantasy #forth while progressing through a choice based story: now's your chance!
"What is good in life?"
Conan: "To hear the lamentations..."
Kant: "Potato"
Conan: "...yeah, okay. I'll give you that."
@[email protected] Next question for me is something good for keeping my place in podcasts #podcast
@[email protected] MALP on android and some scripts currently, with the audio playing via AirPlay from a Raspberry Pi to a few different speakers around the house. It's not super awesome, but it appears to do the basics and is pretty fast.
Whelp, it's taken a lot longer than I would have liked but I'm finally managing to take the time out to move the whole family's music from Spotify subscriptions to mp3s on a self hosted mpd instance. It's a lot easier to hook into things like OpenHab as well; while nothing is a reliable means of getting a teenager out of bed, programmatically escalating light and #progrock volume levels are the best we've found so far.
And we get to both save money and support artists more directly; although we like music it isn't like we buy an album+ a month at the moment. #music
@[email protected] Well, if weren't being all cynical and pedantic and assuming that 'a day' meant more than one day you'd see how easily the statement could be true.
That ended up slightly more mysterious than it needed to 😁 . If you're interested, the band is called Kardi and they seem to play this kind of stuff: youtube.com/watch?v=MSO2YAcC...
KARDI(카디) - Player 1 (Live at Pentaport Rock Festival 2025)
YouTube
It's random Korean music moment! Back with the same group as the last tune I posted, but before they were named? I'm guessing this is some kind of origin story moment.
It's a cover, and 'Legends Never Die' is a solid pop track I actually quite like but they start the song somewhere different (conch and Korean version of the zither anyone?) and then take it... somewhere else. I suspect right into @[email protected] taste kind of territory. And if nothing else - this is what stage presence looks like.
황현조 팀 | Hwang Hyeonjo Team 「Legends Never Die」 𝙎𝙐𝙋𝙀𝙍𝘽𝘼𝙉𝘿2
YouTube
@[email protected] I can take a guess but: what's the free table in this context?
@[email protected] Indeed. I still remember an NHS manager trying to apply penalty clauses to my brother's start up for not delivering a piece of software, and being disappointed when he received legal advice telling him that it might be hard as he hadn't actually provided them with the specification of what he wanted yet.
@[email protected] When I wanted to use this as an #adhd metaphor a few years back it suddenly hit me that not everybody already knew what the term meant. Fortunately, somebody put together a pretty good visual guide: How to gird your loins.
(Disclaimer: I know nothing about the rest of the site, although at a quick glance they are a lot saner than you would expect from the name "Art of Manliness"...)
@[email protected] The lack of pre-gaming always confuses me. I feel like 90% of commercial performance metrics could be elimanated by just running through the checklist of:
- could somebody spend money to make this number go up?
- would spending money that way improve something about the business or increase its profits?
For a lot of common measures the answers are "yes" and "no", which makes you wonder a bit about business culture.
@[email protected] It feels a lot like using a logic based language so far (i.e. prolog and friends) in that everything is about the constraints rather than execution flow. I'm a fan.