← Feed

Posts

• Post #4215131

  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.

• Post #4215130

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

• Post #4215129

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

• Post #4215128

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

• Post #4215127

  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...

• Post #4215126

  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.)

• Post #2670891

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

• Post #2670890

  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 ```

• Post #2670889

  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...

• Post #2670888

  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….

• Post #2340239

  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...

• Post #2340238

  *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...

• Post #2340237

  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

• Post #2130505

  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...

• Post #1675463

  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...

• Post #1503005

  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.

• Post #1503004

  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)

• Post #1503003

  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….

• Post #1503002

  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…

• Post #1415176

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

• Post #1111113

  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....

• Post #940414

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

• Post #940413

  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...

• Post #940412

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

• Post #940410

  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…

• Post #940409

  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...