Hacker News
- Systems Benchmarking Crimes (2010) https://www.cse.unsw.edu.au/~gernot/benchmarking-crimes.html 3 comments
- A Haskell Lover's Plea https://www.cse.unsw.edu.au/~cs4132/haskell-poem.html 7 comments
- Microkernels in a Bit More Depth (2007) [pdf] https://www.cse.unsw.edu.au/~cs9242/07/lectures/04-uk.pdf 4 comments
- An LLVM backend for GHC: implementation and benchmarks: PDF http://www.cse.unsw.edu.au/~pls/thesis/davidt-thesis.pdf 8 comments
Lobsters
- Advanced Operating Systems COMP9242 2020/T2 https://www.cse.unsw.edu.au/~cs9242/20/lectures.shtml 2 comments compsci , education , osdev
- Quake III Arena in Haskell https://www.cse.unsw.edu.au/~pls/thesis/munc-thesis.pdf 2 comments games , haskell , pdf
- Does accelerate-llvm make repa obsolete? http://www.cse.unsw.edu.au/~chak/papers/acc-llvm.pdf 4 comments haskell
- A cool paper I found on "Functional Programming and 3D Games". It discusses everything from collision detection to physics and texturing. [PDF] http://www.cse.unsw.edu.au/~pls/thesis/munc-thesis.pdf 3 comments haskell
- Generalizations of the transpose operator http://www.cse.unsw.edu.au/~chak/papers/LCK06.html 4 comments compsci
- Embedding Foreign Code http://www.cse.unsw.edu.au/~chak/papers/acc-ffi.pdf 4 comments haskell
- Optimising Purely Functional GPU Programs (Draft using Data.Array.Accelerate with sharing recovery) http://www.cse.unsw.edu.au/~chak/papers/mckl13.html 7 comments haskell
- Singleton: A general-purpose dependently-typed assembly language http://www.cse.unsw.edu.au/~chak/papers/wc10.html 5 comments programming
- An LLVM backend for GHC : design, implementation, benchmarks (data parallel code got 25% faster) :: PDF http://www.cse.unsw.edu.au/~pls/thesis/davidt-thesis.pdf 28 comments programming
- An LLVM backend for GHC: design, implementation and benchmarks (.. data parallel stuff got 25% faster!) :: PDF http://www.cse.unsw.edu.au/~pls/thesis/davidt-thesis.pdf 13 comments haskell
- Manuel Chakravarty: "We argue that teaching purely functional programming as such in freshman courses is detrimental to both the curriculum as well as to promoting the paradigm" http://www.cse.unsw.edu.au/~chak/papers/ck02a.html 52 comments programming
- The Risks and Benefits of Teaching Purely Functional Programming in First Year http://www.cse.unsw.edu.au/~chak/papers/ck02a.html 4 comments haskell
- Code Obfuscation: Never before has fibs been so awesome http://www.cse.unsw.edu.au/~liamoc/obf.html 18 comments haskell
- Manuel Chakravarty - Converting a HOAS term GADT into a de Bruijn term GADT http://www.cse.unsw.edu.au/~chak/haskell/term-conv/ 4 comments haskell
- ML Modules and Haskell Type Classes: A Constructive Comparison http://www.cse.unsw.edu.au/~chak/papers/wc06.html 10 comments programming
- GPU Kernels as Data-Parallel Array Computations in Haskell : Final Version http://www.cse.unsw.edu.au/~chak/papers/lcgk09.html? 3 comments programming
- Why the programming subreddit sucks http://www.cse.unsw.edu.au/~dons/images/notprogramming.png 216 comments programming
- Program your GPU with Haskell! (non-linkjacked) http://www.cse.unsw.edu.au/~chak/papers/gpugen.pdf 7 comments programming
- Recycle Your Arrays! Stream fusion for in-place updates of pure arrays http://www.cse.unsw.edu.au/~rl/publications/recycling.html 13 comments programming
- Haskell: now with open type-level functions! http://www.cse.unsw.edu.au/~chak/papers/spcs08.html 14 comments programming
- Losing My Science http://www.cse.unsw.edu.au/~malcolmr/essays/losing_my_science.html 2 comments reddit.com
- Multicore parallel death match! Parallel Haskell, `par`, and C http://www.cse.unsw.edu.au/~dons/blog/2007/11/29#smoking-4core 125 comments programming
- Partial Vectorisation of Haskell Programs: implicit parallelism is one step closer http://www.cse.unsw.edu.au/~chak/papers/clpk07.html 3 comments programming
- seL4: a microkernel in Haskell http://www.cse.unsw.edu.au/~chak/papers/dekc+06.html 5 comments programming
- Hot off the press: Towards Open Type Functions for Haskell :: PDF http://www.cse.unsw.edu.au/~chak/papers/sspc07.html 3 comments programming
- Towards a Practical, Verified Kernel : microkernels in Haskell + Isabelle/HOL http://www.cse.unsw.edu.au/~kleing/papers/hotos07.html 16 comments programming
- The Evil Mangler - the Perl script lurking deep inside the Glasgow Haskell compiler http://www.cse.unsw.edu.au/~chak/haskell/ghc/comm/the-beast/mangler.html 22 comments programming
- Haskell implementation shootout http://www.cse.unsw.edu.au/~dons/nobench/results.html 10 comments programming
- Haskell so static? - Dynamically Loaded Haskell Modules http://www.cse.unsw.edu.au/~dons/hs-plugins/ 2 comments programming
- System F with type equality coercions: the new GHC Haskell core http://www.cse.unsw.edu.au/~chak/papers/scp06.html 8 comments programming
- Rewriting Haskell Strings http://www.cse.unsw.edu.au/~dons/papers/csl06.html 3 comments programming
Lambda the Ultimate
- Generative Code Specialisation for High-Performance Monte Carlo Simulations http://www.cse.unsw.edu.au/~dons/papers/SCKCB07.html 4 comments Functional
- Modular Type Classes http://www.cse.unsw.edu.au/~chak/papers/DHC07.html 5 comments Functional
- ML Modules and Haskell Type Classes: A Constructive Comparison http://www.cse.unsw.edu.au/~chak/papers/WC06.html 4 comments LtU Forum
- Plugging Haskell In http://www.cse.unsw.edu.au/~dons/hs-plugins/paper/ 0 comments DSL , Functional , Implementation
- Teaching Purely Functional Programming in First Year http://www.cse.unsw.edu.au/~chak/papers/CK02a.html 3 comments teaching/learning