Sijeko Tech

„Пирдас“ название, канеш, моё почтение.

Короткая философская даже статья о том, как за прошедшее лето ускорилось множество ежедневно используемых нами инструментов:

https://www.linkedin.com/pulse/summer-ai-optimization-daniel-lemire-ug7rf/

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

Мегафон, конечно, совсем охуел.

Позвонил робот с предложением смены тарифа, я НЕСКОЛЬКО РАЗ повторил в трубку НЕТ, но он сказал, что с моего согласия тариф мне изменил.

Разумеется, новый тариф дороже.

Сегодня в рубрике #КонтрибьюторНиибаца:

1. Заменяем уродские иксы на нормальный знак × в размерах фотографий в Иммиче (это такой локальный Гугл.Фотос / Эпл.Фотос):
https://github.com/immich-app/immich/pull/31304

2. Заменяем уродские дефисы на нормальные минусы в диффах Форджейджо:
https://codeberg.org/forgejo/forgejo/pulls/14269
(они лучше смотрятся рядом со знаками плюса, да и вообще семантичнее)

(когда-то аналогичную штуку протолкнул в Гитлаб: https://gitlab.com/gitlab-org/gitlab/-/merge_requests/115056)

3. Оптимизируем PNG-картинки в Форджейджо:
https://codeberg.org/forgejo/forgejo/pulls/14270

Всем спасибо!


PS: Не забывайте отправлять улучшения в открыте проекты, которыми пользуетесь. Даже вот такие минимальные, не надо стесняться.

Искусство выравнивания линий, доступное ещё Древним, было полностью утрачено современниками.


(https://github.com/ZL-Audio/ZLLimiter/commit/a0be9e92b13146e09f45497e5d1fac8a748d94cd?diff=split#r200217672)

Если у вас в интерфейсах где-то бегут числа, удостоверьтесь, что используете моноширинные цифры (обычно, этот вариант цифр в шрифтах называется табличным).

Тогда не будет неприятных прыжков текстовых элементов.

На вебе это делается так:

.element-with-running-numbers {
  font-variant-numeric: tabular-nums;
}

Ну а на своём фронтенде сами там разбирайтесь, как что.

Демонстрация правильного подхода:

https://maximal.github.io/year-progress/

Как будто мало было плохих новостей, проект, в котором я работал, переходит в другую компанию/команду — по сути для меня закрывается.

В общем, ищу работу — пишите в личку.
Бэкенд для веб-сервисов, техлидство, тимлидство.
Фронтенд тоже знаю, в курсе всех современных тулингов, держу руку на пульсе.

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

Привет, это Максимал.

Знаю, тут не место для личных постов, но сейчас особенный случай: сестёр у людей обычно не так много.

Почитайте про мою сестру:
https://maximals.ru/notes/2026/08/30/sister/

Блин, чёт ору с рассуждений Клода

Привет
Пробовал?
https://terminal-code.com/

Вот да фак из гоинг он?! Всем срочно пробовать!

Сделал для Go библиотеку emoji-go, похожую на мою такую же для PHP:

https://github.com/maximal/emoji-go

https://pkg.go.dev/github.com/maximal/emoji-go

Пока только два метода FindAll(string) []Position и FindFirst(string) *Position, со временем ещё добавится.

Работает супербыстро за один проход по строке и в поисковом дереве. Содержит самый последний юникодовский набор эмодзи (версия 17.0 от августа 2025).

Проверка високосности года в три инструкции (битовые хаки, зато быстро):

bool is_leap_year_fast(uint32_t y) {
    return ((y * 1073750999) & 3221352463) <= 126976;
}

Классический подход (читабельно, но медленно):

bool is_leap_year(uint32_t y) {
    if ((y % 4) != 0) return false;
    if ((y % 100) != 0) return true;
    if ((y % 400) == 0) return true;
    return false;
}

Объяснение того, как это работает:
https://hueffner.de/falk/blog/a-leap-year-check-in-three-instructions.html

Этот метод уже включили в GCC:
https://github.com/gcc-mirror/gcc/commit/28b1b55c60464da23c65c6a8a9515c29f8d67ad8

GitLab → Forgejo

Решил перенести все репозитории Сиджеко с GitLab на Forgejo:

https://forgejo.org/

Есть удобный импорт из разных площадок (в том числе и из Гитлаба), который забирает собственно сам репозиторий, его вики, LFS, задачи, пуллмердж-реквесты, лейблы, майлстонулы, релизы.

Правда надо вручную для каждого репозитория запускать, ну ладно.

Работает в разы быстрее, просто поразительно.
Отдельно нравится дистрибуция: один статический бинарник на го (ну и ещё один для запуска раннеров/экшнов).

Из минусов — хуёвое название, которое даже непонятно как читать: Форджо? Форджейо? Форджехо? Фор-гей-йо?

Выглядит как маленький Гитхаб. (Гитлаб чисто интерфейсно мне как-то больше по душе, ну да ладно.)

Это хардфорк Gitea (тоже очень хуёвое название... Гити?), который произошёл из-за того, что Гитю (да сука!) выкупили, и она стала коммерческой конторой. Но обе продолжают опенсорсный продукт, по фичам идут нос к носу, так что чисто идейно берём Форджо.

На случай, если вы не в курсе, что происходит с математикой, и хотите знать, вот несколько отрывков за последние дни.

Пишет польский математик-тополог Анджей Козловски:

"[...] недавно мы написали статью, в которой решили две давно стоявшие открытые задачи. Я дал её ChatGPT и попросил проверить математическую корректность...

Он сказал примерно следующее: к сожалению, доказательство вашей второй теоремы неверно.... оказался прав. Приём, который он использовал, был весьма неочевидным. Так что одна из двух решённых нами задач снова стала открытой. Половину статьи пришлось выбросить.

Но и это ещё не всё. Вчера соавтор прислал доказательство интересного примера, который хочет добавить в уже сокращённую статью. Я показал его ChatGPT. Ответ был таким: доказательство неверно — по таким-то и таким-то причинам. К счастью, сам результат верен, и вот как его доказать...

У меня ощущение, что он уже более сильный алгебраический тополог, чем мы. За одним исключением: задачи ему приходится придумывать нам — собственных интересов и идей у него нет. Кроме того, находить пробелы в рассуждениях он, похоже, умеет куда лучше, чем их исправлять, — хотя последний пример показывает, что и это ему по силам. Меня самого всё это очень воодушевляет. Но, разумеется, рады этому далеко не все."

Пишут прикладные математики Алекс Таунсенд и Энн Гринбаум:

"30 июля 2026 года первый автор попросил ChatGPT 5.6 решить гипотезу Крузе (Crouzeix) — как он часто делал на протяжении предыдущего года. До того дня модель либо выдавала фиктивное доказательство, либо строила рассуждение, которое застревало на недостающей лемме. Но 30 июля она дала ссылку на препринт, выложенный 27 июля... и заявила, что гипотеза решена. Гипотеза Крузе оставалась открытой больше двух десятилетий, поэтому поначалу мы читали препринт с известной долей скепсиса, но через несколько часов поняли: рассуждение — настоящее.

Автор препринта — д-р Шаньму Цзинь, постдок и резидент по нейрохирургии в больнице при Пекинском объединённом медицинском колледже. В университете он изучал геологию, позднее получил степень доктора медицины.

Цзинь рассказал нам, что ключевой результат возник в ходе примерно шестнадцатичасового автономного прогона GPT-5.6 Sol в режиме ChatGPT Work. Читая препринт, мы были ошеломлены доказательством этой решающей теоремы....
Всякий, кто в последнее время работал с ChatGPT 5.6 над математикой, не мог не заметить, насколько поразительно вырос его уровень за последние несколько недель...

4 августа — всего через восемь дней после появления первого препринта Цзиня — Эмиль Лорист и Феликс Швеннингер выложили независимое доказательство на пяти страницах... Их рассуждение устроено иначе и поразительно коротко... Лорист и Швеннингер также сообщают, что использовали ChatGPT 5.6 для исследования стратегий доказательства...

Поразительно осознавать, что давнюю гипотезу первым решил человек без специальной математической подготовки, работая с большой языковой моделью. Ещё несколько лет назад трудно было вообразить, что система ИИ внесёт решающую идею в доказательство крупной гипотезы. Теперь это произошло в нашей области."

Пишет Миша Вербицкий:

"Один коллега (очень хороший алгебраический геометр)
предает проклятию любую исследовательскую деятельность с употреблением LLM... Другой коллега (тоже очень хороший алгебраический геометр) публикует по 10 статей в месяц, написанных LLM, с комментарием в абстракте: "Главный результат этой статьи был получен с помощью генеративного ИИ, а именно ChatGPT 5.5 Pro"...

В последние недели 2-3 свершилась типа революция, LLM открывает одна за другой потрясающие математические результаты, хотя пока в основном конрпримеры. Не комбинаторику ебаную, не второкультурное ебаное говно, а реально математику.

Думаю что таки мы все в скором времени будем юзать AI бесперерывно. Хотя заказывать LLM писать мои статьи я все-таки не хочу, есть риск увлечься, утерять адекватность и начать массово производить ужасное говно."

Илья Бирман хорошо про знание своего дела в эпоху нейросетей (расспрашивать, а не просто сразу им задания давать).

https://t.me/ilyabirman_channel/12625

Говорят, некоторые телефоны хорошо "спалились" на сегодняшнем частичном/полном солнечном затмении.

Мне кажется ОЧЕНЬ ироничным, что вот нейросети умеют генерировать картинки и умеют генерировать текст, убедительно похожий на человеческий. При этом, если эти две задачи скрещиваются, на картинках всегда какая-то лажа написана. Блин, да у тебя же уже есть технология генерации текста, отрендерь на этом развороте газеты да и всё.

Вышла 10-я версия КвестДБ — пожалуй, самой быстрой в мире базы данных для временных рядов и метрик:

https://questdb.com/blog/questdb-10-release/

Пользуемся!