Florian Cucurella

Daily reading — 2026-10-28

Conversations on X

  • David R. MacIver distinguishes ZFC being inconsistent from an inconsistency that cannot be repaired while preserving ordinary mathematics; he puts substantially more confidence in ZFC’s consistency than the estimate he is responding to.

  • Cheng Lou describes approving a TouchID request after losing track of the agent’s task, a small example of authorization arriving after the human’s context has gone stale.

  • Tomas Petricek is recording a course based on Cultures of Programming, beginning with programming history and Knight Capital’s loss.