Jan de Muijnck-Hughes

345 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🇳🇱 🏴󠁧󠁢󠁷󠁬󠁳󠁿 🇬🇧 🇪🇺

@pigworker no shit! (But a positive shit)

I’ve long thought about the tools we give learners when thinking about how we teach programming.

We can compare programming languages and their standard libraries with tools for carpentry.

I had many toys of various sharpness, as I progressed, when being taught basic wood working. First plastic tools, then real and kid friendly saws and hammers, then a proper toolkit.

We do not do this with programming (or theorem proving). Learners need training wheels (e.g. a learner focused prelude) before being sent to the standard prelude!

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…

Robert Graham (@robertgraham) on X

These beeps started in 1924. Back then, people could get "astronomical time" by telescopes looking at the stars. You knew when it was 12am by the exact time when a certain star appeared overhead. The Greenwich Observatory would calculate this time daily, and have a ball drop at

X (formerly Twitter)

@mevenlennonbertrand @jesper @gallais @jonmsterling not cool but Dagsthul…

Although, iiuc, it’s not the kind of thing Daghtul is for. But Scotland could lead forwards with an FP Castle sort of gig….

Vandaag (#DocumentFreedomDay) online: de volledig vernieuwde keuzehulp Open Publiceren: https://openpubliceren.nl/

Open Publiceren (@openstate en @forumstandaardisatie) is een praktische keuzehulp bij het kiezen van het juiste bestandsformaat voor open en leveranciersonafhankelijk publiceren van overheidsinformatie en -data.

Lees het nieuwsbericht: https://www.forumstandaardisatie.nl/nieuws/keuzehulp-open-publiceren-volledig-vernieuwd

#OpenOverheid, #OpenStandaarden, #Woo, #Who, #DigitaleAutonomie

@minbzk @developer @opennl

Open Publiceren

Op donderdag 26 maart vindt de eerste bijeenkomst van Platform Internetstandaarden van dit jaar plaats.

Op de agenda staan onder andere:

1. E-Mail-Sicherheitsjahr 2025 van @bsi (https://www.bsi.bund.de/DE/Themen/Verbraucherinnen-und-Verbraucher/Leistungen-und-Kooperationen/EMSJ/EMSJ_node.html)

2. DMARCaroni / @dmarcaroni (https://dmarcaroni.org/)

3. Accreditatieaanpak en Dutch Alternatives-website van #DutchCloudCommunity (https://dutch-alternatives.nl/)

1/2

E-Mail-Sicherheitsjahr

Bundesamt für Sicherheit in der Informationstechnik

@maxsnew @koronkebitch well in my first year I was reading joint CS & Philo, & Maths. These subjects were my major and minor subjects. But really major, minor, & tertiary. My second year was CS & Maths as Major and Minor. My subject choices meant I could choose either for my honours years, as I had the prerequisites.

More so my subject choices also meant that I had a rich basic education of these related subjects *prior* to specialising. Giving me a broad overview of them all.

There are foundational subjects that we, as Science majors, should take. We need complimentary subjects that enrich our thinking, and the complement here (for science) is the Humanities (ethics, classics, philosophy). CS Majors specialise wayto early as our subject is broad mixing engineering and hard/social sciences.

Forgetting Humanities means forgetting what it means to be human and thus how to be divine. There is a a reason why the meme is: science tells you how to clone Dinosaurs; Humanities tells you why it’s a bad idea.

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

@tonyg @chrisamaphone this is the (Calvé) way!

@lindsey oops! Missed that part about standards.

Regardless, good luck with this. I wholeheartedly support this endeavour!

@lindsey I do not it think it is a waste of time. Especially if you can match the person to the topic being taught, and a bonus if that person is from an underrepresented group!

Remember that the years when OPLSS had an all female line up, those years were both a statement that these people exist (compare to the usual suspects) and validation of those speakers tenure and ideas.