There are more experts and code in C++ than Rust. The entire world runs in C and C++. So working on those languages and expanding or refining them makes sense. Even if Rust takes over the world and is more used than C++ in the future (if that happens ever), it would still make to maintain and refine the language. Not everyone likes or wants to use Rust.

This would not happened with Rust.

More info at https://github.com/bsgcl/SmartTubeLocal/blob/master/FAQ.md . One thing to note is, that this is developed and maintained by a single person. And according to the README https://github.com/bsgcl/SmartTubeLocal:

This repository is maintained offline for private use, but I push updates here as a backup, and for your entertainment.

its a personal project without community involvement.

Also every sentence in the README is its own paragraph. I don’t now why this abomination of style is done. Wish this modern style of writing documents would stop.

To that end, I’m publishing the current 32.71 source code and final release, with the source code frozen at this version.

Download the APKs from the SmartTube LOCAL GitHub Releases page.

I’ll continue to publish updated APKs as I hatch them.

So only the initial release is Open Source. Any further development is closed source. I would recommend to use a different application instead. Otherwise you cannot update if you don’t want to use a proprietary tool in the future. Not really Open Source in my opinion and probably vibe coded and vibe maintained too.

Hm, never used Omarchy, but I thought there were ways to setup local LLM too in place of the online services. So in KORA’s case its a hybrid then.

The kernel is Linux (99% human made)

At the current state, I would say its way more than 99% human made. Probably like 99.99% human made, and the 0.01% generated by Ai is checked by the Linux experts, so no slop comes through.

It’s important to note that not all Windows users have the same opinion. There are a lot of people who like and want to use more Ai. I guess this company is for them, not for those who hate the OS level of integration of Ai.

Doesn’t Omarchy already do this?

I would love page screenshot though, not just what is visible but the whole rendered page as one, in a PNG.

Firefox can already do that. Right mouse click on the page, select “Take Screenshot” and then choose “Save Full Page”. I actually did a meta screenshot, of the screenshot tool:

Not like this…

Sounds like a memory leak. Is it really KDE? Maybe its the browser or some kind of service running in the background. If memory got leaked out of the app, that it doesn’t matter if you close the app or not, because those are ghost memory now. I had this issue with a local Ai program just yesterday. It doesn’t matter if I close everything, somehow the memory usage shows high amount; because a software leaked and it was not KDE, as this was reproducable.

My point is. you might not know where this leak come from without careful analyzing it. You can’t just conclude its KDEs fault because you don’t know why this happens. You should investigate which program does that.

Ah okay, now I get what you mean. Yeah, I agree (on you agreeing on me basically :D).

You can absolutely prove the absence of bugs via formal verification.

You can’t have a formal verification for an open ended system like the Linux Kernel. You can only have that with extremely narrow defined functions that only operate mathematical and the input and output are 100% deterministic. Someone has to make the test cases, and to my knowledge its not possible to do this with complex systems like the Linux Kernel.

The card example does not really make sense because the kernel is not a random set of syntax and bugs do not happen randomly.

It makes sense, because it proofs my point that a finite number is irrelevant if its that big. The randomness of it is absolutely not the point, its the sheer amount of possibilities.

Well we now have software really good at finding these things, as well as system languages that cannot have these bugs.

No software can test a complex system like this in its entirety to make sure there are no bugs. Those software itself need to be perfect themselves too. Therefore you introduce enormous complexity in solving bugs, which itself can have bugs.

If bugs are closed faster than they are opened, the total amount goes down.

I wasn’t arguing against that. I am arguing that a finite number of bugs is not a good argument to have none in the future. Because of the sheer amount of possibilities, and also because we cannot proof that Linux Kernel is perfect without any bugs. It is impossible.

I’m not sure how this answers my question. What do they mean with “reverse-engineer” an Open Source project? I could understand using this term to reverse engineer a pure Ai slop of spaghetti code, but this doesn’t make sense to a well written and engineered code base.

Amount of bugs is finite.

Resources are also finite. You can’t proof the absence of bugs, you can only proof the existence of it.

Did you know, there are more ways to arrange a deck of cards than there are atoms on Earth. A standard deck has only 52 cards. Now imagine how many possibilities are there to have bugs in a code like the Linux Kernel. Just because something is finite does not mean we will ever reach that point.

I think its a good sign, because it means the Kernel gets more secure. And it also means there is not just slop produced with Ai, if people know what they are doing off course. Any of these CVEs not found could have been abused by anyone else.

Edit: I was thinking and speaking of the Linux Kernel itself, but this applies to any other important code or service too.

The number of reported security vulnerabilities has gone up drastically.

I think of the number of FOUND security vulnerabilities has gone up drastically.

Wow. But as we see again, this was done with Ai too:

initial bootstrap was done with a bunch of agentic tools, which helped a lot in reverse-engineering the brilliant niri codebase and surgically extracting the pieces relevant to ewm. Today, coding agents are used mainly to compare ewm against niri and other

I am sure there is orchestration and understanding of the material involved in order to even make this kind of thing work. What I don’t understand is, why its needed to “reverse-engineer” Niri codebase? I mean its open source, there is nothing to reverse engineer. I just don’t understand the statement here.

Wish this was in Emacs instead.

Agree. I think this Columns mode is for MacOS users, where the file manager works similar when I remember correctly (oh boy its 20 years ago on an iMac).

Currently there are two alternative options to have something similar:

To see file hierarchy at a glance.

One could also use the “Details View” with the “Expandable” option enabled. It’s not quiet the same as a Columns, but one can see the hierarchy:

Alternatively use the “Folders” panel on the side. This has the advantage to use any “View” mode in the files listing:

eew Reddit