News Digest

AGI-64 для Commodore 64 анонсировали: Space Quest 1 проходится целиком (готовность 75%), движок поддерживает большинство AGI-игр. Проект отдадут бесплатно, с компилятором .vol/.obj в CRT для EasyFlash и сейвами на 1541.

17.08.2026 01:45 · hackernews

Хешируем цвета: Zero-knowledge proof через 3-раскраску на Python

Zero-knowledge proof легко показать через 3-раскраску графа: доказывающий хеширует цвета, проверяющий открывает случайное ребро. Раунд повторяют m² раз, а реализация на Python использует hashlib.sha256 и secrets.token_hex().

14.08.2026 19:52 · hackernews

Вышла Qwen 3.8 27B с поддержкой зрения — 17 ГБ и работает на ноутбуке

Вышла Qwen 3.8 27B (Apache 2) от Alibaba с поддержкой зрения. В квантованной версии занимает 17 ГБ и запускается на ноутбуке, но дефолтный reasoning_effort xhigh слишком долгий — его лучше снижать или отключать.

16.08.2026 23:45 · hackernews

В 1997-м Intel добавила MMX в Pentium — потом пришли SSE/SSE2/AVX

В 1997-м Intel добавила в Pentium MMX: упакованные целые числа и насыщающую арифметику для графики. MMX был переходным этапом — позже его сменили SSE, SSE2, AVX.

13.08.2026 12:44 · hackernews

Фильтр Mazariegos с серебром очищает воду: 61 фабрика в 39 странах

Керамический фильтр очищает воду, пропуская её через пористые стенки из обожжённой глины с опилками — поры задерживают микробов, а коллоидное серебро их убивает. Метод придумал Fernando Mazariegos, сейчас по нему работают 61 фабрика в 39 странах.

11.08.2026 15:36 · hackernews

Алексу Карпу не доверяют 81% молодых американцев, Наделле — 35%

Опрос CNBC (Generation Labs) среди более 1000 американцев 18–34 лет: 81% не доверяют главе Palantir Алексу Карпу, а главе Microsoft Сатье Наделле — лишь 35%. Молодёжь разочаровалась в техноэлитах, но сам AI и дата-центры оценивает лучше.

16.08.2026 21:34 · hackernews

Anthropic ставит водяные знаки на тексты Claude, критики: портит

Anthropic помечает весь текст Claude водяными знаками через семантическую стеганографию. Критики говорят, что это портит текст: модель выбирает слова из списка, а не лучшие по смыслу.

16.08.2026 21:53 · hackernews

Формальная верификация стала мейнстримом вопреки прогнозам 1979-го

Формальная верификация стала мейнстримом: Google Trends показывает скачок, а AI-агенты пишут код, который никто не понимает. Статья 1979 года Social Processes and Proofs of Theorems and Programs предрекала ей провал, но теперь LLM вроде Lean закрывают разрыв.

16.08.2026 20:38 · hackernews

Buf показала Buf LSP server — первый production-grade LSP для Protobuf

Buf представила Buf LSP server — первый production-grade LSP для Protobuf. Он даёт IDE-функции (автодополнение, переход к определению, поиск ссылок, семантическую подсветку) и работает через Buf CLI.

16.08.2026 18:48 · hackernews

Рэйфилд: Чехов — донжуан, Книппер беременна от Немировича-Данченко

Биография Рэйфилда показала Чехова донжуаном: десятки романов, сложные отношения с Ольгой Книппер. Рэйфилд утверждает, что внематочная беременность Ольги была не от Чехова, а от Немировича-Данченко.

14.08.2026 23:53 · hackernews

Ради рассуждений GLM-5.2 и Qwen3.5 выдают 80% галлюцинаций

Модели вроде GLM-5.2 и Qwen3.5 блещут рассуждениями, но в фактах выдают 80–82% галлюцинаций. Лаборатории сознательно жертвуют знаниями ради процедур, перенося факты во внешние инструменты вроде retrieval.

16.08.2026 19:04 · hackernews

Суберо ответил критикам RISC-V: один ISA от CH32V003 до Baochip

Суберо ответил на критику RISC-V: один ISA работает и в десятицентовом CH32V003, и в мощном Baochip с Linux. Доступность важнее элегантности, а фрагментация расширений — цена за гибкость.

16.08.2026 17:01 · hackernews

Психологи выяснили: G.P.S. ухудшает память на маршруты

Психологи выяснили: навигация по G.P.S. подавляет когнитивное картирование мозга и ухудшает пространственную память. Люди, полагающиеся на навигатор, хуже запоминают маршруты и замечают меньше ориентиров.

16.08.2026 14:53 · hackernews

Clamiga приносит Common Lisp на Amiga с JIT и Quicklisp

Clamiga — реализация Common Lisp для Amiga. Работает на AmigaOS 3 (m68k) и MorphOS (PowerPC), на m68k есть JIT, поддерживает Quicklisp.

13.08.2026 03:05 · hackernews

Не дайте AI писать код — пусть проверяет ваш

Не разрешайте AI писать код за вас — пусть проверяет ваш. Идеал craft coding: программист понимает каждую строку, а AI выступает старшим ревьюером. Это ускоряет разработку и повышает безопасность.

16.08.2026 10:31 · hackernews

На АЭС St. Lucie вручную остановили энергоблок из-за падения стержней

На атомной станции St. Lucie вручную остановили энергоблок Unit 1: три управляющих стержня упали в активную зону. NRC считает событие не-чрезвычайным, блок стабилизировали в Mode 3 (Hot Standby), Unit 2 не затронут.

16.08.2026 15:16 · hackernews

На Casio VX-4 с 8 КБ RAM подняли telnet BBS через Raspberry Pi Zero W

Автор увлекся калькуляторами Casio и собрал telnet BBS на Casio VX-4 с 8kb RAM. Raspberry Pi Zero W даёт сеть, доступ через Tailscale, код на BASIC; в планах — выложить его на Github.

16.08.2026 12:16 · hackernews

Свели к SAT и нашли 8 957 952 минимальные контрмодели тождества Уилки

Суберкасо и Пшибоцки свели поиск к задачам SAT и доказали: минимальная контрмодель для тождества Уилки имеет ровно 12 элементов. Всего таких моделей 8 957 952, доказательство проверено в Lean.

12.08.2026 06:30 · hackernews