Comment Re:it makes no sense to send people into space... (Score 1) 411
and are 3-20 orders of magnitude cheaper.
Base two? What's going on here?
and are 3-20 orders of magnitude cheaper.
Base two? What's going on here?
cmholm please meet anon.
I prefer between -20 and 20% faster.
There were two *great* comments prior to mine:
(1) Have rock-solid algebraic (symbolic) manipulation skills;
(2) Really know your trigonometry.
My family has been using Sylvanus P. Thompson's "Calculus Made Easy" for several generations (the book was first published in 1910). It really is a wonderful introduction to Calculus (targeted at high-school students). There are two versions:
(1) The classic text, search for "Sylvanus P. Thompson" and "Calculus Made Easy";
(2) The updated text co-authored by "Martin Gardner".
The only reason Scheme or Lisp can do so much is because they were originally written in Emacs.
Yes. There is a large focus on two different aspects in a lab I used to work with a few years ago:
(1) Retinopathies (problems of the eye);
(2) Preventative treatments for cancer.
Here are some links:
[1] http://inbt.jhu.edu/biosensor-targets-retina-cells/2006/11/15 -- a multilayer "machine" which executes a biochemical program;
[2] http://nanohub.org/resources/3541/download/2007.10.15-leary-nt501.pdf -- lecture notes on the state-of-the-art nano- magneto- and silicon particle drug delivery as of late 2007.
I was about to call BS on this; however, after reading the links it me want to read "Hamlet" in the original Klingon.
As someone who knows plenty of people in the "7 digit income class" I can guarantee you that they consider themselves upper-middle class. I think you should probably start at the 8-digit range, i.e., large companies.
I spent years in Texas schools, and we were always told it was a giant brass armature. When did God put in the bling?
So
Also, having lived/stayed in a number of states now, I can say that racism and other breeds of bigotry are universal (or not), and that none of the states I've been to have I met people more/less bigoted than anywhere else [mostly not bigoted]. Well, except upstate New York and northern California; some of the people I met up never got past the 1950s.
Now, when he says "truly correct", I'm assuming he doesn't mean formal proving. That would be absurd, especially for an operating system as complex as Windows or Linux (or really anything with limited resources). Anything short of the formal proof and you just have empirical evidence that it works - but if there's a billion branches and trillions of code paths, nobody will hit all of them with all data.
I used to hear similar sentiments with regards to compilers. Check out Xavier Leroy's work: http://pauillac.inria.fr/~xleroy/ Yeah, that's mainly the work of one guy; his students' work is related, but not necessarily in support of his project.
There are a lot of us who are spending serious time understand Coq et al. because formal verification is advancing to the point where if you don't understand the technology and how to use it, you're going to be out of a job.
Screw the heat, you're going to have an IO and power deliver problem. Assuming a cubic uptake of density of transistors, you'll only have quadratic uptake in IO ports. Right now we use the 3rd dimension to help increase IO and power density (lifiting it up/down a layer; because we have a quadratic/linear problem with current chips). By the time you've managed to solve those problems (lowering transistor density to allow IO/power paths) you'll end up with a plain-old-chip, anyways.
Hold on, there, Sparky. Assembly, C/C++, your-favorite-compiled-language
None. Copyright should protect against commercial uses -- as was its original intent.
It's a naive, domestic operating system without any breeding, but I think you'll be amused by its presumption.