Форум программистов, компьютерный форум, киберфорум
Mysterious Light
Форум программистов и сисадминов Киберфорум > Блоги
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
Старый
Рейтинг: 5.00. Голосов: 1.
Монотонное кодирование действительных чисел последовательностью натуральных
Запись от Mysterious Light размещена 21.10.2021 в 02:09
Показов 1919 Комментарии 5
Просто заметка на основе мыслей, пришедших с восходом луны.
Поскольку едва ли из этого может что-то теоретически или практически полезное получиться, выкладываю здесь.

Итак, мы знаем, как представлять натуральные числа в программе: есть классическая длинная арифметика,...
Старый
Изменение времени в docker-контейнере
Запись от Mysterious Light размещена 03.07.2020 в 13:59
Показов 4780 Комментарии 2
Метки darcs, docker
Некоторые программы используют время и тогда может возникнуть необходимость изменить дату, не затрагивая, однако, системное время машины.

Примером такой программы является система контроля версий darcs, которая, в отличие то git, не позволяет указать время создаваемого...
Старый
Docker: доступ к MySql-контейнеру
Запись от Mysterious Light размещена 12.05.2019 в 20:34
Показов 7431 Комментарии 3
Метки docker, mysql
Вот начал изучать докер.
Для начала взял такую задачу: создать два контейнера с mysql и, например, php, и получить доступ через mysql из второго контейнера.
Посмотрим, какие могут возникнуть ошибки и как они могут быть устранены.

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

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

2c-copy
|-- docker-compose.yml
...
Старый
Системы контроля версий и Пакетные менеджеры
Запись от Mysterious Light размещена 27.01.2018 в 19:45
Показов 2598 Комментарии 0
Начну с чужого высказывания:
Цитата Сообщение от 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
...
Старый
Рейтинг: 5.00. Голосов: 1.
Книга по базам данных
Запись от Mysterious Light размещена 07.12.2017 в 11:44
Показов 2444 Комментарии 2
У меня есть книга по БД в электронном виде.
Кто может её распознать? Автор, название, год.
Старый
Автодополнение текста сообщений в darcs
Запись от Mysterious Light размещена 01.11.2017 в 16:13
Показов 2128 Комментарии 0
Проблема:
В системе контроля версий darcs можно задать автодополнение bash, которое дополняет некоторые параметры командной строки.
Во время составления текста сообщения коммита возникает желание использовать автодополнение названий длинных или сложнозапоминаемых функций.

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

# darcs command line completion.
# Copyright 2002 "David Roundy" <droundy@abridgegame.org>
...
Старый
Построение графа зависимостей файлов вики в разметке Markdown стадартными средствами
Запись от Mysterious Light размещена 08.10.2017 в 23:42
Показов 3367 Комментарии 0
Метки bash, dot, markdown, sed, shell
Есть папка wiki/, в ней есть какие-то файлы, среди которых есть *.md, оформленные в Markdown.
В этих файлах есть ссылки, имеющие вид [текст ссылки](адрес).
Адрес ссылки на другие md-файлы выглядит как обычный относительный путь, но без расширения .md.
Например, если в A/a.md имеется ссылка на файл B/b.md, то он будет оформлен в виде [какой-то текст](../B/b)

Задача:
1) построить граф всех имеющихся файлов с указанием...
Старый
Принцип Лисков
Запись от Mysterious Light размещена 11.02.2017 в 14:40
Показов 1816 Комментарии 0
Технические споры такие технические…
Цитата Сообщение от Fulcrum_013 Посмотреть сообщение
Цитата Сообщение от Shamil1 Посмотреть сообщение
Разница между "не гавкать" и "гавкать не так" - неоднозначная штука.
Разница в том что как оно гавкает личное дело того кто гавкает и никого остального оно не колышет как конкретно этот пудель мяукает.
Старый
NTFS-3G
Запись от Mysterious Light размещена 08.01.2017 в 21:26
Показов 1605 Комментарии 0
Напоминание: обращайте внимание на обновления используемых пакетов и программ.

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

Проблемы наблюдались не со всеми...
Старый
List Comprehension vs do-notation
Запись от Mysterious Light размещена 19.05.2016 в 21:21
Показов 1917 Комментарии 0
Метки haskell, list
Предисловие

