Reblogged by cstanhope@social.coop ("Charles Stanhope"):
emacsomancer@types.pl ("'(B . Slade)") wrote:
I do things with words. And the things that lie behind words.
I'm a #Linguistics professor, working mainly on Formal #Semantics and its interfaces. Much of my research also involves Historical Linguistics (/#Philology) to a certain extent. My central tool for analysis is a predicate logic-style system augmented with a typed #LambdaCalculus.
I frequently research languages of #SouthAsia (e.g. #Hindi, #Nepali, #Sinhala, #Sanskrit) & the #WestIndies (#Patois, #RastaTalk & the role of #African languages in the #Caribbean), as well as a bit of #OldEnglish (https://heorot.dk ).
I have a certain wary enthusiasm about particular types of technology. #LaTeX and fine #Typography more generally. #Lisp things, including #CommonLisp, and #Scheme (#Guile, #Racket), and #Emacs, as a sort of incarnation of a minor Lisp Machine. I'm #Haskell-curious, but don't care much for significant whitespace languages. (Software I've written mainly resides (for the moment) at: https://gitlab.com/emacsomancer/ )
Within linguistics, I work on a fairly wide range of things, from the use of delimited continuations in natural language semantics to the morphology of #Rastafari language to #Cyberpunk neologisms to #IndoEuropean myth-preserving formulaic language (slaying of dragons and worms) to algorithmic detection of different focus types and constituents in unannotated plaintext. (you can see more about these things here: https://lambda-y.net )
Recently, I've been exploring the use of devices borrowed from computer science (e.g. delimited continuations, monads) for working out computational issues in natural language semantic formalism.
Interested in social equity and its intersection with my other endeavours. Strongly #AntiCapitalist and #AntiWhig.