Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
irundebian
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
16 ms
·
1.
▲
by
irundebian
3mo ago
Security is not always a cat and mouse game.
2.
▲
by
irundebian
4mo ago
Yes, you can take the day off, but your pay will be reduced by 20%. Just because technology and productivity are advancing doesn’t mean you can work less and still get the same pay. By that logic, hardly anyone would need to work today, as
3.
▲
by
irundebian
4mo ago
Danke Merkel
4.
▲
by
irundebian
4mo ago
Some domains work, some not. I assume that working domains are cached.
5.
▲
by
irundebian
10mo ago
That doesn't mean anything.
6.
▲
by
irundebian
10mo ago
Do you have evidence for that?
7.
▲
by
irundebian
10mo ago
I doubt that most critical systems are air gapped. Even if there are, most part of Russians economy is not, but is still using IT based on COTS systems. Why wouldn't the Ukraine DoS or compromise the whole non air-gapped IT infrastruct
8.
▲
by
irundebian
10mo ago
No, he didn't. Learn to discuss properly. OP stated that any government could get RCE for any OS. And that is highly unlikely, since budget above market rates does not imply that you can easily get RCEs. The market rates are high becau
9.
▲
by
irundebian
10mo ago
Just because the market would buy something for X$, doesn't mean that you could buy that if you have more than X$.
10.
▲
by
irundebian
10mo ago
The provided binaries may still contain malicious code but it guarantees that no malicious code has been inserted in between the build process of the published code. So if your binaries contain malicious code, you can be sure that all other
11.
▲
by
irundebian
1y ago
It can be hard to write macros with state in typst.
12.
▲
by
irundebian
1y ago
In Ada you can pay for integer overflow checks (runtime) if you want to. With Ada SPARK you can prove that your code does not contain integer overflows so that you don't need runtime checks.
13.
▲
by
irundebian
1y ago
These should be very few cases in contrast to the number of people traveling into the US.
14.
▲
by
irundebian
1y ago
https://en.wikipedia.org/wiki/Thomas_A._Drake
15.
▲
by
irundebian
2y ago
Yeah, if you really care about security, only use computer which use line printers as output mechanisms.
16.
▲
by
irundebian
2y ago
After Qubes OS I ended up using Fedora with Wayland, Flatpaks and running applications as different users but this introduced other problems. The security profiles of many "flatpacked" applications are quite permissive (see https
17.
▲
by
irundebian
2y ago
> scrolling web pages with large images is laggy Now that I've read this, I can also remember that I was also annoyed by jerks when scrolling web pages. I also found the backup management too complicated. I didn't want to back
18.
▲
by
irundebian
2y ago
Correction: I think I experienced noticeable stutters with Full HD videos not with HD videos.
19.
▲
by
irundebian
2y ago
I'm using an Intel i7-8850H with 6 cores so I think it's powerful enough. It's not that I couldn't watch HD videos but I was experiencing stutters and it left me with the feeling that the CPU is insufficiently utilised.
20.
▲
by
irundebian
2y ago
Have used it for several months as my daily OS and dropped it because of bad graphics performance (only software rendering supported, many frame drops when watching HD videos on YT) and bad battery management. Due to software rendering the
21.
▲
by
irundebian
2y ago
I've been using for more than a decade as my desktop system and I'm still running into freezing and black screen issues. Things got worse after buying a laptop with a dedicate NVIDA graphics card and using Fedora.
22.
▲
by
irundebian
2y ago
Please give me an example of a police station which post exclusively on Twitter.
23.
▲
by
irundebian
2y ago
To which CrowdStrike incident are you refering to? The global impact CrowdStrike incident was caused due to a driver defect which wasn't caught by quality assurance processes. It had nothing to do with malicious actors which were inter
24.
▲
by
irundebian
2y ago
NOT (any pedos or far-right extremists) != Gerontophiliacs and Marxists
25.
▲
by
irundebian
2y ago
There is no clean interface to configure app-based network rules.
26.
▲
by
irundebian
2y ago
No, you have to install additional software for that.
27.
▲
by
irundebian
2y ago
Thank you. I took a look at both and while stateright seems to check/derive implementation against the spec, antithesis rather seems to do testing instead of verification.
28.
▲
by
irundebian
2y ago
How do I can check an implementation against a TLA+ spec?
29.
▲
by
irundebian
2y ago
That does not make sense.
30.
▲
by
irundebian
2y ago
I don't use Rust. And you have no single argument.
More ›