Notices by pettter (pettter@mastodon.acc.umu.se), page 11

@yaxu not aware of any PL with sarcasm though :)

@yaxu mm, I mean depending on how you define things and what you're after you could call various things borderlands such as logic programming and proof system, as well as specification languages. ML is an interesting programming language in terms of dialects since it had so many, for example.

@yaxu you mean the NLS? Could you link me some examples? To be clear I'm not saying computers or programming languages aren't useful for things like (offline/human-to-human) knowledge work and so on, quite the contrary. However I would argue that they are more useful for those purposes that NL specifically for their non-NL properties, and that when used in such a way they in a sense stop being PL, but I think I start to understand better what you're getting at.

@yaxu well no, speech is arguably primarily used for communication with others. The agitation of air is a means to that end, which is why (spoken) language also works as written language for example, or you could use subvocalisation and bone conducting headphones to speak with very little air being vibrated at all.

@rasmusfleischer Vad i hela hälsingland?

"Glädjesiffrorna" som basuneras ut i DN handlar om hur "ett genomsnittligt hushåll" eller "en genomsnittlig löntagare" ska få "flera tusenlappar mer i plånboken".
Samtidigt påpekas i slutet av artikeln att många kommer att få det sämre.

Så vad för slags genomsnitt syftar man på?
https://www.dn.se/ekonomi/gladjesiffrorna-flera-tusenlappar-mer-i-planboken-nasta-ar/ (1/2)

@yaxu Of course, tools that get developed for one purpose are then used for other purposes, that's just how reality works. That doesn't make the original purpose of the thing go away, however.

The point of a table knife or coin doesn't stop being 'cutting food' or 'paying for stuff' just because you use it to fasten a screw.

@yaxu I mean, you can slice things as you like and defines things arbitrarily (and with any level of fuzziness and change over time) - this is exactly what we use natural language for.

However, a common and useful categorisation of 'programming languages' contra 'natural language' is that programming languages are primarily intended and used to program a computer without having to interact directly with machine specifics, and other uses are secondary. PL are primarily computer abstractions.

@yaxu That strikes me as a category error: There's nothing wrong with taking inspiration from programming languages to inform new forms and usages of natural language, but the entire point of programming languages is their (relative) stability, unambiguity, and so on. I suppose various LLM-powered chatbots and such could be seen as attempts at what you're describing, but then again, I'd argue they fail, and will mostly always fail..

@thanius One group of people that the law protects but does not bind, one that the law binds but does not protect, etc. Doesn't just hold for "conservatism" to be clear.

@thanius None of his other blatantly criminal acts have, so why would this one? Same for many many other rich people and corporations in the US.

@jk And if no one considers Wordle to be the best social-media throwaway little game tool 'look how smart I am' thingy I don't know what. Especially with how many other games sprung up in its wake.

@jk Oh, Webbed is from 2021! Definitely a contender for 'best game when you play as a cute little spider' :)

@jk Sable is in there, which certainly has one of the most striking aestethics and game loops that I've played, but there was enough jank for me to not really go for the 'best' label.

@jk *certified 'considered best' but yeah.

The two examples in the list I've read so far that I'd expect to have _someone_ considering them best based on, like, cultural backsplash, is Forza Horizon 5 and Inscryption, and maybe Mundaun, so y'know... Maybe it just truly wasn't a year for Bangers?

@jk Looking through https://en.wikipedia.org/wiki/Category:2021_video_games for a counterexample and uh...

@TomasHelleberg Lögn och förbannad dikt

Also there's going to be _so_ much impersonation over there.

It's fascinating to see folks moving from twitter to bsky explicitly motivated by "no algorithm to please" and I'm like no that's exactly one of the selling points of bsky what are you talking about?

@yaxu could be this forum thread has some good info? https://www.kvraudio.com/forum/viewtopic.php?t=481178