Кофе
emergency
дневник заведен 08-07-2007
закладки:
цитатник:
дневник:
местожительство:
Москва, Россия
[1] 06-04-2024 12:09
Между прочим

[Print]
Акша Таквааш
Вторник, 4 Октября 2022 г.
21:12 (с) Шульман
"Случай в общем довольно удивительный в истории права и политической истории. Во всяком случае обсуждавшие и наблюдавшие это затруднились привести другой такой пример присоединения одним государством части территорий другого государства, которые при этом оно не контролирует фактически. Мировая история полна аннексиями, еще больше в ней примеров всяких непризнанных территорий, серых зон права, территорий которые признаны например какой-то одной стороной или небольшой группой стран. Но, вот такого рода воображаемое законотворчество или законодательное обрамление субъективной реальности встречается действительно не каждый день."

Охлол, да у нас все законотворчество такое.
19:03 Не люблю сообщения типо "в Германии сообщили"
Где сообщили?
В газете? В блоге хуй знает кого? По телевизору? В какой программе? На каком сайте?

Мало ли что там где-то кто-то сообщил. Я тоже много всего сообщаю, и както всем похуй. В России сообщили.
17:24 Warhammer 40k (сводный пост)
17:23 Warhammer 40k (комиксы)
Чото там какой-то полный бардак между десятью издательствами.

Энивейс, по сорокатысячнику выходило совсем не так много комиксов, как кажется. И приличных - вообще ничего.
Собственно читать есть смысл только Bloodquest (причем первый том можно пропустить) - это эталонный 40к путешествие десантников через ад, местами явно впечатлялся Берсерком.
Так же Marneus Calgar про становление Ультрамарина вот очень приличный.

Далее на четверочку Lone Wolves про битвы с тиранидами в тайге, Exterminatus где попытка в детективное расследование инквизитора и Sisters of Battle про сестринство в принципе норм.

Все остальное совсем либо стерильно либо трешак в плохом смысле.

читать подробнее
00:59 Премия Тьюринга
Я делаю сортировку не по годам, когда выдана премия, а по годам когда сделаны вещи, за которые премия дана (беру самую раннюю дату). Потом хочу так же нобелевки пересортировать. Год выдачи премии в скобках

1949 - Уилкс - создатель EDSAC первого компьютера с прото-жестким диском и прото-рамом, так же автор идеи "библиотек" (1967)

1950 - Хэмминг - автор "Кода Хэмминга" позволяющего исправлять ошибки при передаче данных (1968)
1951 - Минский - создатель первых нейросетей (1969)
1954 - Бэкус - автор первого высокоуровневого языка Фортран (1977)
1956 - Мак-Карти - автор термина "искусственный интеллект", фунционального программирования и языка Лисп (1971)
1956 - Саймон и Ньюэлл - авторы ранних программ искусственного интеллекта (1975)
1958 - Перлис - изобретатель одного из первых языков высокого уровня - Алгола (1966)
1958 - Дейкстра - создатель концепции структурного программирования (ненавидел GOTO), еще один автор Алгола, авто одноименного алгоритма по поиску пути в графе, идея синхронизации потоков и прочего прочего (1972)
1958 - Наур - и еще один автор Алгола (2005)
1959 - Рабин и Скотт - авторы идеи "конечных автоматов", то есть машин, которые сами не содержат данные, но меняют информацию, которая подается на вход (1976)

1960 - Хоар - автор алгоритма быстрой сортировки массивов (1980)
1961 - Корбато - создатель системы разделения времени (1990)
1962 - Сазерленд - автор первой графической программы Sketchpad (1988)
1962 - Даль и Нюгор - создатели теории объектно-ориентированного программирования (2001)
1963 - Бахман - создатель одной из первых баз данных и сетевой модели для этих баз (1973)
1964 - Айверсон - автор языка APL, заточенного под научные вычисления (1979)
1964 - Брукс - создатель OS/360 (1999)
1965 - Уилкинсон - автор алгоритмов обратного анализа ошибок, грубо говоря системы позволяющий находить приблизительные решения задач, которые можно считать условно точными (1970)
1965 - Хартманис и Стернс - авторы исследования по определению сложности алгоритма и любого вычисления (1993)
1965 - Фенгенбаум и Редди - авторы "экспертной системы", эмулирующей решения, которые принимает специалист в заданной области (1994)
1966 - Лэмпсон - создатель распределенных систем, позволяющих работать компьютерам с распределением времени (1992)
1967 - Флойд - автор алгоритмов формальной верификации, позволяющих искать ошибки в программах, а так же общих правил семантики языков программирования (1978)
1956 - Энгельбарт - создатель мыши, гипертекста, пойнт-н-клик интерфейса, окон (1997)
1968 - Кнут - автор серии книг "Искусство программирования" (1974)
1969 - Кэй - автор первого объектно-ориентированного языка Smalltalk (2003)

1970 - Кодд - создатель теории баз данных, я так понимаю что позволяющей синхронизировать разные базы (1981)
1970 - Томпсон и Ритчи - создание Юникс (1983)
1970 - Вирт - создание Паскаля (1984)
1970 - Милнер - создатель автоматической системы конструирования доказательств (1991)
1971 - Кук - создатель теории с помощью которой разнообразные задачи можно сводить к ответом "да" или "нет", то есть обрабатываемым машинами (1982)
1971 - Карп - создал алгоритм по нахождению самого дешевого способа передачи потока данных (1985)
1972 - Серф и Кан - авторы TCP/IP (2004)
1972 - Донгарра - автор тонны разных полезных библиотек в течение почти полувека (2021)
1972 - Ахо и Ульман - создатели теории компиляторов (2020)
1973 - Хопкрофт и Тарьян - разработали алгоритм по созданию графов, в которых все вершины связаны со всеми (1986)
1973 - Текер - создатель первого современного персонального компьютера Xerox Alto (2009)
1974 - Грей - автор SQL (1998)
1974 - Лисков - программистка, создавшая язык Clu, зточенный под абстрактные данные (2008)
1974 - Стоунбрейкер - создатель популярной системы управления баз данных Ingres (2014)
1975 - Кок - создатель RISC архитектуры, серьезно увеличивающей мощность процессоров (1987)
1975 - Хеннеси и Паттерсон - еще двое создателей RISC процессоров (2017)
1975 - Диффи и Хеллман - авторы системы шифрования с открытым ключом (2015)
1977 - Яо - разработчик теории вероятностных алгоритмов, определяющей их сложность (2000)
1977 - Ривест, Шамир и Адлемар - создатели криптографического алгоритма RSA в частности позволяющего например электронную подпись (2002)
1978 - Лэмпорт - автор алгоритма по выявлению причинно-следственных связей в распределенных системах (2013)

1981 - Плуэли - создатель теории темпоральной логики, то есть логики событий происходящих в разные вариации времени. (1996)
1982 - Кларк, Эмерсон, Сифакис - разработчики тулзы для верификации программ (2007)
1982 - Микали и Гольдвассер - создатели криптографической системы с опеределяемой стойкостью к взлому (2012)
1984 - Блюм - создатель ранних систем шифрования (1995)
1984 - Вэлиант - создатель теории машинного обучения на основе приближенных гипотез (2010)
1985 - Кэхэн - создатель стандарта IEEE 754, упрощающего вычисления чисел с плавающей точкой (1989)
1986 - Аллен - создательница алгоритмов оптимизации данных, используемых в компиляторах (2006)
1986 - Бенджио, Хинтон и Лекун - создатели способа обучения нейросетей (2018)
1986 - Катмулл и Ханрахан - стояли у основ Pixar и сильно продвинули 3д-графику (2019)
1988 - Перл - автор теории позволяющей компьютеру составлять причинно следственные связи и делать гипотезы (2011)
1989 - Бернерс-Ли - автор URL, HTTP, HTML, Интернета и всего на свете (2016)
Закрыть