inimino

53 ms·

571.
by inimino 7y ago
Assembly and C will still be around in 20 or 50 years. Rust is way too early to say.
572.
by inimino 7y ago
The concept of correctness by proof, rather than by spraying tests at the code and hoping, is a shift of perspective, but it doesn't have to be brutally hard and doesn't require going all the way to direct application of formal me
573.
by inimino 7y ago
Out of the frying pan and into the fire.
574.
by inimino 7y ago
Some power tools take more than a day to learn. Deal with it if you need the power. If you don't need an RDBMS, don't use one.
575.
by inimino 7y ago
https://en.m.wikipedia.org/wiki/Karnaugh_map I was not familiar with Karnaugh maps. For the curious, they are a visual, 2-d representation of truth tables using Gray codes.
576.
by inimino 7y ago
Do you hate JS the language or do you hate the ecosystem? JS gets a bad rap from folks that have never had a chance to master the language and do pure JS development, which is actually quite enjoyable.
577.
by inimino 7y ago
> More and more these days, the provider is now part of the stack. That's a mistake, which industry will eventually recognize if it hasn't already.
578.
by inimino 7y ago
I consider Rust a lower-level language than Go, because it's forcing the programmer to deal with memory management. In what sense do you consider it higher-level?
579.
by inimino 7y ago
Programming is applied mathematics.
580.
by inimino 7y ago
Sure, human pattern recognition is poorly understood, but it's a system that evolved over millions of years. We should expect more from something we ourselves designed. The question of why we would choose a black box model over somethi
581.
by inimino 7y ago
> Convince me a maker has no right to decide what user actions may void its future obligations to the user. That's a completely different thing. This is a question of a manufacturer having complete control over what the buyer can do
582.
by inimino 7y ago
Strange that the author starts with a book that began as an online, runnable, interactive book. (Taking a lot more than a week to write.) Presumably he would end up with a library of functions that somehow capture some of the mathematical
583.
by inimino 7y ago
Did you think this or the other works mentioned are written for the machine learning community? They are written so the rest of society can understand what is happening despite mountains of hype to the contrary and the marketing of ML as ma
584.
by inimino 7y ago
Hear, hear. We should start some kind of movement. Or at least write a manifesto.
585.
by inimino 7y ago
Training for developers, presumably, especially web developers who want to build native apps. If retraining was free, Electron would have approximately no market.
586.
by inimino 7y ago
When you reach term limits, you don't get kicked out of the country. It would create a powerful disincentive for people to move up at all, unless they wanted to leave the company soon anyway.
587.
by inimino 7y ago
To a sufficiently advanced compiler, any correct implementation is equivalent to any other. The difference is how we think about it. If you look at it as taking something simple and making it needlessly complicated, then it seems pretenti
588.
by inimino 7y ago
I don't think the point of the post was that it was a radically new approach, but rather that it is an application of concepts that are considerably more general. The hope in using such concepts is that, being so general, you will star
589.
by inimino 7y ago
> integrate over the entire space of hypothesis instances, using an infinitesimal weighting in the case of infinite spaces. Agreed. However, when you write: > the evidence makes the uncomputable partial Oracle the most likely hypothes
590.
by inimino 7y ago
Another way to put it is that `x % 3 == 0` and `cycle [0,0,1]` are just two forms of shorthand for the same concept.
591.
by inimino 7y ago
I think what you are trying to say is that it's not using the modulo operator to derive the pattern from the integers , instead it is simply encoding the pattern directly in the program as a pattern (false, false, true, ...). Your obj
592.
by inimino 7y ago
Also along these lines is tsv-utils: https://github.com/eBay/tsv-utils/blob/master/README.md There are benchmark results comparing tsv-utils to a variety of similar tools including xsv.
593.
by inimino 7y ago
> You can always ignore irrelevant data Everything we know about human psychology says you can't.
594.
by inimino 7y ago
Well, yes, maybe we can start to move homework and grading away from useless busy work.
595.
by inimino 7y ago
The violated assumption is simply i.i.d. of the so-called "random variable", in this case the individual coin flips would need to be i.i.d. for the CLT to hold. Obviously that's not the case at all by construction of the expe
596.
by inimino 7y ago
Are you sure about this? There are only a few ways to state the year and place of birth, perhaps, but once you get beyond that, there are what might as well be infinitely many possible biographies of Washington. That being said, if all your
597.
by inimino 7y ago
Obviously Paul Graham's essays have been hugely influential here, and it's going to be front-page news on HN whenever he publishes a new one, even if it's not world-shaking in content. I really don't see why this should
598.
by inimino 7y ago
This is unnecessarily pedantic. It's rather obvious in context that "sending an SMS" means sending an SMS from your phone (you know, the thing SMS was invented for) rather than using a third-party web service to send an SMS o
599.
by inimino 7y ago
Ethical failures can be structural, not merely individual. I think the problem you rightly identify is that decision making power and ethical responsibility are delegated separately, allowing a kind of ethical-risk arbitrage. This seems to
600.
by inimino 7y ago
> where humans have no priors In a Bayesian model there's no such thing as having no priors, that's the problem with arguing against Bayesian human reasoning with a model that can't capture the richness of human priors (wh

More ›