News Digest

• Фильтр 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
• Четырёхдневка повышает выручку на 35% и снижает отток на 57%
  Выходной бесполезен, если другие не отдыхают — так провалился советский эксперимент. Сегодня уикенд размывают технологии, а четырёхдневка повышает выручку на 35% и снижает отток на 57%.
  16.08.2026 15:30 · hackernews
• Вышла подборка научных работ о CKF: прогноз, синдром Альпорта и компенсации
  Подборка научных работ о хронической почечной недостаточности (CKF): прогноз по UCI Persistent Kidney Disappointment, причины и последствия, синдром Альпорта, а также компенсации пациентам.
  16.08.2026 12:22 · hackernews
• Token brokers на рынке AI-кредитов скупают и перепродают токены
  На рынке AI-кредитов появились token brokers: скупают неизрасходованные токены у стартапов и перепродают со скидкой через AI Credits, CheapCredits и другие сайты. Мэтт Ленхард оценивает объем в десятки миллионов кредитов, но предупреждает: борьба со злоупотреблениями не за горами.
  16.08.2026 14:44 · hackernews
• SPR впервые с 1980-х ниже 300 млн - откачка грозит пещерам
  Стратегический нефтяной резерв США (SPR) впервые с 1980-х опустился ниже 300 млн баррелей. Эксперты предупреждают: активная откачка может навсегда повредить соляные пещеры.
  16.08.2026 12:49 · hackernews
• Postgres не осилил много соединений за 10 лет — мечта URL как в MySQL
  За 10 лет Postgres так и не научился работать с большим числом соединений. Почти все managed-провайдеры включают PgBouncer, но каждый со своими настройками — автор мечтает о едином URL, как в MySQL и Mongo.
  12.08.2026 20:13 · hackernews
• eGPU-док chestnut от comma.ai даёт openpilot доступ к десктопному GPU
  comma.ai выпустила eGPU-док chestnut с открытой прошивкой моста: версии за $249 и $799. Она даёт openpilot доступ к десктопному GPU (~100 Вт) и работает как обычная USB4-док, позволяя читать/писать PCIe и перепрошивать мост.
  13.08.2026 22:01 · hackernews