Show newer

I’m lucky to get to think about a lot programming languages at work. Tomorrow I’m giving a talk at Craft Conf that’s a grand tour of how different PLs encourage different ways of thinking about and solving problems. Come check it out!

🧵 Thinking through how a co-operative software governance model could work (again), specifically for a large collection of projects or an Apache-like software foundation:

I am presenting more about our stack graphs work this Friday (noon PDT) at the UCSC Languages, Systems, and Data seminar.

If you'd like to attend, join the seminar series's mailing list:

some don’t know this, but mastodon is just one (very large and slow piece of software) among others.

i have used pleroma for many years now.

mastodon has consistently positioned itself as the single implementation of activitypub.

I have never, ever given up my fight that this is a grift.

Dear open source users,

If the author of your favorite open source app has announced they stopped developing and supporting the app (because they're frustrated and possibly burned out), please don't suggest they do more free work so that you can continue using the app.
Instead, consider thanking them for their past work and let them know that you enjoyed their app.

another open source developer

(Now, I fully expect to host my own git repositories in the future but the moral of the story is that it won’t be on a piece of software designed to run 1-100,000 accounts but one designed to be owned and used by one person. And it’ll be the same site/software I chat to my friends on. The difference in complexity between those two things is orders of magnitude. And what that translates to in practice is that the latter can be set up and maintained by everyday people without technical knowledge.)

Show thread

Mara posted a fantastic article about Converting u128 values to f64 (unsigned 128-bit integers to 64-bit floating-point numbers), give it a read!

Welp, I think we bricked it! Don't run "rkdeveloptool erase-flash" thinking that it will show you usage information... 😩

Show thread

The next part of the instructions look like it's an either/or choice between Alpine and Arch, but it's not! We first have to install a small distro like Alpine into the /cache partition, since that provides gparted, which we need to repartition the PineNote's disk. So don't skip the Alpine section in the docs!

(See for more discussion)

Show thread

Wow, 5 minutes! Computers are quite a bit faster than when I was compiling kernels for shits and giggles 20 years ago...

Show thread

Then compile the kernel! I chose the pgwipeout branch of the instructions:

Cross-compile from your beefy workstation. Let's see how long it takes!


Show thread

And we're back! Next steps are to get adb working. The inscrutable steps to enable developer mode are here:

It's a bit buried in Dorian's instructions, but make sure that "Default USB configuration" is set to PTP before enabling USB debugging:

(Can see the above in this video:

Show thread

Tonight’s dinner is one (1) Hot Pocket and some fancy cheese

nothing will ever be as funny to me as the fact that the author of a seminal paper on software errors was literally named John B Goodenough

Show older

Mastodon server just for dcreager