to post messages and comments.

@ndtimofeev:

neilmitchell.blogspot.ru — Вот тут Mitchell'у пишут, что static pointer'ы не стабильны и могут меняться от сборки к сборке, что довольно сильно ограничивает применимость его идеи. Это меня в принципе не удивило, но потом я вспомнил, что static pointers extension рожали в муках для нужд cloud haskell с целью гонять по сети указатели на функцию. Так вот вопрос: как им там живётся с такими гарантиями стабильности?

@ndtimofeev:

pp.userapi.com — Придумал идею для стартапа, но не расскажу вам её. Лучше придумайте мне млекопетающих с яркой цветной шерстью.

@ndtimofeev:

Игорь Иванов приглашает вас в социальную сеть ВГранте.

@ndtimofeev:

— Моему отцу недавно исполнилось 50. Мне — 30. Выходит что в моём возрасте у него уже 10 лет был я. Ну… Я подумываю завести кота.
— И что? Слишком большая ответственность?
— В общем да.

@ndtimofeev:

lexszero‎: securityaffairs.co ура хороший системный яп

@ndtimofeev:

Что-то я забыл как устроено детектирование дедлоков в этом моём stm'е. Есть где статья про то как оно реализовано в GHC?

@ndtimofeev:

При попытке вкатить cabal-install обнаружилась острая нехватка различных ебилдов. Пока восполнял её, обнаружил, что у echo в вебне hackage'а указаны одни констрейнты, а в тарболе с кодом — другие.

@ndtimofeev:

Количество новых наследуемых мутаций, которые человек приобретает в течение жизни, оценивается от 10-8 до 2.5х10-8 на нуклеотид, то есть мы передаем потомкам несколько десятков мутаций. Вредными из них, по разным оценкам, могут быть от 4 до 76 процентов. Для поддержания размера популяции у пары должно выживать два ребенка. По расчетам Грора, даже при самом низком проценте вредных мутаций, если бы геном был полностью функционален, каждая пара родителей должна была бы производить на свет 24 потомка, из которых выживали бы только два. Чтобы оправдать цифру в 80 процентов, каждой женщине нужно было бы рожать 15 детей. В реальности средний уровень воспроизводства для человеческой популяции составляет 3,6 ребенка, и исходя из этого рабочую часть генома Грор оценивает максимум в 25 процентов, а скорее в 10-15 процентов.

@ndtimofeev:

fpcomplete.com — что укусило Сноймана, что у него пакет разделён на пакет определяющий класс и пакет с сиротками? Это рождение ребёнка так повлияло?

@ndtimofeev:

arxiv.org — всё равно не пойму за каким дьяволом они тащут туда Profunctor и почему им не хватает Functor и Applicative.

@ndtimofeev:

Написал тут на досуге простенькую гуйню под ведро для тренировки памяти про тревиальные названия биологически активных молекул. Написал на Qt/QML, поскольку потыкать QML желание было (то ещё говно, к тому же сырое), а тыкать Яву желания не было. Дай думаю пернесу эту хрень на SailfishOS. Сел я значит и... не смог поставить SDK на 64-битный линукс. Инсталлятор срёт ошибками js уровня не могу найти подстроку undefined.

@ndtimofeev:

nplus1.ru
Согласно заказу военных, новый робот должен состоять из манипуляторов, которые будут взаимодействовать с имеющимися в кабине пилотов самолетов элементами управления, и камер, с помощью которых робот будет считывать показания приборов, включая данные на индикаторе на лобовом стекле.
Нового робота не нужно будет подключать к каким-либо интерфейсам самолета — его необходимо лишь будет разместить в кресле пилота. Проект робота получил название CARNAC (Common Aircraft Retrofit for Novel Autonomous Control, универсальная авиационная модификация для нового автономного управления).

@ndtimofeev:

Мне кажется или Снойман пишет про штангу?

@ndtimofeev:
?

А есть какие-нибудь распространённые форматы описания тестов? Пока я не начал велосипедить json?

@ndtimofeev:

винда, гейтц, консоль, Линукс и кодировка

@ndtimofeev:

А есть какие-то более другие способы решения проблемы orphan instances на уровне языка или манипуляций с библиотеками в других языках с интерфейсами?

@ndtimofeev:

Накидать генератор линз с полиморфными апдейтом на генериках сходу не получилось. Challenge accepted! В нынешнем представление Generic'ов мне категорически нехватает информации о полиморфной составляющей типа. Есть Generic1, но это конечно совсем не то.

@ndtimofeev:

Никак не могу к этому привыкнуть: почему Data.Functor, но Control.Applicative и Control.Monad? Или почему Data.Lens хотя линзы van Laarhoven'а ни разу не data?

@ndtimofeev:

Про линзы van Laarhoven'а написано много где и довольно хорошо. А вот про призмы как-то невнятно. Мне собственно нужны не они, а partial lens, которые где-то описывались как Choice f => (a -> f b) -> s -> f t. Что бы посмотреть на эту тему?

@ndtimofeev:

Для функтора Const x a определён Applicative (через Monoid x) и не определён Alternative?