axman6

13 ms·

91.
by axman6 12y ago
But the point of the representation is that locations can easily and unambiguously be stored in a single number, say a 64bit integer. A bit array necessarily has some overhead to specify the number of bits; something unnecessary in this pro
92.
by axman6 12y ago
Or they could use GNAT Programming Studio which comes with GNAT already?
93.
by axman6 12y ago
From memory, he made those comments after he'd been working for a long time in C/C++. He's since seen that language like Haskell and Ada which enforce much stricter requirements have a huge benefit to developers; the inital e
94.
by axman6 12y ago
Why do people seem to think Ada is painful? It's quite strict, but that's a blessing, not a curse. You end up making anything remotely dodgy but necessary very obvious, and in general well founded ideas are clear and concise. You
95.
by axman6 12y ago
> The hardware access routines, real time operating system, and bottom level I/O can't be written in ADA. I disagree, Ada has fantastic tools for writing these sorts of code; you can precisely define data types down to the bit
96.
by axman6 12y ago
Really looking forward to this post! It's fascinating just how simple this system is; maybe I'll make a simple Haskell library implementing it.
97.
by axman6 12y ago
But most of the time these numbers will be represented in fixed size integers (64 bit words for example); there is no easy way to represent the bit sequence 0110 without making it at least 00000110, but more likely 64 bits, which becomes am
98.
by axman6 12y ago
Would 9/11 really need that many people to stage? The actual plot was executed by a fairly small number of people; surely faking it wouldn't take more than an order of magnitude more, especially when you control much of the proces
99.
by axman6 12y ago
I've been reading "Command and Control" after it was linked here a month or so ago [1]. It's fascinating to see just how lax the US was about nuclear safety for almost 2 decades before really researching how to make nucl
100.
by axman6 12y ago
Without an excellent argument, I don't think I can agree. Many members of the public believe patents are a bad thing for society because 99% of all reporting on them is about the negative aspects; you rarely hear about the good that ha
101.
by axman6 12y ago
How does this patent APPLICATION harm anyone? It discloses some technical information (though clearly this is already a well known idea), and Facebook will never be awarded a patent for this. The public benefits from dud patents because the
102.
by axman6 12y ago
The binop stuff you can certainly use freely, the X macro stuff is quite well known so I guess that it's also fine to use. I certainly won't be claiming any copyright on the code I shared =) My personal preference for licensing is
103.
by axman6 12y ago
If I had time and a job where I got to code I would, but it'll be a few days before I have time.
104.
by axman6 12y ago
Seems like [1] could benefit from use of the X macro [2], should make adding new instructions much easier and you can avoid the hassle of having to keep two separate tables in sync. There's probably quite a few places where the code co
105.
by axman6 12y ago
Oh, I didn't realise the linked article wasn't the actual seL4 website.
106.
by axman6 12y ago
As others have stated, there was a heavy dose of sarcasm to my comment; I felt that HN would be the sort of place where "/s" weren't necessary but I guess not.
107.
by axman6 12y ago
I'm not worried, I'm the only one with that code and even I can't access my account. What a trainwreck.
108.
by axman6 12y ago
In most countries those aren't valid because they aren't a Manner of Manufacture. If it's a physical impossibility, it's not allowable.
109.
by axman6 12y ago
> You just openly admitted that you knowingly infringed on a patent. US patents have no baring in Canada, they currently haven't done anything wrong at all.
110.
by axman6 12y ago
Do you honestly think that it even possible that examiners spend years examining cases? I can tell you with 100% certainty they do no, and the cost to the tax payer of doing so would be astronomical. Most bad patents are rejected, but you n
111.
by axman6 12y ago
> years are spent examining it It's more like a day or two are spent actually examining any case in general. It takes so long because a) it has to (there is an 18 month period between submission and publication) and b) there are a l
112.
by axman6 12y ago
Depending on the design, isn't there some chance that the heat could detonate the conventional explosive used to force the nuclear material together? as far as I understand it, there is definitely a risk of detonation, though it's
113.
by axman6 12y ago
But the terrists are real. Did you already forget 9/11, the greatest tragedy ever inflicted by man upon itself?
114.
by axman6 12y ago
The FAQ[1] has a hell of a lot of info about what seL4 does and does not do. [1] http://sel4.systems/FAQ
115.
by axman6 12y ago
People are downvoting because this is not reddit. Off topic discussion is far less welcome here (though tolerated if suitably interesting).
116.
by axman6 12y ago
I've written some nice, very clear C code using recursion; a nice example was a simple copying garbage collector which has something like 2-3 words of overhead on the stack per recursive call (made use of some global variables to reduc
117.
by axman6 12y ago
Not all recursive functions can be rewritten to be non-recursive. The Ackerman function is one such example. It's clearly tail recursive, but not only tail recursive so it must use some kind of stack or tree or something which isn;t li
118.
by axman6 12y ago
"This was a COMPLETE failure! It FELL OVER! THEY'RE JUST TRYING TO SAY IT WAS SUPPOSED TO DO THAT AFTERWARDS! SELL ALL SpaceX STOCK PEOPLE!" We've all seen this sort of crap to one degree or another. Sadly a lot of it ri
119.
by axman6 12y ago
Welcome to Hacker News, where every article is wrong and contributes nothing.
120.
by axman6 12y ago
I guess they just mean a superannuation plan.

More ›