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...

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.

youtube.com/watch?v=tISOeFoo... #music

@[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.

Built my first ever fragment shader today, and it had strong 'entertaining logic puzzle' vibes. If I suddenly disappear for a few days, send search parties - I'll need an #adhd nerd sniping intervention to actually carry on getting any #GameDev done...

@[email protected] You are wise in the ways of teenagers.

@[email protected] You could let him know that you're currently not open for business?

@[email protected] It's been 11 minutes and there's still no shitposts. You're slacking on your relaxing...

@[email protected] @[email protected] @[email protected] I think we're using formal in different ways and maybe talking past each other? You can formally assess the likelihood of an event in a number of ways, or estimate values using formal methods and that's incredibly useful and may produce informally true results (believed likely with reason) but has very little to do with formal logic: I have a set of axioms and a chain of implications 'we can't prove if this is true or false' is a valid and frequent answer.

It saddens me deeply that as someone who would have said Evangelical was the closest shorthand to my own theology ten years ago that I disagree with none of Ian Dunt's summary about the politics and recent history of the Evangelical movement in the last couple of decades. I'll be curious to read the full article.

https://bsky.app/profile/iandunt.bsky.social/post/3mnes43zatc2a

@[email protected] I'd be pretty much the first in line to agree that truth, honesty, and correctness are not simple at all. And that, in fact, trying to simplify or even overly codify them in real life situations is an enormous source of great harm - much as my programmer's soul would prefer life to be that straight forward.

@[email protected] Probably not important. After all, it will only be an unending dissatisfaction that will itch at the back of your brain every time you see the images or think of them from here to eternity.

@[email protected] @[email protected] Because, of course, the addiction should come before the security and compliance.

Priorities, people. Priorities.

@[email protected] Ha! No, you're not completely off and it's a fair implication that I was being somewhat informal in my use of 'formal'. Yes, I had taken as one of my axioms was that the statement "Tom is at the party" would be true if and only if Tom is actually at the party. If I choose to define the semantics of 'true' to include whether Maria honestly (and with some arbitrary level of evidence) believed the statement at the time, then we get (I think) to @[email protected] 's position which I find completely reasonable especially in everyday conversation.

Personally I struggle more with @[email protected] 's assertion that 'formal' truth is based on information available. You could define truth as depending only on the information you have available, but if you apply that formally you get into a weird situation where you confidently state things as true (or false) when you know you have a high probability of not being correct - which could be logically consistent, but in the broader context could also frequently be called dishonest!

Then I think British Airways did it as well? The late 90s had some weird choices in advertising.

cosocial.ca/users/mhoye/stat...

I'm not sure why, but @[email protected] 's post above has reminded me of the time a large car company tried to sell the luxury of their cars using Bjork's "Play Dead" as an ad soundtrack. A beautiful song... about depression and a serious mental health crisis. It was even fairly well known at the time.