@jdemuijnck.bsky.social
Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in many things! My work doesn’t define me; it is not my identity.
I saw this book the other day when across the border. Edwin’s may be rare but they be important.
July 18, 2025 at 11:29 AM
I saw this book the other day when across the border. Edwin’s may be rare but they be important.
The other day I went to a wondrous book shop! Glorious it was. Barter books.
July 12, 2025 at 9:16 PM
The other day I went to a wondrous book shop! Glorious it was. Barter books.