Mark Carroll's Journal

Today is my first day of leave from work for over the Christmas break. This morning we sent the boys off back home to Asia to visit family, now it's just me and R. I am relaxing on the sofa with our dog L. while R. brings some sanity to the kitchen storage. I already feel my headspace increasing and have been getting some small postponed things done. Many more await.

I am quite good at sleeping. Given the opportunity, I can do plenty of it. This morning, I dreamt we lived somewhere else and I spied a sizable swirly unnatural-looking Weather Thing approaching, and turned to R. to strongly suggest that we leave the house now and drive elsewhere.

Again, I thought back to high school where one of my math teachers figured Cartesian coordinates for the vertices of a regular dodecahedron and, looking at one, I wonder what the straightforward strategy is for doing that. I like to think that enough staring and turning would help make it clearer. Now, this is where I wish I had a large desktop system with lots of PCI-e slots for used RTX 3090's or somesuch: it's the kind of thing I'm happy to try idly chatting to some opensource LLM about. It's not as if anything's riding on the answer. Perhaps they're rather better at classic book suggestions than anything analytic though.

I also got to wonder about mobile telephony. ( How might routing work? )

My mention of idly chatting to LLMs reminds me, I have three sizable pending purchases in mind: such a desktop AI system, a small laptop for use while commuting, and a cross-trainer. The interesting question is how to prioritize them though clearly the first there should actually be last while I cross my fingers for the bubble bursting. Also, I'm reluctant to spend too freely until I'm more ahead of the higher-interest debt.

In the meantime, I've found that, as usual, BBC iPlayer didn't exactly help me discover that there's recent Later… with Jools Holland to provide me with a somewhat alternative musical backdrop, albeit a considerably mixed bag of such. I've been enjoying ex-BBC's Stereo Underground recently which is also nicely varied. Given that it often plays the music of my childhood, it makes me wonder: I think of all the energy of especially some of the more punk-ish songs, and how exciting life seemed to me at the time, especially with books filling my head with new intellectual worlds to wrestle with. There's something there I'd be interested to recapture, about possibility and choice, about who I am and what I pursue. I may not quite know which destinations make sense but one of the many wonderful things about R. is how supportive they are.

Late one evening back in July, I boarded a CrossCountry train at Edinburgh Waverley that then failed to proceed further. In the end, my journey was delayed by an hour so, under the Delay Repay scheme, I was supposed to be eligible for a refund.

CrossCountry's claim process wanted a QR code and and a ticket number. Unfortunately, I was using one of their flexi season tickets in their mobile app, which prevents screenshots, and the day's ticket wholly disappears once the day is done. So, I asked their customer service people how I can claim. I asked several times and got no useful response at all.

Eventually, I fell back to an effective last resort: post them a paper letter. This triggered a slow sequence of back and forth by e-mail but, last week, they finally paid me my refund. It's absurd that it took three months, and probably cost them as much to deal with me as the £7.55 they paid me, but I still don't have my answer as to how people with those tickets are supposed to claim.

R. and I sometimes head into Edinburgh on the train for in-office work, sometimes on separate days, sometimes together. Today, R. went in, and I stayed home and helped out with pet care. I hope that I am becoming more productive as I grow more familiar with my employer's codebase. I also look forward to getting around to personal programming projects at home but not quite yet it seems, still I have to figure how and when to fit that in. A task this evening is to schedule our influenza vaccinations. COVID-19 vaccinations are becoming a distant memory, it's a pity our BUPA health insurance doesn't reimburse them.

( Our expensive family visa journey continues. )

I read John Wiswell's Someone You Can Build a Nest In which was gentle and engaging. Whether in science fiction or fantasy, I always enjoy insight into a fairly non-human character. Definitely a nice enough way to pass the time. (Though, R. noted that it is far more gory than I had noticed, somehow that all passed me by.) I might be running out of television to watch, though. There is a bit more Chief of War left but it is far more buttocks than smiles and R. noted arrant ahistoricity in the portrayal of Zamboanga (languages, buildings, clothing). We are giving The Mayfair Witches a try on Netflix, R. read the books long ago.

A local Tesco Express convenience store has opened quite near us so we have a very handy source of heavily discounted food that must be sold before it turns into a pumpkin, assuming it isn't already one. So, among other things, we found ourselves eating sandwiches recently. With luck, the store will soon correct their loud alarm siren that warns whenever somebody outside walked near the customer entrance.

