Pinned toot

U of Utah is recruiting funded & positions. Syntax, semantics, phonology, 2nd language acquisition, computational ling; historical, 2nd lang pedagogy, psycholinguistics, sociolinguistics. Information session on 29 Sep: linguistics.utah.edu/graduate/

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 .

Countries of #Europe where escaping of prison is not a crime.

So proud of #Belgium and the others on that one. Wanting to be free should never be a crime.

Sea urchins like to pick up shells and rocks and wear them as "hats"; the reason isn't well-understood, but it may protect them from predators or help weigh them down so they're less likely to be washed away during storms. So some aquarists have taken to making tiny hats for their sea urchins, which the urchins voluntarily pick up and put on:

Behold. A memory frame. A woven tapestry of ferrite cores whose polarity can be switched using electrical charges, thereby storing bits of information.

Show thread

barring any last minute bug fixes I may make, my lisp game jam submission is done! this is the best, most polished game I've ever made and it's also the first time I've made all of the code, art, sound effects, and music.

there is one strange bug that appears *only* in the binary build (doesn't happen when you build it from source) that makes exiting the program strange, but I don't think I'll be able to diagnose the issue before the jam is over.

davexunit.itch.io/bonnie-bee #gamedev

gf took a bad picture of the cat. it's the best cat picture ever taken

Funniest thing a cat can do is flehmen where they smell a spot and then look like they just received the most shocking news

Tech opinion 

Lol no. None of these technical issues are the reason Linux isn't used more on the desktop. Sure, they're problems and they need to be solved and Linux would benefit a whole lot from all that.

But the reason 2021 is still not the year of the Linux desktop is that micro soft and aplpe have convinced people that they need a proprietary OS that costs money, limits what you can and can't do with your computer and puts you under constant surveillance.

itvision.altervista.org/why.li

@temporal The difficult part of a bicycle are the bearings. We have only figured out how to make good ball bearings, with hard steel balls, relatively recently.

But most post-apo technology is scavenged, and ball bearings don't go bad. It is certainly orders of magnitude easier to make a working bicycle from scavenged parts, than to make a working car. And you don't need fuel and a million other consumables the car takes. A glob of any kind of grease will get you going for a long time.

“Ubuntu” is a Nguni term meaning humanity from Southern Africa, East Africa's other Bantu languages with related term, Kiswahili name is “Utu”, Kimeru, “Umuntu”, Kikuyu “Umundu”

Africa doesn't deserve borders.

I was near to my own Bed. I'm proud.

— Oddom Dumatsárek, Wrestler

this guy is gonna be the republican nominee for senate in ohio

Show thread

Me: I think I'll open this kitchen drawer.

Potato masher: The fuck you will.

from: twitter.com/kh4POTUS/status/14

I went to an archeology event this morning and we got to throw darts with an atlatl (not very well =D ) and observe some flint/obsidian knapping, and see some people working at a dig site. Amazing stuff and awesome to stand on a hill where thousands of years of ancestors camped, hunted and made tools.

Witnessed a freshly made obsidian flake cut through hide like butter. Incredible. The edge is one molecule thick, the sharpest thing ever made apparently

Show older
types.pl

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