Notably First Paper on Type Polymorphism

Robin Milner - Polymorphism (1977)



Reference Link: http://thomasfeng.com/papers/milner78theory.pdf

Tarski's influence on computer science

I wish I understand atleast half of THIS.

Women at Work

Ada Lovelace - World's First Programmer

Grace Hopper - World's First compiler developer

Just women :)

Game of Life

Conway's Game of Life

Note the section Algorithms.

Itanium Compiler - Perennial Wishlist

Knuth's interview: http://www.informit.com/articles/article.aspx?p=1193856


Donald: I don’t want to duck your question entirely. I might as well flame a bit about my personal unhappiness with the current trend toward multicore architecture. To me, it looks more or less like the hardware designers have run out of ideas, and that they’re trying to pass the blame for the future demise of Moore’s Law to the software writers by giving us machines that work faster only on a few key benchmarks! I won’t be surprised at all if the whole multithreading idea turns out to be a flop, worse than the "Itanium" approach that was supposed to be so terrific—until it turned out that the wished-for compilers were basically impossible to write.

Compilers for GPUs

A nice overview on the current compilation problems for GPU architectures:

http://www.cs.unc.edu/Events/Conferences/GP2/slides/Cooper.pdf

(read from slide 28)

GCC missing obvious optimizations on x86

         Give up on pushing CC_OPTIMIZE_FOR_SIZE

I still happen to believe that I$ miss costs are a major thing, but

sadly, -Os doesn't seem to be the solution. With or without it, gcc

will miss some obvious code size improvements, and with it enabled gcc

will sometimes make choices that aren't good even with high I$ miss

ratios.

For example, with -Os, gcc on x86 will turn a 20-byte constant memcpy

into a "rep movsl". While I sincerely hope that x86 CPU's will some day

do a good job at that, they certainly don't do it yet, and the cost is

higher than a L1 I$ miss would be.

Some day I hope we can re-enable this.

Signed-off-by: Linus Torvalds

Reference:  Linux Kernel GIT