My illness ran the usual course of a cold, though it took its time somewhat. From yesterday, my head felt rather clearer, even though I still had plenty of physical symptoms. So, I could work, and felt like doing other things too, rather than just sitting and resting. I still have some congestion and a sore throat but they're just inconvenient, I don't feel anywhere near as rotten.

I'll head into the office today. Because of other things going on at home, e.g., I have a dental appointment on Friday morning, today would end up being my only day onsite this week, so I want to go in at least sometime, and in recovery I would think I am well past being infectious.

I am up in the middle of the night because something happened with the toilet cistern so it wouldn't stop filling. I don't know how it gets into that mode, it's easy enough to remedy temporarily, but anything non-trivial in the middle of the night wakes me up. What annoying timing, I already didn't feel great and now I get to be sleep-deprived before commuting for a full day in another city.

I'd feel better if I were already more productive at work. It feels as if I take a while to get to grips with each aspect of what they do and my colleagues already have much of that familiarity. And, whenever it feels like I'm getting nearer finished with a task, it becomes apparent that actually I am not. Nobody's said, goodness, you're dangerously slow here, what's your issue? but I feel it plenty just from myself.

Part of it is getting used to Java again but more of it that I have never used some of their frameworks (my relevant background is mostly Hibernate and Spring) and I am still learning how their code is arranged, and how people like things to be done. It's certainly clear that my intuition often doesn't match others', sometimes quite strongly; each time I misjudge that, more time is wasted. I don't see why I won't get there in the end but, a couple of months in now, I would already rather like to be contributing better than I am. In the meantime, I'll keep on plodding through, and hoping that others remain more patient with me than I am with myself.

I had mentioned how my work Mac, plugged in at home, was applying the wrong keymap for my external keyboard and imposing some godawful acceleration on my scroll-wheel. Now I have adequate solutions for both:

• I installed an open-source utility named DiscreteScroll, which fixes macOS's unnecessary scroll wheel acceleration, making the scroll-wheel behave rather more manageably.


• It turns out that Apple's idea of a UK-layout keyboard is not the typical one, it's kind of halfway to a US one. As the Mac doesn't understand the typical UK layout, I realized that I can just buy a US-layout keyboard, which I am used to anyway. Having despaired of making sense of the differences among the dazzling range of Keychron keyboards, I indulged in a nice, loud Unicomp.

In another keyboard victory, a couple of my UK keyboards had dodgy keys. I can be slow to realize things but, eventually, I had the useful idea of transplanting a keycap (using my pry an old Kindle open at the seams levers) to make one fully able keyboard from the two problem ones.

Admittedly, although working with Mac OS X instead of GNU/Linux usually slows me down some, for my day job I am finding the Mac not to be much of a hindrance.

Just on my walk to work this morning, twice I had to dodge tourist groups blocking the entire pavement. I thought that I had avoided this in escaping Cambridge, England, but apparently not. Not being attired for leisure, I occasionally have people ask me for help with local navigation. At least, a no-steps route at the Edinburgh end worked well for me today and took little longer. I don't feel enormously steady on many-steps and can experience some vertigo so it would seem foolish to make a frequent habit of them.

In considering the prospect of moving house a little south, it occurred to me that Glasgow's buses are best avoided and the south-side trains will go up to Central, not Queen Street from where the better Edinburgh trains depart. If I want an easy commute, it behooves me to remain near a subway station from which I can easily transfer at Buchanan to Queen Street. I wonder if there is any prospect of finding a garden flat (so better for L. the dog) in our youngest's school catchment area within easy reach of the subway; it seems a tall order.

At the last part of my way home tonight, I stop to pick up the car from a local car park. I left my parking space clear because the electricians are fixing a light above it. I did so on a previous day when there was word of their arrival, on which they helpfully spent their time partly on other activities that did not require cars to have been moved. So, second time lucky, one hopes. That first was a while ago, their work was interrupted by an unexpected-by-us holiday on their part.

Pensions guys presented to us at work and got me to thinking: I have a mountain of debt at a reasonable APR and I am in a high income tax bracket. I don't have much in pension savings so old-me will be in a low tax bracket. I expect that my debt grows faster than my pension. However, I can pay pre-tax money into my pension. So, better to direct spare post-tax money toward the debt or pre-tax into the pension? I wonder if a cranking of approximate numbers yields an obvious correct answer. It would be nice to not think about secondary factors like less debt means better APRs or that I can deduct paid mortgage interest from my US taxes.

