xwvvvvwx

11 ms·

1.
by xwvvvvwx 5y ago
Decision Procedures [1] is a very good (and quite accessible) overview of the algorithms used in modern sat/smt solvers. [1]: https://www.decision-procedures.org/
2.
by xwvvvvwx 5y ago
Signal is wonderful. Huge respect and gratitude to moxie for his dedication and integrity, a true inspiration.
3.
by xwvvvvwx 5y ago
My comment was not intended as a criticism of your project (which seems excellent), but rather an observation that crypto may be more useful than the parent had assumed.
4.
by xwvvvvwx 5y ago
this literally uses a cryptocurrency (handshake) for domains
5.
by xwvvvvwx 5y ago
nixpkgs is of a very similar size to the aur (or even larger depending how you count), but is significantly more up to date: https://repology.org/
6.
Sigil OS post-mortem report(portal.mozz.us)
2 points by xwvvvvwx 5y ago|0 comments
7.
by xwvvvvwx 6y ago
Perhaps this is my bias showing but I find it totally unbelievable to suggest that production would not be significantly faster had the vaccines been open sourced from the start.
8.
Ledger Customer Database Leaked(twitter.com)
3 points by xwvvvvwx 6y ago|0 comments
9.
by xwvvvvwx 6y ago
Only sure way to browse safely is with js disabled....
10.
by xwvvvvwx 6y ago
Good. Hopefully this data will be open sourced.
11.
by xwvvvvwx 6y ago
> if you have asked me, i would have issues,wiki,etc. integrated within repo just like Fossil VCS. This is exactly what radicle does.
12.
‘Tokenized’: Black Workers’ Struggles at Coinbase(nytimes.com)
486 points by xwvvvvwx 6y ago|623 comments
13.
by xwvvvvwx 6y ago
Cutting my working hours, which gave me more peace of mind and time to study.
14.
by xwvvvvwx 6y ago
Have you tried Breez [1] on ios or phoenix [2] on android? Non custodial mobile lightning wallets have come a long way. Lightning still has some rough edges (async payments) and unsolved issues (spam resistance) but it’s a lot closer to bei
15.
by xwvvvvwx 6y ago
Current guidance is that non custodial protocols are not classified as money transmitters and so are exempt from KYC/AML regulations: https://www.coincenter.org/fincens-new-cryptocurrency-guidan...
16.
Parsing: A Timeline(jeffreykegler.github.io)
3 points by xwvvvvwx 6y ago|1 comments
17.
Ethereum Classic Network Partitioned(hackmd.io)
3 points by xwvvvvwx 6y ago|0 comments
18.
by xwvvvvwx 6y ago
The very first sentance of the post is: "I’m tired of hearing about Grace Hopper, Margaret Hamilton, and Ada Lovelace."
19.
by xwvvvvwx 6y ago
lavazza makes compostable nespresso pods fwiw.
20.
by xwvvvvwx 6y ago
already posted 12 days ago: https://news.ycombinator.com/item?id=23062072
21.
Systemd, 10 years later: a historical and technical retrospective(blog.darknedgy.net)
11 points by xwvvvvwx 6y ago|2 comments
22.
Zerodium has too many iOS RCE’s, no longer accepting submissions(twitter.com)
9 points by xwvvvvwx 6y ago|3 comments
23.
A randomized clinical trial comparing N95 respirators to medical masks (2011) [pdf](moscow.sci-hub.tw)
1 points by xwvvvvwx 7y ago|0 comments
24.
Effectiveness of surgical masks against influenza bioaerosols (2012) [pdf](moscow.sci-hub.tw)
2 points by xwvvvvwx 7y ago|0 comments
25.
by xwvvvvwx 7y ago
The gratuitous use of unnecessarily gendered language (all male pronouns, "less than a man") in this article was grating and annoying.
26.
Temporary Containers for Firefox(addons.mozilla.org)
2 points by xwvvvvwx 7y ago|0 comments
27.
by xwvvvvwx 7y ago
some more details on the LUKS support in hashcat here: https://hashcat.net/forum/thread-6225.html
28.
WireGuard merged to net-next, on its way to Linux 5.6(lists.zx2c4.com)
5 points by xwvvvvwx 7y ago|1 comments
29.
Cjdns(github.com)
3 points by xwvvvvwx 7y ago|0 comments
30.
by xwvvvvwx 7y ago
You can also use temporary containers [1] to present a clean and isolated cache & cookie store for every new website visit. This is both less fingerprintable and more usable than disabling cache and cookies. It is also worth noting that

More ›