submitted by dons to programming [link] [15 comments]

Read more here:
GHC Haskell switches to an LLVM backend!
submitted by dons to programming [link] [15 comments]

Read more here:
GHC Haskell switches to an LLVM backend!
submitted by mprovost to programming [link] [83 comments]

More here:
Stackless Python outperforms Google’s Go
submitted by dons to programming [link] [33 comments]

More:
seL4 : World’s first machine-checked proof of a general-purpose operating system kernel
submitted by dons to programming [link] [24 comments]
