Interesting Links for 15-05-2025

Thursday, 15 May 2025 12:00 pm

the penultimate conditional syntax

Tuesday, 13 May 2025 10:51 pm
fanf: (Default)
[personal profile] fanf

https://dotat.at/@/2025-05-13-if-is.html

About half a year ago I encountered a paper bombastically titled "the ultimate conditional syntax". It has the attractive goal of unifying pattern match with boolean if tests, and its solution is in some ways very nice. But it seems over-complicated to me, especially for something that's a basic work-horse of programming.

I couldn't immediately see how to cut it down to manageable proportions, but recently I had an idea. I'll outline it under the "penultimate conditionals" heading below, after reviewing the UCS and explaining my motivation.

Read more... )

Interesting Links for 13-05-2025

Tuesday, 13 May 2025 12:00 pm
andrewducker: (Default)
[personal profile] andrewducker

90% of the weekend was great ...

Monday, 12 May 2025 09:36 pm
rmc28: Rachel in hockey gear on the frozen fen at Upware, near Cambridge (Default)
[personal profile] rmc28

I managed to kick my cold enough to play the ice hockey tournament Saturday and Sunday afternoons. One of my teammates gave me a lift from Cambridge rink to Romford each day. It's an easy drive and we get on well, and the tournament itself was great fun. Exhausting, but fun and definitely great for developing and improving play. The other four teams playing were pretty friendly and we made some connections and enthusiasm for playing more games against each other as individual teams.

Unfortunately my ride home got injured in the last few seconds of the last game of the tournament on Sunday evening, a "needs A&E and good drugs" level injury. So I went with him to the local A&E on the grounds they'd probably want a responsible non-drugged adult to get him home, and it'd only be a few hours, right? Ahahaha, it was 16 hours before we got out and it was not a good experience.

I got no sleep at all but at least got plenty of rest sitting on terrible waiting room chairs and plenty of time to stretch and loosen up as my body started to notice all the ways it was sore after playing the tournament. My injured buddy was left in serious pain for over 6 hours, but when he was finally treated he was able to sleep a fair bit in the hospital bed while we waited in assorted places to get assorted scans and tests done that were apparently necessary to discharge him, but not necessary to do with any urgency or information about how long each step would take. Beds in corridors everywhere, a "ward" that was simply a closed off section of corridor where beds were stashed holding people waiting for scans and tests, not a lot of dignity and just no urgency at all about pain management. My buddy was very stoic but shouldn't have had to be.

Also neither of us had showered between "playing lots of ice hockey" and "showing up at A&E", so very sorry to anyone who had to sit too near either of us.

I got a very minimal amount of work done today on my phone from the hospital, but went to bed for a few hours as soon as I finally got home and feel more human now. I will have to figure out whether I take leave for today or make up the effort elsewhere in the week. But that is a problem for tomorrow; tonight I'm hoping to reset my sleep schedule by going to bed on time.

Photo cross-post

Sunday, 11 May 2025 10:45 am
andrewducker: (Default)
[personal profile] andrewducker


Lovely afternoon today, so the kids grabbed their water shoes and we headed for the river.

They were too small two years ago and last year the weather was mediocre at best. But today it was 20 degrees and sunny, so off we went.

Gideon fell on his bum about 8 times. The first 2 times he cried, but by the fourth time he was saying "Brrrrrr", giggling, and then carrying on to investigate the next bit of the river.

And by the end they were demanding more time to fish big rocks out, crossing the river to wave to me from the far side, and working out between them how to avoid the clouds of midges over the calmer bits of the river.
Original is here on Pixelfed.scot.

Photo cross-post

Saturday, 10 May 2025 03:34 am
andrewducker: (Default)
[personal profile] andrewducker


The weather is nice enough that the children are having lunch outdoors.
Original is here on Pixelfed.scot.

my bad habits lead to you

Friday, 9 May 2025 10:37 pm
rmc28: Rachel in hockey gear on the frozen fen at Upware, near Cambridge (Default)
[personal profile] rmc28

Goodness having a cold is dull. I spent most of yesterday resting/asleep, felt able to work today, but did it from home and definitely favoured the easier tasks from the todo list. I skipped indoor cricket this afternoon, and TriBase scrimmage tonight, in favour of continuing the recovery curve enough to play an ice hockey tournament this weekend.

I have successfully wrangled a car pool for the Kodiaks B to go to Gosport next weekend, which includes me driving a hired 9-seater, whee. Car pooling has been wrangled, mostly not by me, to get Warbirds to Romford tomorrow and Sunday. (The women's team and the mostly-men's team living up to stereotypes about planning, not for the first time.) The weekend after Gosport is playoffs in Sheffield, where we see if Kodiaks A can win promotion to the next division, and as a bonus I can meet up with my mother-in-law.

