Viewing profile — topdancing
topdancing
HN member- Joined
- Fri, Jan 03, 2020, 2:34 PM UTC
- HN karma
- 114
- Public activity
- 60 items
- HN profile
- View on Hacker News ↗
About topdancing
No profile information was provided.
Recent public activity
-
comment
Comment #33518129
This is just a marketing gimmick, it's been broken as a technology since its inception: https://www.ndss-symposium.org/ndss-paper/improving-signals-...
-
comment
Comment #33513492
> Signal does not know numbers or how these contatcs interact. > It is described here [2]. Number is only needed for creating the unique hash. Server knows only the recipient, not …
-
comment
Comment #33513306
> Yes, and security has a large performance impact. Not necessarily. The linked blog talks about SPARK which is about running your code through theorem provers to mathematically fo…
-
comment
Comment #33513240
> SPARK itself can handle and prove some ownership properties but to the best of my knowledge isn't at the level of rust in memory safety on dynamically allocated memory. It actual…
-
comment
Comment #33512992
Or you could use https://en.m.wikipedia.org/wiki/SPARK_(programming_language) which is already a formal defined language and literally the thing discussed in the link right at the …
-
comment
Comment #32939897
https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto... And there's a whole new Paris metro line that runs on Ada: https://www.adahome.com/Ammo/Success/subway.html
-
comment
Comment #32939820
Funny how before Alire was a thing, people complained that there was no easy way to take other people's Ada code and add it to one's own software projects. Now Alire exists and peo…
-
comment
Comment #31254176
They do not have such an entitlement: https://grapheneos.org/faq#hardware-identifiers (edit: and also: https://grapheneos.org/usage#wifi-privacy ) And the only app that has access …
-
comment
Comment #31250342
> What are people using VPNs for mostly, if they're living in a country without internet censorship? I find it's a convenient way to prevent services beyond my ISP from knowing whe…
-
comment
Comment #31178344
> Most of what they complain about have tooling, documentation and solutions. They're just not using them. OP's problem is that they do not want to learn. In general - if you see a…
-
comment
Comment #31140176
> Conversations, draugr.de, can't really say much on steps to reproduce - it worked reliably and then it didn't just yesterday So it worked fine for some time, glitched one day, yo…
-
comment
Comment #31006847
This isn't how it works. If you actually pull down one of their multihop configurations - you'll see: - the WireGuard public key for server 2 - the IP address for server 1 - a uniq…
-
comment
Comment #30966665
These days, you want to use someone that's based on ostree - so either: - https://silverblue.fedoraproject.org/ - https://endlessos.com/ (based on Debian)
-
comment
Comment #30702959
Just deploy https://github.com/slackhq/nebula somewhere and voila - you have your own completely self-hosted version of Tailscale.
-
comment
Comment #30473907
> Russians came from Belarus and with their tanks disrupt the radioactive soil and create dust Dust from soil doesn't explain why the readings from sensors around the reactors them…
-
comment
Comment #29907786
> then try to find your contacts again (which may be cached by your client or not) You can save XMPP account IDs in any mobile address book. > Finally, you have to convince "someon…
-
comment
Comment #29905737
> Sorry to deceive you Deceive implies bad intent, which you are not doing in this case. What you are actually doing is educating whereas Signal is the one technically doing the de…
-
comment
Comment #29905361
> Once again, "I, as a tech-savvy person, can operate my highly-customized XMPP setup everywhere", while ignoring that most people do not run their own servers. I said "my server",…
-
comment
Comment #29891067
XMPP is about choice. I use OMEMO everywhere. However, I do know of people out there who simply do not see the point of OMEMO as, when they are the server admin, OMEMO adds no valu…
-
comment
Comment #29890990
> Again, a lot of guessing and assumptions what could be in a perfect XMPP world, but nobody finds nowadays. The German police and British health service would say that their XMPP …
-
comment
Comment #29890949
> Who defines "open standard" in the first place? Most people on here would say: https://en.wikipedia.org/wiki/Internet_Engineering_Task_Forc...
-
comment
Comment #29890938
> XMPP is an open standard -> Doesn't this apply to Signal, too? Signal is the opposite of an open-standard, there's a single server implementation and basically three clients (And…
-
comment
Comment #29885011
Your Signal client is at this moment logged into a Signal account on the Signal server. Sealed sender does nothing to protect against this - Signal knows that tialaramex is at that…
-
comment
Comment #29623188
https://wiki.openstreetmap.org/wiki/Key:opening_hours You go around, survey the opening hours posted on local restaurants (I usually take a photo, and don't copy and paste from oth…
-
comment
Comment #29573619
> Signal uses phone numbers as identifiers because it controls spam. Signal uses phone number as identifiers because it's the easiest way to find other users. There's no other reas…