# Key Ideas from #hplusroadmap IRC Discussions

• Participants explored Popperian epistemology, specifically its rejection of justificationism, arguing that scientific theories don't need justification but rather should be evaluated through critical testing and falsification.

• The conversation identified Timeless Decision Theory (TDT) as a framework for "choosing thoughts you would have regardless of context," with maaku noting it can be explained through probabilistic graphical models.

• Members discussed brain preservation technologies, debating whether uploading would make cryonics obsolete, while acknowledging challenges like radiation damage, free radicals, and biological half-life problems that Mike Darwin had identified.

• The group explored verification methods for uploaded minds, including PGP, multi-party computation protocols, and obfuscated garbled circuits as ways to ensure cloud environments aren't modifying software.

• A debate emerged about programming paradigms (duck typing versus strong typing), with one participant arguing that current software development infrastructure fails to support writing correct, strongly typed software as efficiently as less structured approaches.

• The historical development of potential cryonics technology was discussed, noting that refrigeration was commercialized in the 1850s and embryo freezing began in 1949, alongside the evolution of laboratory techniques like the Petri dish (1880s).

• FourFire shared research on transcranial direct current stimulation (tCDS) and mentioned a quantum physicist claiming breakthroughs in intelligent searches through design space.