there have been attempts at writing kernels using stuff like Coq https://www.cs.columbia.edu/~rgu/publications/cacm19-gu.pdf
there have been attempts at writing kernels using stuff like Coq https://www.cs.columbia.edu/~rgu/publications/cacm19-gu.pdf
I got Asahi working on M1, and everything works fine aside from the camera and hibernation. The second is a bit of a bummer cause the battery keeps draining fairly quickly even when you put it to sleep.
take a look at Apache Ignite https://ignite.apache.org/docs/latest/tools/sqlline
there’s also datafusion that lets you run SQL commands via CIL on CSV and JSON https://datafusion.apache.org/user-guide/cli/usage.html
I’ve been running my own nextcloud for around a decade now. I use it for my calendar, contacts, and file storage. It’s basically replaced all the google services for me, and has been effectively zero maintenance. It just works.
I really like fish because it has excellent contextual autocomplete based on the folder you’re in. I haven’t used any other shell that was as good at it.
Would be very cool to see Ubuntu on these chips that are similar to Apple M series design https://www.youtube.com/watch?v=V68RE0M8zhk
I just got this set up with fish locally, and it really is nice. Works completely seamlessly, and makes it very easy to comb through history.
the source is literally the person reporting what happened to her grandmother 🤦
There is no article, other mediums, such as video, exist nowadays.
Maybe you should read up on what First Nations have suffered in Canada then. You can start by learning about ethnic cleansing that Canada practised with residential schools for starters.
Learning about that sort of stuff made me realize that Canada is effectively an apartheid state.
Indeed, rich people are growing their wealth directly at the expense of the poor. These aren’t independent phenomena with no relation to each other.
I think it’s important to look at this situation from class perspective. The economy is getting worse for the working class, but the capital owning class is doing great. The primary job of the top executives is to increase profits for capitalists, and they’re doing that job well.
Ah yes, there’s a coordinated state owned effort to influence the opinions of a tiny Lemmy community. That’s totally an opinion a sane person would hold.
You haven’t contributed anything to this discussion yourself except to let us know that you’re upset that people are talking about Israel committing genocide too much. Your vapid comments add nothing, so your bleating about lack of content rings hollow.
Right, there’s nothing wrong with the concept of MAID as long as people have all the other options available. However, when other services aren’t funded adequately and people can’t get access to them, then MAID inadvertently turns into a coercive measure.
Nice word salad you got there, no actual discussion of the article or any examples of lack of factual reporting. The fact that you’re offended by the sheer volume of outrage over a literal genocide really says everything we need to know about what sort of a person you are.
Israel is literally committing a genocide in Gaza. Imagine acting surprised that people are talking about this.
You’r right that only OCaml and Haskell can be used as extraction target for Coq programs. However, it is possible to use Coq to write verified C software. On example is the Verified Software Toolchain that lets you translate C programs to a format that Coq understands and can prove theorems regarding their behavior.