А нельзя ли принять какой-то закон, что все российские сайты обязаны быть в домене .ru ? а если не в домене .ru то не имеют права запрещать доступ с иностранных ip. Ну либо закон, обязывающий firefox запускать разные инстансы с разными настройками прокси, но firefox пошлёт, конечно же.

Вообще можно сказать, что компакция в реальном времени/инкрементальная не сделана в разных БД не потому, что они придурки и не осилили, а потому, что это очень непросто и порождает проблемы, которые не хочется решать иммутабельных системах, напротив, от этого всего хотелось как раз уйти. Даже из того, что сходу видно там (с реальным временем) порождаются дичайшие гонки, и решения в стиле "делаем так, а если к концу действия произошло вот это — то откатываем операцию целиком". Чот too much для наколеночной БД. Короче, я пока придумал только половину инкрементальной компакции в реальном времени, а вторую чот никак не могу.

На чём бы можно было помоделировать сторейж, например? TLA+? допустим? т.е допустим сделать некую модель, проверифицировать алгоритмы, а потом из неё сгенерить код. Не сэкономило бы это время, по сравнению со "сделал - частично работает - сидишь отлаживаешь". Т.е есть ли реальные кейсы, как применение подобных инструментов сэкономило время?

Заставляем LLM обучать нас TLA+ -> вместе пишем модель -> генерим код в рамках имеющихся примитивов -> заставляем модель проверять соответствие модели коду -> профит. Кто-то уже пытался?

Говорящая собака подогнала почитать: https://lamport.azurewebsites.net/tla/book.html

Что бы дать отдохнуть мозгам, решил сделать бота для печати анкет для аэроклубов. ознакомился с 152-ФЗ и у меня много вопросов. Ну так-то конечно быстрый вывод после ознакомления — данунегонахуй, особенно бесплатно. Второй вопрос — а что, вот те крупные всем нам известные операторы персональных данных от которых данные утекают прямо в день появления — и потом нам звонят из службы безопасности сбербанка — они какую-то ответстенность за это несут/понесли? Или им можно? Ну и третий вопрос — а не цирк ли безопасности ли это всё и не инструмент ли вытеснения мелких игроков с рынка.

Попробовал typst вместо xelatex. Работает очень быстро, только не работает. При попытке вставить страницу из PDF, или сам PDF в качестве бэкграунда моментально обосрался. Ну и сам синтаксис наводит на мысли. Ну мысль строго одна — не пытайтесь изобретать синтаксис, будет только хуже. Впрочем, какая разница, какой синтаксис, если всё равно что нужно не работает. На гитхабе рекомендуют сконвертировать PDF в SVG или еще куда. Попробую, но уже понятно, что скорее всего будет xelatex.

У кого-нибудь не завалялась хаскельная функция склонения имён? ну типа Пупкин Василий -> Заявление от Пупкина Василия. аналог petrovich. Буквально все доступные мне LLM облажались написать рабочий код. Придётся или вникать или кто-то уже сделал

AI который мы заслужили, например

Итого, petrovich почти переписан на Haskell с утра (с точностью до того, что я перемудрил с типами и не могу сделать интерфейс). Может завтра добью. от LLM пользы почти не было. Это как если микроменеджить совсем джуна. Странно, на других задачах ( SQL с обвязкой) было лучше. Сделал эвристику вывода гендера получше вроде, чем в исходном на Go - там только по отчеству, я сделал с весами по всем частям имени)

Ну короче в первом приближении порт petrovich работает

hbs23://5kQb6z3SJ9jdHEebtWJMPKg8ENguA9xUaUHypAFkBS53

оформлять как-то пока что не до этого, но если вдруг кому надо то вот

А вот помните, я хотел делать 9P потому, что простой и красивый, но по факту стали делать на fuse, потому что "все используют fuse", "быстрее запилить" и "быстрее будет работать" ?

Что по факту: 1) не работает на задаче 2) не проще (т.к. не работает на нашей задаче хрен знает почему и надо отлаживать выяснять) 3) быстрее не будет, т.к. fuse точно не место в демоне, но при этом оно в демона ходить будет по RPC, т.е что так по сети что сяк по сети (и об этом я сразу не подумал).

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

Надо было брать 9P оно красивое, жаль, что мёртвое. Но простое, можно с нуля написать и поддерживать. Но по факту и hFuse много лет никто не поддерживает — т.е если ориентироваться не на интуицию, а сначала выписать факты в табличку — то может быть сразу бы принял правильное решение. А может нет. Короче, интуиция сначала не подвела, а потом подвела. Нельзя никакие решения принимать интуитивно.

AOWD ✔️, nitrox check ✔️, deep diving wip

Вернул не-IT блог. Собственно снёс-то я его из-за неприятной реакции со стороны определенного сообщества, но если здраво рассудить - то надо бы было просто послать всех любителей перемыть кости за глаза нахрен, как и буду поступать в дальнейшем, ну а тогда это была запоздалая попытка сбить волну. В общем, по заметки по филлипинской поездке и дайвингу вообще здесь - https://t.me/genedrd47r

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

