|
|
|
|
|
|
by davidgay
3447 days ago
|
|
|
I like LLVM. But in the world of programming languages/compilers, someone like Xavier Leroy (a real, proved correct C compiler) is much more a name that I would associate with a drive for "software correctness and reliability". |
|
|