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.

On a related, is there a list of good open source strategy games? I’m especially interested in grand strategy.

We really need more mobile strategy games. Seems like the right platform.

Weird question, but what does GnuCash do that you wouldn’t get easily from excel? I haven’t used any of these apps and wondering what I’m missing out on.

I wish we had a nice tagging system (and I don’t think they should be hashtags) that was also in common use.

I want to be able to search any post related a certain topic, and sometimes, these may not always be in that topic’s community, because topics can overlap. For example, I might want to read posts about Ukraine war, but those might be in world news, US news, or combat footage communities. Could be a community about Ukraine in general, or Ukraine war specifically.

I also may not want to get it from a single Ukraine community. Maybe by finding posts with the “Ukraine war” tag, I’ll see several communities and join the one I want. But there needs to be a way to group them somehow.

Such a tag system may be useful for combined topics. For example, I may want to look for posts about music software. They might not be common in the music community, or software communities. But I could filter by both tags and find what I want.

Contribute code on github!

As someone who is not deep into type theory or functional programming, can you please explain why you mean by “ergonomic overloading”?

My understanding is that ocaml mitigates the need for type classes through its more advanced module system. So far I have been enjoying the use of OCaml modules, so I’m curious what exactly I’m missing out on, if any.

Thanks for taking the time to talk with me btw!

What are your thoughts on this comparison? https://github.com/sidkshatriya/me/blob/master/007-My-Thoughts-on-OCaml-vs-Haskell-Rust-2023.md

Tell us more about unison

I know double semicolons are a thing, but I’ve never had to use them. I forget what they’re for, but yeah it’s supposed to be an escape hatch for something that shouldn’t be happening iirc.

The curried snd uncurried functions… Maybe you are confusing with SML, because everything in ocaml is curried by default. Though admittedly the standard library could be more complete, but I personally am happy to use third party dependencies for less common things.

Sad I had to scroll to the end to see this.

Ocaml is brilliant and has the nicest type features. It’s almost like Haskell but more approachable imo.

Maybe because I’m not from an English speaking culture that I don’t see the far right stuff

People prefer centralization, and it makes sense. The Fediverse resolves most of the issues with decentralization, but so does centralization, which came way sooner, and arguably did it better.

Also, people seem to forget that Facebook was pretty cool back then. It had superior features, and was not the buggy mess it is today.

Well I am speaking about users who may be picky about mastodon’s features. If someone is picky, I don’t imagine they’d care much about just finding a platform with their preferred features, similar to how they didn’t like mastodon and found bluesky instead.

The fediverse has many micro blogging implementations outside of mastodon if you don’t like their featureset (and they federate with each other, unlike bluesky). The only features I couldn’t find are those that contributed to making Twitter the dystopian toxic space that it is.