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

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

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

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

Примером такой программы является система контроля версий darcs, которая, в отличие то git, не позволяет указать время создаваемого...
Размещено в Без категории
Mysterious Light вне форума
Старый
Docker: доступ к MySql-контейнеру
Запись от Mysterious Light размещена 12.05.2019 в 20:34. Обновил(-а) Mysterious Light 12.05.2019 в 20:38
Показов 7137 Комментарии 3
Метки docker, mysql

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

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

Структура директории, в которой производятся все манипуляции:
Bash
1
2
2c-copy
|-- docker-compose.yml
...
Размещено в Без категории
Mysterious Light вне форума
Старый
Системы контроля версий и Пакетные менеджеры
Запись от Mysterious Light размещена 27.01.2018 в 19:45
Показов 2495 Комментарии 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
...
Размещено в Без категории
Mysterious Light вне форума
Старый
Рейтинг: 5.00. Голосов: 1.
Книга по базам данных
Запись от Mysterious Light размещена 07.12.2017 в 11:44. Обновил(-а) Mysterious Light 07.12.2017 в 11:45
Показов 2331 Комментарии 2

У меня есть книга по БД в электронном виде.
Кто может её распознать? Автор, название, год.
Вложения
Тип файла: pdf alice.pdf (2.97 Мб, 1078 просмотров)
Размещено в Без категории
Mysterious Light вне форума
Старый
Автодополнение текста сообщений в darcs
Запись от Mysterious Light размещена 01.11.2017 в 16:13
Показов 2021 Комментарии 0

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

Возьмём в качестве стартовой точки скрипт автодополнений 2002г, написанный Дэвидом Рунди (David Roundy).
Кликните здесь для просмотра всего текста
Bash
1
2
# darcs command line completion.
# Copyright 2002 "David Roundy" <droundy@abridgegame.org>
...
Размещено в Без категории
Mysterious Light вне форума
Старый
Построение графа зависимостей файлов вики в разметке Markdown стадартными средствами
Запись от Mysterious Light размещена 08.10.2017 в 23:42
Показов 3130 Комментарии 0
Метки bash, dot, markdown, sed, shell

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

Задача:
1) построить граф всех имеющихся файлов с указанием...
Размещено в Без категории
Mysterious Light вне форума
Старый
Принцип Лисков
Запись от Mysterious Light размещена 11.02.2017 в 14:40
Показов 1695 Комментарии 0

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

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

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

Проблемы наблюдались не со всеми...
Размещено в Без категории
Mysterious Light вне форума
Старый
List Comprehension vs do-notation
Запись от Mysterious Light размещена 19.05.2016 в 21:21. Обновил(-а) Mysterious Light 19.05.2016 в 21:22
Показов 1785 Комментарии 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 вне форума
Старый
НАМ: поиск парной скобки
Запись от Mysterious Light размещена 12.11.2015 в 00:33. Обновил(-а) Mysterious Light 05.06.2017 в 15:04
Показов 1682 Комментарии 0
Метки нам

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

Решение:
Haskell
1
2
3
4
5
6
*( -> {p
p( -> (p|
|( -> |(
p|) -> )p
|) -> )|
p) -> }
p читается как «заменить первую неспаренную закрывающую скобку на фигурную»
p|...
Размещено в Без категории
Mysterious Light вне форума
Старый
Рейтинг: 3.00. Голосов: 2.
Новая система Стрекоза поиска в Интернете
Запись от Mysterious Light размещена 14.10.2015 в 20:43. Обновил(-а) Mysterious Light 15.10.2015 в 11:28
Показов 3010 Комментарии 3

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

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

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

Я контактер.

У меня есть полномочия от Короля центра заниматься любыми проектами, у меня есть полномочия быть Князем всех...
Размещено в Без категории
Mysterious Light вне форума
Старый
Очисти код свободными монадами
Запись от Mysterious Light размещена 01.08.2015 в 21:48
Показов 1588 Комментарии 0

На хабре: http://habrahabr.ru/post/263959/
Перевод Purify code using free monads
Прилагается pdf-версия того же перевода.
Вложения
Тип файла: pdf Purify.pdf (245.8 Кб, 304 просмотров)
Размещено в Без категории
Mysterious Light вне форума
Старый
Unicode и pdflatex
Запись от Mysterious Light размещена 27.06.2015 в 12:13
Показов 1565 Комментарии 0

