hnjst

12 ms·

61.
by hnjst 6y ago
While I find laudable this effort and consider it a valid security improvement, the fact that Signal is opposed to alternate clients (and even builds from other sources like FDroid) opens another orthogonal risk. I doubt that many people re
62.
by hnjst 6y ago
Thanks for your work on this nice piece of software! We created our small company last year and it has not only been our VCS (nicely integrated with Drone for CI/CD) but we also based our SSO on it (we had to add a homemade OIDC/O
63.
by hnjst 6y ago
I had fun a few years ago bypassing captive portals using iodine to tunnel traffic over DNS. However, now that I'm professionally on the defensive side, this was one of the methods of data exfiltration that was really hard to block on
64.
by hnjst 6y ago
If I remember correctly, Cozmo ( https://ankicozmorobot.com ) has, among other ways to program for it, a Scratch integration. Not sure that matches what you qualify as robotics though.
65.
by hnjst 6y ago
To test autoremediation and alerting. At least in the environment I'm evolving these days it makes sense.
66.
by hnjst 6y ago
Lamport's work linked earlier is great. I'd also point to Maurice Herlihy's ( http://cs.brown.edu/~mph/ ) and Michel Raynal's ( https://team.inria.fr/wide/team/michel-raynal&#
67.
by hnjst 6y ago
Another exemple that I like: "When it rains I carry my umbrella." does not prevent me from carrying said umbrella when the weather is nice. However it is the same as saying that "when I don't have my umbrella with me the
68.
by hnjst 6y ago
Not sure if it helps someone, but I like to use the following intermediate formula to explain it: "A implies B" is equivalent to "B or (not A)" (either B is true and then A can be true or false, or B is false but then A
69.
by hnjst 6y ago
Shameless plug... http://papers.nips.cc/paper/6617-machine-learning-with-adver...
70.
by hnjst 6y ago
Obviously it looks simple once you open it! They broke all the quantum stuff by doing so! I bet these are the kind of people that kill cats to make a point.
71.
by hnjst 7y ago
While Signal client app source is open, the server side isn't and the global system (and Moxie in particular) is notoriously hostile to federation or any sort of free interoperability. For a communication network, this reduces the bene
72.
by hnjst 7y ago
Wekan is easy to host and works well. https://wekan.github.io/
73.
by hnjst 7y ago
There is also a completely different but complementary set of tools that handle formal calculous such as Maple and its libre alternative Maxima that are worth consideration.