Also, fuzzing is becoming quite popular. It’s a technique that automatically detects vulnerabilities on a binary. Though, it is computationally intensive, so I would love to the emergence of a peer-to-peer project that allows anyone to contribute by testing open-source software.

I ended up setting up a postal server on my vps (see here). Their docs are pretty easy to follow through and it’s probably the cheapest option (assuming you already use the and have a domain).

I hate to spoil your fun but IRs are made to be written by programs and read by programs.

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 repository is not public (yet), so I created a gist with the relevant code for the transformations I have implemented. This is pure JS (typescript to be exact), I am not familiar with svelte, but maybe it’s easier to plug them in. https://gist.github.com/souperk/6208d9401e4d5e47ab4b9d503b6e97c2

I have a js implemented a simple wysiwyg editor for markdown in react, I can add you on the repo and share a link if yoy want to copy it

My understanding is that the company would be regulated by CRA and not the developer. However, that does not stop the company from pushing the developer for CRA compliance.

I would really appreciate an ELI5, or some examples. For example, would lemmy be regulated by CRA? What about lemmy instances? Is there a difference if there is a fee or a recurrent donations?

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.

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 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.

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

I would add spaghetti in the middle

Yes, I always review the code, just avoid nitpicking the hell out of it.

Not really, we are a small team and we generally trust each other. Sure there are things that could have been better, but it’s not bad either.

I am definitely guilt for that, but I find this approach really productive. We use small bug fixes as an opportunity to improve the code quality. Bigger PRs often introduce new features and take a lot of time, you know the other person is tired and needs to move on, so we focus on the bigger picture, requesting changes only if there is a bug or an important structural issue.

Here is a list of note-taking apps:

https://github.com/tehtbl/awesome-note-taking

By the way, I am building my own Journaling system, it’s still early stages and I am looking for ideas!

Typing in python leaves a lot to be desired… Being looking at peps for quite some time, but it’s really hard for the language to make progress without breaking compatibility.

Hopefully at some point MOJO becomes mature enough to use in a professional setting.

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