wtf. Why did they just publish it instead of reporting this and waiting until disclosure? AI companies, man

Good article, apart from the fact that the last part is just raw ChatGPT output on the advantages of REPL. I could have prompted that myself!

This should not be a problem on linux. The old controller has a basic linux driver included in the upstream kernel, and there is a userspace driver too called sc-controller which I have used.

Fascinating article. However, whats up with that sentence about reposting and world war 2?

Sounded really interresting until I saw that this thing was vibecoded.

Imagine something as potentially destructive as software for wiping and installing an OS being AI generated!

Headline: Were about to simulate a human brain!!!

Cited professor in the same article: “We cant make simulations of the brain”.

Amazing Journalism.

My problem with it, is thats its even less open source than android is, even after all the enshittification. If they were serious with their anti big tech approach, they would open source it, then Sailfish OS would be a real alternative.

I would greatly prefer a simple calc software/website that you give a model to and it tells you how it would run, but I suppose in the era of vibecoding, making small, functional, well designed software has become a distant dream.

(and the readme tells you to curl and execute a shell script? no thanks)

moonlight/sunshine is really good, i heavily recommend it! You can also use it as a teamviewer alternative, but at the moment it requires some light fiddling to open ports etc. so its not really easy enough for “grandma downloads sunshine to get tech support from you” yet.

The only DE I know that does that, is enlightenment. I really miss that feature…

You can also use kdeconnect for filesharing in your home network, an it has a whole bunch of other features like mouse control emulation and remote multimedia control and such.

I found this community branding very confusing. They should have just branded the version for organisations as “Enterprise edition”!

Chiming in to say that witchfire is a great game and I think a rather unique singleplayer extraction shooter with bloodborne style dodging and you should play it (on the steam deck)

In that reddit thread, they dont seem all too happy about that converter either, lots of people mention that it doesnt work correctly for them, so maybe your exact setup just isnt compatible with it?

Sounds good. Does anyone have any experiences using VSTs on linux?

You cant tell me that a rewrite of gnu stuff in rust is just for security. I see that weak permissive license and the conspiracy part of my brain turns on…

Sadly, probably a crackpot paper. The link to the proof in lean 4 leads to a 404, the user doest exist, and the docker image also doesnt exist.

Also, the paper claims that its been verified by INRIA, Carnegie Mellon University, and the University of Cambridge, using their lean code. How can this be when the code isnt publicly accessible? Did they send it by email instead of fixing their repo? Why would they do that?

I somehow doubt that those three universities confirmed this proof and then sat on it, telling no one that one of the most important questions in CS has been solved.

Well, with the exeption of RAID5/6 on btrfs. Its still(!!!) not safe to use!

Cruelty Quad is the best worst looking game. It features a… very unique artstyle but has actually great Spy/infilitration gameplay with well thought out maps with multiple ways to complete the missions.