vit_r: default (Default)
[personal profile] vit_r

Beware of mathematicians!



This post is written in English because it is very important.

Previous part: Scientific models are created to find the truth, engineering models are created to become true



3. Mathematics is inhuman



First and foremost: I do not have moral rights to critique mathematicians from the point of view of a mathematician. Despite of my past participation in mathematical competitions, excellent marks, advanced courses in tricky topics and finally my external appearance I do not like mathematics.

It would be nice to point here to an article written by a Professor of Mathematics and simply note that I agree with this reputable opinion. Unfortunately all such texts I have seen so far are either not readable or wrong.

The second sin I force upon myself is the childish approach. To impose as a mathematician you must use a humiliatingly complex vocabulary and hide simple thoughts behind complex grammatical constructions. The text below is on the level of middle-schoolers with good imagination. This means many people who claim they are mathematicians or that they have the Mathematical Thinking would be not willing or not able to understand it.

Before I write the last part about dangers that mathematicians introduce into software development I try to describe some tricky aspects of the nature of this science.

You must distinguish between mathematicians and mathematicians. All my descriptions, samples and conclusions are based on knowledge I had received from excellent teachers and marvelous books. I only try to translate this wisdom into simpler words and I hope I would not fail.

The following text is divided into chunks of about 500 words, reading time for each is about 2-3 minutes. The author is not responsible for any mental or moral damage produced by execution of exercises described below.
Read more... )
vit_r: default (Default)
[personal profile] vit_r
Читаем с младшим первый том сборника Николая Коляды. Короткие рассказы восьмидесятых годов, зарисовки из советской провинции. Сразу видно, что это вышло из под пера драматурга. Характеры прописаны точными грубыми мазками. Динамично и сочно.

Для ребёнка другой культуры психология людей той эпохи странна и не понятна. Другая логика жизни, другая система ценностей, другая мораль. Иногда на очевидное для советского человека действие сын удивлённо спрашивает "На самом деле?.. А зачем?.. Это он что, своровал?.."

Кстати, понял, почему текст про математику не хотел писаться: страшно. Получается на самом деле какая-то жуть.

Начну со вторника по кусочку выкладывать.

дыбр

Sep. 17th, 2017 09:13 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
 Утром сделал замечательное открытие, куроча 10-ю главу. Что у меня в планах была другая седьмая глава, поэтому я место там оставил. Так. И вот я главы начиная с седьмой сдвигал вниз по нумерам, да картинки переименовывал. Чую я, надо будет идентификаторы ввести вместо нумеров. Ключи. Ну зато перекурочил; теперь надо писать про модели и теории.

На велике-то пилить сил никаких нет после вчерашнего.

Встал, пошел поковырялся с тестами - один таки рушится. Натыкал всяких там ловушек. А потом выяснилось, к концу дня. Он рушится, если идет после двух других. Ну все понятно, ребята. У вас херня в аппликации, вот вам пример, а я не доктор. Закомментировал, пушнул, сделал пулреквест. Ну в смысле, там ничего мержить не надо, а просто чтобы Марио показать да обсудить. Ой бля, да еще чтобы билдить, надо в випиэн залогиниться, ой-вэй.

Вообще, надо бороться с null, Any, String typings. Найти и не сдаваться.

Вот; ну и занялся сначала стенкой в гараже - я ж вчера ее раскурочил. Закурочил стенку. Потом еще в одном месте была квадратная дырка, пять на пять; но она частично за гаражным столом, поэтому утрахался заделывать. Дрель же не влазит. Ладно.

Кстати, оказалось, что нету шурупов для гипсокартона, этих, нормальной длины, есть только очень длинные. Съездил в Ош. Потом шурупы нашел, они отдельно лежали. Ох грех-то какой.

После обеда пошел что, обрезал весь виноград, потом спилил гнувшуюся вниз ветку магнолии (тоже обломится); пока пилил, она обломилась; спилил выше. Подстриг траву, сдул весь растительный мусор с франтъярда (газон да въезд да тротуар). Куча получилась нехилая.

Отдохнул (в смысле, поработал), пошел проводкой заниматься. Провел HDMI от розетки до места, где телевизор будет; присобачил культурно ethernet да кабельный кабель. Кстати, пришлось все это в Лоузе покупать, в полтинник где-то вышло.

