~b @torresjrjr@qoto.org

**Introducing Austral: A Systems Language with Linear Types and Capabilities**
by Fernando Borretti
28 December, 2022
https://borretti.me/article/introducing-austral

@ben @J12t
I like to think I'm aware of those phenomemon, and that we still have hope. Oh well.

I also see you have experience with Mozilla and software engineering. And your work on elections and voting.works looks great, btw!

> I strongly recommend reading the Master Switch, by Tim Wu.

Thank you!

@ben @J12t
> some vague opposition to anything that isn't small, artisanal non profit, spec-pure implementation of the fediverse.

Yes, I believe it's important the Fediverse players are largely non-profit and spec-pure, with slow, careful improvements to ActivityPub and the network.

Fee-based models are OK though. I pay for my email server, and would for my fedi.

> That's naive.

I think it's right, and a good ideal to aim at. It's also largely the current form of the Fediverse, so I disagree.

I won't support another "kinda federated twitter but in practice usuable and centralised and dictated by Mozilla proxies".

> The gravitational force of a growing fediverse will cause all of the things you mention.

That's not a certainty. And if it was, I'd rather it happen slowly, and I think Firefox integration would accelerate those problems.

> A large player like Mozilla that understands the open web is a very good way to prevent the worst of natural tendencies and network effects.

I'm not convinced. And what about Chrome being inspired to EEE?

I don't want large players. There's no need for large players. There's no reason for Firefox to adopt such a responsibility, especially when they can make things worse, intentionally or by accident.

I trust random FLOSS volunteers, because they mostly have the same interests and vision for the network. And that's not naive, I argue.

@captainepoch
True.

From personal experience, I've had people look at the two servers and said "Mastodon looks more official and put together". Pleroma has that kind of Y2K web design. So most people are drawn to Mastodon, even if they're equally capable.

Of course, Pleroma ships with the Mastodon frontend, but many don't know that, and a novice won't understand that.

@captainepoch
We can still greatly benefit from more server software. There's way too much Mastodon. Reinforcing interoperability with multiple implementations is good.

@J12t @ben

https://qoto.org/@torresjrjr/109607707185525264

@captainepoch

> @torresjrjr I agree, we already have too many clients for the Fediverse.

And not enough server software!

@captainepoch @ben @J12t
Oh there are so many more problems.

Privacy, anonymity, security, centralisation of the Fediverse, the proliferation of the Mastodon API and quirks in place of ActivityPub, inspiring proprietary browsers to do the same in order to embrace-extend-extinguish, the inevitable commercialisation of the theoretical Mozilla Fediverse instance, inevitable breaking changes when Firefox introduces their own "helpful" features...

Firefox is a bloated, controlled-opposition browser. And it needs to remain at the very least a browser. Considering some kind of fedi integration is rediculous.

Terrible idea and article (no offense).

@J12t @ben
Terrible idea. Should not happen.

@dwarf
I've been ARMY since No More Dream. Since Jimin was jamless.

Merry Christmas 🎄

@rml
Do you know any small #scheme (#guile?) projects I could browse to learn by example?

I've been trying to get into #lisp for ages, but most tutorials are either philosophical/historical or only cover the basics. Take hautils[1], a collection of small POSIX utilities written in #hare/#harelang, which demonstrates digestible common programming practices, which would be out of scope for the official tutorial. Is there an analogue project for scheme?

Feel free to boost.

[1]: https://git.sr.ht/~sircmpwn/hautils

🇦🇷 ☀