Well, DUH.

Wait -- back up. You know that one of those two things is actually on-the-books against the law and the other is not, right? I hope. Please?

Sounds like you probably aren't from the southern U.S.

How about this one? It is a little memory-hungry though - 128K of RAM isn't within everyone's budget.

The more relevant questions are "what is the size of the codebase of L4 written in an unmanaged language" and "is that unmanaged codebase small enough to mathematically prove its correctness" .

There is a reason why we layer systems on top of each other, and not just because we like cake.

Well look who natively counts in binary.

Hello Joshua! Give my regards to Dr Falken.

Managed code does one very important thing: it guarantees that elusive quality you've just named 'goodness'. (With respect to memory access, at least).

Goodness or otherwise of arbitrary unmanaged C code is a Turing-complete quality that, we've painfully discovered, cannot be reliably detected by either a compiler, a testing regime, or the entire planet's worth of expert C programmers given unlimited access to the code and up to two years time. That's how many coder-years? A lot.

Goodness of managed code? It has that quality. Period. And we can go on with our lives solving instead of creating problems.

Arguably all the recent security holes in Java are exactly because they wrote extensions and libraries in C/C++ and not in Java.

A real language - like, say, UCSD Pascal in 1978 can compile itself to its own virtual machine just fine...

But admittedly the resource requirements to host a system like that that are pretty steep - you'd need at least 128K of RAM. Still, I like to dream that one day....

Nature is a big fan of brute force solutions to complex equations - it just does shit and reports the result.

Esperanto? le mi varkiclaflo'i cu culno lo angila! You mean Lojban, I presume.

13 months is a little annoying, yes; you have to split the months on week boundaries to make quarters. But we actually do have 13 lunar cycles in a year, so this naturally aligns the months with the real moon. And we keep 7 day weeks, which is a win both because we're used to our week, and because 7 days is a natural quarter-moon. And no more "30 days hath December..."

Thing is, a workable Earth calendar never is going to be evenly divisible by powers of 10, because it has to stay aligned with astronomical cycles which are subtly varying; even the Sun and Moon don't strictly align. So everything's going to be a bit of a juggle. Frankly, I think this is the best alternate calendar design I've seen in a long while.

Let's stick with the laws I know, which are Illinois - so here is Illinois' mattress law - that's in addition to the regulations that come out of our executive branch: http://www.ilga.gov/legislatio... (but hey, I'm just a lawyer, wtf do I know, right?)

The use cases for google glass (overlaying information ontop of really - i.e. augmented reality) and Oculus Rift (a VR display that supplants and replaces your view with a different view - i.e. virtual reality) are entirely different. That would be like buying a car manufacturer to help catch up with SpaceX in building heavy launch vehicles - yeah, both are things you catch a ride in - but the technology that powers them doesn't cross pollinate.

Because it's the second stupidest deliberate misuse of computational capacity to artificially create digital scarcity since Bitcoins.

The correct way to distribute large files like movies online is to copy the bits as locally to the endpoints as possible, and cache them pervasively at all levels of the network. Nothing would need to be sent more than once down any given cable. It would be fast, cheap, make use of the Internet as it was designed to function, and give us near-unlimited bandwidth.

But that would mean that those bits don't become artificially scarce and can't be tracked and audited by the media companies for copy-protection purposes. So instead of copying, we stream them over and over and over again, generating terabytes of needless, duplicated data traffic, and creating huge bandwidth storms that suck all the capacity out of the Internet.

tldr: Video streaming is expensive because it was designed to be. It wasn't designed by or for you, and it doesn't benefit you.

Yeah, I hate it too when I score a counter-riposte to my opponent's flying parry and there's just a beep on the referee's scoreboard and no blood.