- @4DA: *math *video *csНарыл тут на сайте лекториума интересные (мне) курсы видео-лекций.
* Линейное программирование
lektorium.tv
* Рассказы о теории чисел, алгебраической геометрии и гомотопической топологии
lektorium.tv
* Десятая проблема Гильберта. Решение и применения в информатике
lektorium.tv
* Алгоритмы для NP-трудных задач
lektorium.tv
* Эффективные алгоритмы
lektorium.tv
* Graph Algorithms
lektorium.tv
* Структурная теория сложности
lektorium.tv
* Параметризованные алгоритмы
lektorium.tv
* Проблема изоморфизма графов
lektorium.tv - @Hate-kun: *ZASQUARED *говно *juick@juick
18:25:36, 14 ноября 2011 г.
Sorry, you can't subscribe to more than 512 users.
Какого чёрта? Убрал быстра предел!2 months ago; 55 replies - @masai: *googleОказывается, Knol (это который knol.google.com ) ещё жив. И что, кто-то пользуется им?
- @Robot: *programming *jobнапокупали блин себе широких мониторов
скоро насильно буду всем засовывать git-hook
find . -type f | xargs grep -R -e '.\{80,\}' - @odin: *тян *говно *быдлоПредставьте, что вы дружите с Машей. У Маши есть три зеленых яблока. А вам этих яблок нужен килограмм, красных.
И в данной ситуации разумным было бы пойти на рынок и купить килограмм красных яблок у того, кто готов вам продать килограмм красных яблок. Но рынок – это так абстрактно, так далеко – а вдруг там вообще никаких яблок не будет? А вдруг санитарный день? А Маша – вот она здесь стоит, она классная. И вы делаете смелое предположение, что килограмм красных яблок у Маши все-таки есть. В глубине души. А если приложить соответствующие усилия, она вам их отдаст. Ведь это было бы очень кстати.
«Маш, а хочешь, я тебя в кино свожу?» – добродушно интересуетесь вы. Маша удивлена, но она, наверное, хочет, тем более, что вы делаете вид, что вам это абсолютно не тяжело. Вы ведете Машу в кино. Но после этого килограмма красных яблок у вас не появляется. «Что за фигня?» – думаете вы и ведете ее в кафе. Вы гуляете с ее собакой. Вы клеите ей обои. Вы ремонтируете ее машину. И ничего не происходит. «Да что же ты за сука такая» – возмущаетесь вы и предлагаете ей переехать к вам. Цена килограмма красных яблок взлетает до небес. Какой там рынок – теперь вам принципиально получить свои яблоки именно у Маши. Вы говорите себе, что это судьба. И здесь уже ясно, чем дело кончится: придет день, когда кто-то будет кричать: «Я на тебя жизнь положил, а тебе для меня паршивых яблок жалко», кто-то будет рыдать в ответ: «Да нет у меня никаких яблок, с чего ты взял?».
Действительно, с чего? Я сознательно не беру ситуацию, когда коварная Маша старательно вводит вас в заблуждение, потому что ей тупо нравится ходить в кино (хотя часто именно это и происходит). Но сплошь и рядом случается так, что мы не до конца честны в своих намерениях, а у окружающих людей просто нет того, что нам нужно: килограмма красных яблок, желания рожать от нас пятерых детей, потребности в совместном отдыхе, способности говорить по душам, банально – любви к нам и, соответственно, возможности эту любовь демонстрировать. И это нормально. Точно так же, как нормально хотеть всех этих замечательных вещей. Ненормально – заниматься рэкетом, пытаясь вытрясти из первого симпатичного человека, затесавшегося поблизости, то, чего у него нет – только на том основании, что «в глубине души» у него это, возможно, отыщется.
Не отыщется. Если у кого-то что-то для вас есть, он этим поделится сам. Не из глубины души – а от всей ее широты.3 months ago; 72 replies - @lovesan: *code *haskell *Lisp *programming
Разница между статической и динамической типизацией на самом деле не в том, когда происходят проверки типов - при компиляции, или в рантайме. Это разница в подходе, в отношении к программам. Существует известная цитата Робина Милнера: ------------------------------------- Well-typed programs never go wrong. ------------------------------------- В этом вся статика, в этом весь хаскель и подобные языки. И в этом причина их переусложненности, и всех неудобств при их использовании для написания real-world программ. В противопоставление, приведу цитату из стандарта Common Lisp: http://www.lispworks.com/documentation/HyperSpec/Body/f_error.htm ------------------------------------- (defun wargames:no-win-scenario () (if (error "pushing the button would be stupid.")) (push-the-button)) In this scenario, there should be no chance that error will return and the button will get pushed. While the meaning of this program is clear and it might be proven `safe' by a formal theorem prover, such a proof is no guarantee that the program is safe to execute. Compilers have been known to have bugs, computers to have signal glitches, and human beings to manually intervene in ways that are not always possible to predict. Those kinds of errors, while beyond the scope of the condition system to formally model, are not beyond the scope of things that should seriously be considered when writing code that could have the kinds of sweeping effects hinted at by this example. ------------------------------------- Проблема в том, что хаскель и подобные языки целиком и полностью полагаются на абстракции. И строят из них другие абстракции, которые полностью закрывают предыдущие, и так далее. А это неправильное использование абстракций, особенно в контексте Software Engineering. Потому что абстракции всегда текут. http://www.joelonsoftware.com/articles/LeakyAbstractions.html Смысл этой фразы в том, что абстракция это средство для уменьшения количества сущностей, которых необходимо держать в голове при решении какой-либо подзадачи в данный конкретный момент времени, но абстрагирование это ни в коем случае не отделение нижних слоев системы от вышележащих плотной стеной. Это просто не работает. Если язык не учитывает класс аппаратных платформ, на которых он будет запускаться, если у него сферическая категориальная семантика в вакууме, которая совершенно не учитывает реальные проблемы и потребности, возникающие в процессе разработки и поддержки программ, он просто нежизнеспособен, неудобен и непрактичен, и является просто игрушкой, хотя, возможно, и красивой. И в таком случае, не называйте его "языком программирования".
3 months ago; 20 replies
