> But maybe, they require you to create special versions of object files where even references internal to each library are referenced there as if they live in a different object file? Is that even possible? The extra…
> Not sure exactly what you mean by this. If you give up determinism, it can be O(changes) - except for time spent statting the input files which, at least in theory, should be possible to avoid by getting the info from…
I agree. It's definitely possible. It's just that the actual benefit is far from reducing link time to "O(changes in the input)" and it would introduce significant complexity into the linker (and keeping LLD simple and…
> While conventional linkers work at the compilation-unit level (one source file, usually), placing that whole source file's functions adjacently in memory [1], an atom-based linker is able to take the smallest linkable…
Every incremental linking technique I'm aware of involves overwriting the output file and does not guarantee that identical input files and command line lead to identical (bit-exact) output files. Incremental linking is…
No, it is just that nobody is currently working on it. Last I talked with the Apple folks they are just busy with other stuff. Patches are definitely welcome for MachO improvements in LLD (as always in LLVM!). You…
What Bjarne doesn't mention is the enormous difference in code size between qsort and std::sort. The flexibility of having the compiler generate a sorting routine from std::sort is convenient but enormously redundant in…
I spent about a week going through Mahajan's OCW course "the art of approximation" (it's quite short and reads quite quickly). It changed how I view problem solving and engineering estimation forever. Grab "entire book"…
FWIW, a single Boeing 747 engine does about 100MW. Such an engine can be considered to "fit on a truck" for some definition of truck. Also consider that much of the size is due to the fan on the front (which is not part…
Ballpark calculation: 400km/h ~ 100m/s air intake cross section ~ 1m^2 ==> ~ 100m^3/s of air going through radiator density of air ~ 1kg/m^3 ==> ~ 100kg/s of air going through radiator specific heat of air ~ 1kJ/(kg *…
Curiously, pNaCl also takes that same route.
It's about more than just shutting down though. Biological complexity makes it infeasible to significantly engineer our biological bodies to e.g. make them smaller to reduce fuel costs, or make backups so that we can…
The biggest barrier to space travel is our biology. We must create non-biological humans that can shut off and wait for the entire trip.
Here's a couple elementary examples that are useful: f[x_Integer]:=x^2 Basically the pattern for the argument of f must match the pattern _Integer, which means that the argument is an integer. If the pattern does not…
Appears to need a bit more robustification. >>> simplify(sqrt(x^2)) Traceback (most recent call last): File "<string>", line 1, in <module> File…
mikeselectricstuff did a hack playing around with this concept <http://youtu.be/qy1w6rTpC2g>. Not nearly as sophisticated as the linked post, but still pretty neat (especially seeing how he messes around with it).
reCAPTCHA is bar none the way to go. Not only is is robust, but it also serves a useful purpose---it uses user answers to the reCAPTCHA to digitize books by having users recognize text from scanned books where OCR would…
FWIW, where it says "Already featuring _several hundred_ items, new content will be added regularly.", the underlining gave me an instinctive urge to click on it, expecting some sort of impressive showcase of the items.…
It ignores it only as much as the average person does.
>Why must it be attractive for a female to be powerful in order for her to succeed? There is an undeniable biological tendency to want to attract a partner. Hence, any human's behavior will tend (in varying amounts)…
> But maybe, they require you to create special versions of object files where even references internal to each library are referenced there as if they live in a different object file? Is that even possible? The extra…
> Not sure exactly what you mean by this. If you give up determinism, it can be O(changes) - except for time spent statting the input files which, at least in theory, should be possible to avoid by getting the info from…
I agree. It's definitely possible. It's just that the actual benefit is far from reducing link time to "O(changes in the input)" and it would introduce significant complexity into the linker (and keeping LLD simple and…
> While conventional linkers work at the compilation-unit level (one source file, usually), placing that whole source file's functions adjacently in memory [1], an atom-based linker is able to take the smallest linkable…
Every incremental linking technique I'm aware of involves overwriting the output file and does not guarantee that identical input files and command line lead to identical (bit-exact) output files. Incremental linking is…
No, it is just that nobody is currently working on it. Last I talked with the Apple folks they are just busy with other stuff. Patches are definitely welcome for MachO improvements in LLD (as always in LLVM!). You…
What Bjarne doesn't mention is the enormous difference in code size between qsort and std::sort. The flexibility of having the compiler generate a sorting routine from std::sort is convenient but enormously redundant in…
I spent about a week going through Mahajan's OCW course "the art of approximation" (it's quite short and reads quite quickly). It changed how I view problem solving and engineering estimation forever. Grab "entire book"…
FWIW, a single Boeing 747 engine does about 100MW. Such an engine can be considered to "fit on a truck" for some definition of truck. Also consider that much of the size is due to the fan on the front (which is not part…
Ballpark calculation: 400km/h ~ 100m/s air intake cross section ~ 1m^2 ==> ~ 100m^3/s of air going through radiator density of air ~ 1kg/m^3 ==> ~ 100kg/s of air going through radiator specific heat of air ~ 1kJ/(kg *…
Curiously, pNaCl also takes that same route.
It's about more than just shutting down though. Biological complexity makes it infeasible to significantly engineer our biological bodies to e.g. make them smaller to reduce fuel costs, or make backups so that we can…
The biggest barrier to space travel is our biology. We must create non-biological humans that can shut off and wait for the entire trip.
Here's a couple elementary examples that are useful: f[x_Integer]:=x^2 Basically the pattern for the argument of f must match the pattern _Integer, which means that the argument is an integer. If the pattern does not…
Appears to need a bit more robustification. >>> simplify(sqrt(x^2)) Traceback (most recent call last): File "<string>", line 1, in <module> File…
mikeselectricstuff did a hack playing around with this concept <http://youtu.be/qy1w6rTpC2g>. Not nearly as sophisticated as the linked post, but still pretty neat (especially seeing how he messes around with it).
reCAPTCHA is bar none the way to go. Not only is is robust, but it also serves a useful purpose---it uses user answers to the reCAPTCHA to digitize books by having users recognize text from scanned books where OCR would…
FWIW, where it says "Already featuring _several hundred_ items, new content will be added regularly.", the underlining gave me an instinctive urge to click on it, expecting some sort of impressive showcase of the items.…
It ignores it only as much as the average person does.
>Why must it be attractive for a female to be powerful in order for her to succeed? There is an undeniable biological tendency to want to attract a partner. Hence, any human's behavior will tend (in varying amounts)…