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.

Is this the first time this happened BTW? Does anyone know of the history of this?

deleted by creator

Do new torrents bypass this somehow, or is it just by sheer volume and popularity ?

Better than 0 nodes, and this is not counting that they already attacked 3.

You’d be surprised how terrible politician priorities are

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.

Who cares? I don’t like biden at all but this shouldn’t make news just because Republicans are fixated on biden. Hunter biden didn’t commit anything of value. Yeah sure, those in power can get away with things. Nothing new here.

If you’re using something like tor, and rotate on every single search, then that would be ideal.

I assume you’re not using tor. That means all your searches can still be linked to you via the network source (ip address, etc.). Google can also use your search patterns to fingerprint you.

It may be one of the better solutions, but there are certainly privacy implications

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.

Its best to use a protocol that doesn’t allow unencrypted messages

This is an implementation thing and not a protocol thing. What protocol doesn’t allow unencrypted messages? I am sure signal’s protocol would still allow it, it’s just that the implementation doesn’t.

And same for XMPP. Just go with the implementation that doesn’t.

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.