rdc12

23 ms·

151.
by rdc12 11y ago
That sounds like you are hinting at some form of prefix-adder, they are quite need in that they scale (N being the bit length), in a logarithmic way.
152.
by rdc12 11y ago
Karnaugh maps can identify hazards and then also illustrate what the additional logic gates can be inserted to correct the problem. Having a different number of gates on different paths throu a circuit can cause the same problems (say (A &a
153.
by rdc12 11y ago
Quite neat to be able to see, the logic on the board instead of being hidden inside mass blob of transistors.
154.
by rdc12 11y ago
And if you look at computers based on drum memory, then you probably didn't have a PC, the optimal place for the next instruction then wasn't the next address, but instead how far the drum rotated during execution, at least in som
155.
by rdc12 11y ago
Is it possible do branching on an IO stream (without using a buffer, or what would really be some memory for CPU60)?
156.
by rdc12 11y ago
I remember seeing Crab a while back on HN, and thinking I don't see why you would want this, but when you mentioned thinking in sets it was way more clear. It may be cause I don't use SQL often that I didn't click. Prehaps th
157.
Olivier Blanchard’s tenure at the IMF(washingtonpost.com)
2 points by rdc12 11y ago|0 comments
158.
by rdc12 11y ago
Last time I looked the "naive"[1] version of fizzbuzz, when compiled with GCC or Clang, was converted to a branchless version (for x86 at least). I don't remember what -O level was needed thou. [1] as is the if and modulo bas
159.
by rdc12 11y ago
Do you have a link to that discussion/paper, sounds intersting
160.
by rdc12 11y ago
And the MIPS is based on a 90nm process vs the 32nm of the Sandy Bridge they tested, while that is relevent to what you can buy, it says nothing about the intrinsic properties of the design. Intel has had a massive advantege in fabrication
161.
by rdc12 11y ago
Thanks for the reminder, thought it was still a few weeks away.
162.
by rdc12 11y ago
Except under Linux fork() has COW semantics, so only heap variables that change will be copied, thou I suspect that could be a large portion of a Python process anyway
163.
by rdc12 11y ago
And I assume that when a rider runs off line onto the marbles [1] they stick to the tire as well, which reduces the ammount of sticky tire in contact with the track. They are also probably unstable compared to the tire. [1] Little pieces of
164.
by rdc12 11y ago
I wonder if (not the homicide stats) being aware of these stats would improve your chances of not ending up in a weeker finanicial position, avoiding the common traps kind of thing.
165.
by rdc12 11y ago
Except that is not what the orginal posts [1] author said, he slagged off Pratchett's writing calling it pot boiler and calling Pratchett himself mediocre, while being preachy about his taste. Despite having never read any of his work
166.
by rdc12 11y ago
There is a difference between the types of videos that end up on youtube and are availiable on DVD, the intersection of the two will be quite small and if you compare to say Netflix, their content is a subset of the DVD content (Netflix org
167.
by rdc12 11y ago
Anyone know if this is part of a longer talk? If so which
168.
by rdc12 11y ago
The article that started this conversation, completely disagrees with you, and they cite the historical record of the early honorary degrees.
169.
by rdc12 11y ago
How would XV6 compare to V6 for code elegance? XV6 being a reimplementation, of V6 Unix with ANSI C and targeting X86 instead. But was done by different people as far as I know.
170.
by rdc12 11y ago
Im not sure I would call Erlang obscure any more, it has stories that end up on the front page often, with plenty of comments, is being used at a fair number of companies now. Sure it is not as well known as languages like Java, C, and Pyth
171.
by rdc12 11y ago
I have had a quick skim (10 - 15 minute reads at a random points, until I have time to read it properly) of Real World Ocaml. So far it looks great, and is very pragmatic and also covers useful tools for working in Ocaml (imho that should b
172.
by rdc12 11y ago
Pretty sure this is the same video, but on youtube itself. https://www.youtube.com/watch?v=5v6o-VsLAew
173.
by rdc12 11y ago
A quick skim over the code, shows it to be fairly small. ~1000 lines for the prover (little more in ACL2, little bit less in Scheme). And about another 1000 lines for all the examples from the book (they too would need to be redone)
174.
by rdc12 11y ago
How many people are capable of doing nothing thou, 9x% of people will still find something productive (either in the current commercial sence or more the art/craft sence) or find someother way to find satisfy their more personal needs&
175.
by rdc12 11y ago
Hurd is the higher level services of a micro-kernel, but uses existing kernels for the actual part in kernel space (normally GNU Mach). So this would be replacing Mach with L4, retaining Hurd for the user space operating system components.
176.
by rdc12 11y ago
Or shifting most devices to using some form of ECC memory
177.
by rdc12 11y ago
"Cant the erratic behavior of the transistors (eg flawed ones overheating)" Yes but that is either a manafacturing defect (if persistant) or a transient error, or running out of speced tolerances. Or simply details of reality. Whe
178.
by rdc12 11y ago
Glad too see that I am not the only person to quite excited about the The Little Prover. Don't think I have ever felt this way about the release of a CS book.
179.
by rdc12 11y ago
cd - is another nice one, cd to the last working directory (there is a powerful variant using push and pop), but with the - you don't have to remember to push at any point.
180.
by rdc12 11y ago
But at the same time, they do become something like second nature, having them mean something different in another application can be annoying. That is what I like about Firemacs.

More ›