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

Лишний пример в копилку когнитивных искажений об апелляции к авторитету.

Ребят, так и быть, сделаю для вас нормальный видеоконвертер на Мак.


PS: Если вы вдруг дизайнер и хотите сделать иконку для этого приложения (любой ценой, но бесплатно) — напишите в личку, пожалуйста.

Немного закулисья

Вот он в деле на файле Ромы из его канала. И это я даже поставил качество выше дефолтного, так-то можно было ещё ужать.
59 → 20 мегабайт

Исправил Твиттеру дизайн и функционал этого диалога

Очень хороший диспетчер задач для Виндоуса:

https://taskslinger.net/

• запускается за сто миллисекунд;
• нет телеметрии, отправки данных куда-то, и прочего такого всего;
• полностью нативный, никакого Реакта;
• быстрый поиск и развесистая фильтрация процессов в приложении;
• весит пару мегабайт;
• видно, что создателю не насрать на то, что он делает; во времена поголовного нейрослопа это ещё более ценно.

Проект в бета-версии, но выглядит очень зрелым.

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

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

Особенно забавно эти разговоры, конечно, в России выглядят, где даже официальная инфляция за последние пять лет — 50 %. Стали ли вы зарабатывать из-за нейросетей (и вообще за последние пять лет) в полтора раза больше? Что-то я сильно сомневаюсь. Вот рынок говорит, что не стали.

Да, нейросети с нами надолго, это очевидно. Мы все станем делать больше. Только вот отразится ли это на вашем благосостоянии, тут я уже что-то очень сильно скептичен. Пусть вместо эмоций «офигеть! я ему сказал ошибку исправить, и он сам исправил!» говорит ваш кошелёк.

Always Free

4 ядра → 2
24 ГБ памяти → 12

Ну и клоуны

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

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

Пользуемся!

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

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

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

https://xn--r1a.website/ilyabirman_channel/12625

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

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

"[...] недавно мы написали статью, в которой решили две давно стоявшие открытые задачи. Я дал её 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 писать мои статьи я все-таки не хочу, есть риск увлечься, утерять адекватность и начать массово производить ужасное говно."

GitLab → Forgejo

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

https://forgejo.org/

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

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

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

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

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

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

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

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

Сделал для 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).

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

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

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