У него, как раз, на удивление ясные работы, прозрачные, изящные.
(Если уж я смог разобраться, когда учился в институте в СССР, без чьей либо помощи, а я совсем тогда не блистал способностью разбираться в непонятных вещах; да впрочем и сейчас этого не умею.)
И там, в этих работах, была совершенно удивительная типография - я только гораздо позже понял, до какой степени меня покорили эти несколько простых изобретений из области изящных символов (всего несколько значков, а какой эффект).
Но он и выглядел тогда совсем иначе (есть фотография конца 60-х, когда ключевые вещи были придуманы, и когда ему не было 40, он 1932-го года рождения, так и не скажешь, что это тот же человек, что и человек, которого мы видим на фотографиях пенсионного возраста, и который сделал эти слайды; хотя он и в последней фазе придумывал яркие веши (мне лично менее симпатичные, но это вопрос вкуса)).
Но если у вас есть Барендрегт, там должна бы быть его "настоящая фотография", там есть секция, где много фотографий (если найдёте, дайте знать, если можно; я сейчас даже не уверен, есть ли у меня Барендрегт дома). А вот "промежуточная" - если знать, какая была "настоящая", то понятно, как оно эволюционирует:
Ну да, когда я к нему приезжал познакомится в 1991-ом году в Карнеги-Меллон, он уже, в общем, был таким, как на своих фотках старого возраста...
По линку-то там, снизу старая, а выше - примерно начала 80-х, когда ему лет 50.
Но всё у них там было очень изящно, у них был класс NeXT workstations от Стива Джобса в его вне-аппловский период, и это тогда был самый красивый компьютер в мире, и всё, что они на нём типографски делали для лекций, тоже было очень красиво...
Страница 232 PDF-овского файла. Качество скана, правда, довольно жуткое, так что не полностью видно, какой он там, только намёком (если удалось бы сделать хороший скан, было бы понятно).
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
juan_gandhi) wrote2020-09-18 08:18 am
no subject
relation and continuous functions respecting equivalences
is cartesian closed.
so cool...
no subject
Pretty unusual, right?
no subject
There was a cool post by akuklev once, and an eye-opening talk by Thorsten Altenkirch.
no subject
no subject
Когда ему было 60, у него ещё было всё очень здорово с визуальной эстетикой...
no subject
Да ладно, этот человек открыл нам глаза на одно возможное решение проблемы, которая, по-моему, на уровне стыковки ТО и квантов.
no subject
Просто странно, что возможности компьютеров используются в таком направлении. Впрочем, кредо математиков: чем сложнее понять, тем лучше.
no subject
(Если уж я смог разобраться, когда учился в институте в СССР, без чьей либо помощи, а я совсем тогда не блистал способностью разбираться в непонятных вещах; да впрочем и сейчас этого не умею.)
И там, в этих работах, была совершенно удивительная типография - я только гораздо позже понял, до какой степени меня покорили эти несколько простых изобретений из области изящных символов (всего несколько значков, а какой эффект).
Но он и выглядел тогда совсем иначе (есть фотография конца 60-х, когда ключевые вещи были придуманы, и когда ему не было 40, он 1932-го года рождения, так и не скажешь, что это тот же человек, что и человек, которого мы видим на фотографиях пенсионного возраста, и который сделал эти слайды; хотя он и в последней фазе придумывал яркие веши (мне лично менее симпатичные, но это вопрос вкуса)).
no subject
Я его на Лямбда-конфе только видел. Его пятичасовые лекции, это было нечто. Я даже конспектировал. Да видео есть, на самом деле.
no subject
Но если у вас есть Барендрегт, там должна бы быть его "настоящая фотография", там есть секция, где много фотографий (если найдёте, дайте знать, если можно; я сейчас даже не уверен, есть ли у меня Барендрегт дома). А вот "промежуточная" - если знать, какая была "настоящая", то понятно, как оно эволюционирует:
https://hopl.info/showperson.prx?PeopleID=643
Но та, которая в Барендрегте, она, вообще, магическая...
no subject
А, ну да. Стр. 468.
Но я его видел как вот на той фотке по линку.
no subject
По линку-то там, снизу старая, а выше - примерно начала 80-х, когда ему лет 50.
Но всё у них там было очень изящно, у них был класс NeXT workstations от Стива Джобса в его вне-аппловский период, и это тогда был самый красивый компьютер в мире, и всё, что они на нём типографски делали для лекций, тоже было очень красиво...
no subject
no subject
http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf
Страница 232 PDF-овского файла. Качество скана, правда, довольно жуткое, так что не полностью видно, какой он там, только намёком (если удалось бы сделать хороший скан, было бы понятно).
no subject
Да фотки и в оригинале некачественные (стр. 468)
no subject
:-) This makes me pretty happy, as I think about "our approach to programming" as a version of functional reactive programming" :-)