~/talk

Talk Six Impossible Things

Talkat KotlinConf 2023 · 2023-04-12..04-14· [kotlin, soft-skills]
slides:none on file

Six concrete impossibilities get examined with examples and code: IEEE 754 isn’t real numbers illustrated by floating point quirks, a 1983 Java binary‑search variant later found in 2006 to have a midpoint overflow bug, time stamps pegged to 1970 and the 2038 limit showing OS/C pitfalls, permutation and Bogosort nontermination exercised with Kotlin, sequences and ChatGPT hallucinations, CAP theorem tradeoffs for distributed systems, and undecidability via the halting problem and C string undefined behavior.

AI-written summary · about

  1. 0:00Introduction
  2. 3:14Infinite Representations
  3. 5:57Perfect Arithmetic
  4. 13:35Definitive Answers
  5. 20:24Algorithmic Certainty
  6. 25:46Esoteric Sorting
  7. 33:36Halting Problem
  8. 35:56Establishing Truth
  9. 42:09Measuring Engagement
  10. 45:32Predicting the Future
  11. 50:54Quantifying Value
  12. 54:04Distributed Systems
  13. 59:49Technical Debt
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.