Pinned toot
Pinned toot

proper introduction 

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

I'm a professor, working mainly on Formal 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 .

I frequently research languages of (e.g. , , , ) & the (, & the role of languages in the ), as well as a bit of (heorot.dk ).

I have a certain wary enthusiasm about particular types of technology. and fine more generally. things, including , and (, ), and , as a sort of incarnation of a minor Lisp Machine. I'm -curious, but don't care much for significant whitespace languages. (Software I've written mainly resides (for the moment) at: 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 language to neologisms to 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 and .

Spoilered for nudity - Figma, the company known for making anime figurines, have done a range of classical art figures, including this: the Birth of Venus by Botticelli.

It still has swappable hands etc, so someone has done a photoshoot with Venus doing the "heart hands" pose

When I was a kid I was equally anxious about having to manage the trickeries of the fae folk as I was the dangers of accidentally falling into a crevasse, both things I thought I'd encounter frequently as an adult

gods I just discovered an anti-RSI nuclear weapon!

if you're using logitech trackman track ball on linux, you probs know to enable scrolling w the ball, holding back btn down

$ xinput set-prop "Logitech USB Trackball" 'libinput Scroll Method Enabled' {0,0,1}

just noticed instead of holding it down, you can use that button as a scroll toggle

$ xinput set-prop "Logitech USB Trackball" "libinput Button Scrolling Button Lock Enabled" 1

now you can scroll without pressing and holding any button

Hello! I'm Jag. I'm a designer at DuckDuckGo, and I'm interested in #permacomputing, #privacy, #photography, #retrocomputing, #anticapitalism, and #birding at the moment. (my interests are always changing, though!)

I grew up in the Philippines but now I live in Philly.

#introduction

I don't know why it took me so long to get around to reading @leonardr 's second novel Situation Normal after I absolutely loved his first, but I'm really digging it so far

crummy.com/writing/Situation%2

it's definitely darker than Constellation Games but I love the portrayal of the Terrans as a society dominated by Brands; there's so much going on here and the ways the various cultures interact is richly fleshed out. in a way it makes me think of a Becky Chambers novel with a body count.

"You've got great eyes! I mean, they're no Odontodactylus scyllarus eyes, but still."

"Something that blows my mind is how RECENTLY knitting was invented.
Knitting is probably 1000 years old. Weaving, by contrast, dates back to the neolithic era...."

via: threadreaderapp.com/thread/157

I don’t know if I’d enjoy a game called “command and conker” but I’d probably play it.

Verse Thursday (it's too early edition) 

Here's one I wrote last week:

war some of the time

(stolen from Hank Bukowski)
(for B.)

Easy, what is
easy with you?
Love.
Drowning.

I think
that's it.

On the minotaur's corpse you find a scroll; you attempt to translate it, and discover it's the spell Tenser’s Floating Flames. Someone's doodled a siege in the margin.

The gender of the day is an amorous goblin in a crumbling city.

Show older
types.pl

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