зароки на 2010
Jan. 19th, 2010 12:41 amПо следам записи о зароках - вот то, к чему я буду стремиться в этом году. Это только то, что относится к информации в широком смысле слова. То, что касается меня лично, отношений с людьми ипр. я решил записать в другом месте и приватно.
В 2010-м году я собираюсь:
Прочитать около сотни книг. Не менее 15 из них - заполнение лакун в классике, понимая под этим, например, написанное до 20-го века.
Продвинуться в французском до чтения худ. лит. со словарем, текстов газетного уровня в основном без словаря, только для идиом и более редких слов. Уметь поддержать простую беседу по-французски.
Дойти до конца учебника по древнегреческому и уметь читать относительно простые тексты со словарем.
Разобраться в теории категорий, лямбда-исчислении и теории типов настолько, чтобы хорошо понимать Curry-Howard correspondence, вот эту статью, записи блоггера sigfpe.blogspot.com и другие тексты подобного направления.
Разобраться в квантовой механике достаточно, чтобы понимать на уровне технических подробностей, как работает вторичное квантование и интеграл Фейнмана.
Изучить два новых языка программирования.
Изучить более подробно байесианский подход к теории вероятностей, но также и лучше понять его философское обоснование и возражения против него. Прийти к собственному мнению насчет его полезности и желательности использования.
Прочитать пропущенные мной записи Элиезера Юдковского на overcomingbias.com из длинной серии про эпистемологию/рациональное мышление/научный метод/основания квантовой механики. Поспорить с этим как следует у себя в голове. Вернуться к активному чтению сайта lesswrong.com.
Если что-то важное забыл, потом добавлю.
В конце года посмотрим, что из этого получилось.
В 2010-м году я собираюсь:
Прочитать около сотни книг. Не менее 15 из них - заполнение лакун в классике, понимая под этим, например, написанное до 20-го века.
Продвинуться в французском до чтения худ. лит. со словарем, текстов газетного уровня в основном без словаря, только для идиом и более редких слов. Уметь поддержать простую беседу по-французски.
Дойти до конца учебника по древнегреческому и уметь читать относительно простые тексты со словарем.
Разобраться в теории категорий, лямбда-исчислении и теории типов настолько, чтобы хорошо понимать Curry-Howard correspondence, вот эту статью, записи блоггера sigfpe.blogspot.com и другие тексты подобного направления.
Разобраться в квантовой механике достаточно, чтобы понимать на уровне технических подробностей, как работает вторичное квантование и интеграл Фейнмана.
Изучить два новых языка программирования.
Изучить более подробно байесианский подход к теории вероятностей, но также и лучше понять его философское обоснование и возражения против него. Прийти к собственному мнению насчет его полезности и желательности использования.
Прочитать пропущенные мной записи Элиезера Юдковского на overcomingbias.com из длинной серии про эпистемологию/рациональное мышление/научный метод/основания квантовой механики. Поспорить с этим как следует у себя в голове. Вернуться к активному чтению сайта lesswrong.com.
Если что-то важное забыл, потом добавлю.
В конце года посмотрим, что из этого получилось.