Live data from Hacker News

Viewing profile — topdancing

topdancing

HN member
Joined
Fri, Jan 03, 2020, 2:34 PM UTC
HN karma
114
Public activity
60 items

About topdancing

No profile information was provided.

Recent public activity

  1. 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-...

  2. 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 …

  3. 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…

  4. 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…

  5. 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 …

  6. 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

  7. 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…

  8. 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 …

  9. 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…

  10. 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…

  11. 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…

  12. 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…

  13. 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)

  14. comment
    Comment #30702959

    Just deploy https://github.com/slackhq/nebula somewhere and voila - you have your own completely self-hosted version of Tailscale.

  15. 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…

  16. 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…

  17. 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…

  18. 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",…

  19. 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…

  20. 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 …

  21. 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...

  22. 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…

  23. 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…

  24. 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…

  25. 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…