Jan de Muijnck-Hughes / is on Nostr

Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in coffee, politics, music, the outdoors, sci-fi, high fantasy, & much much more! My work doesn’t define me; it is not my identity.

Last Notes

2024-06-30 15:51:11

I’ve always loved Edge Cliff.
The name is so literal, it’s on the edge of a cliff. I have fond memories of tutorials in the building, not to mention submitting paper essays to a letter box. Just before VLEs took of here.
More so, I love that on the surface the two Philisophy departments (Moral Philosophy, and Logic & Metaphysics) are separate. When you go through the door, however, it’s just the same building that’s been knocked through together.
https://fd.discuss.systems/media_attachments/files/112/706/351/669/874/773/original/4d0f011c9c666369.png

2024-05-06 16:34:47

#food #instagram stroopwafel tacos 🌮
https://www.instagram.com/reel/C6oTmrnKips/?igsh=ZjhnMjBiOGxzZm90

2024-01-08 17:05:13

- reply

@npub1gzc…fsz3 and done:
https://connect.mozilla.org/t5/ideas/enable-smart-calendar-views-in-lightening-extension/idi-p/48971

2024-01-08 09:32:32

It is that time of semester when I add 'blocking' entries to my diary to ensure non-core hours are not bookable.
(Ensuring meeting requests respect core *my* core hours).
Trouble is these blockers now fill up me #calendar, :-( I do not know how to hide them in #Office365 web nor #Thunderbird's #lightening extension.
I do wish we could have multiple 'views' over the calendar based on an event's category. I would then not show the 'blocking' category.
c'est la vie...