Философия математики была бы гораздо проще, если бы не бесконечность. Само это понятие кажется вполне естественным, но стоит отнестись к нему всерьез, как мы сталкиваемся с парадоксальными результатами, противоречащими интуиции. Как отмечает в этой беседе математик и философ Джоэл Дэвид Хэмкинс, когда мы говорим, что натуральные числа - это «0, 1, 2, 3 и так далее», выражение «и так далее» остается безнадежно неопределенным. Мы обсуждаем различные подходы к осмыслению загадок бесконечности, возможные способы их разрешения и то, какие следствия все это имеет для математического реализма.
Архив за 12 августа 2026
Джоэл Хэмкинс: бесконечность, математическая реальность и теоремы Гёделя
2026-08-12 в 22:59, admin, рубрики: математическая логика, теорема ГёделяСкладной Google Pixel 11 Pro Fold за 1900 долларов получил новый шарнир и меньшую батарею по сравнению с прошлогодней моделью
2026-08-12 в 19:13, admin, рубрики: НовостиПосле обычных Pixel 11 и моделей Pro компания Google также анонсировала складной Pixel 11 Pro Fold. Как и моноблочные модели, эта особо не изменилась относительно прошлогоднего продукта.
Представлены Google Pixel 11 Pro и Pixel 11 Pro XL, которые в базе имеют меньше ОЗУ, чем прошлогодние модели
2026-08-12 в 18:59, admin, рубрики: НовостиКроме базового Pixel 11 компания Google, конечно, представила и модели Pro. Они тоже подорожали, но, напомним, Pixel 11 при повышении цены на 100 долларов предлагает вдвое больше памяти, чем прошлогодняя модель. В случае Pixel 11 Pro и 11 Pro XL всё немного сложнее.
Представлен Google Pixel 11, который подорожал, но лишь условно
2026-08-12 в 18:45, admin, рубрики: НовостиКомпания Google представила свои новые смартфоны линейки Pixel 11. Они были почти полностью рассекречены до анонса, но теперь всё официально, к тому же теперь мы точно знаем цены.
В этой новости мы расскажем о базовом Pixel 11, а остальные смартфоны затронем в последующих новостях.
Итак, младшая модель стала немного лучше и немного дороже. Цена теперь стартует с 900 долларов, что на 100 долларов больше, чем в случае Pixel 10. Однако объём флеш-памяти у базовой версии вырос со 128 до 256 ГБ, то есть фактически смартфон не подорожал, что неожиданно в имеющихся реалиях.
Видеокарты Radeon RX 9000, видимо, тоже будут дорожать в ближайшее время. Как минимум в Сети появились данные, где указаны новые рекомендованные цены для третьего квартала для китайского рынка.
Как можно видеть, повышение относительно оригинальных рекомендованных цен варьируется от 7% до 20%. Меньше всего разница для RX 7650 GRE (5,6%), но это карта прошлого поколения.
Как я написал PID 1 для контейнеров на чистом ассемблере: x86-64 и ARM64
2026-08-12 в 16:43, admin, рубрики: arm64, assembly, containers, Debian, docker, epoll, linux, pid 1, x86-64У меня была довольно странная идея: написать минимальный PID 1 для контейнеров целиком на ассемблере.
Не потому, что контейнерному миру срочно нужен ещё один init. Есть Tini, есть docker run --init, и для большинства production-сценариев я бы по-прежнему начал именно с них.
Мне скорее хотелось разобрать задачу до самого нижнего уровня: без libc, без runtime, напрямую через Linux syscalls. Заодно проверить, насколько сильно будет отличаться одна и та же реализация на x86-64 и ARM64.
В итоге из небольшого эксперимента получился mini-init-asmЧитать полностью »
Как я CRM в шаверму продал или… Автоматизация для новичков на примере малых предприятий
2026-08-12 в 16:12, admin, рубрики: CRM, ERP, для новичков, интеграция, клиентоориентированность, ликбез, продажи, управление, шаверма«Посвящается моему другу Азизу, продавцу лучшей шавермы в АнгМоКио»
«Паша! Я конечно не МГИМО финишед, но можешь хотя бы по‑русски, а?»Читать полностью »
Плоть слаба: как я писал свой Wine для браузера
2026-08-12 в 15:30, admin, рубрики: direct3d, DirectX, webassembly, WebGPU, WinAPI, wine, x86, ретрогейминг, эмуляцияКаждый год на новогодних каникулах у меня просыпается ностальгия: хочется перепройти что‑то из детства, типа «Harry Potter and the Philosopher’s Stone» от KnowWonder. И если с консольными играми всё просто (эмуляторы типа DuckStation или PCSX2 работают идеально), то с PC‑играми 32-битной эры всё сложно, особенно на Mac. Часто, пока ты добьешься запуска игры, уже пропадает всякое желание ее проходить.
В этот раз я решил проблему радикально: написал свою «Windows». В браузере. На TypeScript.
Усаживайтесь поудобнее, я расскажу вам, как я полгода дебажил чужие игры двадцатилетней давности и почему на это подсел.
Single Task Algorithmic Reasoning Models: как с помощью маленькой модели обойти большую LLM?
2026-08-12 в 15:09, admin, рубрики: adaptive compute time, llm, reasoning, альтернативные архитектурыПривет! Результаты коллег по цеху и наши исследования позволяют сделать однозначный вывод: в 2026-м для рецепта отличной reasoning-модели уже недостаточно лишь текстовых рассуждений. Для качественных ответов на большинство вопросов пользователей нужна работа с инструментами, мультимодальные режимы рассуждений, и нередко даже такая экзотика, как рассуждения в латентных представлениях сети.
Мы рады поделиться с сообществом фреймворком для обучения рекурсивных reasoning-моделей STARM, существенно опережающих по качеству предыдущие open source-аналоги.
О чём расскажем?
Я прогнал 60 тысяч составов продуктов через свой алгоритм. Вот что в еде на самом деле
2026-08-12 в 15:02, admin, рубрики: анализ данных, пищевые добавки, состав продуктовЯ делаю сервис, который наводится камерой на штрих-код и отдаёт светофор по составу плюс одну фразу человеческим языком. Побочный эффект такой работы — база. Сейчас в ней около 60 тысяч товаров из российских магазинов с разобранными составами.
В какой-то момент я перестал смотреть на отдельные пачки и посмотрел на полку целиком. Ниже — цифры, грабли парсинга и два места, где алгоритм врал. Про механику, без ссылок и названий.
Что считает алгоритм
ИИ в оценке нет. Это арифметика.