Good advice not only in life but also in formal semantics.
-
Good advice not only in life but also in formal semantics.
-
chris martensreplied to Shriram Krishnamurthi last edited by
@shriramk on the other hand, can anything a computer does really be considered an achievement?
-
@chrisamaphone @shriramk
Pitch: an “achieve your goals!!” self-help book based on term rewriting systems -
Shriram Krishnamurthireplied to Paul Cantrell last edited by
@inthehands @chrisamaphone Well played.
-
rk: not a typewriterreplied to Shriram Krishnamurthi last edited by
@shriramk @inthehands @chrisamaphone
One of y’all could write an excellent prologue for said book.
-
Shriram Krishnamurthireplied to rk: not a typewriter last edited by
@rk @inthehands @chrisamaphone But to do this properly the prologue would have to be written by the system.
-
Paul Cantrellreplied to Shriram Krishnamurthi last edited by
@shriramk @rk @chrisamaphone \section{Prologue}
\[ \mathrm{Prologue} \]
(The rewriting rules are left as an exercise for the reader.)
––––
Done!
Copyright © 2024 NodeBB | Contributors