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

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

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

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

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

Я контактер.

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

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

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

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

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

Часто возникает такое желание: изобразить граф по-красивее. Конечно, существует бесчисленное множество инструментов, и отдельные программы, и библиотеки...
Старый
Рейтинг: 5.00. Голосов: 1.
Сжатие данных по алгоритму Лемпеля — Зива — Велча (используется в GIF и PNG)
Запись от Mysterious Light размещена 26.08.2013 в 00:03
Показов 4763 Комментарии 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,
...
Новые блоги и статьи
Калькулятор для расчета родства
russiannick 07.08.2026
1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь
 Мир по моей воле
kumehtar 07.08.2026
Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .
Кредитный калькулятор
Maks 05.08.2026
Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .
У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35".
kumehtar 04.08.2026
С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .
Как ИИ начал спорить и врать (возможно почуяв опасность для себя от индустрии - уход от электроники).
Hrethgir 04.08.2026
Недельный диалог, на фоне событий с НПЗ. Да, из спирта можно получать бензин, и это не сложно. Но потом в схеме я решил избавиться от насоса, при этом полностью сделав контроль подачи спирта в. . .
Термопринтер QR701
Argus19 03.08.2026
Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .
Создание формы заимствованного документа
Maks 03.08.2026
Задача: Необходимо создать собственную форму заимствованного документа. На форме должен быть реквизит "Покупатель", а также табличная часть со следующими реквизитами: - Расчетный счет покупателя. . .
Задача предоставления скидок покупателям
Maks 03.08.2026
Задача: В документе "Продажи" необходимо реализовать функционал предоставления скидок покупателям. Скидка должна автоматически рассчитываться и подставляться в соответствующее поле при выборе. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Поддержать - Реклама - Условия использования - Обратная связь
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru