When working with git, and I have a separate working copy, my options to sync are either rebase or create a merge commit.

It sounds to me like the pijul workflow is almost equivalent to just doing a merge commit instead of rebasing. Am I correct here? What’s the difference then?

It’s hard to understand what exactly will change for me if I used pijul vs git. What will be noticeably different?

This is mostly due to inertia and, to an extent, SEO.

Most people use github because it’s all they know and its name is almost synonymous with git hosting. Publishing elsewhere leads to people asking you why you’re not on github, how else can we contribute, etc. Moreover, github seems to score better on Google SEO than other platforms.

Not a libertarian if you were referring to me. I envision a system in which we all contribute and take part instead of throwing all the effort on someone already providing you with the space and expecting them to do it all, when you can more easily do it yourself.

Sure, if I want a community about cooking and instead of finding cooking content I find insults and harassment, then I will leave. That’s essentially an equivalent of the blocking feature I spoke about.

But I find it hard to believe that such a cooking community would become good by just having a moderator ban all the offenders, when they occupy most of the posts.

On the topic of admjn burnout, I find it ridiculous that we choose to put so much burden on instance and community admins. Why don’t people just utilize their block functions instead of expecting admins to clean up bad posts and users as fast as possible?

Not saying admins should do nothing, but it should be sufficient for an admin to only do what’s absolutely necessary to keep the instance alive (including removal of illegal content). Anything else should be considered extra credit and no one should be entertained complaining about it.

I never really quite understood IPFS and why it gets used where I see it today. What problem is it solving?

Any examples other than ocaml? From my understanding, ocaml’s type strength may only be found in a couple other languages. Haskell, scala, and maybe Rust. Any others?

I won’t remember everything, but one very important things comes to mind:

in Typescript, it is very difficult to assert on a type (let me know if you’re not familiar with what I mean by this and I can explain further). In OCaml, this is trivial using pattern matching.

Why would you need that? The idea of a type system is it doesn’t let you apply a function on a structure without the structure being of the right type. But the lack of type assertion in TS makes people follow hacky workarounds, which defeat the purpose of type system.

There are a couple of other things, like immutable types by default, automatic tail call optimization, functors enabling higher kinded types, etc.

Also in ocaml, you don’t have to annotate any types on any variable or parameter, and you’ll still get full type protection.

The only valid argument against typescript is that it is too similar to vanilla JavaScript. It does not go far enough. We need type systems like Ocaml’s.

I suppose you can also complain about needing a build step, but I find this silly. There are so many tools that make this easy or automatic.

I personally liked podman’s networking a lot more, but my issue is that it is not well documented. I hope that improves.

May I ask which networking issues you had?

Windows is just not ready for this stuff. Most of this stuff is built for Linux. Linux is THE server OS. And windows is painful for developers too, so there’s less solutions for it.

You’ll be a lot better off with Linux for self hosting.