Hacker News
- Type system of Fortnite's Verse language https://brianmckenna.org/blog/verse_types 152 comments
- Architecture diagrams should be code https://brianmckenna.org/blog/architecture_code 184 comments
- How to stop functional programming https://brianmckenna.org/blog/howtostopfp 122 comments
- Odd Odd Even Proof in Agda http://brianmckenna.org/blog/plus_equals_even_take_2 2 comments
- S-expression Compiler in Scala http://brianmckenna.org/blog/sexp_scala 5 comments
- Escaping Callback Hell with ClojureScript macros http://brianmckenna.org/blog/cps_transform_js 4 comments
- Node.js via CGI http://brianmckenna.org/blog/nodejs_via_cgi 2 comments
Lobsters
- Type system of Fortnite's Verse language https://brianmckenna.org/blog/verse_types 13 comments programming
- Architecture diagrams should be code https://brianmckenna.org/blog/architecture_code 43 comments programming
- Tool Subsumption and Silver Bullets https://brianmckenna.org/blog/tool_subsumption 2 comments programming
- Haskell on Android using Eta https://brianmckenna.org/blog/eta_android 5 comments android , haskell
- How to stop functional programming https://brianmckenna.org/blog/howtostopfp 11 comments programming , satire
- Don't write code on line #45 http://brianmckenna.org/blog/line45 16 comments satire
- QuickChecking non-Haskell Code http://brianmckenna.org/blog/crosscheck 2 comments haskell , show
- Type system of Verse https://brianmckenna.org/blog/verse_types 2 comments programminglanguages
- Haskell on Android using Eta https://brianmckenna.org/blog/eta_android 11 comments haskell
- Category Theory for Promises/A+ https://brianmckenna.org/blog/category_theory_promisesaplus 4 comments javascript
- QuickChecking non-Haskell Code http://brianmckenna.org/blog/crosscheck 4 comments haskell
- Idris as a Library http://brianmckenna.org/blog/idris_library 9 comments haskell
- Category Theory for Promises/A+ http://brianmckenna.org/blog/category_theory_promisesaplus 35 comments programming
- Slides on the Roy programming language http://brianmckenna.org/files/presentations/spainjs-roy/ 14 comments programming
- Roy - IEEE Article http://brianmckenna.org/blog/roy_ieee 4 comments programming
- Roy, A Statically Typed, Functional Language for Javascript. The Functional Web [PDF] http://brianmckenna.org/files/ic-roy.pdf 10 comments haskell