Conversation

Notices

1. Embed this notice
   Janneke (janneke@todon.nl)'s status on Friday, 03-Apr-2026 20:17:52 JST Janneke

   in reply to

   • Badly-read literary snob

   @RosaCtrl
   I have been working for some 12y now on a programming language called Dezyne (https://dezyne.org) that adds formal verification for stateful behavior of concurrent agents/components.

   • Embed this notice
     Badly-read literary snob (rosactrl@social.vivaldi.net)'s status on Friday, 03-Apr-2026 20:17:53 JST Badly-read literary snob

     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

     Janneke repeated this.
   • Embed this notice
     Janneke (janneke@todon.nl)'s status on Friday, 03-Apr-2026 20:19:27 JST Janneke

     in reply to

     • Badly-read literary snob

     @RosaCtrl
     There's lots of work still to be done for this to become a general viable solution.

   • Embed this notice
     Janneke (janneke@todon.nl)'s status on Friday, 03-Apr-2026 20:29:19 JST Janneke

     in reply to

     • Badly-read literary snob

     @RosaCtrl
     It's one aspect. Humans are creative and notoriously bad at accuracy and completeness. This is where formal verification comes in.

     The Dezyne language as it is today was primarily targeted at (corporate) C/JavaScript programmers, i.e., an imperative style.

     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.

   • Embed this notice
     Badly-read literary snob (rosactrl@social.vivaldi.net)'s status on Friday, 03-Apr-2026 20:29:20 JST Badly-read literary snob

     in reply to

     @janneke so gather from this that avoiding bugs by formal methods is the core of what you would call quality?

   • Embed this notice
     Janneke (janneke@todon.nl)'s status on Saturday, 04-Apr-2026 01:17:08 JST Janneke

     in reply to

     • Badly-read literary snob
     • regtur

     @RosaCtrl
     That's a good question. My best aim at an answer right now would be by anecdote. @regtur and I have been working to get srfi-235 included into Guile and simultanously propose a fix for the reference implementation.

     When [a change to] your code evokes a reponse like this, it could be "of some quality":

     <https://srfi-email.schemers.org/srfi-235/msg/38530765/>

   • Embed this notice
     Badly-read literary snob (rosactrl@social.vivaldi.net)'s status on Saturday, 04-Apr-2026 01:17:09 JST Badly-read literary snob

     in reply to

     @janneke OK, so these are tools to produce quality software. Now, if you don’t know how it was made, but had access to the code, is there anything that would make you think «damn, this is nice»

   • Embed this notice
     regtur (regtur@mastodon.social)'s status on Saturday, 04-Apr-2026 01:25:39 JST regtur

     in reply to

     • Badly-read literary snob

     I will take a stab at it @RosaCtrl
     Quality code to me would read easier than writing it was @janneke