Pinned toot

this account is supposed to be smaller and quieter than my main account @xnx38h. if i know you or you're on types.pl i will probably accept a follow request, otherwise you'll have better luck following @xnx38h

Pinned toot

sometimes i'm not doing anything interesting or worthwhile and then i realize there is something i could do that would be both interesting and worthwhile, and then i don't do it

Pinned toot
Pinned toot
david boosted

Okay well i found this person's address but i still don't know their name

Show thread

how the fuck do i find any info on people who wrote a few papers like 70 years ago and only put their first initials and last name on the papers

this is a very weird release. maybe it'll be less weird the next time i boot up this machine

Show thread

apparently they wrote entirely new text editor and terminal apps for some reason and that's why the old ones have the old theme. and the new ones aren't in the fedora repos lol

Show thread

i like the new theme but only like 3 apps have it? not sure how they managed to screw this up, gnome is usually very consistent with theming

Show thread

volume and brightness flyouts are way nicer. screenshot UI is also way better but still no annotation

Show thread

the two themes have two different window corner radiuses. also it's still totally inconsistent whether bottom corners are rounded, but more of them seem to be rounded now

Show thread

there are now... two themes. and nautilus still has the old one

taking some inspiration from microsoft?

Show thread

huh gnome looks slightly different now

david boosted

the definition of "writing" here also includes "thinking of words to say in conversations"

Show thread

i hate c++ compilers they're always like "could not convert [type] into [the exact same type]"

eurovision 

the line i still don't get is "all of my groceries are divided by weight and stored in glass jars"

why

Show thread

eurovision 

i don't know why i still care about eurovision 3 days after it happened but i just heard the latvian song that didn't even qualify for the final and WHAT THE FUCK this is top tier

Show thread

actually, scratch that. it should be Brampton

Show thread

oh yeah i set up a new website a while ago

david.industries

not much there right now but there's more to come

Show older

david's choices:

types.pl

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