Conversation

Notices

1. Embed this notice
   Carlo Zancanaro (carlozancanaro@aus.social)'s status on Saturday, 28-Feb-2026 21:19:01 JST Carlo Zancanaro

   • Badly-read literary snob

   @RosaCtrl If it was, we wouldn't need types or static analysis.

   • Embed this notice
     Janneke (janneke@todon.nl)'s status on Saturday, 28-Feb-2026 21:19:00 JST Janneke

     in reply to

     • Badly-read literary snob

     @carlozancanaro @RosaCtrl
     If it was, a computer would be intelligent.

   • Embed this notice
     Janneke (janneke@todon.nl)'s status on Saturday, 28-Feb-2026 21:20:44 JST Janneke

     in reply to

     • Badly-read literary snob

     @carlozancanaro @RosaCtrl
     And also, I have been known to understand a program and find it elegant and correct, while the computer disagreed...

   • Embed this notice
     Janneke (janneke@todon.nl)'s status on Saturday, 28-Feb-2026 21:35:22 JST Janneke

     in reply to

     • Badly-read literary snob

     @carlozancanaro @RosaCtrl
     Which is, incidentally, why I dislike mathematics; you cannot generally execute is and be certain it's correct.

   • Embed this notice
     Janneke (janneke@todon.nl)'s status on Sunday, 01-Mar-2026 21:40:35 JST Janneke

     in reply to

     • Wynke
     • Badly-read literary snob

     @wynke @carlozancanaro @RosaCtrl
     That sounds lovely!

   • Embed this notice
     Wynke (wynke@mendeddrum.org)'s status on Sunday, 01-Mar-2026 21:40:36 JST Wynke

     in reply to

     • Janneke
     • Badly-read literary snob

     @janneke @carlozancanaro @RosaCtrl There are ways to do this. I wrote my Master's thesis about a language designed for it. Talk to me about it when we next meet if you want (although it's multiple decades ago so I'm a bit rusty on the subject).