Hacker News
- So you want to write a type checker (2014) http://languagengine.co/blog/so-you-want-to-write-a-type-checker/ 98 comments
- Symbolic Machine Learning http://languagengine.co/blog/symbolic-machine-learning/ 20 comments
- A Jarvis-like AI for your apps, drones, robots [video] http://www.languagengine.co/ 16 comments
- What Happened to Old School NLP? http://languagengine.co/blog/what-happened-to-old-school-nlp/ 47 comments
- Differentiating Functional Programs http://languagengine.co/blog/differentiating-functional-programs/ 12 comments haskell
- Proof Refinement Basics http://languagengine.co/blog/proof-refinement-basics/ 4 comments haskell
- Regex Edit Distance - calculating the edit distance between a string and a regex http://languagengine.co/blog/regex-edit-distance/ 8 comments haskell
- Regex Edit Distance - calculating the edit distance between a string and a regex http://languagengine.co/blog/regex-edit-distance/ 8 comments programming
- Differentiating Regular Expressions http://languagengine.co/blog/differentiating-regular-expressions/ 8 comments haskell
- Generic Evaluators - a technique for defining different evaluation styles (lazy vs. eager, stack based, etc.) in a language-generic way http://languagengine.co/blog/generic-evaluators/ 17 comments haskell
- Precedence with Haskell http://languagengine.co/blog/precedence-with-haskell/ 2 comments haskell
- Making Sense of Subtypes http://languagengine.co/blog/making-sense-of-subtypes/ 23 comments haskell
- Making Sense of Subtypes (a tutorial on how to not screw them up) http://languagengine.co/blog/making-sense-of-subtypes/ 14 comments programming
- Type Checking in JavaScript http://languagengine.co/blog/type-checking-in-javascript 8 comments programming
- NLP for AI Needs Structured Meaning http://languagengine.co/blog/nlp-for-ai-needs-structured-meaning/ 6 comments artificial
- What Happened to Old School NLP? http://languagengine.co/blog/what-happened-to-old-school-nlp/ 11 comments artificial
- What Happened to Old School NLP? http://languagengine.co/blog/what-happened-to-old-school-nlp/ 11 comments programming
- The Conversational AI Problem Landscape http://languagengine.co/blog/the-conversational-ai-problem-landscape 16 comments artificial
- Implementing Language Engine - Pluralities in Semantics (part 2) http://languagengine.co/blog/pluralities-in-semantics-2/ 5 comments haskell
- Implementing Language Engine - Pluralities in Semantics (part 1) http://languagengine.co/blog/pluralities-in-semantics-1/ 5 comments programming
- languagengine - a tool for enabling voice control in any app http://www.languagengine.co/ 4 comments programming