Jan de Muijnck-Hughes

Humbled & excited to announce that from Sept. '23, I will be joining @StrathCyber (@StrathCIS) as a Lecturer in Cybersecurity where I will be working on Trustworthy TyDe Systems, & the bridge with @mspstrath. Thanks @GlasgowCS & @Glasgow_PL but come Autumn a new journey starts!

After triumphantly proclaiming the return of Herr Dreyer over two months ago, I finally managed to push out a proper blog post. Enjoy. herrdreyer.wordpress.com/2025/10/19/on-…

@smarr Congrats!

First Day: A New Chapter at the JKU It's Wednesday. Is this important? It's my first day in a new position. So, perhaps the real question is: what's going to be important to me from now on? stefan-marr.de/2025/10/first-…

@samth @krismicinski @AndrewCMyers Tbh I’m debating whether or not I should submit to a conference that is in the US. The risk is real…

@krismicinski @AndrewCMyers Unfortunately even that's not true. amp.dw.com/en/german-nati…

Today was a nice reminder over the social culture at work. When right, it is a nice supportive environment where everyone can have a healthy laugh. Some days it ain’t, but tonight was good.

Oxford has 7 faculty positions, across all of CS. Two are tutorial fellowships with undergraduate teaching responsibilities; five are on the part-time professional master's programme (where I teach). Closing date 17th December. Happy to discuss. cs.ox.ac.uk/aboutus/vacanc…

Urgh over two years and @OctopusEnergy have yet to resolve issues with smart meter data collection. They say it’s a firmware issue that would get sorted, that 1yr ago! Have to input data manually for one meter, whilst the other gets sent automatically. Both meters used to work!

@VetSS_RI really excited to hear that you have your annual conference tomorrow. Looks like a fascinating line up. However I couldn’t help notice that no information can be found in your events stream on your website vetss.org.uk/news/ Nor on your Zulip!

@satnam6502 Yeah, there has been some work at looking how to mix AI and types. As you have also observed, Types help here with verification of output dl.acm.org/doi/10.1145/36…

I'm having a decent amount of luck using Claude Sonnet 3.7 in extra time thinking mode to help me complete proofs in the Agda theorem prover. I needed a proof that 2^n is always non-zero as an instance of Agda's NonZero record (class). After a few short interactions it came up with this which Agda checks which confirms the proof is correct (*All Done* at the bottom). The amazingly powerful thing about getting LLMs to do proofs for theorem provers is that you know when they have "hallucinated" because the theorem prover will give you an error, and you know for sure when they have not hallucinated because the theorem prover says "QED".

🚀 We're hiring! Join the University of Bristol (@BristolUni) as a Researcher in #CyberSecurity education and training. Collaborate and innovate to shape the future of cyber security education. Deadline: 06 April 2025. Apply now! 🖇️ buff.ly/LT3ExT1 #Cyber #Jobs #CyBOK

Black are the constituencies won by the CDU/CSU, blue the constituencies won by the AfD. Quite staggering. Can you spot the exact location of the old inner-German border?! 🥴

⭐️Another fully funded PhD opportunity at University of Strathclyde supervised by @jfdm and Robert Atkey. ➡️Towards Type-Driven Assurance of Communicating Systems Find out more details below ⬇️ strath.ac.uk/studywithus/po…

Dr Paul Harvey (@jhebus) is leading @GlasgowCS' role in a @UN focus group which aims to harness the power of AI to improve the design and performance of communications networks. Read more here: gla.ac.uk/news/headline_…

@jhebus More like implementation failure!

Urgh verification in Dafny is a bit harder than I thought it would be…I’m too entrenched in propositions as types… Someone should do a course that talks about these two approaches to verify software…

A little pre-Xmas treat. Watching the local rugby club @EdinburghRugby play!

[1/5] #Opportunity to Apply for a Fully-Funded PhD in Trustworthy ML for Malware Detection at @uclcs Deadline: Jan 28, 2025 Are you passionate about ML and Systems Security? Are you curious to understand root causes performance decay of ML-based malware detection over time?

Edinburgh Rugby, in partnership with Breadalbane, is delighted to announce the launch of ‘Tickets to Inspire’ 🎟️ Over 20 local charities will receive tickets to the 1872 Cup decider, harnessing the power of rugby to inspire individuals from all backgrounds 🧡

Arg #Dafny sadly doesn't have support for #literate_programming a cool feature I think they should support! When teaching/presenting/noting, literate mode cna help blend what it is you are looking at with textual explanations.

I found a solution through someone's notes on a code sharing platform. Sadly, these notes are not licensed :-( Not having Reading from STDIN when you can Print to STDIN is not great. #Dafny is not pacman complete. You need that for shits & giggles, a semi-decent Std Lib too...

#Dafny users, if I wanted to write an interactive program that has a REPL: What support _is_ there for reading from STDIN? The STD library only has file io...