Интервью с Дональдом Кнутом

>но пока нет нормальной теоретической базы, эта куча програм будет кривыми глюкалами.

Под DOS наверное всё сидите ? ;)

Теория таки есть, но пока не в 4-х томах ;)

Кнут велик, но не прав:) Хотя если бы я был бы настолько крут, как он, то мне наверное тоже не нужны были бы методики XP. Спор ни о чем, есть два принципиально разных навыка - теоритическая информатика, вотчина Кнута и коммерческая разработка, где экстремальное программирование улучшает качество конечного продукта и удешевляет стоимость.

Да, для всех специалистов по паттернам из данного треда, узнайте что ли кто их изобрел, наверное это будет интересно.

>Кривизна и глючность не от базы зависит

На 99% таки да ;)

> Понимаешь ли, нет тех параллельных програм, которые глюкалом не были бы.

Ы? Ядра ОС (Линукс, к примеру) - все до единого являются глюкалами? Как же ты работаешь?

> Теория таки есть, но пока не в 4-х томах ;)

Да нет её, нет пока. Пи-исчисления не достаточно, из него нельзя практически делать выводы о стоимости алгоритмов. Ситуация тут примерно такая, как если бы для последовательного программирования единственной теорией была бы нетипизированная ленивая лямбда без строго специфицированной операционной семантики - да, теория полная, описывает всё что захочешь, но практически полезных выводов о завершаемости алгоритмов и их вычислительной стоимости она не даст, хоть убейся. Так и с Пи, описывает всё, чётко, коротко и красиво, и на практике полезна, но полного набора нужных результатов не даст никогда.

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

Я тебя разочарую: добрая половина местных "маляров" просто кривляется.

> Ы? Ядра ОС (Линукс, к примеру) - все до единого являются глюкалами?

Да, конечно же они являются клюкалами. Прилизанными, но глюкалами.

Вообще, с тобой говорить смысла нет, ты - воинствующий дилетант с раздутым самомнением. Ты ни слова не понимаешь из того, что тебе говорят, так что прекращаю, как всегда.

>Ядра ОС (Линукс, к примеру) - все до единого являются глюкалами?

Уверен на 99.9% ;)

Лично рейсы на SMP+preempt в драйверах выковыривал (на UP всё работало чисто)

Просто другие косяки еще не нашли. Оно правда не только к параллельности относится.

Увы, увы, они реально мыслят именно так. Я не про клоуна зассаныча говорю, он то кривляется всегда и везде.

> Ты ни слова не понимаешь из того, что тебе говорят, так что прекращаю, как всегда.

Ты как всегда разбил мне сердце :D

> Лично рейсы на SMP+preempt в драйверах выковыривал

Модель параллельности ядра с появлением preempt изменилась, допущения поплыли.

> Оно правда не только к параллельности относится.

О чем и речь. Даже корректность последовательных программ мало кто доказывает, хотя "теоретическая база" типа есть. И что - теперь даже последовательных программ не писАть?

Понимаешь ли, маляр, между "мало кто" и "никто" есть фундаментальная разница, которую осилить ты, увы, не сможешь.

> между "мало кто" и "никто" есть фундаментальная разница

"мало кто" - это потому, что методы доказательств требуют нехилых ресурсов и нехилых ограничений на программы. Это просто невыгодно.

P.S. "Beware of the bugs, though - I only proved it [the program] correct, not tested it" (c) D.Knuth 8)

> грамотному программированию (literate programming)

http://en.wikipedia.org/wiki/Literate_programming

>будлогемблинг детецтед! Передавайте привет ksi
я уже 2 года не занимаюсь подобным =)

Это в смысле - сомнений что "грамотное программирование" есть верный перевод literate programming.

Literate programming is a philosophy of computer programming based on the premise that a computer program should be written similar to literature, with human readability as a primary goal.

Литературное программирование.

>И где там исходники?
это проприетарный проект

>>И где там исходники?

>это проприетарный проект

