irundebian

7 ms·

31.
by irundebian 2y ago
It's not meaningless because relevant security issue arise from runtime errors. These can be completly fixed by using Ada/SPARK or Rust. Hardware vulns are for many systems not very important.
32.
by irundebian 2y ago
Yes, in my opinion that would be better.
33.
by irundebian 2y ago
If you defined it as absence of runtime errors, it exists.
34.
by irundebian 2y ago
I doubt that RT makes a nicer user experience on desktops. You are probably better of switching to another desktop-oriented scheduler.
35.
by irundebian 2y ago
Deployed = running and registered to the proxy.
36.
by irundebian 2y ago
What's the definition of truly secure?
37.
by irundebian 2y ago
Security-related product defect, or simply security defect.
38.
by irundebian 2y ago
Depends on the definition, right?
39.
by irundebian 2y ago
I don't see any contradication here.
40.
by irundebian 2y ago
Thank you!
41.
by irundebian 2y ago
I have problems with non-colored output because it makes it harder to distinguish important from less important stuff.
42.
by irundebian 2y ago
I agree.
43.
by irundebian 2y ago
What's so bad in using echo?
44.
by irundebian 2y ago
It's not that bad.
45.
by irundebian 2y ago
Interesting analogy.
46.
by irundebian 2y ago
These people are heros and do awesome work. Really appreciate it!
47.
by irundebian 2y ago
Nice project. There should be some project which standardizes a mechanism to do that that with a browser extension. This would make it possible to share websites without trusting the web hoster.
48.
by irundebian 2y ago
Because it's better than nothing when independent organizations are reviewing systems or other organizations. It's like saying that penetration tests are useless because you cannot prove security with testing.
49.
by irundebian 2y ago
It's more granular than access modifiers. You may want to be an interface to be accessible from outside but not from every caller.
50.
by irundebian 2y ago
It's possible. You can prove absence of runtime errors with Ada/SPARK (which is using theorem provers).
51.
by irundebian 2y ago
Which step?
52.
by irundebian 2y ago
Resource hungry website.
53.
by irundebian 2y ago
Just used in few days ago an it was very practical to use it instead of downloading some third party software. Since video conferencing apps are web-based it makes sense.
54.
by irundebian 2y ago
It can be a binary property if you define security as a proof of absence of runtime errors which is possible to achieve today.
55.
by irundebian 2y ago
I just googled for some typewriter pictures and only really old typewriters didn't have a "1".
56.
by irundebian 2y ago
That are really old typewriters.
57.
by irundebian 2y ago
I meant Wayland on Fedora for better application isolation.
58.
by irundebian 2y ago
That's right.
59.
by irundebian 2y ago
I switched from Qubes OS to Fedora+Flatpak+Opensnitch. Couldn't make it to run Wayland on my hybrid GPU system (Nvidia). QubesOS drained battery very quickly and since graphics is afaik software rendered, I've gotten into problems
60.
by irundebian 2y ago
Can recommend it on Fedora over fiddling with firewalld/firewall-config.

More ›