cyclohexane

joined 2 years ago
MODERATOR OF
[–] cyclohexane@lemmy.ml 26 points 3 weeks ago (11 children)

Contribute code on github!

[–] cyclohexane@lemmy.ml 1 points 1 month ago (1 children)

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!

[–] cyclohexane@lemmy.ml 2 points 1 month ago (1 children)

Tell us more about unison

[–] cyclohexane@lemmy.ml 2 points 1 month ago

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.

[–] cyclohexane@lemmy.ml 7 points 1 month ago

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.

[–] cyclohexane@lemmy.ml 8 points 1 month ago (10 children)

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.

[–] cyclohexane@lemmy.ml 1 points 1 month ago

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

[–] cyclohexane@lemmy.ml 38 points 1 month ago (5 children)

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.

[–] cyclohexane@lemmy.ml 18 points 1 month ago

Striking terror in the hearts of genocidal invaders is a good thing yeah

[–] cyclohexane@lemmy.ml 10 points 1 month ago

Unless you pay from the exchange's wallet

[–] cyclohexane@lemmy.ml 1 points 1 month ago

I have read that it is faster, though I have not tested it myself. Personally, my initial reason to use it was just to try something new and explore the unix world. My reason for staying is that it is a very simple init system that is pleasant to work with. It made me understand what an init system is and use it a lot more.

Systemd is good if you just want something invisible and you do not want to mess too much with an init system unless you have to. Everything integrates with it

OpenRC is nicer if you want to write your own init scripts. It is very well documented also.

 

Ever had a question about Linux but felt too afraid to ask? Well now's your chance, ask any question about Linux, no matter how noob or repeated it is, and I and others will help answer them.

Previous noob question thread: https://lemmy.ml/post/14261893

 

There are a couple I have in mind. Like many techies, I am a huge fan of RSS for content distribution and XMPP for federated communication.

The really niche one I like is S-expressions as a data format and configuration in place of json, yaml, toml, etc.

I am a big fan of Plaintext formats, although I wish markdown had a few more features like tables.

 

The link is from a pro-Hezbollah source. Summary in my own words below.

  • Hezbollah's leader Hasan Nasrullah addressed in a speech Israel's attack on Beirut, which killed civilians and assassinated Fuad Shukr, hezbollah's most senior military advisor. Shukr is a founding member of Hezbollah.

  • Nasrullah also addressed Ismail Haniya's assassination in Iran, who was the head of Hamas, saying "Iran will not remain silent on this".

  • Israel had previously claimed the attack on Beirut is in response to an attack that killed civilians and children in the Golan heights, a territory of syria that Israel occupies, and Israel blamed hezbollah. Nasrullah rejected the claims - "we have the courage to admit if we made a mistake, but we reject the responsibility of this attack". Nasrullah claimed that Israel's attack is part of its war, rather than a response to the alleged attack.

  • Nasrullah vowed to avenge the attack on Beirut, citing that Israel does not know which red lines they have crossed.

  • Nasrullah said that Hezbollah has so far maintained a support front for Gaza, but that this attack has marked a "new phase" of the war.

  • Nasrullah announced that the support front for Gaza against Israel will resume tomorrow, but that is completely separate from the response to the attack on Beirut. Israel must expect this attack anywhere in occupied Palestine, a full and real response rather than a symbolic one, he said.

 

Was cell seeking out to destroy the earth? Or hurt people?

I know he absorbed people to reach his perfect form. But it seemed that was all he wanted. Was cell planning to do anything evil after reaching perfect form?

 

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?

 

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?

 

Whether you're really passionate about RPC, MQTT, Matrix or wayland, tell us more about the protocols or open standards you have strong opinions on!

 

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 thought I'll make this thread for all of you out there who have questions but are afraid to ask them. This is your chance!

I'll try my best to answer any questions here, but I hope others in the community will contribute too!

 

Curious to know the coolest things you achieved by configuring your kernel. I know kernel config can be boring, but I'm hoping someone will have an impressive answer.

For me I have a very lightweight kernel that runs wayland on nvidia without any issues to date.

 

I'll start with mine. yes part of this was to brag about my somewhat but not too unusual setup. But I also wanna learn from your setups!

Anyways: I primarily use Gentoo Linux.

I have two headless servers: a Raspberry Pi 4B and a Oracle cloud VM (free tier). Both running OpenRC, and both were running mainline kernel with custom config (I recently switched the Pi to PiFoundation kernel due to some issues). The raspberry pi boots from SSD and has no sd card inserted.

Both servers were running musl libc instead of glibc for a while. This gave me a couple of random issues, but eventually I got tired and switched back to glibc.

I have a desktop running gentoo and a laptop running arch, but hoping to switch the laptop to gentoo soon.

Both are daily driving wayland (the desktop had nvidia card and used for gaming). The desktop is running a kernel with a minimal config that compiles in 2-3 minutes.

What's your unusual setup like?

 

My journey with Lemmy started in 2022 out of interest in the fediverse and paranoia around how much control social media companies have, and how little choice common people are left with over the Internet.

Lemmy was much smaller back then. I really wanted it go get bigger, and tried to contribute to it. But it was small enough to be unsatisfying, so I would go back and forth between lemmy and Reddit.

After the Reddit fiasco, I shifted more and more towards lemmy and less towards Reddit. I finally abandoned Reddit when third party apps broke. I only go there for specific questions in communities that aren't active on lemmy.

What about you?

view more: next ›