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
It helps to think about this as a spectrum, as more features become available more people will make the switch to Linux. Not everyone will be able to swich to Linux at the same time, and some people will never switch.
Gaming was major bottleneck, even I, a person using Linux full time for the past 20 years, I used to maintain a Windows disk to play games. Only in the past couple of years I was able to sunset my windows setup, hopefully to never touch windows ever again. I had to drop a couple of games but it got to the point where rebooting to a OS wasn’t worth it, as most of my games worked flawlessly without any tweaking.
There are many major pros to the Linux desktop environment, but we still need major software applications to become portable. The workflow of an average office worker is still not Linux compatible. Of course there are office alternatives, but they are not as easy to use. Though, IMO the oss world is hurting by trying to copy ms when their products are so horrible… Hopefully, the EU will drop some major cash at the issue with all these talks about digital sovereignty.
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?
I have setup a rustdesk server with docker, it was surprisingly easy to get started. It was for a friend who is managing the IT services of a small factory, the completely switched from TeamViewer and they are satisfied. More importantly their users, who are worse than your average windows user, found the transition relatively painless.
It depends on the field you are studying. I was into CS, using Linux was recommended because the machines they used to test our code were also running linux.
Most fields are going to be okay with linux, the only exception being fields that rely on specialized software like architects, engineers, and audio/video editing. Also, some software like MatLab are possible to run on Linux but it’s a pain to set them up.
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
Unless you are using groovy (jenkins), then you are running the pipeline to find syntax errors.
It may sound boring, but I would appreciate a good open source alarm app for android.
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.