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

Итак, мы знаем, как представлять натуральные числа в программе: есть классическая длинная арифметика,...

Некоторые программы используют время и тогда может возникнуть необходимость изменить дату, не затрагивая, однако, системное время машины.

Примером такой программы является система контроля версий darcs, которая, в отличие то git, не позволяет указать время создаваемого...

Вот начал изучать докер.
Для начала взял такую задачу: создать два контейнера с mysql и, например, php, и получить доступ через mysql из второго контейнера.
Посмотрим, какие могут возникнуть ошибки и как они могут быть устранены.

Предполагается, что пользователь MySql сервера root с паролем ps. Директория db в начальный момент пуста или не существует.

Структура директории, в которой производятся все манипуляции:
...

Начну с чужого высказывания:

Сообщение от pointfree this dichotomy between package managers and dvcs is an unnecessary one, possibly even historical or political baggage.

И несколько утверждений, чтоб обрисовать контекст:

— is Guix/Nix/Darcs user interested in reproducible environments. — Forth-like languages don't really distinguish between code and end-user software -- largely a consequence of the compiler functionality being part of the language. They also use hyperstatic scoping, so

...

У меня есть книга по БД в электронном виде.
Кто может её распознать? Автор, название, год.

Проблема:
В системе контроля версий darcs можно задать автодополнение bash, которое дополняет некоторые параметры командной строки.
Во время составления текста сообщения коммита возникает желание использовать автодополнение названий длинных или сложнозапоминаемых функций.

Возьмём в качестве стартовой точки скрипт автодополнений 2002г, написанный Дэвидом Рунди (David Roundy).
...

Есть папка wiki/, в ней есть какие-то файлы, среди которых есть *.md, оформленные в Markdown.
В этих файлах есть ссылки, имеющие вид [текст ссылки](адрес).
Адрес ссылки на другие md-файлы выглядит как обычный относительный путь, но без расширения .md.
Например, если в A/a.md имеется ссылка на файл B/b.md, то он будет оформлен в виде [какой-то текст](../B/b)

Задача:
1) построить граф всех имеющихся файлов с указанием...

Технические споры такие технические…

Сообщение от Fulcrum_013 Сообщение от Shamil1 Разница между "не гавкать" и "гавкать не так" - неоднозначная штука. Разница в том что как оно гавкает личное дело того кто гавкает и никого остального оно не колышет как конкретно этот пудель мяукает.

Напоминание: обращайте внимание на обновления используемых пакетов и программ.

Были проблемы с монтированием некоторых флешек с NTFS:
- mount -t ntfs /dev/sdX /media/flash не монтировал,
- mount -t ntfs-3g /dev/sdX /media/flash монтировал и даже позволял сделать ls /media/flash, но сдувался при любой другой операции с «Ошибкой ввода/вывода».

Проблемы наблюдались не со всеми...

Предисловие

В функциональных языках (Haskell из семейства ML, C#, Python и подобных) есть так называемый list comprehension (LC). Это способ записи списковых выражений, порождённых другими списками.
Например, [ div x y | x <- [1995..2000], y <- [1..floor(sqrt(x))], mod x y == 0 ] возвратит список чисел, которые являются делителями какого-то x из интервала из одного интервала, причём большие
Здесь и далее используется Haskell-подобная...

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

Решение:p читается как «заменить первую неспаренную закрывающую скобку на фигурную»
p|...

Это настолько эпично, что не схоронить не могу. Оригинал: https://www.cyberforum.ru/prog... 51949.html

Ещё интереснее, чем Корчеватель.

===================================

Я контактер.

У меня есть полномочия от Короля центра заниматься любыми проектами, у меня есть полномочия быть Князем всех...

На хабре: http://habrahabr.ru/post/263959/
Перевод Purify code using free monads
Прилагается pdf-версия того же перевода.

Сообщение от Red_Herring Unicode в ТеХ нужен если мы хотим в pdf bookmark иметь такие такие знаки; они возникают если в заглавиях секций и др появляется математика (что не приветствуется, но не всегда возможно избежать. Поэтому в hyperref (с опцией unicode) есть команда \texorpdfstring{}{} где на первом месте стоит то, что идет в сам документ (заглавие секции), а на втором—описание в TeX юникодных символов. Или альтернативное название

См. также https://en.wikibooks.org/wiki/LaTeX/Hyperlinks

Цели

Вспомнить, что такое монада, какие основные соотношения и законы выполняются.
Здесь рассматриваются два подхода определения монады: монада-как-моноид с return/join и монада в представлении Haskell с (>>=). Есть ещё определение через категорию Клейсли, но этот подход не рассматривается, поскольку новые законы там не порождаются.

Вспоминания. Функтор

Все мы знаем замечательный класс Functor, который имеет метод fmap :: Functor f =>...

Вообще-то я привык рассматривать наличие fail-оператора в Monad как тяжелое наследие плохого дизайна.
Но тут меня удивили тем, что он не так уж и бесполезен. Например, он играет ключевую роль при «рассахаривании» do-нотации с шаблонами (pattern matching). Например, следующие куски эквивалентны:...

Попалось на глаза: http://habrahabr.ru/post/223065/
Какая точная подборка!

От себя добавлю:
Неделю назад был у меня неприятный случай, в результате которого я лишился возможности (дома, не на работе) пользоваться «мышью». А в тот день, как на зло, мне нужно было много очень важных вещей...

Счётность

Счётность — это свойство совокупности (типа, множества), которое заключается в потенциальной возможности взаимооднозначного сопоставления каждому объекту некоторого числа — его индекса.

Например, множество чисел от 0 до 65535 не является счётным, оно конечно. А вот множество всех целых чисел очевидно счётно.

Дадим такое определение счётности типа:
...

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

Часто возникает такое желание: изобразить граф по-красивее. Конечно, существует бесчисленное множество инструментов, и отдельные программы, и библиотеки...

Опигинальное сообщение tolimadokara https://www.cyberforum.ru/algo... 53049.html


Реализация алгоритма на Java Script
...

Главная запись: https://www.cyberforum.ru/blog... g1562.html

Параллелизм данных
Имея объект , можно параллельно вычислять и , поэтому такие угловые скобочки спаривания можно мыслить как маркер к фразе «функция параллельного вычисления и на общем аргументе». В этом прелесть параллелизма данных: в коде программы мы ни слова не пишем о том, что что-то...

Теория категорий
Как можно было б описать интерфейс абстрактного типа «пара» в ЯП?...

Основная запись: https://www.cyberforum.ru/blog... g1562.html

Теория множеств
Пара как множество и декартово произведение
Без лишних слов дадим самое распространённое определение пары: Это определение понятное: с одной стороны, мы утверждаем, что пара определяется двумя объектами, что выражено в явном вхождении и , и в пару-как-множество, притом множество (независимо от равенства или неравенства ) можно однозначно...

Введение
На днях (январь 2012) размышляя над презентацией Саймона Пейтона Джонса о параллелизме данных, я подумал о том, какие маркеры указывают на возможность распараллелить вычисления. Подумалось мне, что ничего нет проще простой пары двух объектов, над которыми мы независимо проводим действия и возвращаем в виде пары других двух объектов. В этом смысле пара, парование или спаривание являются самыми простыми маркерами возможности распараллелить данные.

Цели
Цель...