Jan de Muijnck-Hughes

346 Followers
237 Following
3K Posts
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.
wwwhttps://tyde.systems/
Pronoun’she/his
Locations🇳🇱 🏴󠁧󠁢󠁷󠁬󠁳󠁿 🇬🇧 🇪🇺

RE: https://mstdn.social/@swheritage/116272142405742756

"France and Germany are moving beyond the “altruism” of the early open-source movement, reframing it as a matter of national autonomy. Stéphanie Schaer, The Interministerial Directorate for Digital Affairs in France (DINUM), highlighted Tchap—a secure messaging app used by 400,000 civil servants—as proof that the state can break its dependency on “monopolistic IT solutions” by investing in the digital commons."

#OpenSource #SWH10

At least everything else appears to be working and I have freed up a bit more space….

well...

+ had to install new nix
+ first I ran out of diskspace...
+ nix-env to delete old generations
+ commented out most of home.nix
+ nix-collect-garbage
+ nix-store --optimise
+ watched my diskspace go up and down like a yoyo

Now nix commands do not have man pages...

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

Oracle Databases 0; /me 2

That is two Universities that, for some reason, have core systems that do not like my surname....

They did it the mad lads 🥹

That was a ‘le Crunch’. But a pyrrhic victory for France. 🇫🇷 #sixNations.

This championship was interesting in that it shows that France is vulnerable, Wales is reasserting itself, Scotland are world class when they are not, Italy are a force to reckon with, and England are having a murmur…

Didn't see this at the time, but the paper "Type-Safe Blazon: Enforcing Pedantry in Heraldic Design" from FARM 25 is right in my wheelhouse

https://dl.acm.org/doi/10.1145/3759162.3759641

#heraldry #typetheory

I was blind...

somewhat hard to find option though...