intellectual integrity, smac

Философия в программировании

Слушаю сейчас лекции по философии Константина Анатольевича Крылова, и всем их советую послушать, заодно поддержав семью безвременно ушедшего от нас русского писателя.

Так вот, выяснилось, философия имеет важное практическое значение в программировании. Разумеется, курс философии из ВУЗа, представляющий из себя кусок истории философии с забором из фамилий, эти нужды совершенно не удовлетворяет, даже если б кто на него ходил.

Например, рассказывается о том, что человеческая речь это прежде всего не утверждение, истинное или ложное, а приказ. То же самое можно сказать о компьютерной программе. Несмотря на заблуждения любителей функционального программирования, компьютерная программа не является логической или математической задачей.

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

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

Посмотрите и почитайте Декларацию русской нации, раз уж вы тут, а также выпуск с рассказом о Крылове:

Collapse )
безумец

Любимова Challenge

Тут я сам себя страшно испугал. Сотрудница позвала сходить на JPoint с коллегами. И я понял, что просто не могу себя заставить... Стал серьёзно думать на эту тему. Выяснил неожиданно для себя, что я ни хрена не айтишник. Ну, вот если быть честным перед собой, то я просто не переношу:
- ходить на конференции
- на митапы
- эджайл
- скрам
- планирование итераций
- для меня сущий ад визиты на работу бывших коллег
- меня тошнит от борцов за всё хорошее в комментариях
- я не смогу написать статью для хабрахабра
- встречи и презентации с названиями на J и IM
- я зарегистрируюсь в соцсети только при условии, что ее похвалили ряд уважаемых мной людей
- Я НЕ ПОЙДУ НА TED TALKS НИКОГДА
- я был в Долине, но не ездил в кампус Apple
- я живу в Петербурге, но не залезал в купол дома Зингера, потому что боюсь высоты и не люблю толпу;
- я не хочу увидеть своими глазами PDP-11 & co
- я бродил возле Майкрософта, Гугла и ещё в паре подобных кампусов в Долине и считаю, что потерял там время
- на любом митапе, как и лекции рефлекторно ищу пиццу, чтобы подкрепиться и побыстрее свалить
- я проехал насквозь университет Беркли и даже не захотел остановиться
- я не хочу в Лондон вообще (только, если радиотерапию захочу сделать надёжную)
- я не помню документацию ни одной библиотеки
- я не могу играть в подавляющее большинство трёхмерных игр
- мне нравятся рогалики
- я нихрена не понимаю в MMORPG
- я никогда не купил б ни одного игрового товара
- я плохо знаю новинки в стиме
- И Я ПРОСТО НЕНАВИЖУ МАКОСЬ!!!
  • Current Music
    Сны Саламандры - Спящая в огне
intellectual integrity, smac

Новый подход к регионированию России

Давно уже ведётся дискуссия про то, как правильно переразбить Россию на регионы.

Предлагаю новый подход. Л = log(Площадь) + log(Население)

Если регион вытянул больше 11,7 - уменьшать. В диапазоне до 11 - оставить как есть, регион здоровый, "штат". Из недотягивающих, категории больше 10 - укрупнять, меньше 10 - просто присоединить к кому-то. Цифры, разумеется, приблизительные.


Что выходит? Самый крупный регион сейчас, как ни странно, Красноярский край. Дальше Якутия и Иркутская область.
Самый большой середничок - Новосибирская область, дальше Забайкалье, также прошли Краснодарский край, Мособласть, Приморье, Татарстан, Дагестан и Ленобласть. Это не слишком большие регионы и не слишком маленькие.
Из недотягивающих - совсем на чуть-чуть Удмуртия и Магаданская область, на грани выпадения Калининградская область и Кабардино-Балкария. Москва тоже здесь, это значит, что к ней можно прирезать ещё немного территории.
В категории живопырок - Петербург, Севастополь и 6 нацреспублик.

Здесь заметно, что Забайкалью, которое стало нарицательным для неблагополучного русского региона, следует хорошенько поискать на своей громадной территории природные ресурсы. Пилите, Шура, они золотые.Collapse )
Разумеется, можно крутить всякие коэффициенты и вообще до достижения результата.
  • Current Music
    Bjarla - Лесная
глаз опасность

Утащу из VK

Оригинал: Выборная статистика через призму отклонений

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

Первое, что меня удивило - отсутствие голосования за муниципальных депутатов на многих участках, как и отсутствие сведений о существовании этих участков. Таковы, во-первых, участки №№ 2306..2393. На них осуществлялось голосование за губернатора, но не за муниципальных депутатов, и интернет ничего не знает о местоположении этих участков или составе их избирательной комиссии. Так, например, участки с 2334 по 2341 выбирали губернатора в составе территориальной комиссии №28 под председательством Сиражутдина Джаруллаевича Шахманова. Если у вас есть сведения о судьбе этих участков, пожалуйста, проясните её.
Collapse )
  • Current Music
    Полынья - Зелье
alamar

TIL про нашу царицу Екатерину Великую

Год назад я был удивлён, откуда miya_mu взяла такую ненависть к царице нашей, Екатерине II:

Когда на все это смотришь, остолбеневая от сатанинского образа всей нашей истории, вспоминаешь, что Екатерина была немецкой принцессой, и появляется неизбежный вопрос - как? как европейская, хорошо воспитанная девочка превратилась в такое сластолюбивое нетерпимое чудовище?

Да, это только что был slut shaming от популярного женского блоггера. Сама miya_mu утверждала, что сведения о сатанинском образе Екатерины взяты ей из "школьной программы" и "записок иностранных путешественников".

А сегодня мне открыли глаза совершенно случайно. Оказывается, в украинской истории Екатерина Великая, основательница Одессы, это тиран как бы не похлеще Сталина. Вот и всё. Вся разгадка про школьную программу.

В целом есть такая проблема с ассимиляцией малороссов. Ассимилируются они хорошо; но всегда очень важно следить, чтобы каша в голове не просочилась в наше измерение.
Вполне ожидаемо от человека, воспитанного на территории украины, когда он говорит "я, конечно, русский человек, но история у нас была сатанизм и кошмар, при всех этих ужасных царях". А откуда дровишки? Оттуда, из украинского учебника. Требуется откинуть на дуршлаг и к никакой гуманитарной работе таких людей не привлекать.

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

La Creatura




Пользуясь случаем, господа, новый выпуск, про АЭШ, демографию и Поппера:
  • Current Music
    Перемотка - Встречная