Раскатал hbs2 на новую тачку, на которой ничего нет по собственному мануалу. всё гладко.

Вообще после отпуска с nix что-то случилось, он стал где-то на 30% менее выводящим из себя (это про итогам раскатки с станции с 5090, свежего ядра, нестабильных драйверов и т.п. Всё завелось и работает, как настоящее, убил всего-то меньше половины дня).

В порядке эксперимента буду раскатывать тачку без syncthing, только на hbs2-sync. Страшновато, но время пришло.

Переписываю свои никсовые конфиги в сторону максимального упрощения. home-manager почти выпилен в пользу обычного nix + gnu stow.

Миграция на wayland. Все прошло гладко. hyprland после доработки напильником такой же удобный, как xmonad. Моторная память не пострадала.

Поскольку ситуация со всратостью nix (как языка) не изменится никогда, абсолютной метрикой является минимизация всего, что делается на нём.

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

Пока всю работу можно сделать просто с gnu stow и кажется это намного проще и удобнее, чем home-manager.

hyprland ok. синтаксис конечно смешной (реально — ну почему так?)

eww ну кстати тоже ничего. гопатыч в него не может, потому, вероятно, что там буквально пользовательская база человек... двадцать? Пока не прочитаешь мануал или сам не натыкаешь — ничего работать не будет, а как прочитаешь-натыкаешь так вроде и все нормально.

Как понять, что модель инферится на GPU? Вышибает бесперебойник.

новая сборка hbs2 на https://hbs2.net/ref/4X65y4YvUjRL2gtA9Ec3YDDP4bnxjTGhfjpoah96t3z1/project — поправлен косяк с залипанием в ожидании рефчана в hbs2-sync

Смена обоев по таймеру в hyprland при помощи клея момент bf6. Так же можно заметить, что вместо возни с постылым systemd воткнут mcron, написанный на guile. Ехали скобки через скобки!

Так же хочу заметить, что модный-молодежный просмотрщик изображений loupe на gtk4 стартует около двух секунд на компе c быстрым nvme и где вообще много всего (CPU, RAM). Двух секунд! Так держать! Сделаем из любого компа 286-ой. Хотя, кажется, там вьювер картинки стартовал быстрее. По крайней мере не помню у себя никакого дискомфорта на эту тему.

Итак, чего не хватает (сейчас, в числе прочего) hbs2 - это публикации страничек проектов из некоего дефолтного шаблона, который пользователи смогли бы патчить для себя. Ну, hbs2.net так собирается — практически исключительно при помощи hbs2-cli, которая предоставляет просто биндинги на функции работы с hbs2 + немного общих функций (строки, файлы, шаблонизация). Думаю, что этот шаблон будет генерировать просто hbs2-git если его попросить. Думаю там просто README + лог коммитов + снапшот исходников (daily? weekly?). Всякое типа лога fixme — прикрутить можно позже. Круто было бы интегрировать haddock, но на это меня точно не хватит сейчас, но если вдруг найдутся добровольцы, было бы здорово.

Как это будет: hbs2-git генерирует рыбу проекта куда-то в .hbs2-git3/website или типа того. или прямо сюда. или спросит куда. там - bf6 скрипт, который соберёт базовую страницу и сделает функции для публикации. как сейчас это выглядит:

hbs2-cli import ./root.ss and publish

после чего hbs2.net доступен по ссылке localhost:port/ref/4X65y4YvUjRL2gtA9Ec3YDDP4bnxjTGhfjpoah96t3z1

что бы это захостить в "clearnet" — нужно поднять hbs2-peer на хосте и настроить реверс прокси на этот URL.

Почему сейчас? Ну вот свои библиотеки таскаю туда-сюда, и единственный источник данных о них — каталоги на хостах. fuzzy-parse вот понадобился.

Решил донастроить suspend на новой рабочей станции. Вопреки ожиданиям — и драйвера nvidia и ядро работают хорошо. Но hyprland крашится после выхода из suspend. Крашится он тоже не просто так, а ему почему-то кажется, что hyprlock (локер экрана) - упал. Сука упал и упал — ну подними. Но нет. В общем, путём тыка выяснилось, что скорее всего имеет место банальная гонка — там какая-то сложная конструкция из dbus и всего прочего, скорее всего hyprand успевает подумать что "о — нужен hyprlock", потом комп засыпает раньше, чем последний успевает стартовать, потом при просыпании — хоба, нету hyprlock. Это, кстати, не первая гонка в hyprland — при смене обоев тоже всякий бред происходит. Думаю там банально в коде что-то в духе sleep(0.25) расставлено. Что бы писать на C++ надо быть очень умным, это вам не хаскель. Однако то, что люди пишут на C++ вовсе не означает автоматически, что они очень умные.