* * *

Aug. 23rd, 2017 09:48 am
bamalip: (Default)
"Строго говоря, нет. Но вообще — да. "
https://argument-q.dreamwidth.org/54606.html?style=mine
"поколения русских людей ждали, когда наконец будет какой-то такой же плохой вра"

* * *

Aug. 22nd, 2017 04:07 pm
bamalip: (Default)
попробовал и я зайти на этот китайский сайт с дешевым товаром.

"Беспроводной трещины наушники рука гарнитура Универсальный"

ВАХ! гуглопереводчик процветает. :)

* * *

Aug. 22nd, 2017 12:38 pm
bamalip: (Default)
Оказывается, "pluggable type systems" являются не такой уж маргинальной темой, как я думал. Небольшие кучи публикаций. Срочно наверстываю упущенное.

Заодно вот еще один лиспоподобный язык с многими бэкендами

https://github.com/Shen-Language
http://shenlanguage.org/download_form.html
Logic, Proof and Computation

дякую [personal profile] dmytrish

* * *

Aug. 22nd, 2017 11:27 am
bamalip: (Default)
а вот такая идея по мотивам лиспа.

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

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

в принципе, пользовательские системы типов можно реализовывать в метаязыках вроде Twelf, NURPL, и в какой-то степени, чистой Isabelle.
но возможности компилировать это в бэкенд я не видел.
и я не особо представляю себе, как это реализовать.

* * *

Aug. 22nd, 2017 10:41 am
bamalip: (Default)
Так говорил Фрипулья. “Бесконечность”. Федор Тетянич
http://antikvar.ua/tak-govoril-fripulya/


На партсобрание в костюме из фольги: Жизнь-перформанс Федора Тетяныча
https://birdinflight.com/ru/pochemu_eto_shedevr/20170720-fripulya.html


Тетянич Феодосій Констянтинович
https://uk.wikipedia.org/wiki/Тетянич_Феодосій_Констянтинович

* * *

Aug. 21st, 2017 10:02 pm
bamalip: (Default)
The Fourth Workshop on Language-Theoretic Security
http://spw17.langsec.org/

* * *

Aug. 18th, 2017 06:41 pm
bamalip: (Default)
а вот старая картинка:



где здесь место для компьютерных наук?
bamalip: (Default)
немножечко об основаниях.

законно ли отличать тождественные морфизмы от изоморфизмов?
например, можно говорить о подкатегории всех изоморфизмов Iso C.
можно ли на тех же условиях говорить о классе всех тождественных морфизмов, который тоже мог бы образовывать подкатегорию?
имеется в виду случай, когда равенство на классе объектов не задано.
получается, тогда "id" заданo как операция, но не как подкласс?

с другой стороны, в рамках одного Hom-set-а С(A,A) мы можем сравнить произвольный эндоморфизм на равенство (f = id A), если мы считаем, что равенство на морфизмах, как обычно, задано.

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

* * *

Aug. 17th, 2017 03:25 pm
bamalip: (Default)
Эпический вопрос https://bugs.launchpad.net/snappy/+bug/1711249
и идиотский ответ https://bugs.launchpad.net/snappy/+bug/1711249/comments/1
демонстрируют, какие мудаки сидят в убунтовком менеджменте. или это был маркетинг, лол?

* * *

Aug. 16th, 2017 07:54 pm
bamalip: (Default)
Риторический вопрос: почему пани Рутковски для своей якобы безопасной операционки выбрала вечнодырявый Xen, а не верифицированный L4? Конспирология приветствуется.

* * *

Aug. 16th, 2017 04:54 pm
bamalip: (Default)
http://dozor.kr.ua/post/17-richniy-geniy-iz-silskoi-shkoli-na-kirovogradshchini-zoloto-z-mizhnarodnoi-olimpiadi-i-kaliforniyskiy-koledzh-tse-tilki-pochatok-2508.html

На даний момент хочу спробувати декілька напрямків цієї професії, зокрема, створення мобільних додатків для Android та IOS. Це напрямок Java-Development, дуже цікавий


Несмотря на то, что в статье фигурирует словосочетание "computer science", полет мысли ограничен рамками джавы под андроид. И ведь это наш победитель олимпиад! Никакого research, не упоминается даже (казалось бы!) модного искусственного интеллекта. Разработки роботов, вполне продаваемых самодвижущихся повозок, вполне денежной биоинформатики, виртуальной реальности или нейроинтерфейса. Максимум, о чем мечтает человек - это всю жизнь пилить гуи на джаве.

(Бьюсь головой апстену).

* * *

Aug. 14th, 2017 09:37 pm
bamalip: (Default)
Случайно прочитал в комментах, что средний возраст получения магистерской степени в США - около 33 лет. Не знаю, где проверить, но в любом случае - невероятно.

* * *

Aug. 13th, 2017 01:20 pm
bamalip: (Default)
Пользуюсь Void Linux.

С одной стороны в нем есть пакет для броузера Opera.
С другой стороны, судя по нескольким ишью и текущему положению вещей, мейнтейнер не пытается протестировать хотя бы установку этого пакета, не говоря о работоспособности.
Были аналогичные проблемы со stack, но там просто не были указаны нужные для работы зависимости и я установил их руками.
А вот с оперой наоборот - лишние зависимости, которых нет (Raspberry Pi Userland! из ARM-репозитория! внезапно!).
Причем поведение менеджера пакетов такое, что при одном поломанном пакете он отказывается обновлять остальные 100, в результате чего я второй день не могу обновиться.

Такие впечатления.

* * *

Aug. 12th, 2017 07:37 pm
bamalip: (Default)
О последней битве Инженера с Хакером под присмотром Менеджера.

------

Во времена Жюля Верна образ Инженера был почти сакральным. Инженер был един в двух средах: и в научном знании, и в технологическом умении. На самом деле живых инженеров тогда были единицы, но образ, образ их был притягательным и мотивирующим. Инженер руководил постройкой моста, завода, еще не существующей машины для путешествия к центру Земли - у него был статус и обеспеченность. С другой стороны, большинство рабочих на упомянутых стройках инженерами не были, дотягивая в лучшем случае до уровня слесаря.

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

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

Затем мы вошли в постиндустриальную эру. Притягательный образ Инженера сменился образом Хакера. Сакральный Хакер всемогущ, но не благодаря своим научным знания, нет, а благодаря везению, таланту и невыразимой интуитивной смекалке, которой не научишь. Такова "инженерная" культура начала 21-го века, вынесенная из подростковой субкультуры, обожествлявшей хакеров в 80-х годах века 20-го. И индустрия, управляемая реально всемогущим Менеджером, ориентируется на нее.

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

Придет ли за этим новый век? Или мы живем в последние времена, которым суждено смениться описанным в литературе средневековьем киберпанка?

* * *

Aug. 12th, 2017 09:57 am
bamalip: (Default)
срочно добавляем "functionalclam.com/*" в дополнительные антирекламные фильтры

Profile

bamalip: (Default)
шерстяной ленин

August 2017

S M T W T F S
   12 3 4 5
6 7 8 9 10 11 12
13 1415 16 17 1819
20 21 22 23242526
2728293031  

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 23rd, 2017 03:24 pm
Powered by Dreamwidth Studios