Viewing profile — xwvvvvwx

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/

Signal is wonderful. Huge respect and gratitude to moxie for his dedication and integrity, a true inspiration.

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.

this literally uses a cryptocurrency (handshake) for domains

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/

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.

Only sure way to browse safely is with js disabled....

Good. Hopefully this data will be open sourced.

> if you have asked me, i would have issues,wiki,etc. integrated within repo just like Fossil VCS. This is exactly what radicle does.

Cutting my working hours, which gave me more peace of mind and time to study.

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

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

The very first sentance of the post is: "I’m tired of hearing about Grace Hopper, Margaret Hamilton, and Ada Lovelace."

lavazza makes compostable nespresso pods fwiw.

already posted 12 days ago: https://news.ycombinator.com/item?id=23062072

The gratuitous use of unnecessarily gendered language (all male pronouns, "less than a man") in this article was grating and annoying.