Sijeko Tech

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

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

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

Новый релиз (версия 1.7) моей библиотеки для работы с Эмодзи на PHP: https://github.com/maximal/emoji-php • Добавлен метод allEmojis() для получения всех эмодзи-символов из заданной строки. • Улучшен парсер Юникодовского сайта для новых эмодзи. • Добавлены…

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

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

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

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