I just uploaded “Examples of the Subjunctive Form in Pashto” to #Vimeo: vimeo.com/683931900

A little diagram to illustrate how Pashto sentence structure works with verb phrases. #Pashto

youtube.com/watch?v=iaVbnx…

Working on the LingDocs Pashto Grammar and it's getting closer and closer to completion! You can find all kinds of interactive examples and quizzes to help you master all the idiosyncracies of Pashto. grammar.lingdocs.com

Check out the LingDocs Pashto Dictionary. It includes smart searching, inflections, and even a phrase building engine. dictionary.lingdocs.com

Find me on Mastodon as well 👇 mastodon.social/@lingdocs

Pashto is a split-ergative language.

The LingDocs Pashto dictionary now has audio recordings of Pashto words. More being added every week! dictionary.lingdocs.com

youtube.com/watch?v=4uKQxV…

This is the best explanation of a use case/motivation for a Reader monad that I could find. Great writeup! Kyle Corbelli engineering.dollarshaveclub.com/the-reader-mon…

This is a great explanation of the continuation monad, especially the section on how we can translate between algabraic data-types and functions. 🤯 haskellforall.com/2012/12/the-co…

Almost every single time something breaks in an app and I go digging for the error, I end up with one of these guys. - as - ts-ingore Type checking is life.

urdu-numbers.lingdocs.com

Curry-Howard Correspondence shower thought of the day: Writing proofs for basic rules of algebra and number theory is like writing functions for the standard library of a language.