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.

Also, the payload needs to be worse than what you are already disclosing…

IMO it’s all about understanding our emotions. The patriarchy actively teaches people to supress and ignore their emotions, a fact well studied by feministic theory. At the same time emotional manipulation a core part of the far-right recipe. Promoting mental health could go a long way in improving society.

IMO we need to break it in a few independent but cooperating decentralized systems;

1. A transportation service where consumers will request the transportation of goods or people from point A to point B, and providers will make bids for those requests.
2. A storage service where providers will offer storage of goods at specific locations, and consumers that make requests for the storage.
3. A LC service, where two parties can enter an letter-of-credit (LC) contract, and providers can guarantee the contract.

If these systems are available, it would be possible to implement additional decentralized services like;

• Marketplaces.
• Passenger transportation services.
• Food delivery.
• Probably many more.

Friendly reminder that the high seas are always an option. Download stremio, install the torrentio addon, and you are good to go.

Is anyone interested in starting a book club? Right now I am reading “Implementing Domain-Driven Design” by Vaugn Vernon.

Hit me up!

I would give myself a solid 4.2/5 on python.

• I have in deepth knowledge of more than a few popular libraries including flask, django, marshmallow, typer, sqlalchemy, pandas, numpy, and many more.
• I have authored a few libraries.
• I have been keeping up with PEPs, and sometimes offered my feedback.
• I have knowledge of the internals of development tooling, including mypy, pylint, black, and a pycharm plugin I have created.

I wouldn’t give myself a 5/5 since I would consider that an attainable level of expertise, with maybe a few expections around the globe. IMO the fun part of being really good at something is that you understand there still is to learn ❤️

I’ve had a very tough time finding my first position as a junior dev

The hiring landscape for software engineers/developers is a mess for the past year or so. You shouldn’t internalize the experience, most likely you are just unlucky.

A few things to consider for finding a job:

1. Utilize your connections, a lot of hiring still happens through connections. If you have attended a university/college/bootcamp reach out to your professors and check if they can refer you to any positions.
2. Make sure your CV can be parsed by tools. Try uploading your CV on open resume, if it’s not parsed correctly you might want to update it.
3. Create a portfolii website, it’s a great way to illustrate your skills. Also, others here can check it out and offer advice.
4. Update your LinkedIn profile, make sure to check that open for recruiters thingy.

If you want to learn more about react I am happy to have a chat with you (no fee), feel free to DM me.

I have fully switched to kagi, it’s not perfect but for the average case it’s better than google.

Hi, I am a building a platform with the goal of supporting apps like this, and I would be interested to develop a plugin for your use-case as an experiment (no fee).

I am working alone on this and this is not my first priority, so I cannot make any guarantees about the timeline, or the scope of the plugin. But, if you are interested we can have a chat on matrix.

The project is not open source yet, but I am planning on doing so once (a) I figure out how to properly apply licensing, and (b) remove any potentially critical information (credentials) from the repository.

I show my hairdresser a picture of my previous haircut (or one I like).

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.

While the question is hilarious, the lack of references to in depth guides is a bit alarming…

Pretty interesting study!! They found that introverts that used texting to express themselves demonstrated higher levels of self-confidence than those that used texting to escape. However, for extroverts it was the opposite, those that used texting to escape demonstrated higher levels of self-confidence.

As an AuDHD person, aka someone that has made a skipping rope out of the extrovert/introvert line, I have observed that on good days my extroverted side is on outreach mode while my introverted side is on deep connection mode.

In it, Walz argues that the lessons of the “Jewish Holocaust” should be taught “in the greater context of human rights abuses,” rather than as a unique historical anomaly or as part of a larger unit on World War II. “To exclude other acts of genocide severely limited students’ ability to synthesize the lessons of the Holocaust and the ability to apply them elsewhere,” he wrote.

What an antisemite, he wants people to learn so such acts of horror never happen again.

Edit: Obviously I am being sarcastic, I totally agree with Walz.

Is that adhd? That’s definitely adhd!!!

I would add spaghetti in the middle

They also scare the crap out of my dog, and cause a lot of accidents. Though, they can be beautiful…

Lemmy’s user base is pretty interesting, you will find interesting discussions in pretty much most communities. However, if don’t find something interesting, don’t be afraid to start a discussion on your own. Coming from Reddit I used to be afraid of the harassment, but Lemmy is a safer space ❤️

Some general pointers:

1. Beehaw is a good place to look for interesting discussions
2. If you find an interesting comment, take a look at the author’s profile, chance is they have more interesting stuff for you to find
3. Filter by subscribed and hot/active
4. Look for opinion articles

Is this what autism feels like?

Sometimes yes, a lot of us feel isolated, struggle with socialization and connecting with others. Othen it helps to find other ND people, they are just as interested in whatever niche topic you are thinking about.

PS Yesterday, I started a post on AskLemmy after pondering about how technology and science is changing at a faster pace than people (mostly professionals) can adapt.