[-] souperk@reddthat.com 3 points 1 year ago

What happended to "Don't feed the trolls"? I thought it's shared expirience that giving attention to trolls like that only gives them motivation to keep on going. Ignoring them is the only way to stop them from spamming.

[-] souperk@reddthat.com 3 points 1 year ago

DataLog is used to verify smart contracts. I don't know any specific examples of prolog used in the industry, though I am sure there are a few. Probably, there are expert systems implemented with prolog that are still used.

Logic programming in general has a few usages, the unification algorithm is used for pretty much every type system. Also, it is quite good for verification systems. For example, I know some symbolic execution systems implemented in OCaml.

[-] souperk@reddthat.com 3 points 1 year ago

The best feeling of my lie? Getting fired after returning from vacations.

[-] souperk@reddthat.com 3 points 1 year ago

I am considering starting a channel about software engineering. I want to be able to fully switch to open source development, and I am hoping that the channel can become a healthy stream of income in the future.

[-] souperk@reddthat.com 3 points 2 years ago

I have been using for the past month. I am not a power user, I mostly use it when I need to access libgen. Previously, I was using nordvpn. I feel proton is faster both when connecting to a server but also the connection is faster/more reliable. For example, if I forget to turn it off, I can watch a yt video without any issues.

[-] souperk@reddthat.com 3 points 2 years ago* (last edited 2 years ago)

IMO it's not about what metric is used, but how it is used. The current approach, completely avoiding any karma like mechanism, solves the farming issue, but IMO does not cater to the needs of every user.

For example, I have ADHD and if accumulating karma gives me much needed motivation and feel good chemicals, I am going to take them.

At the same time, holding a user to a higher regard because of their karma is stupid, it's better to build real connections with usernames you recognise through continuous communication.

Personally, karma was an easily digestable piece of information about how my outreach into the social media is performing. Accumulating karma helps me feel connected with the community, feel accepted.

[-] souperk@reddthat.com 3 points 2 years ago

Can someone ELI5 so I can get enough dopamine to go read the whole thing?

[-] souperk@reddthat.com 3 points 2 years ago

If you are worried about duplicates, aka a single bot spamming multiple votes, then that's feasible to mitigate.

If you are worried about multiple bots spamming one vote each, that's harder to mitigate and it comes down to how the instances handles bot accounts in general. IMO it's best to ignore the bot problem and instead focus on designing a vote weighting system that favors similar instances.

[-] souperk@reddthat.com 2 points 2 years ago

A good place to start is the owasp cheat sheet. They provide up-to-date, high value information about software security, I wish there was a resource like this when I started learning about security.

Even though, I have a decent background in software security, it's hard to decide on an encryption schema that's both safe and easy to use. My goal is to increase the number of components an attacker has to compromise in order to get access to the data.

[-] souperk@reddthat.com 2 points 2 years ago

The question is a bit misleading but I understand the desired output is an ordering of the children based on the information provided and our own personal values.

I will start with some thoughts on each child:

  1. If they are not doing anything while waiting to be accepted, then they got to work on themselves. They could be starting personal projects, learning new things, exploring new hobbies, volunteering... whatever being frozen like that feels sad.
  2. They are true to themselves, and I applaud them for that.
  3. No problem with working for the mob, there are far worse things they could be doing.
  4. I would need to know their intent behind what they are doing, ethics are not black and white, maybe they see some merit to their endeavours and maybe they are right in the end. The specific example would send them to the very bottom of my list (ACAB).
  5. I am willing to bet there is a phobia for that, I would try to give them the support they need to find their calling.
  6. I am not against progress, it's not their fault that people will lose their jobs. In the first place it wouldn't have been an issue if people weren't so dependent on our capitalistic overlords.
  7. They are taking a break, it makes sense to me, keep it up pall, in no time you would be finding new ways to create a better world for all of us.

Overall, I feel the descriptions are too judgy, people are doing the best they can, and you got to give them that.

If I had to choose a single child I would go with #7.

Overall my ordering is 6,7 > 2,3 > 1,5 > 4

[-] souperk@reddthat.com 3 points 2 years ago

Wondering if there is a P2P distributed storage solution we could be using?

[-] souperk@reddthat.com 3 points 2 years ago

I bet there are services you can use to host a wiki, after that you can add a link to the description of the community. Seems a reasonable workaround, it will be quite confusing for a bit until enough people do it that a straightforward approach is adopted by most servers.

view more: ‹ prev next ›

souperk

joined 2 years ago