В функциональных языках (Haskell из семейства ML, C#, Python и подобных) есть так называемый list comprehension (LC). Это способ записи списковых выражений, порождённых другими списками.
Например, [ div x y | x <- [1995..2000], y <- [1..floor(sqrt(x))], mod x y == 0 ] возвратит список чисел, которые являются делителями какого-то x из интервала из одного интервала, причём большие https://www.cyberforum.ru/cgi-bin/latex.cgi?\sqrt{x}
Здесь и далее используется Haskell-подобная...
Старый
НАМ: поиск парной скобки
Запись от Mysterious Light размещена 12.11.2015 в 00:33
Показов 1806 Комментарии 0
Метки нам
Задача: написать нормальный алгоритм Маркова, который в заданной строке с правильной скобочной последовательностью и символом * перед открывающейся скобкой ищет парную ей и меняет их на фигурные скобки.

Решение:
Haskell
1
2
3
4
5
6

*( -> {p
p( -> (p|
|( -> |(
p|) -> )p
|) -> )|
p) -> }
p читается как «заменить первую неспаренную закрывающую скобку на фигурную»
p|...
Старый
Рейтинг: 3.00. Голосов: 2.
Новая система Стрекоза поиска в Интернете
Запись от Mysterious Light размещена 14.10.2015 в 20:43
Показов 3152 Комментарии 3
Это настолько эпично, что не схоронить не могу. Оригинал: https://www.cyberforum.ru/prog... 51949.html

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

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

Я контактер.

У меня есть полномочия от Короля центра заниматься любыми проектами, у меня есть полномочия быть Князем всех...
Старый
Очисти код свободными монадами
Запись от Mysterious Light размещена 01.08.2015 в 21:48
Показов 1692 Комментарии 0
На хабре: http://habrahabr.ru/post/263959/
Перевод Purify code using free monads
Прилагается pdf-версия того же перевода.
Старый
Unicode и pdflatex
Запись от Mysterious Light размещена 27.06.2015 в 12:13
Показов 1655 Комментарии 0
Цитата Сообщение от Red_Herring
Unicode в ТеХ нужен если мы хотим в pdf bookmark иметь такие такие знаки; они возникают если в заглавиях секций и др появляется математика (что не приветствуется, но не всегда возможно избежать. Поэтому в hyperref (с опцией unicode) есть команда \texorpdfstring{}{} где на первом месте стоит то, что идет в сам документ (заглавие секции), а на втором—описание в TeX юникодных символов. Или альтернативное название
См. также https://en.wikibooks.org/wiki/LaTeX/Hyperlinks
Старый
Закон монад
Запись от Mysterious Light размещена 16.07.2014 в 15:28
Показов 3081 Комментарии 0
Метки haskell
Цели

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

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

Все мы знаем замечательный класс Functor, который имеет метод fmap :: Functor f =>...
Старый
Внезапное открытие: fail оператор в монадах
Запись от Mysterious Light размещена 10.07.2014 в 03:17
Показов 1970 Комментарии 0
Метки haskell
Вообще-то я привык рассматривать наличие fail-оператора в Monad как тяжелое наследие плохого дизайна.
Но тут меня удивили тем, что он не так уж и бесполезен. Например, он играет ключевую роль при «рассахаривании» do-нотации с шаблонами (pattern matching). Например, следующие куски эквивалентны:
Haskell
1
2
3
4
5

-- с сахаром
do { Just x <- getFromIO "foo"; f x }
 
-- без сахара
getFromIO "foo" >>= \ a -> case a of { Just x -> f x;
...
Старый
Старая Опера
Запись от Mysterious Light размещена 16.05.2014 в 18:19
Показов 2037 Комментарии 0
Метки opera
Попалось на глаза: http://habrahabr.ru/post/223065/
Какая точная подборка!

От себя добавлю:
Неделю назад был у меня неприятный случай, в результате которого я лишился возможности (дома, не на работе) пользоваться «мышью». А в тот день, как на зло, мне нужно было много очень важных вещей...
Старый
Счётность типов
Запись от Mysterious Light размещена 01.05.2014 в 03:45
Показов 2711 Комментарии 0
Счётность

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

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

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

type PInteger = Integer
-- здесь и далее полагаю, что PInteger
...
Старый
Рейтинг: 5.00. Голосов: 1.
Силовые методы рисования графов. Демонстрация.
Запись от Mysterious Light размещена 30.01.2014 в 16:17
Показов 14250 Комментарии 0
Метки граф, графика
Краткое содержание:
Ниже рассказывается про силовой алгоритм рисования графов, физику моделируемого процесса и прикладывается программа (под браузер), в которой можно этот метод посмотреть пошагово.

Часто возникает такое желание: изобразить граф по-красивее. Конечно, существует бесчисленное множество инструментов, и отдельные программы, и библиотеки...
Старый
Рейтинг: 5.00. Голосов: 1.
Сжатие данных по алгоритму Лемпеля — Зива — Велча (используется в GIF и PNG)
Запись от Mysterious Light размещена 26.08.2013 в 00:03
Показов 4615 Комментарии 1
Опигинальное сообщение tolimadokara https://www.cyberforum.ru/algo... 53049.html

Алгоритм Лемпеля — Зива — Велча

Реализация алгоритма на Java Script
JavaScript
1
2
3
4
5
6
7
8
9

//LZW Compression/Decompression for Strings
var LZW = {
    compress: function (uncompressed) {
        "use strict";
        // Build the dictionary.
        var i,
            dictionary = {},
            c,
            wc,
...
Старый
Эссе. Парование. Часть 3. Теория типов
Запись от Mysterious Light размещена 25.08.2013 в 23:56
Показов 2660 Комментарии 0
Главная запись: https://www.cyberforum.ru/blog... g1562.html

Параллелизм данных
Имея объект https://www.cyberforum.ru/cgi-bin/latex.cgi?a, можно параллельно вычислять https://www.cyberforum.ru/cgi-bin/latex.cgi?x=f(a) и https://www.cyberforum.ru/cgi-bin/latex.cgi?y=g(a), поэтому такие угловые скобочки спаривания https://www.cyberforum.ru/cgi-bin/latex.cgi?\langle f,g\rangle можно мыслить как маркер к фразе «функция параллельного вычисления https://www.cyberforum.ru/cgi-bin/latex.cgi?f и https://www.cyberforum.ru/cgi-bin/latex.cgi?g на общем аргументе». В этом прелесть параллелизма данных: в коде программы мы ни слова не пишем о том, что что-то...
Старый
Эссе. Парование. Часть 2. Теория категорий
Запись от Mysterious Light размещена 25.08.2013 в 23:53
Показов 3938 Комментарии 0
Теория категорий
Как можно было б описать интерфейс абстрактного типа «пара» в ЯП?
Java
1
2
3
4
5
6
7
8
9
10
11

interface IPair<X,Y> {
    X first();
    Y second();
    /* в идеале сюда добавить конструктор */
}
class Pair<X,Y> implements IPair<X,Y> {
    private X x;
    private Y y;
    X first() { return x; }
    Y second() { return y; }
    /* грязный хак, ибо двухаргументная
...
Старый
Эссе. Парование. Часть 1. Теория множеств
Запись от Mysterious Light размещена 25.08.2013 в 23:50
Показов 3773 Комментарии 2
Основная запись: https://www.cyberforum.ru/blog... g1562.html

Теория множеств
Пара как множество и декартово произведение
Без лишних слов дадим самое распространённое определение пары:
https://www.cyberforum.ru/cgi-bin/latex.cgi?(x,y) := \{x,\{x,y\}\}.
Это определение понятное: с одной стороны, мы утверждаем, что пара определяется двумя объектами, что выражено в явном вхождении и https://www.cyberforum.ru/cgi-bin/latex.cgi?x, и https://www.cyberforum.ru/cgi-bin/latex.cgi?y в пару-как-множество, притом множество https://www.cyberforum.ru/cgi-bin/latex.cgi?\{x,y\} (независимо от равенства или неравенства https://www.cyberforum.ru/cgi-bin/latex.cgi?x\equiv y) можно однозначно...
Старый
Эссе. Парование. Часть 0. Введение.
Запись от Mysterious Light размещена 25.08.2013 в 23:48
Показов 2914 Комментарии 0
Метки пара
Введение
На днях (январь 2012) размышляя над презентацией Саймона Пейтона Джонса о параллелизме данных, я подумал о том, какие маркеры указывают на возможность распараллелить вычисления. Подумалось мне, что ничего нет проще простой пары двух объектов, над которыми мы независимо проводим действия и возвращаем в виде пары других двух объектов. В этом смысле пара, парование или спаривание являются самыми простыми маркерами возможности распараллелить данные.

Цели
Цель...
Новые блоги и статьи
Музыка, написанная Искусственным Интеллектом
volvo 04.12.2025
Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .
От async/await к виртуальным потокам в Python
IndentationError 23.11.2025
Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов
Argus19 22.11.2025
Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .
Сколько Государство потратило денег на меня, обеспечивая инсулином.
Programma_Boinc 20.11.2025
Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
Ломающие изменения в C#.NStar Alpha
Etyuhibosecyu 20.11.2025
Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .
Мысли в слух
kumehtar 18.11.2025
Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .
Создание Single Page Application на фреймах
krapotkin 16.11.2025
Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .
Фото: Daniel Greenwood
kumehtar 13.11.2025
 Расскажи мне о Мире, бродяга
kumehtar 12.11.2025
— Расскажи мне о Мире, бродяга, Ты же видел моря и метели. Как сменялись короны и стяги, Как эпохи стрелою летели. - Этот мир — это крылья и горы, Снег и пламя, любовь и тревоги, И бескрайние. . .
PowerShell Snippets
iNNOKENTIY21 11.11.2025
Модуль PowerShell 5. 1+ : Snippets. psm1 У меня модуль расположен в пользовательской папке модулей, по умолчанию: \Documents\WindowsPowerShell\Modules\Snippets\ А в самом низу файла-профиля. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Поддержать - Реклама - Условия использования - Обратная связь
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru