Conversation

Notices

1. Embed this notice
   Shriram Krishnamurthi (shriramk@mastodon.social)'s status on Sunday, 20-Oct-2024 08:10:50 JST Shriram Krishnamurthi

   Good advice not only in life but also in formal semantics.

   • Embed this notice
     Paul Cantrell (inthehands@hachyderm.io)'s status on Sunday, 20-Oct-2024 08:10:48 JST Paul Cantrell

     in reply to

     • chris martens

     @chrisamaphone @shriramk
     Pitch: an “achieve your goals!!” self-help book based on term rewriting systems

   • Embed this notice
     chris martens (chrisamaphone@hci.social)'s status on Sunday, 20-Oct-2024 08:10:49 JST chris martens

     in reply to

     @shriramk on the other hand, can anything a computer does really be considered an achievement?

   • Embed this notice
     Shriram Krishnamurthi (shriramk@mastodon.social)'s status on Thursday, 24-Oct-2024 02:05:57 JST Shriram Krishnamurthi

     in reply to

     • Paul Cantrell
     • chris martens
     • rk: not a typewriter

     @rk @inthehands @chrisamaphone But to do this properly the prologue would have to be written by the system.

   • Embed this notice
     Paul Cantrell (inthehands@hachyderm.io)'s status on Thursday, 24-Oct-2024 02:05:57 JST Paul Cantrell

     in reply to

     • chris martens
     • rk: not a typewriter

     @shriramk @rk @chrisamaphone \section{Prologue}

     \[ \mathrm{Prologue} \]

     (The rewriting rules are left as an exercise for the reader.)

     ––––

     Done!

   • Embed this notice
     Shriram Krishnamurthi (shriramk@mastodon.social)'s status on Thursday, 24-Oct-2024 02:06:00 JST Shriram Krishnamurthi

     in reply to

     • Paul Cantrell
     • chris martens

     @inthehands @chrisamaphone Well played.

   • Embed this notice
     rk: not a typewriter (rk@mastodon.well.com)'s status on Thursday, 24-Oct-2024 02:06:00 JST rk: not a typewriter

     in reply to

     • Paul Cantrell
     • chris martens

     @shriramk @inthehands @chrisamaphone

     One of y’all could write an excellent prologue for said book.