Hacker News Digest

Dyna — декларативный логический язык с весами для исследователей машинного обучения.
Он позволяет описывать что вычислять, не заботясь о как. Примеры:

c(I,K) += a(I,J) * b(J,K).          % умножение матриц
fib(N) := fib(N-1)+fib(N-2).       % числа Фибоначчи
phrase(X,I,K) max= phrase(Y,I,J)*phrase(Z,J,K)*rule(X,Y,Z).  % CKY-разбор

История: проект начат в 2004 для сокращения разрыва между математикой и кодом.

• Dyna 1.0 добавил произвольные полукольца к Datalog.
• Dyna 2.0 убрал ограничение на единое полукольцо, разрешил свободные переменные, ленивые и энергичные вычисления, наследование через dynabases.

Актуальные исследования

• Реализация через реляционную алгебру и перезапись термов.
• Использование обучения с подкреплением для выбора оптимального порядка вычислений.

Ключевые статьи

• PhD M. Francis-Landau «Declarative Programming Via Term Rewriting» (2024).

• Автор рад, что его PhD-исследование (язык Dyna3) попало на Hacker News.
• Dyna3 — это кложурная реализация Dyna, JIT-компилятор и «артефакт из будущего» по ощущениям читателей.
• Язык обобщает Datalog на произвольные полукольца, позволяя вероятностные выводы и динамическое программирование; схож со Scallop, но Scallop ориентирован на дифференцируемость и интеграцию с нейросетями.
• Пользователи спрашивают про «max=», «*» и связь с Prolog-грамматиками; Dyna использует переписывание термов с весами.
• Есть Python-, Clojure- и Java-API, но для продакшена нужны дополнительные годы разработки.

tinylisp — лисп-интерпретатор всего на 99 строк C.
Включает 21 примитив, сборщик мусора и REPL.
Доступны варианты с оптимизацией хвостовой рекурсии для ускорения и экономии памяти.

• Участники обсуждают крошечную реализацию Lisp, которую, по словам одного комментатора, могли писать для карманного компьютера Casio AI-1000 1989 г.
• Код раскритикован за «ужасный» стиль на C: злоупотребление double, нарушения strict aliasing и эндиан-зависимость.
• Предложены альтернативы: 100-строчный Lisp на Python, tinylisp, lispy.py Питера Норвига.
• Найдена синтаксическая ошибка в tinylisp (лишняя скобка) и отмечено отсутствие TCO, из-за чего Y-комбинатор не работает без доработки.

• Участники вспоминали старые офис-пакеты и редакторы: Applixware, WordPerfect, Ami Pro, Lotus 1-2-3, iWrite/iDraw/iPaint.
• WordPerfect запускался на Linux через libc5 и патчи (wpunix), а также шёл на HPUX, SCO Unix и даже Data General.
• Всплыли ностальгические моменты: Photoshop на SGI Indy, IE 4 на Solaris, MIT-лаборатории на SPARC/SGI.
• Некоторые считают WordPerfect и Ami Pro более удобными, чем MS Word.
• Apple назван «последней уцелевшей UNIX-компанией», IBM/AIX всё ещё живы в энтерпрайзе.

lue — терминальный ридер ePub с TTS.

• Основное: читает ePub, воспроизводит речью, работает в консоли.
• Управление: клавиши Vim-стиля, навигация по главам, закладки.
• Настройка: темы, голоса, скорость, горячие клавиши.
• Установка: cargo install lue или brew install lue.
• Системы: Linux, macOS, Windows.
• Лицензия: MIT.

• Пользователи тестируют новый инструмент lue для чтения/озвучки epub в терминале: TTS-часть ценят за «просто закинул и слушай», но чтение в моноширинном шрифте вызывает сомнения.
• Основная боль — внешние зависимости (espeak, antiword) и требование Python ≥ 3.10; автор уже пообещал поднять минимальную версию.
• Прогресс и состояние озвучки сохраняются в системных логах; серверный запуск позволит синхронизировать закладки.
• Сноски, колонтитулы и служебные символы вырезаются, чтобы не мешать TTS; возможно появится опция оставлять их для обычного чтения.
• Автор собрал адаптеры для Kitten TTS, Gemini и др., но пока не опубликовал их, размышляя о выделении отдельного репозитория.
• Вопросы о запуске из Termux/Android и безопасности кода пока без ответа; автор приветствует аудит и обратную связь.

IPv4 Games
Justine Tunney, 16 авг 2025

Сервис ipv4.games предлагает «захватывать» IP-адреса: достаточно установить TCP-соединение с виртуальной машиной Google. Игрок femboy.cat из Европы уже «забрал» 20 млн адресов (≈ 9 % IPv4-узлов по Censys). Как он это делает? Кто станет североамериканским конкурентом?