A couple of weeks before my Czech holiday I started taking all the morning school runs while Tony took the afternoons, after a long period where it was mostly the other way around. It is suiting me much more than I had expected, and has also led to me going to the office a lot more. Essentially, once I've cycled to school, it's as easy to go to the office as to go home, and usually I'll go to the office. Partly because my role and personality make "useful spontaneous in-person conversations" more likely to happen. Partly because once I'm on site, it's easier to take advantage of the university's Active Staff programme. I'm generally only working from home now when not-quite-well (as today) or if my schedule is All Online Meetings All The Time. The downside of the office is I have no privacy at the hotdesks and need to use a pod for meetings. I quite like the pods, but not for hours on end.

Active Staff is a recent initiative of the University Sports Service. Through it, I can get two exercise classes a week for free (mostly yoga, pilates and similar) and additional ones at the Sports Centre on a PAYG basis. While the most popular classes often book out really fast, people seem pretty good about cancelling if they can't make it, so a space often pops up the night before or morning of. I can also join the indoor cricket and table tennis "Give It A Go" sessions which are shared with students, which is how I've ended up playing cricket again for the first time since I was a teenager. It's not helping my workload problem but it's not making it worse, and it is bringing me a fair bit of joy, so I'll call it a win.

Events of note: since the Czech holiday

Thursday, 8 May 2025 06:39 pm
rmc28: Rachel in hockey gear on the frozen fen at Upware, near Cambridge (Default)
[personal profile] rmc28

Thu 24 Apr: tried out a Learn to Play session at Alexandra Palace. It's a great session, the coach is good, but it's very late at night - so late it's not actually possible to get home by public transport afterward. My friend P drove us (now she has an ULEZ-compliant car) but we got home at 2am and my alarm goes off at 7am and I was really struggling on Friday. In theory I would like to go again, but in practice I haven't felt up to it since.

Sat 26 Apr: away game for Kodiaks B in Oxford. Our first away game of the season, our first game with none of our league players, and my first game as Captain. We lost 7-17 but it was honestly a good-tempered and positive atmosphere and some fantastic learning and effort displayed. Our goalie was playing her first full game ever (having played ten minutes in our previous game), and you could see her improving almost minute by minute.

Sun 27 Apr: social visit to [personal profile] beckyc and S, then a lift with one of the Kodiaks A players and her dad from Huntingdon to Peterborough to watch the league team beat Peterborough 15-2 and secure the top spot in WNIHL 2S. Then a lift back with a different player to Cambridge in time for bed Sunday evening.

Thu 1 May: outdoor cricket game, my first this century (hehe). An internal game to warm up for the summer, as West Cambridge has enough people for two teams. I enjoyed fielding, got over my nerves enough to (badly) bowl a single over, and ended up in bat for rather longer than expected. Mostly due to my batting partner, but I at least managed not to do anything catastrophic when I was facing the ball.

Fri 2 May: summer scrimmages with TriBase are back, so I went along; it's the first time I've played with this team since September, and I was pleasantly surprised by how much I've improved since then. (Don't get me wrong, I'm still not really up to their standard, but the gap has closed a lot and I'm keeping up a lot better.)

Sat 3 May: last Kodiaks A home game of the season, this time for the league Cup, which they also won. I have finally built a confident enough team for the off-ice work that I could stay entirely on front-of-house during the game, freeing up our steady ticket sales volunteer to watch a whole game. I missed quite a bit of it due to talking to people (shocking I know).

Sun 4 May: trip to London for a hockey friend's birthday, but with bonus addition of brunch beforehand at Dishoom with my baby sibling. The bottomless house chai is still my favourite. The birthday celebration was outdoors in a park, and the weather got steadily chillier as the afternoon went on. I managed to leave my sunhat behind in my friend's flat (this is the hat I bought in San Sebastián last summer after losing the previous sunhat somewhere on a hill, itself a replacement for one I left on a train earlier that summer), but it will make its way back to me eventually, I'm sure.

Mon 5 May: over to see [personal profile] naath in Bury St Edmunds, where I got caught in the traditional Bank Holiday rain on the way to get lunch from M&S. You know you're not in Cambridge any more when there are dozens of car parking spaces on the high street but no cycle racks.

This afternoon I should have been playing cricket again with West Cambridge after work, but I started going down with a cold yesterday afternoon and have spent most of the time since in bed feeling sorry for myself. I am really hoping to be recovered by Saturday as I have an ice hockey tournament to play with Warbirds on both Saturday and Sunday afternoons. I also have a bunch of things I want to do tomorrow, but I guess I'll just have to see how I'm doing in the morning. (We have covid tests still, they've all come back negative, but even "just a cold" is a miserable experience, ugh, so I'm attempting to avoid sharing it with the household or indeed anyone else.)

