ngzhian
Joined 14 years ago
Joined 14 years ago
- An Axiomatic Basis for Computer Programming by C. A. R. Hoare
- The Next 700 Programming Languages by P. J. Landin
The most recent paper I've read is:
- Storage strategies for collections in dynamically typed languages - Bolz, Diekmann, Tratt
I blog about some papers I've read on my blog [0], and these three papers I've mentioned have their own post, where I summarize key ideas of the papers. Take a look if you're interested.
A useful tool for writing OCaml in Vim is Merlin [0].
Facebook uses OCaml as well [1] [2] [3]
A great tutorial is [4]
[0] https://github.com/ocaml/merlin
[1] https://github.com/facebook/reason
[2] https://github.com/facebook/flow/
https://chrome.google.com/webstore/detail/quickview-for-yout...
haxor
Unofficial Python wrapper for official Hacker News API
If you are interested to bring more SIMD instructions, you can participate in the SIMD subgroup. What's needed is interest in suggesting new instructions, working on a proposal (following the process) and pushing it through. Compiler expertise not required :)