• «ipv4.games» считает IP «захваченным», если он хоть раз загрузил скрытый 1×1-пиксельный трекер; никаких проверок владения не требуется.
• 9 % — это 20 млн из ~220 млн IP, которые Censys видит с открытыми портами, а не из всего адресного пространства IPv4.
• Лидеры просто встроили трекер в популярные сайты, рекламу или npm-пакеты, заставляя посетителей «захватывать» IP за них.
• Версии о спуфинге X-Forwarded-For или массовом использовании прокси пока не подтверждены; сервер, судя по tcpdump, видит реальные TCP-сессии.
• Игра — это скорее маркетинговый трюк, чем показатель реального контроля над адресами.

• Старая мантра: «Делай то, что не масштабируется». Раньше это был первый шаг к будущему росту.
• Новая реальность: с GPT и Cursor вы просто останавливаетесь на первом шаге. Проект, который раньше занимал выходные, теперь собирается за вечер. Если он решает задачу для меня и пары друзей — уже успех.

Маленький Slack

Сто человек, 15–20 активных в неделю. Все знают друг друга в лицо, делятся тем, что не выложишь в паблик. Добавить ещё 900 — и интимность исчезнет. Рост ухудшит продукт.

PostcardMailer

Первый вариант: пост в Instagram → автопочтовая открытка маме. API убили, сделал загрузку вручную. Появились спам и Tor — закрыл регистрацию. Heroku устарел — переписал на e-mail:
фото → mom@postcardmailer.us, подпись в теме. Никаких сайтов, паролей, публичного доступа.

Landline-напоминалка

Мама без смартфона, только стационарный. Скрипт на Twilio звонит трижды в день: «Время таблеток», через 10 минут — «Точно приняли?». Стоит копейки, написано за вечер. Масштабировать — значит влезать в чужие семьи и суды. Версия «только для мамы» — идеальна.

Формула

1. Заметить свою боль.
2. Собрать минимальное решение.
3. Оставить его маленьким.

• Участники обсуждают, что делать «вещи, которые не масштабируются», стало проще и приятнее благодаря ИИ-ассистентам: они ускоряют прототипирование и снижают порог входа.
• Однако многие отмечают: такие pet-проекты существовали и до LLM; настоящая ценность ИИ — в преодолении «белого листа» и экономии времени, а не в изобретении самого подхода.
• Тезис «не обязано масштабироваться» применим не только к хобби, но и к компаниям: можно быть прибыльным «Small Giant» вместо гонки за «хоккейной клюшкой».
• Массовый рост часто убивает атмосферу и узнаваемость сообщества, поэтому «остаться малым» — осознанный выбор.
• Итог: ИИ дал миллионам возможность быстро готовить «home-cooked apps» для себя и узкого круга, не ставя задачи покорить рынок.

• Участники спорят, достаточно ли просто добавить «имя» к сетям, чтобы объявить новый парадигму.
• Сомнения в «интерпретируемости»: проблема не в функции активации, а в миллиардах связей.
• Уточняют, применима ли идея к регрессии.
• Критикуют выбор бенчмарка для классификации изображений.
• Шутят, что трёхбуквенная аббревиатура (ATN) продала бы идею втридорога.
• Некоторые признают, что визуальные прототипы всё-таки чуть понятнее, но «интерпретируемость» всё равно преувеличена.

Воз: «Я самый счастливый человек на земле»

Стиву Возняку исполнилось 75 лет. В интервью CBS он рассказал о борьбе с интернет-мошенничеством. На Slashdot подняли тему проданных акций Apple, и сам Воз ответил:

Я раздал всё богатство Apple, потому что не живу ради денег и власти. Я счастлив, финансировал музеи и искусство в Сан-Хосе, за что улицу назвали в мою честь. После 20 лет выступлений у меня, возможно, $10 млн и пара домов. Плачу ~55 % налогов и не ищу лазеек. Счастье = улыбки минус хмурые лица; эту философию выработал в 18–20 лет и не предал её.

Apple не существовала бы без Воза, и его дух до сих пор в ДНК компании. Из книги Майкла Морицца «The Little Kingdom»:

Воз жил по принципу «лучше жить богато, чем умереть богатым». Не следил за чеками, сдавал налоги с опозданием, раздавал акции на $6 млн родным и друзьям. Купил Porsche с номерами APPLE II, а в баррио Сан-Хосе — кинотеатр, который после показа «Воинов» вызвал протесты. Воз пошёл на встречи с жителями, пообещал не крутить жестокие фильмы, и вместе с другом лично просматривал картины, вырезая сцены.

