Pinned toot

proper introduction 

I do things with words. And the things that lie behind words.

For work, much of my research is on Formal and its interfaces. Much of my research also involves Historical Linguistics to a certain extent, as well as Syntax and Morphology. My central tool for (semantic) analysis is a predicate logic-style system augmented with a typed Lambda Calculus.

I frequently research languages of South Asia (e.g. Hindi, Nepali, Sinhala, Sanskrit) & less frequently on those of the West Indies (Patois, RastaTalk & the role of African languages in the Caribbean), as well as a bit of OldEnglish (cf. heorot.dk ).

I have a certain wary enthusiasm about particular types of technology. and fine more generally. things, including Common Lisp, and Scheme (Guile, Racket), and , as a sort of incarnation of a minor Lisp Machine. (Software I've written mainly resides (for the moment) at: gitlab.com/emacsomancer/ )

Within , 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 Indo-European 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: 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.

Miscellany of various sorts: interests in straight razors, khukuris, fountain pens (use & restoration for these) and ink, bookbinding, and more generally 'crafting' things of various sorts (cooking, baking, brewing (including ginger beer, kefir)) and other kinds of tinkering (e.g. working on old ThinkPads).

More things to do with words, in the past year or so returning to - with interests/influences from Old English and Middle English poetry, as well as modern poets such as Charles Reznikoff, Charles Bukowski, Allen Grossman. And from the last especially meta-poetic ponderings (poetry as "the means of last recourse", a sort of "bright logic", that is, a particular sort of knowledge of special kind of value "but only when it encounters, and forces, into visibility (puts where you can see), whatever it is that resists your will to know and to love").

And, an intersection of various interests, thinking about Forms and Meaning. And how to deal with the production and maintenance of various kinds of Valuing ("granting or withholding of existence"), including how to understand movements from finiteness (of various kinds) to ℵ₀, and further to ℵ₁.

Pinned toot

What we’re excited about in the Linux and FOSS world, what we’re worried about, and what we can do about it. From the upcoming Plasma release to getting more young people involved. Plus what a long-standing bug with Snaps shows us about the open source ecosystem.

latenightlinux.com/late-night-

oh btw if you didn't know, the Thesaurus Linguae Latinae (TLL) is free and open-access, and chugging along in terms of completess (A-R is mostly complete!).

And Diogenes can link to dictionary entries!
thesaurus.badw.de/en/tll-digit

Diogenes: d.iogen.es/d/

I'm out in the garden and my partner is indoors. Unable to think of any other mischief to get up to, naturally the printer is now haunted and going 'WOOOOoooOoOooooOooOOOOooo'

Veloren is an open-source multi-player voxel role-playing game that can be self-hosted (and has more adventure and fun than Minecraft)

It is inspired by games such as Cube World, Legend of Zelda: Breath of the Wild, Dwarf Fortress and Minecraft.

You can play single player or multi-player, standalone or use an online server, or even host your own server in a Docker container, or on a Raspb ...continues

See gadgeteer.co.za/veloren-is-an-

#gaming #opensource #selfhosting #technology #Veloren

House of Leaves is wild. I'm amazed at the skill of horror authors who can take an ordinary, joyous occasion (like finding strange new rooms in your house), and transform it into something terrifying.

Alexander the Great flies to Paradise, is driven back by a seraph, but manages to steal a branch from a celestial fig tree – this is placed in Jerusalem and later, the Queen of Sheba is healed by stepping on it (Ethiopia, AD 1932) - twitter.com/ArtEthiopic/status

Remember Christian Cooper? Bird watching while black in Central Park had 911 called on him because his blackness threatening someone. Must have been those dangerous binoculars!

Christian will be the host for National Geographic's new show "Extraordinary Birder", a six-episode series to premiere June 17, on Nat Geo.

When the joke isn't worth the time someone put into making it, yet here I am sharing it, so maybe it was ...

beauty things, curious about your skin 

talk to me about .

what do you do? tell me anything you're willing to tell me. whether you do absolutely nothing beyond taking a bath, or whether you spend a fortune in spa treatments and injectables every month, or whether you know the secret to the best drug store moisturizer in history, or whether you have a rant about beauty culture or unrealistic expectations, or whatever you want to say.

This should absolutely piss everyone off! I know it makes me angry.

Looks like Humble has an audiobook bundle that includes ALL of the Murderbot books by @marthawells for just $20, which is an incredible deal. I’ve listened to them all and they’re well produced audiobooks if some fantastic stories. humblebundle.com/books/marthaw

Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.