rurban

18 ms·

541.
by rurban 9mo ago
I once got rms himself reaching out to me, when my mails got stuck. Gmail probably dropping spam from unknown GNU accounts. That was quite a challenge! Hope it never happens to you.
542.
by rurban 9mo ago
We can easily close PR's. Even automated. Deletion is censorship and does certainly not improve the PR experience. To the contrary
543.
by rurban 9mo ago
Absolutely not. That's the easiest way to kill a project.
544.
by rurban 9mo ago
Also gmane. The once popular mailing lists search site.
545.
by rurban 9mo ago
@dang The title here is misleading. The original not. X didn't raid the prosecutors offices, the prosecutors did
546.
by rurban 9mo ago
Not just faster than pre-commit, and totally compatible. Also with more features.
547.
by rurban 9mo ago
And how do you switch to root? sudo is the most popular way
548.
by rurban 9mo ago
I win: 0x7FF0000000000000 Proof: There is no larger number than +∞. Is +∞ a number? Yes, it is. It is not a real number, it is not a representative number, it's a hyperreal number. (Kreisler 1986)
549.
by rurban 9mo ago
Oh, how clever. Like YAML they introcuded another Norwegian boolean, YesPlease. 1 was to mundane probably. make WITH_RUST=YesPlease
550.
by rurban 9mo ago
They already did. There are more microkernels around than monolithic. All big CPU's use them internally, all phones use them.
551.
by rurban 9mo ago
Replaced by Fiasco
552.
by rurban 9mo ago
Everyone older moved from Facebook to WhatsApp years ago. The youngsters went to Insta instead.
553.
by rurban 9mo ago
Thanks for the lms tips in the comments. Amazing!
554.
by rurban 9mo ago
A bad one, yes. But it was esp. invented to prevent the mutual exclusion problem. And good actor systems do so.
555.
by rurban 9mo ago
Because actors were invented to overcome deadlocks caused by mutexes. See page 137. With mutexes you can forget concurrency safety.
556.
by rurban 9mo ago
Any application which uses arithmetic on 64bit ints, because most operations can overflow. And most libs/compilers don't check for overflows.
557.
by rurban 9mo ago
The private sector uses commercial L4 spinoffs, not an academic kernel.
558.
by rurban 9mo ago
90% of such supercar customers are criminals, either drug dealers or pimps. Dealership doesn't sell to them directly but third party. You see in the import logs that all of them are third party, from some Latin American sellers, none o
559.
by rurban 9mo ago
Who cares about formal guarantees when the other kernels are much better and provide a much better infrastructure. The kernel itself is minimal. Fiasco can be real-time.
560.
by rurban 9mo ago
With the car? I go by train, and then either by bike or tram. Much easier
561.
by rurban 9mo ago
If they cannot sit through essentials, like The Conservation, Jules and Jim or Jeanne Dielman, just fail them. For further filtering let's add Andrei Rublev, and the classes will better. We always filtered out 80% of our students in th
562.
by rurban 9mo ago
Chrome only. Does not work on my Firefox mobile
563.
by rurban 9mo ago
They can use most L4-based microkernels, mostly their own, or NOVA or Fiasco. Secure capabilities are a feature of all L4 kernels.
564.
by rurban 9mo ago
It encrypts it to all the keys with the phone number registered for that user. Because users are switching phones, but keep their number. But each new WhatsApp app gets a new private key, the old key is not shared. This feature was added la
565.
by rurban 9mo ago
(2020)
566.
by rurban 9mo ago
That's not great, that's horrible. It only helps windows users, which are used to even worse horrors. autotools and pkgconfig is fine.
567.
by rurban 9mo ago
This comes up every ten years or so, and is a solved problem. Any decent distro has tools to scan the dependencies of each binary via ldd, to check if its deps are correct. His example numpy shipping its own libblas.so, has the speciality t
568.
by rurban 9mo ago
I use the free Huawei Health for like 2 years, and it was pretty good so far. The sensors suck of course, but better than nothing. I had a special watch to test my high blood pressure, but even this never matched my special pressure device.
569.
by rurban 9mo ago
More like a hybrid to get to a safe C, with constructors, destrcutors, member functions and such. Fil-C is similar, but less promising than this. But Fil-C is far more advanced than TrapC. There several more such attempts also, not just th
570.
by rurban 9mo ago
They executed everybody on the streets and looked young enough. Not just protesters.

More ›