Цитата Сообщение от Red_Herring
Unicode в ТеХ нужен если мы хотим в pdf bookmark иметь такие такие знаки; они возникают если в заглавиях секций и др появляется математика (что не приветствуется, но не всегда возможно избежать. Поэтому в hyperref (с опцией unicode) есть команда \texorpdfstring{}{} где на первом месте стоит то, что идет в сам документ (заглавие секции), а на втором—описание в TeX юникодных символов. Или альтернативное название
См. также https://en.wikibooks.org/wiki/LaTeX/Hyperlinks
Размещено в Без категории
Mysterious Light вне форума
Старый
Закон монад
Запись от Mysterious Light размещена 16.07.2014 в 15:28
Показов 2974 Комментарии 0
Метки haskell

Цели

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

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

Все мы знаем замечательный класс Functor, который имеет метод fmap :: Functor f =>...
Размещено в Без категории
Mysterious Light вне форума
Старый
Внезапное открытие: fail оператор в монадах
Запись от Mysterious Light размещена 10.07.2014 в 03:17
Показов 1842 Комментарии 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 вне форума
Старый
Старая Опера
Запись от Mysterious Light размещена 16.05.2014 в 18:19
Показов 1972 Комментарии 0
Метки opera

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

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

Счётность

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

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

Дадим такое определение счётности типа:
Haskell
1
2
type PInteger = Integer
-- здесь и далее полагаю, что PInteger
...
Размещено в Структуры данных
Mysterious Light вне форума
Старый
Рейтинг: 5.00. Голосов: 1.
Силовые методы рисования графов. Демонстрация.
Запись от Mysterious Light размещена 30.01.2014 в 16:17
Показов 14001 Комментарии 0
Метки граф, графика

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


Часто возникает такое желание: изобразить граф по-красивее. Конечно, существует бесчисленное множество инструментов, и отдельные программы, и библиотеки...
Вложения
Тип файла: zip graph.zip (343.5 Кб, 718 просмотров)
Размещено в Без категории
Mysterious Light вне форума
Старый
Рейтинг: 5.00. Голосов: 1.
Сжатие данных по алгоритму Лемпеля — Зива — Велча (используется в GIF и PNG)
Запись от Mysterious Light размещена 26.08.2013 в 00:03
Показов 4480 Комментарии 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,
...
Размещено в Без категории
Mysterious Light вне форума
Старый
Эссе. Парование. Часть 3. Теория типов
Запись от Mysterious Light размещена 25.08.2013 в 23:56. Обновил(-а) Mysterious Light 24.03.2014 в 10:59
Показов 2596 Комментарии 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 на общем аргументе». В этом прелесть параллелизма данных: в коде программы мы ни слова не пишем о том, что что-то...
Размещено в Структуры данных
Mysterious Light вне форума
Старый
Эссе. Парование. Часть 2. Теория категорий
Запись от Mysterious Light размещена 25.08.2013 в 23:53. Обновил(-а) Mysterious Light 31.05.2015 в 17:37
Показов 3830 Комментарии 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; }
    /* грязный хак, ибо двухаргументная
...
Изображения
Тип файла: jpg cart.jpg (3.8 Кб, 636 просмотров)
Тип файла: jpg funcprod.jpg (5.5 Кб, 757 просмотров)
Вложения
Размещено в Структуры данных
Mysterious Light вне форума
Старый
Эссе. Парование. Часть 1. Теория множеств
Запись от Mysterious Light размещена 25.08.2013 в 23:50. Обновил(-а) Mysterious Light 28.01.2014 в 13:03
Показов 3642 Комментарии 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) можно однозначно...
Размещено в Структуры данных
Mysterious Light вне форума
Старый
Эссе. Парование. Часть 0. Введение.
Запись от Mysterious Light размещена 25.08.2013 в 23:48. Обновил(-а) Mysterious Light 28.01.2014 в 13:02
Показов 2841 Комментарии 0
Метки пара

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

Цели
Цель...
Вложения
Тип файла: zip pairs.zip (2.3 Кб, 287 просмотров)
Тип файла: pdf pairs.pdf (236.8 Кб, 430 просмотров)
Размещено в Структуры данных
Mysterious Light вне форума
Новые блоги и статьи
Почему могут не шифроваться русские символы в Java
Wired 17.02.2025
При разработке на Java нередко возникают сложности с шифрованием русских символов. Эта проблема особенно актуальна для разработчиков, создающих программное обеспечение для русскоязычной аудитории. . . .
Отличия ОС для x86_64 и ARM
Wired 17.02.2025
На данный момент сосуществуют две основные архитектуры процессоров - x86_64 и ARM. Эти архитектуры имеют принципиально разные подходы к организации вычислений и обработке данных, что накладывает. . .
Многопоточность в Python: как использовать Thread
bytestream 17.02.2025
Поток выполнения (thread) - это наименьшая последовательность инструкций, которая может управляться планировщиком операционной системы. Представьте себе, что ваша программа - это книга, а потоки -. . .
Как воспроизвести Race Condition в Python
bytestream 17.02.2025
В многопоточном программировании существует множество подводных камней, и одним из самых коварных является состояние гонки (Race Condition). Этот термин описывает ситуацию, когда результат выполнения. . .
Ошибка "node: --openssl-legacy-provider is not allowed in NODE_OPTIONS"
bytestream 17.02.2025
Каждый разработчик рано или поздно сталкивается с ситуацией, когда при запуске проекта Node. js неожиданно выскакивает ошибка "node: --openssl-legacy-provider is not allowed in NODE_OPTIONS". Это. . .
Ошибка pip Python "AttributeError­: module 'lib' has no attribute 'OpenSSL_add_al­l_algorit­hms'"
bytestream 17.02.2025
При разработке на Python частенько сталкиваешься с разными сюрпризами, но ошибка AttributeError: module 'lib' has no attribute 'OpenSSL_add_all_algorithms' - это что-то особенное. Знаете, это как. . .
Сообщение Play Store "You must complete the advertising ID declaration before you can release an app that targets"
bytestream 17.02.2025
Рекламный идентификатор - это уникальный, но восстанавливаемый строковый идентификатор для каждого устройства Android. Думаю, вы удивитесь, но даже если ваше приложение не показывает рекламу. . .
Отличия App Router от Pages Router в Next.js
bytestream 17.02.2025
Next. js прошел длинный путь развития, и одним из самых значительных изменений стало появление App Router - революционного подхода к организации маршрутизации в приложении. Этот новый способ пришел на. . .
Топ10 лучших фреймворков JavaScript для изучения в 2025
bytestream 16.02.2025
В современной веб-разработке JavaScript занимает особое место, являясь одним из наиболее востребованных языков программирования. По мере развития веб-технологий появляется все больше фреймворков,. . .
Temporal в JavaScript - новый формат даты и времени
bytestream 16.02.2025
В мире JavaScript скоро произойдет значимое событие - появление нового встроенного объекта Temporal, который призван полностью заменить устаревший объект Date. Это революционное изменение в работе с. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru