Piero Bosio Social Web Site Personale

What I'm listening to today: "Untitled", Åreknuteknyterne

In 1986 a tiny Norwegian cassette label named "Yecch Tapes" released a compilation named "FFFFF" with this song. It would be wrong to say it sounds like it does because these are ghosts reaching out of history to haunt us. That's just the cassette sound. But this sure *sounds* like ghosts trapped outside time, trying to score an epic 80s action thriller, but they're ghosts so it only feels like inexpressible loss

https://tribetapes.bandcamp.com/track/untitled-fffff-version

A valid sin

What I'm listening to today: "沈む！", Banshimoku

I saw these folks live last night! Shizumu (沈む) appears to be "Sinking" or "Sink!", like a command. The word she yells at the end of the chorus is "ILLUMINATION!" in English. "Banshimoku" is a Japanese name for the Placodont, an extinct triassic reptile. Walking through the market this morning, kept yelling to myself under my breath, the quietest yell, "ILLUMINATION!". May the bridges we burn be the lights that show our way

https://www.youtube.com/watch?v=hKsXnZO9_Jo

@typeswitch When the Haskell side of the "functional ⊊ ¬imperative" argument was winning, I thought they were assholes. But now that my side ("pure-functional ⊊ functional") has won the argument, I feel like *I* was the asshole.

@typeswitch I have a complicated take on this because my entrypoint was imperative LISPs. So it looks more to me like imperative was standard, then the haskell crowd introduced a new interpretation that eschews imperativeness (by introducing monads), then imperativeness won again (because the mass audience no longer *quite* understood monads).

@typeswitch Rust is OCaml with some syntax changes to look like C. I don't mean conceptually. I mean that's its development history. It started off as an OCaml clone and originally had an OCaml "personality" which was source compatible.

If Rust is no longer "functional", it's only because they accidentally broke something critical to functional-ness on the day they removed the garbage collector. But definitely, the day before that, it was a functional language.

@typeswitch Dylan is often considered a OO language despite the fact it uses multiple dispatch prefix functions.

I would consider Lua an object oriented language despite the fact its objects have (by default) no inheritance at all.

So I think you could self describe as OO if you wanted. But the question I'd have is what it is you'd be communicating to your users by doing so. Would you be communicating something truly vital about the language?

@typeswitch That's all kinda touchy feely. A formal way of describing this might be:

Class systems: There are classes, and objects. Classes don't exist at runtime. Each object inherits from exactly one class. Every class inherits from exactly one (or, in MI systems, one or more) class.

Prototype systems: There are objects. Each object inherits from exactly one object.

Rust traits: There are traits, and objects. Traits don't exist at runtime. Every object may inherit from any number of traits.

@typeswitch The reason I'd distinguish traits from something like multiple inheritance is sometimes³ in Rust if you have a reference to an object by its trait, you cannot "turn it into" the full object the way that you can sometimes cast objects up- or down- tree in class systems. This is due to a core implementation decisions (fat pointers) and so reifying it in the programmer mental model is reasonable.

³ I say "sometimes" because I think by explicitly using "dyn" you can make this untrue.

@typeswitch The difference is the model by which functionality, field-structural, and subtype relationships are inherited.

Loosely:

"Classes"¹ refers to a sort of tree model where each type has one² parent. Nominal subtype relationships that sit outside the tree are common.

"Traits" are more like what canonical OO would call "mixins". A Rust object inherits from one or more traits. Traits don't inherit.

¹ not enough chars to explain prototypes
² not enough chars to justify my use of "one"

I don't actually *agree* with the claim Rust is not object-oriented— I think Rust is object oriented, it's just not class-based— but it is the case that class-based OO is what people usually treat "OO" as meaning and "ORM" is bound up specifically with the idea of class-based OO. Actually, traits have always looked to me more like an RDBMS than class-inheritance OO ever did, so a like, TRM (Trait-Relational-Mapping) would rule, but I don't know if that's what these ORMs are.

Looking at this long list of Rust ORMs. I do not understand what the fuck a Rust ORM is supposed to be. Rust claims that it is not an object-oriented language.

Making a service you log into with a Mastodon account. Trying to decide whether to offer, as an alternative to giving your instance, typing your address & I figure out the handle. Advantage of latter is users can't get tripped up on the "instance" terminology. Disadvantages of latter: If you enter @‍x​@​y.com but you're really logged in as @​z@‍y.com, you wind up logging in as z & maybe that's confusing. Now that I'm looking at it, I think the whole second screenshot is confusing. Idea rejected

I am developing a help file for a website. I need to give an example of a mastodon handle. The ideal example would be:

1. Funny
2. Someone who wouldn't mind having their handle in a screenshot (for example, a bot)
3. On mastodon.social¹

Any ideas? Originally I was just gonna write @​yaoi@​mastodon.social but then I discovered that's a real account and the person hasn't posted in some years, so maybe I shouldn't drive randos to their account

¹ girlcock.club would also potentially be acceptable

*rubbing eyes* ok it took me a bit but I now have a fully working oauth flow on arbitrary fedi servers. this is the pure rust server with the html generated in yew.

still to do
- bluesky oauth
- set up sqlx so i can do something with the damn session cookie
- register one additional oauth with mastodon just to check whether the user is moderated

Did this get replaced with a newer tool or something? Is this nslookup all over again. Am I supposed to be using systemd to do this for some reason

Debian… what the fuck

I wrote a thread another day about how my attempts to look for racy manga got derailed into somehow just finding a lot of highly satisfying (but non-18+) slow-burn office lady yuri. Somebody replied saying they wanted to read the satisfying slow-burn office lady yuri. I wrote a mini-thread with my recommendations:

https://mastodon.social/@mcc/115231829097236357

Just typed an error message containing the phrase "Please file a bug if you see this message"

@h_m_m Oh!! Well!! As it happens!!!

[Highest tier]

"Doughnuts Under a Crescent Moon" (4 volumes) https://www.kobo.com/ca/en/series/doughnuts-under-a-crescent-moon

"She Loves To Cook, She Loves To Eat" (5 vol, ongoing) https://www.kobo.com/ca/en/series/she-loves-to-cook-and-she-loves-to-eat (Has a live action drama, casting is great but it's not as good as the comic)

[Good]

"Ayaka is in love with Horoko" (scanslation, maybe book coming out soon, has a live action drama??) https://dynasty-scans.com/series/ayaka_is_in_love_with_hiroko