mockery

8 ms·

31.
by mockery 9y ago
> Rust doesn't compile that way -- you can't compile individual modules at once, only the entire crate. I think we have a terminology mixup. I was using 'module' in the win32 LoadModule() sense: a shared dynamically l
32.
by mockery 9y ago
> How would that work, with some modules assuming an incorrect size for a given type? If they only consume pointers to that type (ie. never allocate it themselves, deal with arrays, etc.) and their notion of the memory layout is a prefix
33.
by mockery 9y ago
This is pretty cool! A few thoughts from a C/C++ perspective (I have only tinkered briefly with Rust): - This effectively makes the optimization algorithm part of the Rust ABI; you cannot change (or even fix a bug in) the layout algori
34.
by mockery 10y ago
You seem to imply the Pb-210 only starts decaying after the refining occurs. I'm as curious about this as the grandparent - why? Edit: Figured it out in the reddit thread linked elsewhere ( https://www.reddit.com/r&#x2F
35.
by mockery 10y ago
Not really. More like: if the way you make satellites dramatically changes on a continuing basis, then some solid knowledge in physics might prepare you better to adapt to the changing times than being trained in the current methodology.
36.
by mockery 10y ago
(I don't really agree with the simplification of debt = risk. Despite that...) > What's risky about using a credit card to buy a kayak? If you unexpectedly lose your job or are otherwise unable to pay off the card on the schedu
37.
by mockery 10y ago
The article is titled "Green finance for dirty ships" - the misleading HN title (which doesn't show up anywhere in the article) _is_ the problem in this case, IMO.
38.
by mockery 10y ago
If you had a magic oracle and, say, bought a ball for the fair price of $1 the day before you knew it would spike to $100, you are denying the seller an honest opportunity to sell it for $100. It's the moral equivalent of keeping your
39.
by mockery 10y ago
Nice summary! As someone who writes multi-platform C++, it would would be even greater (but a lot more work) if each feature listed which version of each major compiler introduced support. (ie. Can I use this feature if my codebase is curre
40.
by mockery 10y ago
Ok so looking into this a bit more, that's exactly what they're doing. In fact, TensorFlow is linked as an example on the wiki page for automatic differentiation [ https://en.wikipedia.org/wiki/Automatic_differ
41.
by mockery 10y ago
Can someone explain what on earth the type of 'error' is? It starts off as 0.0 but then gets +='ed with expressions containing tf.Variables, so I assume it turned into some object that is basically function? Why not write it
42.
by mockery 10y ago
Not necessarily. (I'd actually argue "not at all.") Presumably you have a text format in the first place because you want your representation to be human-readable [with common tools like a text editor], and very likely human-
43.
by mockery 10y ago
This is cool, but the frame-to-frame variance is distracting. I really want to see this reimplemented with temporal constraints a-la this paper: https://www.youtube.com/watch?v=Khuj4ASldmU
44.
by mockery 10y ago
The key point is that you're evaluating both companies TODAY, and they're at different points in their evolution. The fact that ULA/etc. had failures in their infancy is fairly irrelevant because that's the distant past
45.
by mockery 11y ago
Are these videos of an functioning piece of software, or mockups? There are a lot of interactions that are glossed over, and it's not obvious to me how this software would function. I'm also skeptical about the characterization of
46.
by mockery 11y ago
Microsoft has App Verifier: See: https://msdn.microsoft.com/en-us/library/ms220948(v=vs.90).a... Or: https://randomascii.wordpress.com/2011/12/07/increased-relia...
47.
by mockery 11y ago
> cloudflare is amazing until the input buffer gets under 80 bytes. That's the point where it stops using the optimised implementation and falls back to the regular zlib implementation (slice-by-4). I'm not sure why (no explana
48.
by mockery 11y ago
> It's all really bad for reasoning about your program :( True, but it's really good for performance in a lot of incredibly common cases, which is why it's a case of a tough tradeoff they had to make - rather than a malici
49.
by mockery 11y ago
This extended version of the associated video provides much more information / better intuition about how delay embedding works: https://www.youtube.com/watch?v=6i57udsPKms
50.
by mockery 11y ago
$0.25 doesn't really seem like that much of a savings...
51.
by mockery 11y ago
Yeah, it wasn't until I read your comment that I realized that 'Kleisli' was documented. I suspect I've been making a similar mistake any time I peruse Rust documentation. (I don't write any Rust myself, or I assume
52.
by mockery 11y ago
See also, Library of Babel: https://news.ycombinator.com/item?id=9480949
53.
by mockery 11y ago
I recognized it quickly because I implemented a version of the paper as a project 10 years ago during college. (And made a very similar webpage as my final report.) Your username makes me suspect you might also have more than a passing fami
54.
by mockery 11y ago
Awesome to see people excited about nontrivial proceduralism and willing to explain/open-source their code, but it's unfortunate they don't give any credit for their technique. It's a nearly direct implementation of the
55.
by mockery 11y ago
Slightly pedantic observation: O(n) == O(1) under the specified constraint (n <= 11)
56.
by mockery 11y ago
(Since the address is the content, just generate a random block of text that has whatever properties you want, and then "re-encode" it as an address. "Search" complete!)
57.
by mockery 11y ago
Oh. Nevermind. Duh.
58.
by mockery 11y ago
Neat. How on earth does search work? (Particularly the "with random English words" part)
59.
by mockery 11y ago
"I’m suddenly self-conscious about the prettiness of my code — it doesn’t matter if I can solve the problem, since I’m also competing against candidates who can solve the problem, so the real competition is probably about how elegant a
60.
by mockery 11y ago
(Oh I just realized that there are more pages to the article - the "next article" button caused me to overlook the "next page" button. Perhaps they explain what the problem is on subsequent pages.)

More ›