← Feed

Posts

• View post

  urgh, I wish our moodle had an explicit exam activity for managing exam returns. Not that I enjoy moodle, but I want to reduce how many duplicate shadow systems I need to maintain and still teach the way I want to teach... the issue being how to aggregate questions as sometimes having attempt n out of m questions is a nic,e format.

• View post

  @gallais apparently aldi’s ice cream is made by mackie.

• View post

  a cut finger makes typing harder a while....

• View post

  aujourd'hui les musique c'etait musique électronique de AIR et Daft Punk. How did these two duo's not collaborate...

• View post

  As much as I like the GIFT format, as mustered by Moodle, it does not capture the nearly as much of the metadata as the XML format. For essay questions I want to specify the maximum grade directly within the file itself, and not later on the VLE...

• View post

  Eek a week till SPLV, and it might be time to start thinking about what I want to do for my three hours ;-) (Hint: I already have, but I am battling the procrastination monster.)

• View post

  Is it safe to come out now! #ukpol #scotpol #cymrupoli that light blue is scary

• View post

  Using D'Hondt sans regions for Wales: ``` - PC: 36 seats - REF: 29 seats - LAB: 11 seats - CON: 10 seats - GREEN: 6 seats - LBD: 4 seats ```

• View post

  The rise of Reform is not too unexpected. Voters are disenfranchised, almost, like never before. If the ‘big parties’ cannot be trusted, or there is no confidence in them, who else are swing/unsure voters going to flock too! The smooth talking snake oil sales party. I honestly do not think Labour should get rid of Sir Kier. I think the UK labour government are, on the whole, doing good things at the UK/England level. I think their PR team are not doing their job properly. I think this is Sir Ke...

• View post

  Mmhh thought about suggesting a `MSP.sty` for common macros for PLT related LaTeX shenanigans. More chance of the local football team’s supporters burying the hatchet and being nice to each other….

• View post

  A *gentle* reminder that, I have a funded #PhD position for UK students, available with myself and @bentnib This project will be looking at developing new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research. Deadline for getting in contact is: Thursday 20th March 2025 You will belong to @StrathCyber and @mspstrath, as well as gaining access to @spli https://www.strath.ac.uk/studyw...

• View post

  *Last Call* I have a #PhD position for UK students, available with myself and @bentnib This project will be looking at developing new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research. *Hard Deadline*: Wednesday 16th April 2025 You will belong to @StrathCyber and @mspstrath, as well as gaining access to @spli https://www.strath.ac.uk/studywithus/postgraduateresearchphdopport...

• View post

  Random musing: Trusted Timestamps & Provenance of when Students Did their Work https://tyde.systems/post/2025-04-24-tts/ In which I want to ask students to insert trusted timestamps into their coding project's development history to assert when important things happened. i.e. submission and what not... #RFC3161 #DVCS

• View post

  Work > "Hi everyone here are key dates for your calendar"; Me > "Great, will be good to add them to my calendar. Where is the iCal URL so I can import your calendar into mine..." Work > "Sharepoint lets you download each event as an individual iCal file. How great is that!" Me > "But there are like more than 30 events I want to add..." Work > "Sharepoint lets us have a single U...

• View post

  As a user I want my big drill to automatically generate certain plots about my data, and statistics so I can package to a local drill in xlsx format... Big Drill: only histograms and some statistics.. Me: Throws big drill in the bin. Me: Turns to Locally Made drill, can I give you the data, and you can give me plots and statistics. Locally Made drill: for some of your final data yes and not to you but your boss can get it later and they can share it with you... Me: Throws locally made drill...

• View post

  Dos anyone know if there are good utilities to generate a static interactive html pages for #git log files. Need to submit evidence to those not tech savvy.

• View post

  Current thoughts: assessment design so that students authentically document their thought-process more than their outputs. GenAI is hurting those that attempt assessment of fundamental concepts authentically (without using GenAI) and those that lean on GenAI to get a mark. (This whole thing makes me sad for my students)

• View post

  Urgh. Why on earth do you want a battery powered system for a bin to make it ‘no touch’. Pedal bins are just as good and repairable. Shame though, it’s a nice looking bin….

• View post

  That feeling when you realise you may have left your nice travel cutlery in the public work kitchenette. I’ve not been in for a few days. Fingers crossed it is still there…I cannot find them anywhere at home…

• View post

  Back to books - Sweden's schools give up digital learning https://www.bbc.co.uk/news/articles/cly0vk77vdko

• View post

  I have a funded #PhD position for UK students, available with myself and @bentnib This project will be looking at developing new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research. Deadline: Thursday 20th March 2025 You will belong to @StrathCyber and @mspstrath, as well as gaining access to @spli For now more details about the project are on my personal website. https://tyde....

• View post

  Oracle Databases 0; /me 2 That is two Universities that, for some reason, have core systems that do not like my surname....

• View post

  I wish #Moodle email notifications for activities included the module code or title by-default in the subject. Receiving multiple notifications for 'Coursework 1', can be confusing. Even module notices do not include the module code/title in the subject. I have to include the code by hand...

• View post

  lets do `nix-channel --update` and see if everything still works....

• View post

  From the other site, but too good to not share: https://x.com/robertgraham/status/2036208633814639088 There is a post about the importance of the BBC’s ‘pips’ arising form commenting on someone demonstrating a plugin that plays the BBC news countdown (that includes the ‘pips’) as the countdown to a teams meeting. I wish I could get this before all meetings I have to attend…

• View post

  I gave a research lecture to students today at #TypeSig #Triple. #UoE The topic was that of my #TYPES2025 talk: Being Positively Negative About Dependent Types. Great range of speakers from organisers, even though it was @mspstrath heavy! One student came at the end to say they enjoyed the talk as it was accessible to them. I like that. Also nice to see the other talks in the tracks I attended. Especially those that are related! (Two sided type systems) The journey home even gave me space...