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.

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

But they are sooo adorable 😍

I am not using Jenkins anymore but this seems like a lifesaver, thanks for sharing

Have you tried the thing that has been on your mind for the last month (or more) but cannot get around it?

When I am in a rut, unable to do anything for over a week, usually there is something that I am stuck on...

I tend to agree with your points.

The key idea for me is that everything is a dating app. Social media are a great place to get to know someone and become interested in them. However, there is no straightforward way to transition that interest into a connection or a relationship. That's what dating apps provide a way to broadcast your availability along with other parameters like your gender, age, location and interests.

An alternative would be toot on Mastodon or blog about that. That would inform people interested in your online persona that your dms are open for a chat. Of course, that comes with issues on its own...

Spam or unsolicited advances (aka dick pics) are a huge one, especially for women. One way to solve that would be for men do these kind of posts and women to react as they see appropriate. In an ideal society with gender equality, that wouldn't be necessary, but at the moment IMO it's easier to deal with men disguised as russian super models bating for your money, than angry men feeling entitled to your body.

Another issue would be the social repercussions of this information being publicly available. IMO that's easy to deal with since you don't have to tie your online persona to your real Identity. Also, you can have multiple online personas. Hopefully, society gets to a point where expression of sexuality is not taboo, until then there are safe ways to do it.

I cannot help, but your post got me wondering can you share your keyboard or a picture?

I cannot understand how some many fkeys could be useful. Why not use regural shortcuts?

I fear I am going to realize I am sharing way too much personal info in here...

I have seen communities where every member is a mod. In order to enter the community a vote takes hold that decides if you can be a member. The decision is usually based on a majority ruling, but veto power is granted to every member.

The idea is that you can find the community online since it's public, petition for your membership presenting your argument and other social media accounts you have.

Then, members judge if you are going to be a suitable member of the community, if you are going to respect the rules of the community, and cast their votes. Often participation is low on votes, someone vouches for you and a few other people review your accounts to make sure you are not a threat.

Sometimes there is a probation period where you have some power like posting on the community but are not fully fledged mod. Other times you become a mod from the start.

Banning members sometimes is necessary, the process needs to be more strict, maybe set participation requirements and allow for enough time for anyone to cast their votes.

It's important to keep in mind that allowing everyone to weigh in on decisions does mean they are going to, most people don't have the context or the time to, but the community needs to remain functional. For these reasons, vote rulings need to be decided on participation and not body size.

Last but not least, my experience is that those communities are much more pleasant and productive to participate in. Not being doxxed on every comment you make, and people actually making an effort to understand your argument, is a game changer.

👍for keycloak

Been using that for my side projects, with the added benefit that I got a single instance running on docker for all my projects, sharing a realm so a user has to register only once.

I can share my docker-compose.yaml in case you want to try that.

It supports oidc, so if you are using python you can set up authlib with 5-10 lines of code. I can share code if there is interest.

Spotted the software engineer

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.