stepchowfun

9 ms·

31.
by stepchowfun 5y ago
To the folks in this thread who think they know better than researchers at the forefront of foundational mathematics: I encourage you to learn type theory, and especially homotopy type theory. In doing so, you'll be forced to confront
32.
by stepchowfun 5y ago
I highly recommend just downloading and playing with a language based on type theory, such as Coq/Lean/Agda. I know Coq well, so I can recommend Software Foundations and Certified Programming with Dependent Types . Write some s
33.
by stepchowfun 5y ago
Yes, a checkbox is one way to allow users engage with this feature. There are other changes I'm considering as well (e.g., increasing the length of the generated passwords, avoiding characters that look like other characters such as 0
34.
by stepchowfun 5y ago
It's a good idea that I've considered. However, I didn't anticipate the need for this when I originally designed Hashpass in 2014, and adding it now would be a breaking change. I'm still considering it, but there would n
35.
by stepchowfun 5y ago
Nothing is preventing you from using a different master password for different accounts, but you'd have to keep track of that yourself, since Hashpass doesn't store any state whatsoever. I personally just use a single universal pa
36.
by stepchowfun 5y ago
For those sites, I usually just add whatever characters are needed to satisfy the requirements to the generated password (e.g., 0). This is annoying, since I have to keep track of which sites required such amendments. Fortunately, the major
37.
by stepchowfun 5y ago
I sort of fall into the second category, except I don't sync passwords across devices or even store them at all. I generate them on the fly with [1]. [1] https://chrome.google.com/webstore/detail/hashpass&#x2F
38.
by stepchowfun 5y ago
Thank you! This is the first explanation that I think fully explains what I was confused about. So essentially the prefix is just the first N bytes of the object's name, where N is a per-bucket number that S3 automatically decides and
39.
Tagref: Check cross-references in your code(github.com)
2 points by stepchowfun 5y ago|0 comments
40.
Toast: Containerize your development and CI environments(github.com)
8 points by stepchowfun 5y ago|0 comments
41.
by stepchowfun 5y ago
> I think one thing that weakly surprised me about the article was that cloud flare seem to be mostly using standard BSD sockets apis and, presumably, the kernel interface to the network cards. I would have expected their main products (
42.
Typical: Data interchange with algebraic data types(github.com)
5 points by stepchowfun 5y ago|0 comments
43.
Docuum – LRU eviction of Docker images(github.com)
2 points by stepchowfun 6y ago|0 comments