Search results

Jump to: navigation, search

Page title matches

Page text matches

  • ...e formalizing math, or formalizing computation. But there is a [[selection effect]] here because we are more likely to have heard of successes than failures.
    746 bytes (115 words) - 20:41, 12 April 2021
  • ...ezer also brings up the Shannon vs Poe chess example) See also [[selection effect for successful formalizations]].
    3 KB (480 words) - 20:17, 26 June 2020
  • ...you can then use the <code>.</code> command to repeat. But this has a side-effect in that Vim requires you to manually chunk your undo history. Emacs instead ...ions are not set correctly, one may have to wait up to 1-3 seconds for the effect of typing an escape key to show up on screen (because without waiting, Vim
    16 KB (2,958 words) - 02:58, 16 January 2026