Hacker News
- Vampire: First-Order Theorem Proving [pdf] http://www.cse.chalmers.se/~laurako/pub/CAV13_Kovacs.pdf 19 comments
- Haskell’s State monad is not a monad (2014) http://www.cse.chalmers.se/~nicsma/no-state-monad.html 69 comments
- Why Functional Programming Matters (1984) [pdf] http://www.cse.chalmers.se/~rjmh/Papers/whyfp.pdf 140 comments
Lobsters
- A Very Small SAT Solver http://www.cse.chalmers.se/~algehed/blogpostsHTML/SAT.html 2 comments compsci , haskell
- How to use QuickCheck on self-defined syntax(Haskell)? http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html 16 comments haskell
- Explain to me like I am 5 : using Spherical Harmonics coefficients http://www.cse.chalmers.se/~uffe/xjobb/Readings/GlobalIllumination/Spherical%20Harmonic%20Lighting%20-%20the%20gritty%20details.pdf 20 comments graphicsprogramming
- Combining Deep and Shallow Embedding of Domain-Specific Languages http://www.cse.chalmers.se/~josefs/publications/svenningsson2015combining.pdf 6 comments haskell
- [Research] Survey on Robotics Software Engineering http://www.cse.chalmers.se/~bergert/roboticssurvey/ 4 comments robotics
- A Very Small SAT Solver http://www.cse.chalmers.se/~algehed/blogpostshtml/sat.html 11 comments haskell
- Week 19-Does logic say we aren't computers? (Or, Gödelian arguments against mechanism) http://www.cse.chalmers.se/~coquand/AUTOMATA/mcp.pdf 117 comments philosophy
- Haskell has no state monad http://www.cse.chalmers.se/~nicsma/no-state-monad.html 94 comments haskell
- Principled Practical FRP: Forget the past, change the future, FRPNow! (ICFP paper) http://www.cse.chalmers.se/~atze/papers/prprfrp.pdf 36 comments haskell
- A library for lightweight higher-order rewriting in Haskell http://www.cse.chalmers.se/~emax/documents/axelsson2015lightweight_draft.pdf 6 comments haskell
- Nix: The Cabal Purgatory HOWTO http://www.cse.chalmers.se/~bernardy/nix.html 45 comments haskell
- The Prettiest Printer --- Building pretty-printing library with nicer outputs http://www.cse.chalmers.se/~bernardy/prettiest.html 5 comments haskell
- Simon Marlow's slides about the Par monad (Guest lecture at Chalmers) http://www.cse.chalmers.se/edu/course/pfp/lectures/lecture2/marlow14.pdf 5 comments haskell
- Why Functional Programming Matters http://www.cse.chalmers.se/~rjmh/papers/whyfp.pdf 543 comments programming
- Names For Free — Polymorphic Views of Names and Binders [PDF] http://www.cse.chalmers.se/~bernardy/namesforfree.pdf 6 comments haskell
- Simple and Compositional Reification of Monadic Embedded Languages (pdf) http://www.cse.chalmers.se/~joels/writing/bb.pdf 19 comments haskell
- Coquand, Bezem and Huber have developed a constructive model of homotopy type theory http://www.cse.chalmers.se/~coquand/bern.pdf 6 comments math
- Generic monadic constructs for embedded languages [pdf] http://www.cse.chalmers.se/~josefs/publications/paper21_cameraready.pdf 5 comments compsci
- `seq` breaks your monad? "Fast and Loose Reasoning is Morally Correct", POPL'06 http://www.cse.chalmers.se/~nad/publications/danielsson-et-al-popl2006.html 19 comments haskell
- Why Functional Programming Matters http://www.cse.chalmers.se/~rjmh/papers/whyfp.html 202 comments programming
- QuickSpec. Guessing Formal Specifications using Testing :: PDF http://www.cse.chalmers.se/~nicsma/quickspec.pdf 3 comments haskell
- Poor man's equality proofs http://www.cse.chalmers.se/edu/course/afp/exam-10mar/problem2/proof.hs.html 3 comments haskell