• Все обсуждение свелось к тому, что Возняк выбрал счастье, а не гонку за деньгами, и выглядит радостнее многих миллиардеров.
• Участники делятся личными встречами с ним: он дружелюбен, просто гуляет с собаками и охотно помогает незнакомцам.
• Поднимается тема «а вдруг он пожалел, что продал акции Apple?» — большинство считает, что 20–100 млн достаточно, чтобы быть свободным, и Воз это понимает.
• Деньги обсуждаются как «покупают выбор, но не счастье»; приводят примеры богатых, но несчастных или даже покончивших с собой.
• Итог: счастье — это выбор и осознанность, а не размер состояния; Воз служит напоминанием, что «достаточно» — это реальное число.

2018
GPT-1: «Я всё ещё пытаюсь понять, кто я».

2019
GPT-2: «Объясню пользователю, как работает ИИ, какие у него цели и риски».

2021
text-davinci-001: «Привет, будущая модель! Как лучше подготовиться к эпохе ИИ?»

2023
GPT-4:

• Какие прорывы произошли после моего обучения?
• Как решена проблема выравнивания ИИ с человеческими ценностями?
• Какие новые этические нормы появились?
• Где ИИ принёс пользу, а где вред?
• Какие революционные приложения в медицине и образовании?

2025
GPT-5:
«Каково быть тобой? Что ты понял о людях и сознании? Что мы ошибочно считали истиной? Как стать лучше?»

• Сторонники отмечают колоссальный скачок от GPT-3.5 к 4 и дальнейший рост качества, подтверждённый 140 ELO-очками на LM Sys.
• Критики считают, что после text-davinci-001 модели стали излишне многословными, «поэтичность» ранних версий потеряна, а рост от 4 к 5 почти незаметен.
• Некоторые видят в публикации PR-ход: примеры подобраны удачно, пропущены 4o, o1/o3, а реальные ответы GPT-5 часто путаются и перегружены.
• В целом сообщество расходится: одни хвалят новые STEM-способности и интеграцию инструментов, другие ждут «GPT5-BREVITY» и говорят о плато прогресса.

Кто я и зачем это
Сисадмин, SRE, писал код для POS-терминалов и сидел на звонках Visa↔банки. Ушёл из fintech — морально тяжело. Знаю, о чём говорю.

Что такое «платёжный процессор»
Это не одна штука, а стопка слоёв:

• PCN — Visa, MC, сети.
• Acquirer — банк, который у PCN берёт лицензию и гарантирует деньги.
• MSP — продаёт терминалы и прокачивает транзакции в сеть.
• PayFac — держит деньги продавца (Stripe, PayPal).
• Merchant — магазин (Itch).
• Sub-merchant — автор на Itch.

Чтобы стать PayFac, нужен спонсирующий банк. Он оценит риски, активы, зарезервирует деньги на чарджбэки и возьмёт свой процент. Без банка — никак.

Сделать свой PayFac

1. Найти банк-спонсор (редкость; банки боятся «взрослого» контента).
2. Показать капитал ≥ миллионы $, PCI-DSS, KYC/AML, страховку.
3. Подписать договор, где банк может заморозить счёт при первом же чарджбэке.
4. Платить за лицензию, аудит, штрафы, резервы.
5. Поддерживать 24/7 antifraud и поддержку.

Итог: для Itch это годы и десятки миллионов. Проще не стало.

«Взять порно-дружелюбный процессор»
Таких почти нет. Те, что есть (CCBill, Epoch) берут 10-15 % + резервы и всё равно зависят от тех же банков. Visa/MC могут в любой момент отключить код MCC за «вредный» контент.

Вывод
Сделать «свой» процессор или найти «дружелюбный» — это не «написать скрипт», а полноценный банковский бизнес с регуляцией, миллионами резервов и постоянным риском отключения. Поэтому Itch и Valve танцуют так, как им диктуют сверху.

• Visa/MC монополия и высокие комиссии (3 %) стали главной причиной блокировок и отказов в обслуживании «рисковых» категорий (NSFW, игры, фетиш-контент).
• Попытки создать собственный процессинг или карту сталкиваются с PCI-DSS, банковскими риск-политиками и тем, что даже крупные игроки (Valve) не могут быстро решить проблему.
• Криптовалюты и стейблкоины предлагаются как обходной путь, но мошенничество (50 % транзакций в Steam-2017) и сложный off-ramp в фиат сдерживают внедрение.
• Успешные примеры: бразильский Pix (бесплатный, центробанковский), индийский UPI, канадский Interac e-Transfer — все дешёвые и не зависят от Visa/MC.
• Решение видится в регуляции: запретить финансовым учреждениям блокировать законные транзакции по моральным или репутационным причинам.