WallWextra

11 ms·

61.
by WallWextra 10y ago
How did the swastika one even leave the designer's sketch pad?
62.
by WallWextra 10y ago
The correctness proof of the seL4 microkernel supposedly makes no assumptions of the compiler and verifies the binary output. I don't know the details.
63.
by WallWextra 10y ago
Yeah, it's not like twitter runs https to keep your tweets secret.
64.
by WallWextra 11y ago
Infineon owns IR.
65.
by WallWextra 11y ago
Of course. I'm saying the important part is not that the class is bigger, the important part is that it's a Banach space.
66.
by WallWextra 11y ago
The main advantage of the Lebesgue integral isn't its generality, but the convergence theorems which give you L^p spaces. The gauge integral, despite being more general, doesn't have these properties and nobody uses it.
67.
by WallWextra 11y ago
And he was a kid .
68.
by WallWextra 11y ago
Can you imagine a physics department where the chair is on administrative leave?
69.
by WallWextra 11y ago
You can already have userspace ethernet drivers on Linux.
70.
by WallWextra 11y ago
Talking to weirdos on the internet is one of my primary forms of recreation. I find IRC is a good place to do it.
71.
by WallWextra 11y ago
Just to be clear, this is a compiler optimization. Do you mean the readability of the generated assembly code?
72.
by WallWextra 11y ago
Apparently they switched because VLIW wasn't good for GPGPU workloads, which is in keeping with the general theme, that VLIW works very well on certain highly-specific DSP-ish workloads.
73.
by WallWextra 11y ago
Parallel, speculative execution is what's unavoidable. The VLIW idea of statically compiler-scheduled parallelism and speculation has not been successful for general-purpose code. The last generation of Itanium abandoned explicit, stat
74.
by WallWextra 11y ago
What are some examples besides Mill? To be honest, I am totally ignorant of what new ISAs are out there. The only things I can think of are AArch64 and RISC-V (not commercially relevant, but well-publicised) and they are both pretty standar
75.
by WallWextra 11y ago
Last I heard, the Mill guys don't even have a compiler working, but do have a simulator. Not sure what they're simulating.
76.
by WallWextra 11y ago
ctrl+f "FUNDAMENTAL PROBLEM" to find his writeup of the actual difficulties of fast VAX implementations, including ways that x86 is easier than VAX. The big whammy is string ops where the length operand can be indirectly-addressed
77.
by WallWextra 11y ago
If syscalls are slow, it seems weird to put your GUI code in the kernel, requiring a syscall to access it.
78.
by WallWextra 11y ago
Does it execute in ring 0? I don't really understand how Windows works.
79.
by WallWextra 11y ago
Does anybody know the precise (more precise than given in the slides) reason Windows had to put a font renderer in the kernel? That's absolutely insane. EDIT: holy jeez, this isn't even the whole thing. MS has their own first-part
80.
by WallWextra 11y ago
I wonder how suitable commercially available discrete MOSFETs are for building logic? They're all made for power applications. Of course, it's not like discrete BJTs are "suitable" either.
81.
by WallWextra 11y ago
There are a lot of things about working in an office that are unhealthy, but you have to do what you have to do.
82.
by WallWextra 11y ago
It was very DJB of him to use the gauge integral, which nobody else does.
83.
by WallWextra 11y ago
There are now chip-scale atomic clocks: http://www.microsemi.com/products/timing-synchronization-sys... You probably can't afford them to do a science experiment with your kids. Hopefully they'll start puttin
84.
by WallWextra 11y ago
So, what have they got so far? Do they even have Newtonian physics expressed in their new language?
85.
by WallWextra 11y ago
To be fair, keeping advanced browser features out of the hands of restaurant websites sounds like a good thing.
86.
by WallWextra 12y ago
It's very tractable if you don't insist on the diff reconstructing the target file byte-for-byte. But this would require pretty invasive changes in the version control system, no? If you change the top-left pixel of a PNG, for exa
87.
by WallWextra 12y ago
What about compressing the same image with two different encoders? Or with different zlib settings? Even if the diff after lossless decompression is small, you have to somehow reconstruct the decisions that the compressor made on the targe
88.
by WallWextra 12y ago
A bit-exact differ for, say, jpegs, probably wouldn't work all that well. Even for losslessly compressed formats, it's very complex and I'm not sure how small the diffs would be.
89.
by WallWextra 12y ago
NEC is still making their weird vector computers. I have no idea who buys them, but there's a hotchips about it.
90.
by WallWextra 12y ago
First, I would dispute that a cortex A9 is comparable to a Core 2. Second, if ARM is in fact getting that close to Intel, I would attribute it to diminishing returns, and not some mythical property of the ISA that makes it difficult to impl

More ›