Hacker News Digest

Интерактивный визуализатор λ-редукции позволяет наблюдать нормализацию выражений λ-исчисления в реальном времени с поддержкой Δ-сетей (Δ-Nets, 2025). Инструмент демонстрирует стратегии редукции, такие как Lamping A/B, с уровнями контроля: абсолютные (по умолчанию), относительные; линейные (L), аффинные (A), релевантные (I), полные (K). Поддерживает отслеживание шагов (счётчик 0/0) и сравнение erasure vs sharing.

Примеры включают базовые (Starter, List Head), ненормализуемые (Ω, Y), комбинаторные (Two Squared Twice), а также Replicator Decay и Graph Coloring. Проект подчёркивает эволюцию λ-исчисления с 1936 года, фокусируясь на графовых представлениях и оптимизациях памяти через sharing. Доступен на GitHub для экспериментов.

• Автор (danaugrs) представляет Delta-Nets для оптимальной редукции лямбда-термов, вдохновлённую алгоритмом Lamping.
• Ссылки на HVM, Higher Order Company и Discord-канал; вопросы о сходстве с HVMI и цитировании.
• Новички требуют объяснений, скептики (qsort) подозревают AI-генерацию из-за терминологии "lambda-reduction" и отсутствия аффилиации.
• Автор защищает терминологию ссылками на Levy и Lamping; уточнения о различиях с подмножеством лямбда-исчисления в HOC.
• Критика за отсутствие введения для outsiders и призывы следовать HN-правилам вежливости.

former Dean of Electronics Engineering and Computer Science at Peking University, has noted that Chinese data makes up only 1.3 percent of global large-model datasets (The Paper, March 24). Reflecting these concerns, the Ministry of State Security (MSS) has issued a stark warni

• Цены на оперативную память (особенно DDR5) резко выросли за последние месяцы, некоторые комплекты подорожали в 2-3 раза.
• Основные причины роста: ажиотажный спрос со стороны ИИ-центров, истечение поддержки Windows 10, возможное искусственное ограничение предложения и ценовой сговор.
• Рост цен затронул и другие компоненты (SSD), делая сборку ПК невыгодной для обычных пользователей.
• Рынок памяти исторически цикличен и подвержен спекуляциям, что усугубляет текущую ситуацию.
• Потребители ищут альтернативы (например, использование PS5 как источника памяти) или откладывают покупки.

One key point about retention which is not often mentioned, and indeed neither does this article, is that retention is inversely proportional to program/erase cycles and decreases exponentially with increasing temperature. Hence why retention specs are usually X amount of time af

We should just build more CLI tools, that way the agentic AI can just run yourtool --help to learn how to use it. Instead of needing an MCP-server to access ex. Jira it should just call a cli tool jira. Better CLI tools for everything would help both AI and humans alike. The

The burying of the lede here is insane. $5/$25 per MTok is a 3x price drop from Opus 4. At that price point, Opus stops being "the model you use for important things" and becomes actually viable for production workloads.Also notable: they're claiming SOTA prompt injection resista

As someone dealing with open-source compliance in distributed systems, the purity tests in these comments are exhausting.Hardware is messy. IP licensing for sensors and radios is a nightmare. Getting a functional OS out with "only" a few binary blobs is a massive engineering and

No one tech-savvy wants this. We are already sick of Google's Android lockdowns on mobile phones, and now coming after laptops and desktops?What's that going to be like? Will developers have to beg to have control over devices they own? Will we be locked down on the store and hav

Related ongoing thread:France threatens GrapheneOS with arrests / server seizure for refusing backdoors - https://news.ycombinator.com/item?id=46035977 - Nov 2025 (244 comments)Recent and related:France is taking state actions against GrapheneOS? - https://news.ycombinator.com/it

"I expect us to go back to extending our agents with the most accessible programming language: natural language."I don't agree with this. Natural language is so ambiguous. At least for software development the hard work is still coming up with clearly defined solutions. There i