Тогда какой смысл давать ссылку? С тем же успехом можно дать www.google.com

как пример чего то, что делал когда то =)
к сожалению в open source проектах не участвовал

>> Индусский код отличается тем, что паттерны не используются, а возникают собственные решения стандартных проблем. Как правило корявые. > Ты индусский код видел вообще? > Он как раз отличается бездумным использованием всех паттёрнов, которые в голове индуса поместились. Сколько раз я видел такое, когда для формочки с двумя кнопочками индус городит MVC, например.

Паттерн подразумевает постановку задачи. Если MVC использовал не по назначению - значит вместо стандартного решения сгородил собственный костыль.

> В других сторонах тоже свои паттёрны есть, просто их сложно использовать не по назначению, и они не так заметны, поскольку костылями для исправления проблем методологии проектирования не являются.

Если оно так же шаблонно 1:1 переносится - значит паттерн, если нужно еще что-то додумать, или сделать аналогично, но не совсем так - значит идея.

> самое смешное, что такие люди как Торвальдс и Кнут сидят под Fedora и Ubuntu, а "кулхацкеры" на ЛОРе, строя из себя непонятно что, обсырают эти дистры :)

неа смешно, что Торвальдс и Кнут обходятся Emacs + GCC/TeX и при этом находятся люди которые трахаются с установкой другого софта в Fedora и Ubuntu, только потому что ими пользуются Торвальдс и Кнут

> Это в смысле - сомнений что "грамотное программирование" есть верный перевод literate programming.

Я уже точно не помню точно когда, но по этому термину была дискуссия в списке рассылки CyrTeX-ru (ил в fido7.ru.tex - точно тоже не помню), но результат помню точно :) Сошлись на грамотном программировании.

Ну если Вы считаете, что прогресс в программном обеспечении определяется графическими рюшечками и всякими ненужными наворотами, что ж, мне вас жаль. Я считаю, что программирование - это наука, а большинство современных новомодных течений - это шаманство. Понятно теперь, почему за все эти годы в плане надежности систем нет достаточного прогресса. Многие задачи решаются как раз простыми средствами, TeX хоть и не панацея, то для многих вещей он все еще идеален.

По-моему, перед людьми позорятся не такие люди как Кнут , а те кто выпускает дрянные программы, кто кричит о своем невежестве, и те, кто остановились в своем развитии и не способны воспринять ничего достойного, а только хвастаются плохим знанием языка С и нескольких ворованных программ. Из-за таких людей программирование развивается медленнее всех остальных технологий и почти везде остается на уровне кустарщины.

>А где перевод? Не гоже это на богомерзком язычке читать!

"Негоже" в данном случае пишется слитно.. Да, не нужен богомерзкий язык, нам бы свой выучить..

> Ты думаешь им охота парица? они поставили этот/и дистры бистро прикрутили что надо и выполняют свою работу.. ты думаешь у Линуса например есть время например прикручивать и пилить рюшечки или что-то на кошерных Генте/Арче? я так не думаю..

На арче надо что-то крутить и пилить только если ставится на ноут или при совсем "неподдерживаемом" железе. З.Ы. На домашней машине арч, на ноуте федора/убунту (никак не могу определиться :)).

>В качестве WM - FVWM (в принципе, можно поискать старые настройки Кнута для FVWM в сети, но их придётся дорабатывать).

Вот, например, fvwm2rc от Дональда Кнута

http://www.dotfiles.com/files/17/181_knuth.fvwm2rc

Да, именно этот конфиг я и имел в виду. Его в качестве базы я использовал для составления своего.

> самое смешное, что такие люди как Торвальдс и Кнут сидят под Fedora и Ubuntu, а "кулхацкеры" на ЛОРе, строя из себя непонятно что, обсырают эти дистры :)

Мастера кун-фу могут забивать гвозди голыми ладонями. Всем выбросить молотки!

ГАЛАКТЕКО ОПАСНОСТЕ!!!!111

На InformIT рядом с текстом интервью реклама Miscrosoft Visual Studio!!!