Years ago I implemented a composable simulation language into which, were it handy now, I could easily plug these questions for a year-by-year simulation. Back when working on demonstrating that technology's application to financial planning, I was amused that such inevitably led to the question, when do you plan to die?, so this pensions question is a nice exception in that I can simply optimize for starting far-off retirement in the best position.

I survived my first week at work. I went on-site in Edinburgh for the first three days, initially picking up my shiny new MacBook M4 Pro running Sequoia. The office turns out to be a pleasant dog-friendly space with the amenities one might hope for. Being a hybrid worker, I book desk space when I need it from the hot-desking pool. The desks are motorized adjustable desks that can become standing desks. There are very many onboarding things to do over the coming weeks, a lot to do and learn, and plenty of friendly, helpful people to meet. Despite the open-plan layout, it's not too hard to focus, not very distracting.

As usual, there's some wrestling with the Mac but, in all fairness, plenty of things did just work quite well. The most obvious wrestling was the usual: Mac users love to see things in blurry-text. Okay, all the problems I ran into this week arise because I have the temerity to plug the Mac into non-Apple hardware. For instance, the external monitors on the desks have low pixel density and recent versions of the OS have removed useful options for fixing that. I was able to solve the blur by installing iTerm2 and unchecking Anti-Aliased. For working from home, other pending issues include it applying the wrong keymap for my external keyboard and imposing some godawful acceleration on my scroll-wheel but they're in progress, I want to get some actual work done too.

Nice though the office environment is, being in transit for at least three hours per day makes me appreciate fully remote work: Wednesday felt as if it should already be Friday. I am currently taking the more expensive option: subway over to Queen Street, and the frequent faster trains aren't as crowded as I'd heard, quite tolerable. (Work has provided my laptop a privacy screen to limit viewing angle.) My current route to the office includes climbing the 124 News Steps which means I get the hardest part of my workday out of the way at the start. The bus would be cheapest except I'd probably want extra bus to and from the stations: at each end, the bus station is further than the railway. A compromise might be the limited rail ticket: I'd end up working long days but could probably just walk at both ends around the intercity portion. Belatedly, I also wonder if I should be masking for the railway journey: perhaps it's outstandingly the riskiest among my habits.

Before I graduated, I did a bit of freelance IT consulting. Over thirty years ago now, one of my jobs was to migrate a legal practice from their old Wang business system to a modern PC/Windows-based system. Following the rule that older computer stuff tends to be better, the Wang system was rather nice to use, I got to dig into it in working out what data they had there and how to extract it: I would bring that data home on 5¼" floppies and do some transformation to it before ingesting it into the new system.

The practice's main book-keeper had a computer with a display that was really lovely to read. It was amber, and crisp enough that I surmise it probably used real P3 phosphor, not just some colour setting. Given how much of what I do remains largely text-based, I wonder if I might appreciate there being some system now that I could buy that is basically such a display with some wired way to plug in a keyboard and serial networking so it can run as a text-based terminal client of a modern Linux system, or even just plug it straight in as some monochrome monitor for which we still have some ancient driver code in Linux.

In writing here previously on generative AI I had wondered what happens to society when people can routinely lose themselves in artificial worlds of their own design. I had been thinking from the point of view of their being able to act out dark fantasies then adjusting to the real world where they don't make the rules and their actions affect others.

Anticipated by many works of fiction over the years, I was slow to consider what may be a good side of advancements in training inference models. There are many people who don't have enough contact with friends, perhaps especially the elderly. We may not be far from a point where they can have some artificial companion, patient and configurable, that offers interesting and helpful conversation on whatever topics the user wishes, even joining them actively in some pursuits, far beyond Alexa who can do little more than reading out the results from web searches.

Such companions may be considered a poor substitute for human contact but I suppose that there are probably funded startups chasing this very market.

In my migrating servers from one provider to another, rather than to the first provider's new platform, it turned out that the first somehow missed that I had ended my services with them and thought that they were all continued into the new platform. Fortunately, they seem to have readily corrected their records, cancelled further invoices, etc. On learning that they had thus overbilled me, they assured me that a refund had been issued. After pressing them a couple of times on this refund's absence, it turned out that actually, there had been another mistake. I did get my refund in the end but, goodness, it helps confirm my decision to migrate.