Pinned toot

Hi! My main skills are in theoretical CS and . I'm interested in , , (playing the ), (the board game), and lots of other things I'm forgetting.

I've been taking time to relax and play after having most recently worked at . Some things I've been doing:

* teaching

* projects, e.g. falsifian.org/blog/2020/11/18/

* , mostly and

A question: how many of you have friends who use Mastodon who you met elsewhere?

James Cook boosted

in the essay “The Animal Is Tired”, author Robin Hobb, at age 70, laments the effect time has on the body. in one specific paragraph she calls out food, saying:

> Finding foods it can eat without upsetting its digestion has become a task as it rejects more and more foods but balks at the monotonous diet it can manage.

and i fucking *feel* that

robinhobb.com/blog/posts/38429

: The Ontario Food Terminal has a clinic that is taking walk-ins right now with no postal code restrictions. I just got my first dose!

(The clinic is set up for food industry people, but apparently they have plenty of extra capacity. NB I heard they closed early yesterday, maybe because they ran out of people to vaccinate.)

My first patch commited to #OpenBSD! 

vmd(8): omit a possibly uninitialized var in a log_warnx

Don't print 'base' since it might not be initialized in all code paths.

From James Cook

cvsweb.openbsd.org/cgi-bin/cvs

James Cook boosted

I have encountered more image descriptions on Mastodon in 24 hours than I have in Twitter in a couple of years. Seriously. I'm not exaggerating.
As a blind person, this means a lot to me. If you read this and you describe your images, thank you so, so, so much on behalf of all of us. If you don't, now you know you'll be helping random Internet strangers make sense of your posts by typing in a few more words than usual.

I just fixed a wobbly key by replacing a stem. My first keyswitch surgery!

The photo shows why the key was wobbly: the stem (blue) was broken into two pieces. I guess the top part was just floating on top of the spring.

Thankfully there are plenty of instructional videos.
youtube.com/watch?v=VtyQ0M0yE2
showed me how to open a keyswitch without desoldering it, and
youtube.com/watch?v=VQ_2GxeR4E
around 33:00 showed me how to open the new one and do the swap.

After two more hours of careful study this evening, I'm a lot closer to understanding the extra tables of numbers my tax preparer attached to IRS form 1116 last year, and I'm beginning to wonder if just maybe I should have paid them to do it again this year.

Kids, don't do dual citizenship.

Just found a workaround for choppy audio in Facebook Messenger in Chrome on :

doas rcctl set sndiod flags -b12000

Now hopefully I can stop rebooting into Linux for my weekly sessions.

Oops, just realized the sound links on that post were broken. They should work now.

Show thread
James Cook boosted

anyone know of any stories where everyone is immortal and they've lived for so long that they've all forgotten their personal histories?

Hi! My main skills are in theoretical CS and . I'm interested in , , (playing the ), (the board game), and lots of other things I'm forgetting.

I've been taking time to relax and play after having most recently worked at . Some things I've been doing:

* teaching

* projects, e.g. falsifian.org/blog/2020/11/18/

* , mostly and

A question: how many of you have friends who use Mastodon who you met elsewhere?

's mouse warping interacts badly with ssh-askpass: I have to manually move my mouse back to the terminal window every single time. Especially annoying if you're using "ssh-agent -c" so it comes up every time, and/or using multiple monitors (the prompt seems to appear on the leftmost monitor, often far from my terminal).

Just fixed it by adding:

ignore "OpenSSH Authentication Passphrase Request"

to ~/.cwmrc . It made me very happy when I realized I could just do that.

Mastodon @ SDF

"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko