There was a "situation" at work. We were publishing a high-profile project (take a wild guess) on GitHub. We had received abuse and were worried that someone might target the programmers who worked on the project. Obviously, we take cyber-security seriously, but how do we deal with personal-security? Here are the options we considered: Get everyone to sign up for a secondary GitHub account to …
Continue reading →
I'm not sure if I'm the first person to do this - but I'm going to claim credit anyway! Terence Eden is on Mastodon@edentHello! This Tweet has been signed with my PGP Key. pic.x.com/ed4rcldlvw❤️ 35💬 7🔁 008:03 - Thu 14 May 2020 You can verify by pasting the alt text into keybase.io/verify - or by using your favourite command line tool. Back in 2017, I wondered if Twitter's alt text could be (ab)…
Continue reading →
Twitter's search interface has all sorts of lovely and obscure options. My three favourites are "min_retweets:", "min_replies:", and "min_faves:" Using those filters, you can create a search for Tweets which meet a certain threshold. For example, here are my Tweets which have been liked more than 500 times: twitter.com/search?q=from:edent min_faves:500 Here are the ones which have been…
Continue reading →
Winner of the 1989 Children's Book of the Year Award for older readers. I rarely re-read books. I just don't like revisiting the past. But I remember reading this repeatedly during adolescence. And something called me to re-reading it as an adult. I'm glad I did. Parts of this book were buried deep in my brain. I call on them from time-to-time. But long sections of it were completely alien to …
Continue reading →
Food is delicious and exercise is boring. This is a problem. I'm not going to cut back on delicious treats, and I don't want to get out of breath climbing stairs - so I need to get a bit fitter. I'm a grumpy old sod, so these are all the things I dislike about this frickin' weird game. Grade Inflation The very first level nets you 900 XP. What? The numbers are meaningless from the beginning.…
Continue reading →
In order to provide a video playback UI, WordPress uses the excellent MediaElement library. Recently, I discovered a slightly annoying flaw - I couldn't see the play button! Here's a screenshot of the video UI. In the middle of this screenshot is a white play button. I have trouble seeing it, because the video's background colour is predominantly white. The issue is with the…
Continue reading →
The UK register of businesses - Companies House - has an online record of every company in the UK. It contains articles of incorporation, statement of accounts, and all sorts of legal documents. Everything which has been digitised is freely available. Yay for public records! Famous and important people have companies. Lots of them use lawyers and accountants to handle their business affairs.…
Continue reading →
I've got a new laptop which runs Linux! These are mostly notes to myself. Fonts First, from the console, install Gnome Tweaks sudo apt install gnome-tweaks Run Tweaks and select "Fonts". You can swap fonts, boost them, and generally have a good fiddle. Increasing the scaling factor is a good way to boost the size of all desktop elements. Bluetooth - rename By default the Bluetooth name is …
Continue reading →
So much of what we say about Shakespeare is either not true, or just not relevant, deflecting us from investigating the challenges of his inconsistencies and flaws. This electrifying new book thrives on revealing, not resolving, the ambiguities of Shakespeare's plays and their changing topicality. A joyous read in these troubling times. A series of essays on Shakespeare from one of the UK's…
Continue reading →
I have a vertical monitor for my new Linux laptop. Because it is rotated 90 degrees, this causes problems with some graphics drivers on Linux (and Mac!). Here's a solution I found for my Intel graphics card. Edit this file: sudo nano /etc/gdm3/custom.conf Find this line: WaylandEnable=false Change it to: #WaylandEnable=false Reboot. On Pop!_OS, there is this settings cog in the bottom…
Continue reading →
My mate, the accessibility specialist Léonie Watson, has this to say about how we improve the world, piece-by-piece: Accessibility doesn't have to be perfect, it just has to be a little bit better than yesterday. Source: Twitter Damn straight! One of the best ways we can make tomorrow slightly better than today is by making small changes which make it easier for people to do the right thing. …
Continue reading →
I haven't used a trackball in earnest since about 1998 - when they were briefly all the rage at school. But we're all working from home during lockdown, and my desk isn't big enough to accommodate a full-sized keyboard and mouse. So I thought I'd try a trackball. This doesn't need an unboxing video, or any complicated set-up tips. It's an inert black box, with a red orb nestled in it. Made in …
Continue reading →
