West Asia - Communist - international politics - anti-imperialism - software development - Math, science, chemistry, history, sociology, and a lot more.

  • 16 Posts
  • 23 Comments
Joined 5 years ago
Cake day: December 27th, 2021





Gaming on Wayland, or more specifically sway WM, broke for me when updating to nvidia drivers version 580.

Reverting to 570 fixed the problem.

Card: Nvidia RTX 3060 Ti

What exactly happened: some games wouldn’t launch at all (overwatch 2) while others had severe performance issues (Resident evil 5).

Those were the only two games I tried. Both ran through steam and Proton GE version 10.

Though I didn’t test extensively, both games seemed to work fine on Xorg with nvidia drivers 580. So this confirms it’s only problematic for Wayland.






  • 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.


  • 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.





I’m looking into hosting one of these for the first time. From my limited research, XMPP seems to win in every way, which makes me think I must be missing something. Matrix is almost always mentioned as the de-facto standard, but I rarely saw arguments why it is better than XMPP?

Xmpp seems way easier to host, requiring less resources, has many more options for clients, and is simpler and thus easier to manage and reason about when something goes wrong.

So what’s the deal?



Given the extistence of technologies like Monero and SimpleX chat, I wonder if it is possible for a truly anonymous content sharing platform to exist? And does it?

Use cases:

  • sharing pirated content without a link back to you
  • journalists or political activists not wanting to be found or caught by a government

The platform should not allow the following to know the details of what you do on this platform:

  • users on the platform: should not know the identity of a poster unless they disclose it
  • the host of the platform: should not know which content belongs to who, or be able to deduce it via traffic logs
  • Intermediates like the ISP, DNS, or your router should not be able to link any content to you. However it is okay if they know that you use the platform at all, just not what you do with it.

Does something like this exist?



  • 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.