Now that we are all mad about software quality: do you have a definition for it? I started to writing one some weeks ago, today I found an old one in my bookmarks, but surely there must be many more out there<\/p>","url":"https:\/\/social.vivaldi.net\/@RosaCtrl\/116340476506514782","status_net":{"notice_id":null}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-03:objectType=thread:nonce=e6511bc09aad62a4","notice_info":{"local_id":"12396231","source":"ActivityPub","repeat_of":"12394967"}},"published":"2026-04-03T16:25:40+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"title":"janneke repeated a notice by RosaCtrl","verb":"share","url":"https:\/\/todon.nl\/users\/janneke\/statuses\/116341704952062730\/activity"},{"actor":{"id":"https:\/\/mastodon.social\/users\/regtur","displayName":"regtur","status_net":{"avatarLinks":[{"url":"https:\/\/gnusocial.jp\/avatar\/346996-original-tmp20250929192951.webp","rel":"avatar","type":"image\/webp","width":400,"height":400},{"url":"https:\/\/gnusocial.jp\/avatar\/346996-96-20251005040655.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},{"url":"https:\/\/gnusocial.jp\/avatar\/346996-48-20251005040655.webp","rel":"avatar","type":"image\/webp","width":48,"height":48},{"url":"https:\/\/gnusocial.jp\/avatar\/346996-24-20251009035434.webp","rel":"avatar","type":"image\/webp","width":24,"height":24}],"profile_info":{"local_id":"346996"}},"image":{"url":"https:\/\/gnusocial.jp\/avatar\/346996-96-20251005040655.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},"objectType":"person","summary":"A free radical (as in thinking freely and progressively), somewhere on the spectrum, trying to master the use of the computer declaratively, a student of formal methods where they pertain to language, a father and a friend.","url":"https:\/\/mastodon.social\/@regtur","portablecontacts_net":{"preferredUsername":"regtur","displayName":"regtur","note":"A free radical (as in thinking freely and progressively), somewhere on the spectrum, trying to master the use of the computer declaratively, a student of formal methods where they pertain to language, a father and a friend."}},"content":"
I will take a stab at it @RosaCtrl<\/a> I will take a stab at it @RosaCtrl<\/a> @janneke<\/a> OK, so these are tools to produce quality software. Now, if you don\u2019t know how it was made, but had access to the code, is there anything that would make you think \u00abdamn, this is nice\u00bb<\/p>","generator":{"id":"tag:gnusocial.jp,2026-08-31:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl\/statuses\/116341593940285583","object":{"id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl\/statuses\/116341593940285583","objectType":"note","content":" @janneke<\/a> OK, so these are tools to produce quality software. Now, if you don\u2019t know how it was made, but had access to the code, is there anything that would make you think \u00abdamn, this is nice\u00bb<\/p>","url":"https:\/\/gnusocial.jp\/notice\/12396185","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/todon.nl\/users\/janneke\/statuses\/116340539757603493","url":"https:\/\/todon.nl\/@janneke\/116340539757603493"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/person","id":"https:\/\/todon.nl\/users\/janneke"},{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-03:objectType=thread:nonce=e6511bc09aad62a4","notice_info":{"local_id":"12396185","source":"ActivityPub"}},"published":"2026-04-03T16:17:09+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/gnusocial.jp\/notice\/12396185"},{"actor":{"id":"https:\/\/todon.nl\/users\/janneke","displayName":"Janneke","status_net":{"avatarLinks":[{"url":"https:\/\/gnusocial.jp\/avatar\/114964-original-tmp20260205140900.webp","rel":"avatar","type":"image\/webp","width":400,"height":400},{"url":"https:\/\/gnusocial.jp\/avatar\/114964-96-20260205141245.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},{"url":"https:\/\/gnusocial.jp\/avatar\/114964-48-20260205141245.webp","rel":"avatar","type":"image\/webp","width":48,"height":48},{"url":"https:\/\/gnusocial.jp\/avatar\/114964-24-20260205141246.webp","rel":"avatar","type":"image\/webp","width":24,"height":24}],"profile_info":{"local_id":"114964"}},"image":{"url":"https:\/\/gnusocial.jp\/avatar\/114964-96-20260205141245.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},"objectType":"person","summary":"Fixing "Trusting Trust": a full source #bootstrap#vegan \u24cb\ud83c\udf31#GNU Mes, Guile, #Guix, the #Hurd#physics|#barefoot|#Avatar\u00ae|#AvatarEPC|#searchablecofounder: https:\/\/gnu.org\/s\/mes, https:\/\/lilypond.org, https:\/\/doe040.nl#nvc|#sociocracy|#polyhttps:\/\/joyofsource.com","url":"https:\/\/todon.nl\/@janneke","portablecontacts_net":{"preferredUsername":"janneke","displayName":"Janneke","note":"Fixing "Trusting Trust": a full source #bootstrap#vegan \u24cb\ud83c\udf31#GNU Mes, Guile, #Guix, the #Hurd#physics|#barefoot|#Avatar\u00ae|#AvatarEPC|#searchablecofounder: https:\/\/gnu.org\/s\/mes, https:\/\/lilypond.org, https:\/\/doe040.nl#nvc|#sociocracy|#polyhttps:\/\/joyofsource.com"}},"content":" @RosaCtrl<\/a> When [a change to] your code evokes a reponse like this, it could be \"of some quality\":<\/p> <https:\/\/srfi-email.schemers.org\/srfi-235\/msg\/38530765\/<\/a>><\/p>","generator":{"id":"tag:gnusocial.jp,2026-08-31:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/todon.nl\/users\/janneke\/statuses\/116341671477205405","object":{"id":"https:\/\/todon.nl\/users\/janneke\/statuses\/116341671477205405","objectType":"note","content":" @RosaCtrl<\/a> When [a change to] your code evokes a reponse like this, it could be \"of some quality\":<\/p> <https:\/\/srfi-email.schemers.org\/srfi-235\/msg\/38530765\/<\/a>><\/p>","url":"https:\/\/todon.nl\/@janneke\/116341671477205405","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl\/statuses\/116341593940285583","url":"https:\/\/gnusocial.jp\/notice\/12396185"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/person","id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl"},{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/person","id":"https:\/\/mastodon.social\/users\/regtur"},{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-03:objectType=thread:nonce=e6511bc09aad62a4","notice_info":{"local_id":"12396186","source":"ActivityPub"}},"published":"2026-04-03T16:17:08+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/todon.nl\/@janneke\/116341671477205405"},{"actor":{"id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl","displayName":"Badly-read literary snob","status_net":{"avatarLinks":[{"url":"https:\/\/gnusocial.jp\/avatar\/345396-original-tmp20250514113839.webp","rel":"avatar","type":"image\/webp","width":400,"height":400},{"url":"https:\/\/gnusocial.jp\/avatar\/345396-96-20250514113839.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},{"url":"https:\/\/gnusocial.jp\/avatar\/345396-48-20250514113839.webp","rel":"avatar","type":"image\/webp","width":48,"height":48},{"url":"https:\/\/gnusocial.jp\/avatar\/345396-24-20250514113839.webp","rel":"avatar","type":"image\/webp","width":24,"height":24}],"profile_info":{"local_id":"345396"}},"image":{"url":"https:\/\/gnusocial.jp\/avatar\/345396-96-20250514113839.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},"objectType":"person","summary":"Resented \ud83c\udde8\ud83c\uddf1 \u2708\ufe0f \ud83c\uddf3\ud83c\uddf4 immigrant. Also a middle aged woman literally yelling to The cloud.I used to post a lot about computers because I love computers, but then they came and ruined computering so now I mostly rant about how they wanna ruin literature too","url":"https:\/\/social.vivaldi.net\/@RosaCtrl","portablecontacts_net":{"preferredUsername":"RosaCtrl","displayName":"Badly-read literary snob","note":"Resented \ud83c\udde8\ud83c\uddf1 \u2708\ufe0f \ud83c\uddf3\ud83c\uddf4 immigrant. Also a middle aged woman literally yelling to The cloud.I used to post a lot about computers because I love computers, but then they came and ruined computering so now I mostly rant about how they wanna ruin literature too"}},"content":" @janneke<\/a> so gather from this that avoiding bugs by formal methods is the core of what you would call quality?<\/p>","generator":{"id":"tag:gnusocial.jp,2026-08-31:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl\/statuses\/116340519688225050","object":{"id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl\/statuses\/116340519688225050","objectType":"note","content":" @janneke<\/a> so gather from this that avoiding bugs by formal methods is the core of what you would call quality?<\/p>","url":"https:\/\/gnusocial.jp\/notice\/12395045","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/todon.nl\/users\/janneke\/statuses\/116340500655588905","url":"https:\/\/todon.nl\/@janneke\/116340500655588905"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/person","id":"https:\/\/todon.nl\/users\/janneke"},{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-03:objectType=thread:nonce=e6511bc09aad62a4","notice_info":{"local_id":"12395045","source":"ActivityPub"}},"published":"2026-04-03T11:29:20+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/gnusocial.jp\/notice\/12395045"},{"actor":{"id":"https:\/\/todon.nl\/users\/janneke","displayName":"Janneke","status_net":{"avatarLinks":[{"url":"https:\/\/gnusocial.jp\/avatar\/114964-original-tmp20260205140900.webp","rel":"avatar","type":"image\/webp","width":400,"height":400},{"url":"https:\/\/gnusocial.jp\/avatar\/114964-96-20260205141245.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},{"url":"https:\/\/gnusocial.jp\/avatar\/114964-48-20260205141245.webp","rel":"avatar","type":"image\/webp","width":48,"height":48},{"url":"https:\/\/gnusocial.jp\/avatar\/114964-24-20260205141246.webp","rel":"avatar","type":"image\/webp","width":24,"height":24}],"profile_info":{"local_id":"114964"}},"image":{"url":"https:\/\/gnusocial.jp\/avatar\/114964-96-20260205141245.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},"objectType":"person","summary":"Fixing "Trusting Trust": a full source #bootstrap#vegan \u24cb\ud83c\udf31#GNU Mes, Guile, #Guix, the #Hurd#physics|#barefoot|#Avatar\u00ae|#AvatarEPC|#searchablecofounder: https:\/\/gnu.org\/s\/mes, https:\/\/lilypond.org, https:\/\/doe040.nl#nvc|#sociocracy|#polyhttps:\/\/joyofsource.com","url":"https:\/\/todon.nl\/@janneke","portablecontacts_net":{"preferredUsername":"janneke","displayName":"Janneke","note":"Fixing "Trusting Trust": a full source #bootstrap#vegan \u24cb\ud83c\udf31#GNU Mes, Guile, #Guix, the #Hurd#physics|#barefoot|#Avatar\u00ae|#AvatarEPC|#searchablecofounder: https:\/\/gnu.org\/s\/mes, https:\/\/lilypond.org, https:\/\/doe040.nl#nvc|#sociocracy|#polyhttps:\/\/joyofsource.com"}},"content":" @RosaCtrl<\/a> The Dezyne language as it is today was primarily targeted at (corporate) C\/JavaScript programmers, i.e., an imperative style.<\/p> For quality code, using a functional language or functional style (Guile scheme is my personal preference) is a minimum requirement. Probably also that all code is pair programmed.<\/p>","generator":{"id":"tag:gnusocial.jp,2026-08-31:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/todon.nl\/users\/janneke\/statuses\/116340539757603493","object":{"id":"https:\/\/todon.nl\/users\/janneke\/statuses\/116340539757603493","objectType":"note","content":" @RosaCtrl<\/a> The Dezyne language as it is today was primarily targeted at (corporate) C\/JavaScript programmers, i.e., an imperative style.<\/p> For quality code, using a functional language or functional style (Guile scheme is my personal preference) is a minimum requirement. Probably also that all code is pair programmed.<\/p>","url":"https:\/\/todon.nl\/@janneke\/116340539757603493","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl\/statuses\/116340519688225050","url":"https:\/\/gnusocial.jp\/notice\/12395045"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/person","id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl"},{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-03:objectType=thread:nonce=e6511bc09aad62a4","notice_info":{"local_id":"12395046","source":"ActivityPub"}},"published":"2026-04-03T11:29:19+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/todon.nl\/@janneke\/116340539757603493"},{"actor":{"id":"https:\/\/todon.nl\/users\/janneke","displayName":"Janneke","status_net":{"avatarLinks":[{"url":"https:\/\/gnusocial.jp\/avatar\/114964-original-tmp20260205140900.webp","rel":"avatar","type":"image\/webp","width":400,"height":400},{"url":"https:\/\/gnusocial.jp\/avatar\/114964-96-20260205141245.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},{"url":"https:\/\/gnusocial.jp\/avatar\/114964-48-20260205141245.webp","rel":"avatar","type":"image\/webp","width":48,"height":48},{"url":"https:\/\/gnusocial.jp\/avatar\/114964-24-20260205141246.webp","rel":"avatar","type":"image\/webp","width":24,"height":24}],"profile_info":{"local_id":"114964"}},"image":{"url":"https:\/\/gnusocial.jp\/avatar\/114964-96-20260205141245.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},"objectType":"person","summary":"Fixing "Trusting Trust": a full source #bootstrap#vegan \u24cb\ud83c\udf31#GNU Mes, Guile, #Guix, the #Hurd#physics|#barefoot|#Avatar\u00ae|#AvatarEPC|#searchablecofounder: https:\/\/gnu.org\/s\/mes, https:\/\/lilypond.org, https:\/\/doe040.nl#nvc|#sociocracy|#polyhttps:\/\/joyofsource.com","url":"https:\/\/todon.nl\/@janneke","portablecontacts_net":{"preferredUsername":"janneke","displayName":"Janneke","note":"Fixing "Trusting Trust": a full source #bootstrap#vegan \u24cb\ud83c\udf31#GNU Mes, Guile, #Guix, the #Hurd#physics|#barefoot|#Avatar\u00ae|#AvatarEPC|#searchablecofounder: https:\/\/gnu.org\/s\/mes, https:\/\/lilypond.org, https:\/\/doe040.nl#nvc|#sociocracy|#polyhttps:\/\/joyofsource.com"}},"content":" @RosaCtrl<\/a> @RosaCtrl<\/a> Now that we are all mad about software quality: do you have a definition for it? I started to writing one some weeks ago, today I found an old one in my bookmarks, but surely there must be many more out there<\/p>","generator":{"id":"tag:gnusocial.jp,2026-08-31:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl\/statuses\/116340476506514782","object":{"id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl\/statuses\/116340476506514782","objectType":"note","content":" Now that we are all mad about software quality: do you have a definition for it? I started to writing one some weeks ago, today I found an old one in my bookmarks, but surely there must be many more out there<\/p>","url":"https:\/\/social.vivaldi.net\/@RosaCtrl\/116340476506514782","status_net":{"notice_id":null}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-03:objectType=thread:nonce=e6511bc09aad62a4","notice_info":{"local_id":"12394967","source":"ActivityPub"}},"published":"2026-04-03T11:17:53+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/social.vivaldi.net\/@RosaCtrl\/116340476506514782"},{"actor":{"id":"https:\/\/todon.nl\/users\/janneke","displayName":"Janneke","status_net":{"avatarLinks":[{"url":"https:\/\/gnusocial.jp\/avatar\/114964-original-tmp20260205140900.webp","rel":"avatar","type":"image\/webp","width":400,"height":400},{"url":"https:\/\/gnusocial.jp\/avatar\/114964-96-20260205141245.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},{"url":"https:\/\/gnusocial.jp\/avatar\/114964-48-20260205141245.webp","rel":"avatar","type":"image\/webp","width":48,"height":48},{"url":"https:\/\/gnusocial.jp\/avatar\/114964-24-20260205141246.webp","rel":"avatar","type":"image\/webp","width":24,"height":24}],"profile_info":{"local_id":"114964"}},"image":{"url":"https:\/\/gnusocial.jp\/avatar\/114964-96-20260205141245.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},"objectType":"person","summary":"Fixing "Trusting Trust": a full source #bootstrap#vegan \u24cb\ud83c\udf31#GNU Mes, Guile, #Guix, the #Hurd#physics|#barefoot|#Avatar\u00ae|#AvatarEPC|#searchablecofounder: https:\/\/gnu.org\/s\/mes, https:\/\/lilypond.org, https:\/\/doe040.nl#nvc|#sociocracy|#polyhttps:\/\/joyofsource.com","url":"https:\/\/todon.nl\/@janneke","portablecontacts_net":{"preferredUsername":"janneke","displayName":"Janneke","note":"Fixing "Trusting Trust": a full source #bootstrap#vegan \u24cb\ud83c\udf31#GNU Mes, Guile, #Guix, the #Hurd#physics|#barefoot|#Avatar\u00ae|#AvatarEPC|#searchablecofounder: https:\/\/gnu.org\/s\/mes, https:\/\/lilypond.org, https:\/\/doe040.nl#nvc|#sociocracy|#polyhttps:\/\/joyofsource.com"}},"content":" @RosaCtrl<\/a> @RosaCtrl<\/a>
Quality code to me would read easier than writing it was @janneke<\/a><\/p>","generator":{"id":"tag:gnusocial.jp,2026-08-31:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/mastodon.social\/users\/regtur\/statuses\/116341694349576729","object":{"id":"https:\/\/mastodon.social\/users\/regtur\/statuses\/116341694349576729","objectType":"note","content":"
Quality code to me would read easier than writing it was @janneke<\/a><\/p>","url":"https:\/\/gnusocial.jp\/notice\/12396230","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl\/statuses\/116340476506514782","url":"https:\/\/social.vivaldi.net\/@RosaCtrl\/116340476506514782"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/person","id":"https:\/\/todon.nl\/users\/janneke"},{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/person","id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl"},{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-03:objectType=thread:nonce=e6511bc09aad62a4","notice_info":{"local_id":"12396230","source":"ActivityPub"}},"published":"2026-04-03T16:25:39+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/gnusocial.jp\/notice\/12396230"},{"actor":{"id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl","displayName":"Badly-read literary snob","status_net":{"avatarLinks":[{"url":"https:\/\/gnusocial.jp\/avatar\/345396-original-tmp20250514113839.webp","rel":"avatar","type":"image\/webp","width":400,"height":400},{"url":"https:\/\/gnusocial.jp\/avatar\/345396-96-20250514113839.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},{"url":"https:\/\/gnusocial.jp\/avatar\/345396-48-20250514113839.webp","rel":"avatar","type":"image\/webp","width":48,"height":48},{"url":"https:\/\/gnusocial.jp\/avatar\/345396-24-20250514113839.webp","rel":"avatar","type":"image\/webp","width":24,"height":24}],"profile_info":{"local_id":"345396"}},"image":{"url":"https:\/\/gnusocial.jp\/avatar\/345396-96-20250514113839.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},"objectType":"person","summary":"Resented \ud83c\udde8\ud83c\uddf1 \u2708\ufe0f \ud83c\uddf3\ud83c\uddf4 immigrant. Also a middle aged woman literally yelling to The cloud.I used to post a lot about computers because I love computers, but then they came and ruined computering so now I mostly rant about how they wanna ruin literature too","url":"https:\/\/social.vivaldi.net\/@RosaCtrl","portablecontacts_net":{"preferredUsername":"RosaCtrl","displayName":"Badly-read literary snob","note":"Resented \ud83c\udde8\ud83c\uddf1 \u2708\ufe0f \ud83c\uddf3\ud83c\uddf4 immigrant. Also a middle aged woman literally yelling to The cloud.I used to post a lot about computers because I love computers, but then they came and ruined computering so now I mostly rant about how they wanna ruin literature too"}},"content":"
That's a good question. My best aim at an answer right now would be by anecdote. @regtur<\/a> and I have been working to get srfi-235 included into Guile and simultanously propose a fix for the reference implementation.<\/p>
That's a good question. My best aim at an answer right now would be by anecdote. @regtur<\/a> and I have been working to get srfi-235 included into Guile and simultanously propose a fix for the reference implementation.<\/p>
It's one aspect. Humans are creative and notoriously bad at accuracy and completeness. This is where formal verification comes in.<\/p>
It's one aspect. Humans are creative and notoriously bad at accuracy and completeness. This is where formal verification comes in.<\/p>
There's lots of work still to be done for this to become a general viable solution.<\/p>","generator":{"id":"tag:gnusocial.jp,2026-08-31:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/todon.nl\/users\/janneke\/statuses\/116340500655588905","object":{"id":"https:\/\/todon.nl\/users\/janneke\/statuses\/116340500655588905","objectType":"note","content":"
There's lots of work still to be done for this to become a general viable solution.<\/p>","url":"https:\/\/todon.nl\/@janneke\/116340500655588905","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/todon.nl\/users\/janneke\/statuses\/116340494712538209","url":"https:\/\/gnusocial.jp\/notice\/12394968"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/person","id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl"},{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-03:objectType=thread:nonce=e6511bc09aad62a4","notice_info":{"local_id":"12394973","source":"ActivityPub"}},"published":"2026-04-03T11:19:27+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/todon.nl\/@janneke\/116340500655588905"},{"actor":{"id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl","displayName":"Badly-read literary snob","status_net":{"avatarLinks":[{"url":"https:\/\/gnusocial.jp\/avatar\/345396-original-tmp20250514113839.webp","rel":"avatar","type":"image\/webp","width":400,"height":400},{"url":"https:\/\/gnusocial.jp\/avatar\/345396-96-20250514113839.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},{"url":"https:\/\/gnusocial.jp\/avatar\/345396-48-20250514113839.webp","rel":"avatar","type":"image\/webp","width":48,"height":48},{"url":"https:\/\/gnusocial.jp\/avatar\/345396-24-20250514113839.webp","rel":"avatar","type":"image\/webp","width":24,"height":24}],"profile_info":{"local_id":"345396"}},"image":{"url":"https:\/\/gnusocial.jp\/avatar\/345396-96-20250514113839.webp","rel":"avatar","type":"image\/webp","width":96,"height":96},"objectType":"person","summary":"Resented \ud83c\udde8\ud83c\uddf1 \u2708\ufe0f \ud83c\uddf3\ud83c\uddf4 immigrant. Also a middle aged woman literally yelling to The cloud.I used to post a lot about computers because I love computers, but then they came and ruined computering so now I mostly rant about how they wanna ruin literature too","url":"https:\/\/social.vivaldi.net\/@RosaCtrl","portablecontacts_net":{"preferredUsername":"RosaCtrl","displayName":"Badly-read literary snob","note":"Resented \ud83c\udde8\ud83c\uddf1 \u2708\ufe0f \ud83c\uddf3\ud83c\uddf4 immigrant. Also a middle aged woman literally yelling to The cloud.I used to post a lot about computers because I love computers, but then they came and ruined computering so now I mostly rant about how they wanna ruin literature too"}},"content":"
I have been working for some 12y now on a programming language called Dezyne (https:\/\/dezyne.org<\/a>) that adds formal verification for stateful behavior of concurrent agents\/components.<\/p>","generator":{"id":"tag:gnusocial.jp,2026-08-31:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/todon.nl\/users\/janneke\/statuses\/116340494712538209","object":{"id":"https:\/\/todon.nl\/users\/janneke\/statuses\/116340494712538209","objectType":"note","content":"
I have been working for some 12y now on a programming language called Dezyne (https:\/\/dezyne.org<\/a>) that adds formal verification for stateful behavior of concurrent agents\/components.<\/p>","url":"https:\/\/gnusocial.jp\/notice\/12394968","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl\/statuses\/116340476506514782","url":"https:\/\/social.vivaldi.net\/@RosaCtrl\/116340476506514782"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/person","id":"https:\/\/social.vivaldi.net\/users\/RosaCtrl"},{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:gnusocial.jp,2026-04-03:objectType=thread:nonce=e6511bc09aad62a4","notice_info":{"local_id":"12394968","source":"ActivityPub"}},"published":"2026-04-03T11:17:52+00:00","provider":{"objectType":"service","displayName":"GNU social JP","url":"https:\/\/gnusocial.jp\/"},"verb":"post","url":"https:\/\/gnusocial.jp\/notice\/12394968"}],"links":[{"url":"https:\/\/gnusocial.jp\/conversation\/6291560","rel":"alternate","type":"text\/html"}]}