Recently updated blogs

It's 2024, and it's time to move on from Bearblog for the moment. It's a great place to write, and Herman has been a very gracious host, but recently I've found myself wanting something different. Dreamwidth was on my shortlist of places to start a blog when I signed up here, and I think the reason I went with Bear instead is that I didn't think Dreamwidth had a mobile …

A huge amount happened in the Lean theorem prover community in 2023; this blog post looks back at some of these events, plus some of what we have to look forward to in 2024. Modern mathematics I personally am a member of the Lean community because of its phenomenal mathematics library mathlib, which was born around six and a half years ago and has now become a very fast-growing database …

UPDATE 8/1/22: Some confusion about the date for this one. Some are saying that it was the end of November, but one newspaper article (coming to this page soon!) published on Tuesday 10th December indicates that the party took place on 7th December. A Spirals document entitled SPIRAL TRIBE’S CALENDAR OF POLICE HARRASSMENT AT FREE PARTIES – 1991-1992, still accessible via Wayback Machine, describes the bust at the end: 9.12.91– …

Yes, this is my first post in almost a year. I’m no longer prioritizing this blog, but I will still occasionally post something. I wrote ~2 years ago that it was hard to point to concrete opportunities to help the most important century go well. That’s changing. There are a good number of jobs available now that are both really promising opportunities to help (in my opinion) and are suitable …

The Times has reported that next month the UK will to deploy 20,000 military personnel across eastern Europe as part of the NATO exercise Steadfast Defender. They will be accompanied by one of the Royal Navy’s two aircraft carriers, eight other warships and F35 fighter jets. The article quotes Grant Shapps, the UK Defence Secretary, as warning that the world had moved to a ‘prewar’ phase as global conflicts escalated. …

In the first part of this chapter we discussed what we might need live regions for, and how to create them using HTML and ARIA. In this part, we’re going to discuss what live regions are not suitable for and why, and we’re going to discuss more robust ways to implement some common UI patterns that you might otherwise consider using live regions for. After that, we’re going to go …

After 25 years of running this blog under various names — all of which can be lumped under the "Archidose" monicker — I've decided to shut it down, moving this hobby, this labor of love, to Substack, which I have used since mid-2021 and where I will continue to send out weekly newsletters focused on architecture books, but in a new format. (You can subscribe to my newsletter here or …

That’s it, I’m no longer posting to this site. New blog posts can now be found over on Substack at Andrew Old’s Education Battleground, or sign up to receive them as a newsletter. Details of signing up for paid content can be found here. Since the last time I posted on this site the following […]

This nebula is very, very dim and therefore it's not very popular with astrophotographers as it takes a long time to get a decent image. All in all this image took me over 50h of total exposure time over multiple weeks.The nebula itself is quite similar to many other nebulas with a center that glows from oxygen and sulphur emissions embedded in a larger area of hydrogen gas. There's also …

This is an exceptionally long post detailing pretty much everything I learned at an event shortly before Christmas at Meta’s offices in San Francisco. I’ve been delayed in writing it up because of traveling back to the UK for Christmas and other commitments – and because I wanted to capture everything. It’s roughly written, and I’ll probably edit it a bit after posting. If you have questions or comments or …

A few years ago, we interviewed Jen Cardello for Finding Our Way, and she shared that her team (UX Research) is peered with “market research, behavioral economics, brand, and advertising research, and customer loyalty” in an independent Insights team. The idea was for research to avoid a functional bias, so that it couldn’t be “weaponized” by marketing or design. And while UX Research is still typically found within a UX/Design …

Paul Simon got there first.. I’m giving up ‘intelligence’ for 2024. That is, I’m not going to use the term ‘intelligence’ except to critique it as an inherently flawed construction firmly grounded in race science and unable to sustain the weight of current usage as a measure of cognitive ability that can help us assess human, animal, or machine-based capabilities. It doesn’t do the work we want it to in …

On stage at Radio City Music Hall, I hid The Power Broker. All 1,200+ pages of it. I clutched the paperback close, under my academic regalia. On stage, helping deliver diplomas to eager graduating students at SVA, I sat behind the unmatched Robert Caro himself during a not-brief graduation ceremony where he would deliver the final Commencement address. I would ask him to sign the hidden book afterward as we …

A building on a street corner often provides the opportunity for visually striking designs with this being the case for the former Commonwealth Bank building on the corner of Liverpool and Elizabeth streets. The impressive concrete ribbing and sheer visual bulk provides a commanding presence. The building was officially opened in 1954 to great fanfare, with thousands lining the streets to take a glimpse of the bank which was described …

Wanted to fire up OmniOS to play with and didn’t have any spare x86 hardware to hand so decided to figure out running it in UTM on Apple Silicon, meaning it needs emulation as OmniOS is x86 only. Grab the ISO from the OmniOS downloads page, I used the LTS release but the current stable should work too. Just make sure it’s the ISO version, not USB, etc. Open UTM …