Hacker News
- Writing a Compiler by Proving It Correct http://liamoc.net/posts/2015-08-23-verified-compiler.html 10 comments
- The Theory of patches-vector http://liamoc.net/posts/2015-11-10-patch-theory.html 12 comments
- Safe: Robust programming in Haskell via types, testing, debugging http://liamoc.net/articles/safe.html 30 comments
Lobsters
- Write Your Compiler by Proving It Correct http://liamoc.net/posts/2015-08-23-verified-compiler.html 8 comments compilers
- The Theory of patches-vector http://liamoc.net/posts/2015-11-10-patch-theory.html 7 comments haskell
- What is abstraction anyway? http://liamoc.net/posts/2017-07-08-abstraction.html 63 comments programming
- The Theory of patches-vector http://liamoc.net/posts/2015-11-10-patch-theory.html 22 comments haskell
- Imperative Reasoning is Hard http://liamoc.net/posts/2013-11-13-imperativereasoning.html 41 comments haskell
- Safe: Robust programming practices in Haskell via types, testing, debugging and documentation http://liamoc.net/articles/safe.html 84 comments programming
- Safe - Debugging, Testing and Documenting Haskell (Presentation) / liamblag http://liamoc.net/2009/11/08/safe-(presentation) 14 comments haskell