zaik

50 ms·

1. 751.▲
   by zaik 5y ago

   Great to see such tools growing stronger. Writing proofs in Isabelle/Coq/... is still hard and assistance from tools like this is very much welcome.
2. 752.▲
   by zaik 5y ago

   If you read https://github.com/matrix-org/matrix-spec-proposals/blob/mat... it becomes apparent that the 'eventually consistent' part of Matrix is more of a hindrance in this case. Also 'the m
3. 753.▲
   by zaik 5y ago

   As of recently, Dino already can do video conferences based on XMPP and other clients are working on it as well. There is also a bidirectional SIP/XMPP bridge, so it integrates with other existing Internet Standards: https:/&#x2F
4. 754.▲
   by zaik 5y ago

   It has been attempted: https://www.conservapedia.com/Climate-change
5. 755.▲
   by zaik 5y ago

   I have never known anyone using E2EE on Telegram. A friend of mine who uses Telegram regulary was quite surprised when I told her that nothing is encrypted if she doesn't use the 'secret chat' option which she didn't rea
6. 756.▲
   by zaik 5y ago

   Codeberg does this: https://codeberg.org/Codeberg/org/commit/5f0b5ee23464163ea2b...
7. 757.▲
   by zaik 5y ago

   As far as I know, neither Signal nor Matrix currently work with standards organizations like the IETF or the W3C, so they're really products and not standards.
8. 758.▲
   by zaik 5y ago

   There are numerous responses to this talk, an outstanding one is the response of Daniel Gultsch: https://gultsch.de/objection.html
9. 759.▲
   Problems with Signal Messenger App(ravidwivedi.in)

   38 points by zaik 5y ago|22 comments
10. 760.▲
    by zaik 5y ago

    If creators moved to PeerTube they probably could still make money with sponsored content and donations like they already do on YouTube. Of course, because of network effects and YouTube ad revenue there is little incentive to do so except
11. 761.▲
    Information Warfare(hackerfactor.com)

    2 points by zaik 5y ago|0 comments
12. 762.▲
    by zaik 5y ago

    Google cannot see end device MAC addresses.
13. 763.▲
    Insights into Monal Development(monal.im)

    3 points by zaik 5y ago|0 comments
14. 764.▲
    by zaik 5y ago

    Compressing XML files is not exactly uncommon. Microsoft Office does it too.
15. 765.▲
    Why Bidirectional Gateways Matter(blog.jmp.chat)

    3 points by zaik 5y ago|0 comments
16. 766.▲
    by zaik 5y ago

    > Mastodon network are filled with porn and alt-right accounts that got banned from Twitter I did not notice this at all, even looking at the federated timeline.
17. 767.▲
    by zaik 5y ago

    nitter.net also provides RSS feeds for every Twitter user: https://nitter.net/username/rss
18. 768.▲
    by zaik 5y ago

    Here's another "don't know" example, albeit for a very different reason: Does following program halt for all x? while x != 1: if x % 2 == 0: x = x // 2 else: x = 3 * x + 1
19. 769.▲
    by zaik 5y ago

    If you want something available on F-Droid check out https://f-droid.org/packages/com.example.barcodescanner
20. 770.▲
    by zaik 5y ago

    Do you have an unique password for every website? Are they strong passwords? How do you remember them?
21. 771.▲
    by zaik 5y ago

    wl-copy < key
22. 772.▲
    by zaik 5y ago

    Yes, Google Talk federated with other XMPP servers: https://support.google.com/code/answer/55702?hl=en&ref_topic...
23. 773.▲
    by zaik 5y ago

    I think XMPP is more popular to use with friends and family rather than public channels. Btw you can join IRC channels from your XMPP client: https://joinjabber.org/tutorials/transports/irc/
24. 774.▲
    by zaik 5y ago

    Since WhatsApp changed its ToS last year I deleted all messaging apps except Conversations and started using XMPP exclusively. Basically everyone I talk to regulary is now reachable via XMPP.
25. 775.▲
    by zaik 5y ago

    The server is used to exchange connection information. The A/V call itsef is peer to peer (or relayed via TURN server if they cannot establish a direct connection).
26. 776.▲
    Ten Years of FotoForensics and Colors(hackerfactor.com)

    2 points by zaik 5y ago|0 comments
27. 777.▲
    by zaik 5y ago

    Those diagrams look really good. How were they made?
28. 778.▲
    by zaik 5y ago

    Bridges break end-to-end encryption.
29. 779.▲
    by zaik 5y ago

    XMPP, IRC, Jami, Matrix, Tox and probably several others too also don't require email or phone number.
30. 780.▲
    by zaik 5y ago

    I wonder how unique this fingerprint really is. Getting the same fingerprint every time is only half of what makes a good fingerprint. Fennec on Android: cdec914cb91d1a88fbd3e7834b7968c8