Hacker News
- Faster Random Sampling Methods (1984) [pdf] http://www.ittc.ku.edu/~jsv/Papers/Vit84.sampling.pdf 3 comments
Lobsters
- PALLOC: DRAM Bank-Aware Memory Allocator for Performance Isolation on Multicore Platforms http://www.ittc.ku.edu/~heechul/papers/palloc-rtas2014.pdf 2 comments pdf , performance
- Constrained Monads (GADTs indexed by Constraint) http://www.ittc.ku.edu/csdl/fpg/papers/sculthorpe-13-constrainedmonad.html 5 comments haskell
- Interactive Haskell program optimisation using HERMIT - Create your optimisations in a REPL during compilation http://www.ittc.ku.edu/csdlblog/?p=105 6 comments programming
- Introducing the HERMIT Equational Reasoning Framework http://www.ittc.ku.edu/csdlblog/?p=105 20 comments haskell
- Monad Reification in Haskell and the Sunroof Javascript compiler http://www.ittc.ku.edu/csdlblog/?p=88 26 comments haskell