drostie

11 ms·

31.
Itero-recursive algorithms(gist.github.com)
1 points by drostie 8y ago|0 comments
32.
by drostie 8y ago
Just to give the proof as a whole in this notation for others, assume (→) has lower precedence than (∨) and is right-associative (i.e. that a → b → c = a → (b → c)): Proving: (p ∨ q → p ∨ r) → p ∨ (q → r) Start from: (x → y) → (y
33.
by drostie 8y ago
No see it's not quite true for either side. It's called "outgroup homogeneity," when you are part of an us-vs-them scenario your "us" always seems to be a coalition of diverse viewpoints whereas your "them
34.
by drostie 8y ago
In six years nobody has corrected the fact that one of the propellants listed is not "Methane-Oxygen" but "Earth orbit to near-Earth asteroids", and the following is not "Methane-Oxygen" but "Hydrogen-Oxyg
35.
by drostie 8y ago
Hi Scott, I first stumbled across your blog while I was across the pond doing my Master's in Delft; it looks like you've been relatively successful since then. I was wondering how you feel that success/celebrity has affected
36.
by drostie 8y ago
I'd guess more likely that they are chocolate nozzles -- it seems more straightforward to me to produce a precise chocolate "cup", pour or place the filling inside of it, then pipe a chocolate "lid" onto the cup. Pr
37.
A paper/pencil game (2007)(lkozma.net)
1 points by drostie 8y ago|0 comments
38.
by drostie 8y ago
Yes. That can be how a distant technology looks, if the stakes for failure are that people die. You can get early adopters from one tail of the bell curve, hype, working prototypes, and people dying because prototypes fail. There may be a c
39.
by drostie 8y ago
I liked the intriguing idea of how this article started but it did end on a cop-out, “now that I have suggested this phenomenon rather than understanding what causes it so that we can harness it in practice, I invite you (what must necessar
40.
by drostie 8y ago
Oh there are so many reasons. The easiest is the adoption problem, the same as hit HTTPS: at least 40% of top websites are still unencrypted even after a massive push from browsers to muscle them into submission; compare to the fact that wi
41.
by drostie 8y ago
If I'm understanding it correctly then the answer is not much more than our present system. You get low power consumption in your device by being parasitic on a high-power monochromatic antenna furnished by the local WiFi. There might
42.
by drostie 8y ago
I mean, the spectrum still has a width, it's just a very large width -- which is why the coherence time is very low. In a more abstract way, you're right that we are reaching for a metaphor here: if a frequency distribution is sha
43.
by drostie 9y ago
I mean, it does. The "fairy tale" that one hears in high school doesn't, but we put aside fairy tales when we became adults. If you are done with the "undergrad level" of Popper and Kuhn it is worth reading Imre Lak
44.
by drostie 9y ago
The other thing is that they have partially fixed the most "wat" bug in PHP: for some arrays that aren't even all that hard to come by when interacting with JS, the following code could change `count($arr)`: foreach ($a
45.
by drostie 9y ago
It's "log in to," as "log" is a verb whose meaning changes when it accepts the preposition "in". Dutch has this much more systematically than English, where when this happens you can form the infinitive fo
46.
by drostie 9y ago
Hey, thanks for being a FreeBSD dev. Every time I've been on a FreeBSD system my reaction has been "this is kinda weird, but really nice." (Especially, compiling from ports.) The fact that y'all are connected with academ
47.
by drostie 9y ago
If you like bug postmortems like this you may also enjoy the Jepsen presentations by @aphyr. A video summary is available here: https://www.youtube.com/watch?v=eSaFVX4izsQ and if you want to get into the weeds with any of t
48.
by drostie 9y ago
This position is not indefensible but it is hard to defend: it implies that you could not possibly construct a state of comparable complexity to modern governance if the topmost layer were a libertarian paradise. But that position is very
49.
by drostie 9y ago
No because how the hell would they know? I author a module for my employer and describe it with their developers@ email and as UNLICENSED; how does NPM discover that I am legally authorized to use and modify this package?
50.
by drostie 9y ago
I never participated in debate as a student, only as a judge. In this experience I have noticed that (a) debate judges are culled from the general populace, (b) given little to no guidance, (c) potentially given extraordinary latitude in th
51.
by drostie 9y ago
Yep! The mathematics is pretty simple and recurs in a bunch of other places, from the theory of evolution by natural selection, to the question of why things go viral on the Internet. The basic idea is that these sorts of objects are routin
52.
by drostie 9y ago
I think #5, which is probably going to be thought of as great wisdom for our age, is secretly an empty tautology. That is, my amateurish work in schemas and validating data structures and type systems has led me to think that there is a som
53.
by drostie 9y ago
Look, it's not inconceivable that competent prosecution could prove that every murderer wasn't acting in self-defense, either. What's conceivable has little bearing on courtroom procedure. What matters for procedure is, w
54.
by drostie 9y ago
It is the government's job to prove you remember it. They have the burden of persuading the court that you don't remember it. This is spelled out explicitly in the Supplemental Order issued by the judge, PDF freely available at:
55.
by drostie 9y ago
Google cache, as I'm getting a "503 first byte timeout": https://webcache.googleusercontent.com/search?q=cache:kM07g3...
56.
by drostie 9y ago
At the contempt hearing, you are allowed to testify that you do not remember your password, and it puts the burden of proof on the government to prove that you secretly remember your password and are lying to the court when you say that you
57.
by drostie 9y ago
Yeah, sorry, IANAL either but that's total BS. The user has consideration in the form of being able to use the service. For those who are unaware, contract law deals with a process of people exchanging things, usually in the form of pr
58.
by drostie 9y ago
I guess that makes sense and speaks to a bigger problem here, which is that with a very large number one certainly wants to simply store it in a massive file on disk, and the encoding to do that probably shouldn't be based on the print
59.
by drostie 9y ago
I mean, I think a case can be made for something like it, where possibly one adds to the problem statement "the bytes should be contiguous ASCII and should not cause the JSON standard to backslash-encode the characters." The bigge
60.
by drostie 9y ago
Yes, this usage of UTF-8 is limited to the ASCII subset.

More ›