smaddox

62 ms·

631.
by smaddox 9y ago
"...and since defect rates per line of code are comparable..." That's not really true, just a belief. A naive belief, if you ask me.
632.
by smaddox 9y ago
There should be no avenue for single points of failure to result in catastrophic data breach. Neither architecture nor procedures should allow a single person to compromise the system, willingly or accidentally.
633.
by smaddox 9y ago
I couldn't agree more! Furthermore, as also pointed out by others above, all discussions about consiousness tend to conflate what appear to me to be distinct phenomenon. The first could be described as a persistence of thought or &quot
634.
by smaddox 9y ago
Ironically, you are stating a hypothesis which is fully within the purview of reason and science. While it is in principal possible that the answer is undecidable with existing logical systems, there's certainly no existing proof that
635.
by smaddox 9y ago
If you define money as hard assets, you don't understand money. I suggest reading "Debt: the 5000 first years".
636.
by smaddox 9y ago
All I see is: "This file is too big to show. Sorry!"
637.
by smaddox 9y ago
"We know that no responsible scientist guesses his formulae but derives them..." Are you sure about that, Dijkstra? Richard Feynam seems to disagree: "In general, we look for a new law by the following process. First, we gues
638.
by smaddox 9y ago
[Idris]( https://en.wikipedia.org/wiki/Idris_(programming_language) ) looks promising for theorem proving. I'm not sure I would say the overhead of using it is minimal, but it's at least a very expressive langu
639.
Show HN: MacOS C99 code hot swapping(github.com)
3 points by smaddox 9y ago|0 comments
640.
by smaddox 9y ago
Implementing efficient datastructures in Rust often requires `unsafe` code. Unlike in C, though, you can use Traits (which provide both static and dynamic dispatch, depending on usage) to provide a safe, zero-cost interface.
641.
by smaddox 9y ago
From what I understand (on phone so no refs right now), "super compilation" is limited to a linear speedup. However, "distillation" can achieve super-linear speedup.
642.
by smaddox 9y ago
Not to mention Rust is already successful, with several large companies using it in production. I expect it will continue to garner interest, especially if the fearless concurrency model keeps improving. Zero cost futures are pretty amazing
643.
by smaddox 9y ago
Can't this already be handled by calling out to a C/C++ or FORTRAN procedure that processes the data in multiple threads? For number crunching, Python is almost exclusively used as glue.
644.
by smaddox 9y ago
I encountered this the other day, while playing with typescript for the first time. Is there a good solution, such as a utility function that does a runtime check before casting? I suppose I could write one for each type cast, but it seems
645.
by smaddox 9y ago
The linux filesystem has to be segregated from the windows filesystem. If I remember correctly, the linux FS can read from windows FS, but not write to it, due to locking issues. Or something like that. Whatever it was, it made me discount
646.
by smaddox 9y ago
Source?
647.
by smaddox 9y ago
Great game. Was it a side project, or were you a full time game dev? And what about now after its success? Did it provide enough income to pursue whatever you want full time?
648.
by smaddox 9y ago
I just pocket them and then close them. Once pocketed, I can easily go back and find them with full text search.
649.
by smaddox 9y ago
This of course ignores the problem of energy and entropy. Computation takes energy and generates entropy. An infinity long computation would require infinite energy and would generate an infinite amount of entropy. Interesting concept, thou
650.
by smaddox 9y ago
Or you could let the neural network solve the inverse problem for you, at least for speech generation.
651.
by smaddox 9y ago
Non-Fiction: "How to Win Friends and Influence People" by Dale Carnegie, because it changed my understanding of people for the better. "Surely You're Joking, Mr. Feynman!" by Richard Feynman, because it gave me a mo
652.
by smaddox 9y ago
If you haven't already, I highly recommend Feynman's Lectures on Physics: http://feynmanlectures.caltech.edu While much more advanced than typical introductory texts, it does provide deeper insights than typical introd
653.
by smaddox 9y ago
The US government typically gets non-exclusive license rights to any patents developed under US grants.
654.
by smaddox 9y ago
Photolithography is only used in the very highest efficiency cells. The vast majority are polysilicon cells with screen-printed electrodes. Also, low resolution photolithography is not that expensive.
655.
by smaddox 9y ago
I highly recommend "How to Stop Worrying and Start Living" by Dale Carnegie. It's helped me manage stress.
656.
by smaddox 9y ago
I would argue that the question you raise boils down whether or not the fundamental laws are deterministic or non-deterministic. If they're deterministic, the future and past are as fixed as the present, and therefore are equally as &q
657.
by smaddox 9y ago
Averages can be misleading in highly skewed distributions...
658.
by smaddox 10y ago
Would you agree that the Nash equilibrium is not identically equal to the global utility optimum? If so, then you almost certainly agree that what is best for an individual actor is not necessarily what is best for Society (all people in a
659.
by smaddox 10y ago
Is it Robinhood's money? Are they required to maintain reserves to cover 100% of the loans they issue? If not, then it's not their money.
660.
by smaddox 10y ago
Not the OP, but commission-based recruiting seems to incentivise the wrong kind of recruiting, i.e. "find someone we can shove down their throat". I would personally rather pay an experienced recruiter by the hour, even if it mean

More ›