https://golang.org/x/crypto/nacl for the Gophers among us (it provides only box/secret_box, though)
SSLmate (https://sslmate.com/) actually makes things similarly simple — I've been using them for a few months now.
You can't prove the hash function is correct, no. But you can prove the hash function is implemented equivalently to its definition. That's what the article is about.
MaidSafe (http://maidsafe.net) and Skylight (https://skylight.io) are both written in Rust, Maidsafe having recently moved to it from C++.
It's worth noting that KVM doesn't allow remapping the APIC base address at all: https://github.com/torvalds/linux/blob/49d7c6559bf2ab4f1d56b...
I haven't been back home (Amsterdam) for most of this year, but I find that surprising — I usually have trouble coming up with more than three ice cream parlours off the top of my head. Where's all this great ice cream…
This article wasn't written by Steve Klabnik — merely "reprinted". > Recently, it was brought up on Proggit that Chris Smith's "What to Know Before Debating Type Systems" was no longer online. This is a really great…
I'd argue that they all derive from, and are quite similar to Portage's USE flags.
Awesome to finally see Gun on here, Mark! What still worries me is the reliance on external storage services, although a good local storage service could be built for Gun. Other than that, I'm glad to finally see docs!
Also among them: https://github.com/facebook/rebound-js https://github.com/facebook/rebound
I think you'd be quite happy in Rust, if you substitute trait methods for multimethods too.
Most of these slides are about patterns that are provided for as functions by the language, or are otherwise obsoleted by the more powerful abstraction features of FP languages. The writers of this presentation are very…
I'll miss Ezra and his outgoing spirit. Goodbye, old friend.
The key can be generated on the smartcard, and it's not possible to transfer it out of the smartcard by design. (anything that calls itself a smartcard but allows this isn't a smartcard)
What you're describing is called a smartcard, and readily available on the market. I keep my PGP key on one.
I'd say that many of the issues surrounding accidentally using mutable state are fairly moot in Clojure. Blocking still remains an issue, though there's core.async/thread for go blocks that block so that they're…
The flawed assumption is "and therefore 21 million Bitcoin addresses". Generate an RSA keypair, and give out the hash of the public key (encoded in a Bitcoin-specific way). Anyone can send you Bitcoins there now.
The visualisation means next to nothing for proving it's good. But the visualisation seems to show patterns, which says plenty.
Accepted, but they seem to be on either side of a dividing line — I'm doing my best to straddle it, but I'm still held back by a wall of language that is too often entirely impenetrable to me. I'm a very…
The best guess I've come up with is that anyone who is sufficiently mathematically inclined becomes a mathematician. I'm curious if anyone has any points/counterpoints in that direction.
There's no node involved in the registry itself. This is purely CouchDB.
npm is pretty much the prime use-case for CouchDB. REST API out of the box, replication is a core feature and not just a scaling feature (multi-master, MVCC) and the validation/access control is pretty much made for it.…
Bash actually supports /dev/tcp/HOSTNAME/PORT for this kind of thing. Ironically, that's disabled in the Debian bash package.
Aperture Science logo!
Of course, when Google breaks them they'll write a fully-fledged browser for those phones that works as smoothly as the thin-client one. Because they merely chose to do that not because the former is impossible, but…
https://golang.org/x/crypto/nacl for the Gophers among us (it provides only box/secret_box, though)
SSLmate (https://sslmate.com/) actually makes things similarly simple — I've been using them for a few months now.
You can't prove the hash function is correct, no. But you can prove the hash function is implemented equivalently to its definition. That's what the article is about.
MaidSafe (http://maidsafe.net) and Skylight (https://skylight.io) are both written in Rust, Maidsafe having recently moved to it from C++.
It's worth noting that KVM doesn't allow remapping the APIC base address at all: https://github.com/torvalds/linux/blob/49d7c6559bf2ab4f1d56b...
I haven't been back home (Amsterdam) for most of this year, but I find that surprising — I usually have trouble coming up with more than three ice cream parlours off the top of my head. Where's all this great ice cream…
This article wasn't written by Steve Klabnik — merely "reprinted". > Recently, it was brought up on Proggit that Chris Smith's "What to Know Before Debating Type Systems" was no longer online. This is a really great…
I'd argue that they all derive from, and are quite similar to Portage's USE flags.
Awesome to finally see Gun on here, Mark! What still worries me is the reliance on external storage services, although a good local storage service could be built for Gun. Other than that, I'm glad to finally see docs!
Also among them: https://github.com/facebook/rebound-js https://github.com/facebook/rebound
I think you'd be quite happy in Rust, if you substitute trait methods for multimethods too.
Most of these slides are about patterns that are provided for as functions by the language, or are otherwise obsoleted by the more powerful abstraction features of FP languages. The writers of this presentation are very…
I'll miss Ezra and his outgoing spirit. Goodbye, old friend.
The key can be generated on the smartcard, and it's not possible to transfer it out of the smartcard by design. (anything that calls itself a smartcard but allows this isn't a smartcard)
What you're describing is called a smartcard, and readily available on the market. I keep my PGP key on one.
I'd say that many of the issues surrounding accidentally using mutable state are fairly moot in Clojure. Blocking still remains an issue, though there's core.async/thread for go blocks that block so that they're…
The flawed assumption is "and therefore 21 million Bitcoin addresses". Generate an RSA keypair, and give out the hash of the public key (encoded in a Bitcoin-specific way). Anyone can send you Bitcoins there now.
The visualisation means next to nothing for proving it's good. But the visualisation seems to show patterns, which says plenty.
Accepted, but they seem to be on either side of a dividing line — I'm doing my best to straddle it, but I'm still held back by a wall of language that is too often entirely impenetrable to me. I'm a very…
The best guess I've come up with is that anyone who is sufficiently mathematically inclined becomes a mathematician. I'm curious if anyone has any points/counterpoints in that direction.
There's no node involved in the registry itself. This is purely CouchDB.
npm is pretty much the prime use-case for CouchDB. REST API out of the box, replication is a core feature and not just a scaling feature (multi-master, MVCC) and the validation/access control is pretty much made for it.…
Bash actually supports /dev/tcp/HOSTNAME/PORT for this kind of thing. Ironically, that's disabled in the Debian bash package.
Aperture Science logo!
Of course, when Google breaks them they'll write a fully-fledged browser for those phones that works as smoothly as the thin-client one. Because they merely chose to do that not because the former is impossible, but…