drostie

66 ms·

391.
by drostie 12y ago
Yep! If you want to learn a lot more about this stuff, search for the buzzword "codata." Basically, we can start to define type systems which "wall off" a section (which may or may not have all the things you want to com
392.
by drostie 12y ago
Important: This is not like the old PDF exploits where the code would run when the file was viewed. This is instead a form of obfuscation where the compromised DLL has been concatenated with a valid PNG file. PNG readers will simply display
393.
by drostie 12y ago
I think part of it is that the article sounds incredibly speculative and "just so". It doesn't, in other words, appear to be researched, and it is about something (the causality of our directional associations) which would
394.
by drostie 12y ago
Close but not quite. The term "universality" is different in phase transition theory from what it means in random matrix theory (which is what's at play here), but they've got some similarities too. In phase transition t
395.
by drostie 12y ago
Asking for help is a good way to start. HN can sometimes be very harsh or critical, so I hope that you are happy with your responses. If you are 19 then you are probably worried about disappointing users, parents, and other people. You need
396.
by drostie 12y ago
It makes sense if you look at it as a correlation, not as causation. The point is that one cause (less review of experimental kernel features), which is known to underlie the "this crashes" problem, can also potentially cause the
397.
by drostie 12y ago
I mean, yes. What you're trying to point out is that sometimes the real threat model (i.e. the security concerns list of the stakeholders) is not the same as the explicit modeling they do of threats. And that's actually very commo
398.
by drostie 12y ago
There's a point that's even more germane: if you take the money and dev time that would be required to build an exploit to hose your system, you could probably for a comparable sum pay your programmers to obfuscate a new zero-day
399.
by drostie 12y ago
The reason that the latter point is reasonable is, it trivially isn't a game-over flaw for systems which do not have game-overs. What we know about every system that installed FreeBSD-CURRENT is that the systems administrators at the t
400.
by drostie 12y ago
Well, no. It was caught in the CURRENT branch -- i.e. latest-and-greatest snapshots for developers. Users who use this branch are supposed to accept some breakage here and there. Security requires a threat model. Something can only be &quot
401.
by drostie 12y ago
There are some connections which the author doesn't make which I find a little surprisingly unsaid. For example, of course you find the Sierpinski pattern under disjointness. Here's some LiveScript to handle disjointness with inte
402.
by drostie 12y ago
For what it's worth, I think Hg is an easier sell to mid-size companies transitioning from SVN to a DVCS. With Git, you need to absorb a certain "git mentality" to really understand what all of the commands are; with Hg it
403.
by drostie 12y ago
Nix is just simply amazing, and there IS a distribution (NixOS[1]) which ships it. The big problem is of course keeping packages current . Nix and SmartOS[2] are both really important in my book. Nobody's talking about them as distrib
404.
by drostie 12y ago
Sandworm is saying that the exemption exists de facto due to the structure of copyright, since copyright violations are generally civil, not criminal. My Dad works in biotech and he's fond of telling me the same thing about patents,
405.
by drostie 12y ago
I've read the ten Amber books by Roger Zelazny all the way through ten times, which sorta-counts. A total read-through of those books can be done in a 3-day weekend if you read the whole day, so if you want a rough idea of the time com
406.
by drostie 12y ago
Okay, so, four-vectors have four components: v0, v1, v2, v3. The last three components are "spatial" and the first is "temporal". An example of a four-vector is a 4-position of a particle moving from position (0, 0, 0) w
407.
by drostie 12y ago
Another fun fact is that the +−−− metric allows relativity to be described in a spinor calculus (which are in turn isomorphic to quaternions). The basic idea looks like this: annex the identity matrix as σ_0 = onto the 3 Pauli spin matrices
408.
Symfony 2.6.4 released(symfony.com)
2 points by drostie 12y ago|0 comments
409.
by drostie 12y ago
It took me a while to start to grok the "Finally Tagless" thing; thanks for that!
410.
by drostie 12y ago
It's not "obvious" though: there is no proof that your electron didn't (via tunneling) exit whatever trap you put it in only to get replaced by some other electron from the environment which jumped in a short moment afte
411.
by drostie 12y ago
It'd be interesting to know how they deal with the phase requirements--normally you have boundary conditions which set up these sorts of standing waves but it sounds like these "events" would not have that and thus would have
412.
by drostie 12y ago
You can read his whole Nobel speech online and it's well worth a read. My favorite part is: "There was a gentleman, newly arrived from Europe (Herbert Jehle) who came and sat next to me. Europeans are much more serious than we are
413.
by drostie 12y ago
Yes, it's still true when we take special relativity into account. One good perspective on special relativity is that it sort of says, "everybody's right." That is, you abstract your "present" moment to dista
414.
by drostie 12y ago
I learned programming independently, but I've done a Master's in physics. I really think that you want the curriculum to go in this order: (1) teach a high-schooler to program via games; (2) leverage that programming knowledge to
415.
by drostie 12y ago
This has been a fascinating read, but I worry that there's too much pressure in the paper to view all of these different approaches as somehow "solving the same problem". I'm not sure they do. There is this "whoops,
416.
by drostie 12y ago
Since he's a Go fan, he might prefer lightweight threads running in an event loop rather than real threads with their context-switches. Moreover his concern is syntactic , not semantic: so maybe he'd like something which "lo
417.
by drostie 12y ago
I think the point is that there is no good effect-union type; this has to be pieced together with monad transformers where you might have that types "Atransformer (Btransformer C)" is not equal to "Btransformer (Atransformer
418.
by drostie 12y ago
Right, and perhaps one of the biggest things to understand is that, while thermodynamics does apply to human exercise and consumption and is really easy to understand and reason about, the conclusions you get from that tend to be overly sim
419.
by drostie 12y ago
One topic which might be interesting here is a continued-fraction library. The golden ratio has a nice representation as the infinite stream [1, 1, 1, 1, ...] because it is 1 + 1/(1 + 1/(1 + ...)), a fact which also makes it the m
420.
by drostie 12y ago
So, first off, you can get this whole result much faster if you know what "linearity" is (and while your average HNer might not, anyone who knows what eigenvectors are should). The basic idea is that we say a function f is linear

More ›