zaik

37 ms·

511.
by zaik 4y ago
Just post to your nearest mailing list.
512.
by zaik 4y ago
Coq is all about the types.
513.
The XMPP Newsletter August 2022(xmpp.org)
4 points by zaik 4y ago|0 comments
514.
Keyoxide and XMPP and Omemo(yarmo.eu)
3 points by zaik 4y ago|0 comments
515.
Slidge – XMPP bridges(nicoco.fr)
87 points by zaik 4y ago|57 comments
516.
Kaidan: Encrypted Audio and Video Calls(kaidan.im)
1 points by zaik 4y ago|0 comments
517.
by zaik 4y ago
There is no contradiction in being in academia because you want to spend your time doing research and accepting a nice bonus from the government now and then.
518.
Improving the Call Experience in Jami(jami.net)
2 points by zaik 4y ago|0 comments
519.
Kaidan's End-to-End Encryption Trust Management(kaidan.im)
2 points by zaik 4y ago|0 comments
520.
by zaik 4y ago
jmp.chat?
521.
The End of SIDH and SIKE(feistyduck.com)
1 points by zaik 4y ago|0 comments
522.
by zaik 4y ago
git config status.showUntrackedFiles no
523.
by zaik 4y ago
I wish they would integrate an IRC or XMPP gateway per default. I know that #isabelle is visible in isabelle.zulipchat.com, but if the instance admin does not enable it, there's no way to participate using the standard IM protocols.
524.
by zaik 4y ago
Is it that popular? If any provider like WhatsApp decided were to federate (I assume the goal is to get existing providers to federate and not convince every single person of your new protocol) it would essentially make Matrix irrelevant. A
525.
by zaik 4y ago
This, but without the /s.
526.
by zaik 4y ago
Why not just build on the already standardized XMPP protocol?
527.
by zaik 4y ago
It should however be noted that this does not work with end-to-end encryption and stores your conversations on those apps on their server.
528.
RFC 9298: Proxying UDP in HTTP(rfc-editor.org)
2 points by zaik 4y ago|0 comments
529.
by zaik 4y ago
FairEmail: https://f-droid.org/packages/eu.faircode.email/
530.
by zaik 4y ago
XMPP support
531.
by zaik 4y ago
Should be called ipv5.
532.
by zaik 4y ago
You can @ people on Mastodon with @user@domain.tld. I have yet to receive spam on my Mastodon or XMPP address (which I treat like my telephone number).
533.
New Employee, Command UI, JMP SIM Card, Multi-Account Billing(blog.jmp.chat)
3 points by zaik 4y ago|0 comments
534.
by zaik 4y ago
There is no way to downvote submissions on HN.
535.
Dynamic Permissions in Prosody(blog.prosody.im)
2 points by zaik 4y ago|0 comments
536.
by zaik 4y ago
Violent images likely have not been part of the training data for obvious reasons.
537.
by zaik 4y ago
No: https://www.youtube.com/watch?v=4RWcWSN4HhI
538.
by zaik 4y ago
They would be buying the same computer from a different manufacturer.
539.
by zaik 4y ago
> You are relying on the creators to run it fairly and not change their principles That's why it is essential to bring your own domain. If a provider really should go in a direction you dislike, you can always change your MX records
540.
by zaik 4y ago
Title should be "Every Dollar Spent on Carbon Capture Is a Waste".

More ›