cyclohexane

joined 2 years ago
MODERATOR OF
memes
linux
sorted by: new top controversial old
Lemmy.ml will have around 1-2 hours of downtime tomorrow, Friday at 1430 CEST. in c/[email protected]
[–] [email protected] 25 points 2 weeks ago (11 children)

Contribute code on github!

What are your favorite statically typed, compiled, memory safe programming languages? in c/programming
[–] [email protected] 1 points 3 weeks 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!

What are your favorite statically typed, compiled, memory safe programming languages? in c/programming
What are your favorite statically typed, compiled, memory safe programming languages? in c/programming
[–] [email protected] 2 points 3 weeks ago (1 children)

Tell us more about unison

What are your favorite statically typed, compiled, memory safe programming languages? in c/programming
[–] [email protected] 2 points 3 weeks 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.

How save is XMPP really? in c/[email protected]
[–] [email protected] 7 points 4 weeks 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.

What are your favorite statically typed, compiled, memory safe programming languages? in c/programming
[–] [email protected] 8 points 4 weeks 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.

How did we move from forums to Reddit, Facebook groups, and Discord? in c/[email protected]
[–] [email protected] 1 points 4 weeks ago

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

How did we move from forums to Reddit, Facebook groups, and Discord? in c/[email protected]
[–] [email protected] 3 points 1 month ago (4 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.

Does entering personal details in cryptocurrency exchange compromise privacy? in c/[email protected]
[–] [email protected] 10 points 1 month ago

Unless you pay from the exchange's wallet

Noob Question Thread: Ask Any Questions About Linux! in c/[email protected]
[–] [email protected] 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.

Noob Question Thread: Ask Any Questions About Linux! in c/[email protected]
[–] [email protected] 2 points 1 month ago

For #2,

For gaming, if you use steam, you may not face more than the following:

  • game does not work with no well known way to resolve. You can find this out by checking protonDB
  • game does not work because it needs to enable some options. Very easy to fix, and you can find the options on proton db for each game.
  • does not work because you didn't setup steam right. You often need to enable proton, which in short is steam's emulator or windows
  • does not work because your gpu drivers did not install. This depends on distro and they should all have a guide on how to do it, but usually it is just a matter of installing something.

For programming, you will love your life because everything programming is way easier on Linux.

140
Noob Question Thread: Ask Any Questions About Linux! (lemmy.ml)
 

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

223
Which protocol or open standard do you like or wish was more popular? (lemmy.ml)
submitted 2 months ago* (last edited 2 months ago) by [email protected] to c/programming
273 comments fedilink
 

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.

13
What if Z fighters did not face off Cell after reaching perfect form? (lemmy.ml)
 

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?

157
Why is Matrix mentioned more often than XMPP in self hosted forums? (lemmy.ml)
 

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?

21
[Question] Why is Matrix mentioned more often than XMPP in self hosted forums? (lemmy.ml)
 

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?

249
Which communication protocol or open standard in software do you wish was more common or used more? (lemmy.ml)
submitted 6 months ago* (last edited 6 months ago) by [email protected] to c/[email protected]
331 comments fedilink
 

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!

13
Does this exist: Truly anonymous content sharing platform or social network? (lemmy.ml)
 

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?

300
Noob Question Thread: Ask Any Questions About Linux! (lemmy.ml)
 

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!

145
Those who custom configure their kernel: what did you gain? (lemmy.ml)
 

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.

191
Linux users with uncommon or unusual setups: tell us about it (lemmy.ml)
 

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?

166
Your journey with Lemmy: When and why did you join? When did you leave and come back? Are you finally settled? (lemmy.ml)
submitted 7 months ago* (last edited 7 months ago) by [email protected] to c/[email protected]
88 comments fedilink
 

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?

22
Striker funds in the US we can donate to? (lemmy.ml)
 

I am looking to contribute to striker funds, if possible. I am located in the US, hence why I choose it.

I am hoping for striker funds that would be effective enough to make change. In other words, they may be the last thing a group of workers needed to decide to strike.

I am hoping the fund is efficient in managing its funds, rather than a significant fraction going to administrative costs. Very preferred if the fund's financials are fully transparent.

Any recommendations?

view more: next ›