Recent searches
Search options
Good advice not only in life but also in formal semantics.
@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
@shriramk @inthehands @chrisamaphone
One of y’all could write an excellent prologue for said book.
@rk @inthehands @chrisamaphone But to do this properly the prologue would have to be written by the system.
@shriramk @rk @chrisamaphone \section{Prologue}
\[ \mathrm{Prologue} \]
(The rewriting rules are left as an exercise for the reader.)
––––
Done!