Вот; доволен. К hdmi еще протянул проволочку, чтобы если что, типа все вдруг перепрыгнут на fiber, то я и файбер протяну, за эту проволочку. Для этого еще коробочку поставил посередине, где hdml поворачивает. С думой о будущем. Как тот дедушка, который сад сажал.

Вот; устал не то чтоб как собака; наоборот, отдохнул. Это уже полдевятого было. Итальянского десять уроков на дуолинге (чтобы служба медом не казалась, que servicio no parezca miel). Тесты на всяк случай еще раз гоняю, чо.

je suis saakashvili

Sep. 17th, 2017 04:43 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
А то мне тут из интернетов пеняют, что я себя с Саакашвили отождествляю. Надо вообще пошире отождествлять. Например, вот только что прочитал про плакат

Я МОРСКАЯ ПЕХОТА 

можно еще варианты

Я МОРСКАЯ КАПУСТА

Я МОРСКАЯ СВИНКА

Я МОРСКАЯ ВОЛНА

Я МОРСКАЯ ДУША

(поэту в кошолку, короче)


* * *

Sep. 17th, 2017 07:26 pm
bamalip: (Default)
[personal profile] bamalip
немного воскресных раздумий, в продолжение предыдущего.

вряд ли во многие области любой профессиональной деятельности ведут царские пути. нет их. но есть если не врата, то хотя бы калитки с приветственными надписями, завлекающие неофитов. и хотя бы минимальная помощь в прохождении входных ступенек. однако с обсуждаемыми областями (1: семантика, верификация, тотальные языки; 2: теория категорий в компьютерных науках) дело обстоит из рук вон плохо. вместо хотя бы калитки имеются только препятствия, преодоление которых превращается в суровый "естественный отбор" (по выражению [personal profile] juan_gandhi). так может нужно что-то делать? я не вижу особенных движений в этом направлении ни со стороны научного сообщества, ни со стороны академ-педагогического, ни со стороны заинтересованной индустрии (которая не настолько замшела, как может показаться). есть либо университетские учебники, либо передовые статьи, для чтения которых нужно как минмум закончить университет. даже само существование данной темы известно немногим - в популярных перечислениях разделов компутер-сайенса эти разделы часто отсутствуют. я, конечно, понимаю, что смешно бежать впереди паровоза, но хочется сказать, что пора что-то делать. в идеале хочется, чтобы о существовании данных тем было известно любому выпускнику школы, и чтобы какой-то теор-минимум входил в общеобязательную часть вузовских программ по компьютерным специальностям.

или я хочу невозможного, и оно никому не надо?

* * *

Sep. 17th, 2017 11:59 am
bamalip: (Default)
[personal profile] bamalip
а захотят ли некие люди учиться тотальным языкам?
https://bamalip.dreamwidth.org/260973.html?thread=1098861#cmt1098861
такой вопрос возник в контексте недавнего обсуждения, какому программированию надо учить, если ориентироваться не на вчерашний день, а на завтрашний.
следующие слова, очевидно, не годятся в качестве мотивации:

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


а как объяснить, зачем нужны новые языки? в контексте всего-всего?
вот, попытался набросать синопсис:

### Мотивация \ Зачем оно всё?

Общие представления о том, как устроена "горизонталь" современной цивилизации:
- наука (добывание знаний; теоретические и прикладные),
- инженерия (технологические решения; создание и применение).
Опасность метафор ("царица всех наук" или "служанка"). Научный метод. Роль моделирования. Сумма технологии.

Индивидуальная цель обучения (для себя):
- накопление знаний о мире (законы реальности, материальной и идеальной), расширяющих кругозор и изменяющих интуицию; и о себе (анализ и явное выражение причин своей уверенности).
- развитие умений строго рассуждать (логика), в частности - строго моделировать поведение программы (формальные методы, семантика)
- "контръинтуитивность" или новая интуиция?

Инженерное применение (для работы, на продажу):
- иная парадигма программирования (более простые и стройные основания)
- технологии проверки соответствия спецификации и реализации (верификация vs. model checking)
- инструменты: type checkers, proof checkers, SAT solvers (propositional logic), SMT solvers (predicate logic).

глобальная проблема: уязвимости в софте, цена (без)опасности.

### собственно курс \ о чем рассказывать

статическая типизация и контракты. эволюция средств программирования с точки зрения развития выразимости контрактов в системе типов. (SimpleTT, SystemF, MLTT, HoTT, CT). Преодоление неразрешимости и тьюринг-полноты. Тотальность и логическая непротиворечивость, индуктивные типы и высшие, структурная рекурсия и элиминаторы. (микро-)Теории как интерфейсы. Теории (типов) как категории.

можно ли построить упрощенный учебный тотальный язык с предикатами и функторами (скрэтч?)


вопросы и предложения приветствуются

i'm just waiting...

Sep. 16th, 2017 10:10 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
for Antifa to cooperate with islamists and have a terrorist attack together. 

юмористы

Sep. 16th, 2017 09:47 am
juan_gandhi: (Default)
[personal profile] juan_gandhi
Между прочим, natabelu меня уже достала по самые помидоры.
И вообще юмористы. Тот же Шендерович.

Когда они все говорят, такое ощущение, что они бредят.

Кстати, в фильме "Иван Васильевич" многие почему-то сочувствуют Ивану Васильевичу. По мне так Шурик единственный там приличный человек. 

цитируя Natabelu

Sep. 15th, 2017 10:23 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
Не думай о говеньях свысока.
Hаступит время - сам поймешь, наверное:
Спасут тебя от лишнего греха
Говения, говения, говения.
Говения спрессованы в года
Духовности без страха и сомнения.
И не ходи к причастью никогда
Коль ты проигнорировал говение.
У каждого говенья свой резон,
Свой вкус и цвет у каждого говения.
Кто плохо поговел - тому позор,
Кто хорошо - тому вознаграждение.
Из крохотных говений соткан путь,
Который приведёт нас всех к спасению.
И ты, мой друг, всегда готовым будь
К говению, говению, говению.

«......АЖ СЕРДЦЕ ЗАМЕРЛО ПЕРЕД ВЕЧНОСТЬЮ И ВЕЧНЫМ ОГНЁМ!!!» Казалось бы — при чём тут?.. А очень даже. Очень и очень. Сей капслок о вечности и вечном огне был по поводу закуски «Огонь памяти», изобретённой к девятому мая. Насколько я помню картинку, вечный огонь был фигурно вырезан из болгарского перца и воткнут в баклажанно-морковную звезду. Перед тем, как съесть вечный огонь, семейство возложило к его подножию венок из укропа и минуту ритуально помолчало (это мои предположения, вполне логичные, между прочим).

 «Мужу категорично не понравились, для меня, так вполне съедобны, не могу сказать, что сверхвкусно, но кушать можно. Чтоб не выбрасывать, решила занести маме попробовать». Ты жива ещё, моя старушка? (Отвечает дочке мать: дай спокойно поблевать.) 

 

Делаем пушку Гаусса

Sep. 15th, 2017 12:34 pm
vak: (Default)
[personal profile] vak
В моём детстве мы слышали про электромагнитную пушку, но мастерить удавалось только пневматические или пороховые. У нынешних подростков гораздо больше возможностей.

* * *

Sep. 15th, 2017 09:10 pm
bamalip: (Default)
[personal profile] bamalip
еще один рашист долго терпел, но таки решил высказаться. чему удивляться. сплошная мразь, мразь, мразь.

https://www.youtube.com/watch?v=tkDbZBcYQ5A

Опять запилили

Sep. 15th, 2017 07:49 pm
scif_yar: (Default)
[personal profile] scif_yar posting in [community profile] ru_sysadmins
Today, we are thrilled to unveil the next step in our journey for Windows Server graphical management experiences. In less than two weeks at Microsoft Ignite, we will launch the Technical Preview release of Project “Honolulu”, a flexible, locally-deployed, browser-based management platform and tools.

Project “Honolulu” is the culmination of significant customer feedback, which has directly shaped product direction and investments. With support for both hybrid and traditional disconnected server environments, Project “Honolulu” provides a quick and easy solution for common IT admin tasks with a lightweight deployment.

This blog post continues our recent “sneak peek” series, and we highly recommend “Honolulu” as a graphical management solution for Windows Server, version 1709, and several other versions of Windows Server too!
https://blogs.technet.microsoft.com/windowsserver/2017/09/14/sneak-peek-4-introducing-project-honolulu-our-new-windows-server-management-experience/

* * *

Sep. 15th, 2017 01:47 pm
bamalip: (Default)
[personal profile] bamalip
https://oleg-leusenko.livejournal.com/7775497.html

Новости Крымнаша. Выпуск # 1032 за 14.09.2017

1. Появилось видео задержания жителя крымского посёлка Нижнегорский Рената Параламова, в дом которого 13 сентября ворвались оккупанты, после чего крымского татарина, отца четырёх детей, увезли в неизвестном направлении. На видео видно, как неизвестные мужчины в масках и одежде без опознавательных знаков окружают Параламова, сажают в микроавтобус и увозят, тщательно скрывая свои рожи https://ru.krymr.com/a/news/28734037.html (видео). Сегодня в обед стало известно о том, что оккупанты удерживают похищенного в здании ФСБ, но родственникам сообщили, что Параламов находится у них “добровольно”. Всё в лучших традициях чекистов http://krymsos.com/ru/news/renata-paralamova-utrimuyut-v-upravlinni-fsb/ . Спустя некоторое время оккупанты вывезли похищенного из пыточной и выбросили на улице — без денег и мобильного телефона. Параламов попросил телефон у прохожих и сообщил родственникам о месте своего пребывания. Родственники вместе с активистами приехали и ужаснулись: “Он был психологически подавленный, эмоции зашкаливали, что-то страшное с ним вытворяли. Его пытали электрическим током, избивали жестоко, с ним делали много нехороших вещей. Он сейчас практически не говорит, находится в состоянии шока. Его увезли из дома здоровым человеком, а выбросили как собаку из машины психологически подавленным. Не исключено, что это будущий инвалид”. Сейчас крымчанин находится в больнице в тяжёлом состоянии и около 18 часов вечера начал разговаривать https://15minut.org/news/173842-renat-paralamov-nahoditsya-v-tyazhelom-moralnom-sostoyanii-na-ego-tele-est-sledy-pytok-advokat-video (видео с места, куда выбросили крымского татарина). И посмотрите видео из больницы, где полицаи допрашивали Рената Параламова, который не может самостоятельно передвигаться https://ru.krymr.com/a/news/28735830.html (видео).
vitus_wagner: My photo 2005 (Default)
[personal profile] vitus_wagner
https://tech.slashdot.org/story/17/09/14/1941212/psa-google-will-delete-your-android-backups-if-your-device-is-inactive-for-two-months?

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

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

Вопрос в том, что бэкап это вообще такая вещь, которая в 99% случаев востребована не будет. А вот в том единственном проценте случаев, когда он понадобится, будет очень обидно, что пока телефон ожидал в мастерской ремонта (или пересылался к производителю на гарантийную замену и обратно) бэкап уже стерли.

кстати о Матильде

Sep. 14th, 2017 08:50 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
А помните был какой-то фильм про страсти Христовы? Уже все забыли.

Но я не о том. Матильду я смотреть не буду. А только напомню насчет русского языка пару слов.

Страсти по ... - это значит, описание страданий Христа по ... Например, по Матфею. В Евангелии от Матфея описаны страдания Христа.

А не то что дескать страсти по Матфею - это мы страдаем по поводу Матфея. 

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

Кстати о сотоварищах. "Сотоварищи" - это такие товарищи, которые являются совместными товарищами. Это не наречие. Иван Иваныч со товарищи - просто значит, что Иван Иваныч с товарищами.

Примерно разница как "всмятку" и "в смятку". Я не знаю, что такое смятка, но если автобус приехал в Смятку, то это еще не значит, что автобус всмятку. Так вот, в отличие от "всмятку", наречия "сотоварищи" нету, товарищи.

Все понятно? (Строгим голосом так.)

А впрочем, кокрастыке уже поздно. Прокомпостировали. Медынского скоро распнут в трусиках, за Матильду. 

vak: (Default)
[personal profile] vak
Omega2+ это относительно новая плата для IoT с интерфейсом Wi-Fi по цене $13. На плате установлен Линукс OpenWRT. В качестве языков програмирования рекомендуются Python и Javascript. Честно говоря, мне все эти скриптовые языки кажутся несерьёзным баловством. Но имея карточку microSD, можно запустить полноценный Debian Linux, а под ним нормальные компиляторы Си, Go и прочие.



Шаг 1: готовим microSD-карточку. Тут понадобится линуксный компьютер. Скачиваем файл debian-stretch-mini.tgz - минимальный вариант корневой файловой системы для Debian 9 (Stretch). Вставляем карточку microSD в компьютер, непосредственно (есть есть слот SD) или через USB-адаптер. Карточка будет видна в системе как /dev/mmcblk0 или как /dev/sdc (или sdb или с другой буквой - проверьте). Нужно карточку отмонтировать, переделать таблицу разделов, создать новую файловую систему, заново смонтировать и распаковать туда файлы. Выглядит это примерно так:

sudo umount /dev/mmcblk0p1
sudo sfdisk /dev/mmcblk0 << EOF
/dev/mmcblk0p2 : size=512M, type=82
/dev/mmcblk0p1 : type=83, bootable
EOF
sudo mke2fs /dev/mmcblk0p1
sudo mkswap /dev/mmcblk0p2
sudo mount /dev/mmcblk0p1 /mnt
sudo tar xzf debian-stretch-mini.tgz -C /mnt
sudo umount /mnt


Шаг 2: подсоединяем консольный порт. Используем штатный Expansion Dock или любой адаптер USB-to-serial, например FT232, CP2102 или CH340. Сигнал GND адаптера соединяем с ножкой GND платы, сигнал TXD - с ножкой P9, RXD - P8. Включаем USB-адаптер в компьютер и подключаемся к консольному порту на скорости 115200. Нажимаем кнопку "Reset" - видим протокол загрузки типа этого.

Шаг 3: настраиваем подключение Wi-Fi, как описано на официальном сайте. Устанавливаем нужные пакеты, подключаем раздел swap. Заметьте: мы никоим образом не портим исходную предустановленную систему OpenWRT. Все имеющиеся функции и методы разработки, описанные в руководстве для платы Omega2+, продолжают работать.

wifisetup
[...]
opkg update
opkg install swap-utils block-mount e2fsprogs


Шаг 4: стартуем среду Debian. Для этого мы используем утилиту chroot. Корневая файловая система Debian находится на карточке microSD. Ее всегда можно вынуть и переставить в другой компьютер: переписать нужные файлы, сдублировать, забэкапить и т.п. В принципе, когда заработал Wi-Fi, консольный порт больше не нужен - можно подключаться через ssh (предварительно установив пароль на root).

swapon /dev/mmcblk0p2
mount --bind /dev /tmp/run/mountd/mmcblk0p1/dev
mount --bind /proc /tmp/run/mountd/mmcblk0p1/proc
mount --bind /sys /tmp/run/mountd/mmcblk0p1/sys
chroot /tmp/run/mountd/mmcblk0p1 /bin/bash


Вы оказываетесь в оболочке bash из окружения Debian. Здесь при первом запуске имеет смысл установить полезные пакеты:

apt-get update
apt-get install locales bison byacc flex libelf-dev libfuse-dev \
build-essential make autoconf automake libtool gdb fuse man-db \
groff less ed bmake git byacc flex exuberant-ctags libfuse-dev \
bmake git byacc flex exuberant-ctags libfuse-dev dialog \
openssh-client subversion le vim gettext iputils-ping locate procps


Теперь у вас имеется полноценный Debian Linux, со всеми наворотами и Wi-Fi подключением к интернету. Можно скачивать, компилировать и запускать любой софт. И все это на платке размером 2x4 сантиметра.

Чтобы освободить карточку перед тем как вынуть, надо будет выполнить:

umount /tmp/run/mountd/mmcblk0p1/dev
umount /tmp/run/mountd/mmcblk0p1/proc
umount /tmp/run/mountd/mmcblk0p1/sys
umount /tmp/run/mountd/mmcblk0p1
swapoff /dev/mmcblk0p2

Profile

metaclass: (Default)
metaclass

April 2017

S M T W T F S
      1
2345678
9101112 131415
16171819202122
23242526272829
30      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 19th, 2017 11:32 am
Powered by Dreamwidth Studios