@mavnn this would probably result in an entire secondary school deciding that my house is Romania, and I do not want that kind of heat.
@[email protected] You are wise in the ways of teenagers.
1
some kid outside my house just shouted "GLORY TO ROMANIA!"
what even is today
@[email protected] You could let him know that you're currently not open for business?
3
It's Friday, my work is over and I'll take a train back home in a couple of hours.
You know what that means.
Time to... SHITPOST ON MASTODON!
@[email protected] It's been 11 minutes and there's still no shitposts. You're slacking on your relaxing...
3
@mavnn @vrandecic @jay_peper But if you know something has a high probability of not being correct, that is information - so you know the assertion is likely wrong (‘not true’)?
@[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.
1
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
5
@mavnn @thirstybear @jay_peper those are difficult terms, and it's funny how we get to more difficult terms trying to capture seemingly basic, simple terms.
Same pattern all the time.
@[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.
oh my gods, of course a proper wolf appeared in the 3D lego parts library a few weeks after I rendered a dozen shots of Callian with a not-very-satisfactory dog that she calls a wolf. Should I just re-pose and re-render all of them? 
@[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.
An internal Microsoft strategy document says that the plan for its just-announced “Scout” personal assistant AI is to “make people addicted” to the tool before rolling out additional functionality.
The document notes that “security and compliance” are important things to figure out moving forward.
@[email protected] @[email protected] Because, of course, the addiction should come before the security and compliance.
Priorities, people. Priorities.
@thirstybear @mavnn @jay_peper my understanding of the term "formal" is that it would be devoid of semantics. In formal logics, is just about what you can derive from your axioms and derivation rules, not about the resulting statement corresponds to reality, or any other semantics. I always found it mind boggling that the terms "true" and "false" are, formally, entirely equivalent.
I think what you wanted to refer to is not a formal meaning of true, but a strict corresponding-to-reality meaning of true, in my understanding.
But I might be entirely off.
@[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!
6
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.
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.
1
MECFS when you also live with ADHD is really hard sometimes. The only time my brain gives me a break is when I am hyper-focused and working on something which had almost always been a beneficial thing in some way. With the ME, not so much.
Physically resting means my brain has way too much time to itself, but too much cognitive stimulation is also not good for it.
Some days I will try a simpler video game, like a very simple puzzle game or cryptographs, more stimulating video games are usually too much. Even stardew knocks me out sometimes.
I watch a lot of movies or shows my brain has already seen so it can kind of check out, but it's a whole other job trying to outsmart my brain enough to get a rest. Sometimes I just toot on mastodon non-stop. So yeah, the more toots you see, the more fatigue I'm probably having. Lemme know if you've found any good solutions.
@[email protected] apart from some of the things you've already listed, exceedingly long not too deep web novels from places like Royal Road work well when I have no focus at all but need a distraction to rest. The top rated complete works page is a good starting point if that appeals
I would like to know about your music. Please tell me: what was the last track that came up for you on shuffle that reminded you, I haven't heard this in a long time, but this song is great?
(Boosts welcome, let's share some great music.)
@[email protected] Epic, Faith No More (youtu.be/WkqPVMKsN20 )
The year is 2026. Every native app is either made for a VT100 or renders like a game engine.
@[email protected] @[email protected] I wish that 'or' was an 'xor', but unfortunately our timeline won't even give us that much.
I was reminded of the existence of Welsh rarebit yesterday ("Welsh rabbit"), a food that is not Welsh and has no rabbit in it.
It is quite tasty though. en.wikipedia.org/wiki/Welsh_...
(cc @[email protected] on his entertainingly named food hunt)
1
@[email protected] @[email protected] oh, yes! Especially because 'pull me up' can have the same figurative meaning as a 'pick me up' in English, and it's made mostly of coffee, sugar, and liquore...
I needed to write recently about how VisualInk is different from other #visualnovel software in being designed primarily for teaching, and I think this paragraph captures most of it.
Many of these tools also suffer from being too powerful! For example, Ren'py gives you the full power of Python and the ability to completely customize the look and feel of your game, while Atrament allows you to design your own style sheets and custom JavaScript extensions to develop on line interactive fiction. The flexibility these systems give is actively confusing to the youngest learners or total beginners, and gets in the way of being able to use the tools to focus on specific topics when teaching. VisualInk takes the approach of using a narrative scripting language that allows flexibility in story telling mechanics - without forcing complexity - but deliberately limits all but the simplest configuration. A simple 'tagging' system shows characters, changes locations, and adds audio, and VisualInk ensures that the resulting visual novels display correctly across different browsers and devices.
@mavnn amazing!
@[email protected] I only just thought about it, but I've also just realized that vermicelli (the type of pasta) is a derivative of vermi (worms).
This is actually a really good write up of #ChronicFatigue / #LongCovid in general even if it is framed from the point of view of joint pain.
@[email protected] The Italians refer to trifle (the jelly and cream dessert) as 'zuppa inglese' (English soup)
@[email protected] also, saltimbocca - literally 'jump in mouth'. It is, in fact, very tasty.