Events of note: holiday

Thursday, 8 May 2025 05:19 pm
rmc28: Rachel in hockey gear on the frozen fen at Upware, near Cambridge (Default)
[personal profile] rmc28

Oops, it's been about three weeks since my last update of substance: I was in Czechia with C, and anticipating the last five games of Women's Worlds. I think literally none of those last five games went the way I wanted, but I'm very glad to have watched them and been part of the highest attendance ever for the Women's Worlds tournament. (Breaking audience records for women's sports! yet again!).

Sunday night, after the gold medal game, we hung out with some new friends in a bar. Afterwards, very slowly saying goodbye in the main square (I'm on a groupchat now, yay), we saw pretty much the entire Finnish team walk past dressed to the nines and wearing their bronze medals. I went to bed far too late given the time we had to get up in the morning, but no regrets.

Monday (Easter Monday), we left České Budějovice on a train at 8am, changed at Linz, had nearly four hours stopover in Frankfurt (boat tour, discovered the Too Good To Go app works there and thus picked up some delicious curry for dinner) and arrived in Paris at 11pm, checking into a hotel a very short walk from Gare de l'Est.

Tuesday we walked up and down the steps of the Eiffel Tower (to the second floor, they don't let you walk up the really high bit), took a boat tour with a really mediocre audio guide, had the most delicious lunch in a very cramped restaurant on the Île de la Cité, got fancy ice cream from the Île Saint Louis and walked from the Seine right back to our hotel for the luggage, onward to Gare du Nord and the Eurostar and home.

Wednesday morning I was back at work, the children were both back at school, and Wednesday evening I was back at hockey practice. And since then my life has reverted to the usual whirl of work, family, ice hockey, with a new summer addition of cricket with the West Cambridge team. (Obviously one sport with a concussion risk was insufficient.)

České Budějovice seems like a world away now, nearly three weeks ago: I am very glad I went, I am very glad to have had C's company on the trip, and I'm very grateful to Tony for keeping the lights on and taking care of N at home so we could go. I could write several long posts just about the tournament to be honest but the short version: it was really good ice hockey, it was an amazing experience, it was exhausting and slightly crazy. Czechia treated it like a serious tournament and the fans showed up in response. I very much want to go to future Women's Worlds, if I can afford to.

I miss that little city and the beautiful, very walkable, historic centre. Like but not like Cambridge in a lot of ways. The hostel worked well for us, the weather was lovely almost every day of our stay, and we got the budget about right. Six months of Duolingo Czech was very far from sufficient, but I could at least manage please and thank you and simple food & drink orders. I still want to do better, and I'm going to Prague for a hockey camp in June, so I'll keep persevering I guess.

To-read pile, 2025, April

Wednesday, 7 May 2025 10:13 pm
rmc28: (reading)
[personal profile] rmc28

Books on pre-order:

  1. Queen Demon (Rising World 2) by Martha Wells (7 Oct 2025)

One book acquired in April (and not yet read):

  1. Radio Silence (Off the Grid 1) by Alyssa Cole

Borrowed books read in April:

  1. On The Edge (SCU Hockey 3) by J.J. Mulder [8]
  2. Impossible Creatures by Katherine Rundell
  3. Aftermath (Vino and Veritas) by L.A. Witt [8]
  4. The Secret Life of Cows by Rosamund Young [2][6]

Did not read (or listen) to many books in April, and sadly broke my streak of reading everything acquired this year. For now I've cancelled KU again and intend to work through the largeish stack of unread library books and maybe even some of the unread acquisitions of the last year.

[1] Pre-order
[2] Audiobook
[3] Physical book
[4] Crowdfunding
[5] Goodbye read
[6] Cambridgeshire Reads/Listens
[7] FaRoFeb / FaRoCation / Bookmas / HRBC
[8] Prime Reading / Kindle Unlimited

Life with several kids: Hiding

Wednesday, 7 May 2025 07:33 pm
andrewducker: (Lack of Pants)
[personal profile] andrewducker
The weather is now nice enough that the kids are playing outside.
With the neighbour kids.
And then playing in the house with them.
So I'm hiding in my office from a bunch of a bunch of kids.
This makes me very happy.

(In related news I have ordered a bunch of water pistols and a water sprinkler.)

Unimpressed by Bristol airport security

Tuesday, 6 May 2025 01:09 pm
andrewducker: (sheldon)
[personal profile] andrewducker
Bristol airport security has a queue 40 minutes long and 2 of its 8 security scanners running.
I can only assume that this is to force people to pay to skip the queue.
In any case I'm unimpressed.
Page generated Friday, 16 May 2025 09:45 am
Powered by Dreamwidth Studios