heinrich5991

5 ms·

1.
by heinrich5991 19d ago
But you should be able to use a GPL test suite on an MIT-licensed program (or even a proprietary one, without the program needing to be under the GPL.
2.
The unreasonable effectiveness of LLMs for auditing Rust code(shnatsel.medium.com)
2 points by heinrich5991 4mo ago|0 comments
3.
by heinrich5991 4mo ago
Rust enables overflow checking in debug mode, you can (and I do) enable it in release mode as well. Rust's default integer overflow in release mode is defined as well, it'll just wrap around. This makes it less likely to result in
4.
by heinrich5991 5mo ago
Example of a nation state attacker that risked discovery and got discovered: https://notes.valdikss.org.ru/jabber.ru-mitm/ .
5.
by heinrich5991 5mo ago
This article incorrectly implies that Telegram is end-to-end encrypted, by putting it in the same line as WhatsApp and Signal. Telegram doesn't even try to be end-to-end-encrypted by default. WhatsApp claims to be end-to-end-encrypted,
6.
by heinrich5991 7mo ago
I've used https://migadu.com/ before. Not EU, but EEA (Switzerland).
7.
by heinrich5991 8mo ago
Works for me.
8.
by heinrich5991 11mo ago
Doesn't work on my Arch Linux. Neither does pinging ::ffff:127.0.0.1. Pinging 127.0.0.1 and ::1 works.
9.
by heinrich5991 11mo ago
https://archive.today/8BuB9
10.
by heinrich5991 1y ago
The good thing is that verifying the other contact is invisible to the server in Signal. This means that it's stochastically sufficient that a few people do check their contacts in order to see whether there is any widespread MITMing g
11.
by heinrich5991 1y ago
Telegram isn't end-to-end encrypted btw, so when law enforcement asks for data, Telegram actually has it.
12.
by heinrich5991 1y ago
It's less encrypted. E.g. you'd think that emoji reactions are end-to-end-encrypted (as they are in Signal). But they aren't[1]. I expect similar implementation issues wrt. the encryption in Matrix. [1]: https://gi
13.
by heinrich5991 1y ago
Can you give me an example? Works for me on https://chatgpt.com/ .
14.
by heinrich5991 1y ago
Same happens to our online game: https://news.ycombinator.com/item?id=28675094 . Not sure what it is about online games that attracts DDoSes.
15.
by heinrich5991 1y ago
Not what OP meant, but there's a project doing what you ask for: https://justine.lol/cosmopolitan/ . It's quite interesting. :)
16.
by heinrich5991 1y ago
https://archive.is/lMpbi
17.
by heinrich5991 1y ago
No, your private non-commercial web page doesn't need an Impressum AFAIK. Once you add ads to generate (small) income, it becomes commercial, though.
18.
by heinrich5991 1y ago
U+1FAA9
19.
by heinrich5991 1y ago
Most of the comments on that issue are from this year.
20.
by heinrich5991 1y ago
Working link: https://github.com/openzfs/zfs/issues/14536 .
21.
by heinrich5991 1y ago
> I'm a bit confused. Is anyone's website currently being DDOS'd by scrapers for LLMs or is this a hypothetical? Yes, there are sites being DDoSed by scrapers for LLMs. > If you can't handle the traffic of one requ
22.
by heinrich5991 1y ago
https://archive.is/x6cn9
23.
by heinrich5991 1y ago
System rustc is also good on Arch Linux. I think system rustc-web is also fine on Debian.
24.
by heinrich5991 2y ago
Very snappy on my Pixel 4a. Not sure what's causing the performance problems on your phone.
25.
by heinrich5991 2y ago
They can ask whether the pre-filled fields have the correct equal/unequal relationship by testing two of them at a time.
26.
by heinrich5991 2y ago
The images load very slowly. Perhaps you could downsize them a little? The first one I clicked on was 3283x2015 pixels, way too large for something that occupies maybe a quarter of my screen.
27.
by heinrich5991 2y ago
Usually, this is not a problem for signing.
28.
Rewriting Waypipe in Rust(mstoeckl.com)
1 points by heinrich5991 2y ago|0 comments
29.
by heinrich5991 2y ago
Seems to be posted to the wrong article. Which article did you mean to post to?
30.
by heinrich5991 2y ago
https://web.archive.org/web/20250115192305/https://repo.aalt... but doesn't seem to have the actual content. :(

More ›