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

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

Примером такой программы является система контроля версий darcs, которая, в отличие то git, не позволяет указать время создаваемого...
Старый
Docker: доступ к MySql-контейнеру
Запись от Mysterious Light размещена 12.05.2019 в 20:34
Показов 7587 Комментарии 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
Показов 2744 Комментарии 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
Показов 2601 Комментарии 2
У меня есть книга по БД в электронном виде.
Кто может её распознать? Автор, название, год.
Старый
Автодополнение текста сообщений в darcs
Запись от Mysterious Light размещена 01.11.2017 в 16:13
Показов 2284 Комментарии 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
Показов 3543 Комментарии 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
Показов 1925 Комментарии 0
Технические споры такие технические…
Цитата Сообщение от Fulcrum_013 Посмотреть сообщение
Цитата Сообщение от Shamil1 Посмотреть сообщение
Разница между "не гавкать" и "гавкать не так" - неоднозначная штука.
Разница в том что как оно гавкает личное дело того кто гавкает и никого остального оно не колышет как конкретно этот пудель мяукает.
Старый
NTFS-3G
Запись от Mysterious Light размещена 08.01.2017 в 21:26
Показов 1748 Комментарии 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
Показов 2067 Комментарии 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
Показов 1925 Комментарии 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
Показов 3286 Комментарии 3
Это настолько эпично, что не схоронить не могу. Оригинал: https://www.cyberforum.ru/prog... 51949.html

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

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

Я контактер.

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

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

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

Все мы знаем замечательный класс Functor, который имеет метод fmap :: Functor f =>...
Старый
Внезапное открытие: fail оператор в монадах
Запись от Mysterious Light размещена 10.07.2014 в 03:17
Показов 2088 Комментарии 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
Показов 2182 Комментарии 0
Метки opera
Попалось на глаза: http://habrahabr.ru/post/223065/
Какая точная подборка!

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

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

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

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

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

Часто возникает такое желание: изобразить граф по-красивее. Конечно, существует бесчисленное множество инструментов, и отдельные программы, и библиотеки...
Старый
Рейтинг: 5.00. Голосов: 1.
Сжатие данных по алгоритму Лемпеля — Зива — Велча (используется в GIF и PNG)
Запись от Mysterious Light размещена 26.08.2013 в 00:03
Показов 4731 Комментарии 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
Показов 2793 Комментарии 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
Показов 4065 Комментарии 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
Показов 3894 Комментарии 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
Показов 3038 Комментарии 0
Метки пара
Введение
На днях (январь 2012) размышляя над презентацией Саймона Пейтона Джонса о параллелизме данных, я подумал о том, какие маркеры указывают на возможность распараллелить вычисления. Подумалось мне, что ничего нет проще простой пары двух объектов, над которыми мы независимо проводим действия и возвращаем в виде пары других двух объектов. В этом смысле пара, парование или спаривание являются самыми простыми маркерами возможности распараллелить данные.

Цели
Цель...
Новые блоги и статьи
После бана на Пикабу не работает авторизация аккаунта с Яндекса.
Hrethgir 09.07.2026
В частности https:/ / auto. ru/ logbook/ zapret-na-vozhdenie-posle-65-let_1cf28789-07b4-4c75-a2f7-4cd4edf9deeb тут хотел оставить комментарий такой Зрите в корень - монополизация на разработку программ. . .
GitDOS: Когда я решил скрестить MS-DOS, GitHub и Claude
MaGz GoLd 08.07.2026
Привет, Киберфорум! Хочу поделиться своим проектом, который, надеюсь, вас заинтересует. GitDOS — это веб-приложение, которое позволяет запускать DOS в браузере с тремя крутыми фичами: диски живут в. . .
Учебный мини "цифровой двойник" = (Сервер = Java + Flask_питон )+(3D = Гугловскаая 4T nvideo + google colab) +( WMS = Odoo на Docker)
anaschu 07.07.2026
Увидел в требованиях к вакансии создателя имитационных моделей связку (REst + Api + WMS + Anylogic + питон + 3D Nvideo), и решил посмотреть, что это такое. Из этого всего я работал более менее. . .
Море в объективе
kumehtar 06.07.2026
Хотел написать много проникновенных слов, но передумал. Оно само - говорит. Кто слышит тот слышит.
Doom для терминала без стрельбы и монстров. 3D Raycasting на ascii.
dcc0 05.07.2026
Попросил нейронную сеть deepai. org написать рейкастинг 3D с библиотекой ncurses для Linux. Чтобы можно было ходить на стрелочки. Чтобы стены были отрисованы символами. Справилась. Первый вариант. . .
Установка статуса документа по условию
Maks 05.07.2026
Алгоритм из решения ниже реализован на нетиповом документе "НарядПутевка" разработанного в КА2. Задача: в табличной части "Материалы" документа при записи автоматически устанавливать статус. . .
Сезонность и суточность закисления почв
anaschu 04.07.2026
200 часов это все равно моловато. Есть ситуации, но нестандартные, когда смена происходит за 5 лет. Но обычно это 50 лет и более. Наверное, закисление почвы происходит сезонно в средней. . .
В чем ценность человеческого опыта в глобальном смысле?
kumehtar 03.07.2026
Возможно, ценность человека не в том, что он однажды достигает мудрости, а в том, что он становится носителем карты пути. Он знает не только истину, но и последовательность внутренних изменений,. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Поддержать - Реклама - Условия использования - Обратная связь
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru