Google’s $4.7 Billion Android Fine Stands!

Kimi K2.7 Code is generally available in GitHub Copilot

Key Points

• GitHub Copilot now offers Kimi K2.7 Code as its first selectable open-weight model.
• The model is hosted on Microsoft Azure and billed through usage-based pricing at provider list rates.
• Business and enterprise access requires administrator enablement, and rollout is expanding gradually across plans and supported surfaces.

CursorBench 3.1

Key Points

• CursorBench 3.1 evaluates coding agents on real-session, ambiguous multi-file tasks.
• The benchmark compares model performance with average cost per task using published token pricing.
• Version 3.1 expands task coverage to codebase understanding, bugfinding, planning, and code review.

The Wisdom of Quinn the Eskimo (Apple Developer Technical Support Engineer)

Key Points

• The page announces an easier way to find and maintain the “Wisdom of Quinn” technical resource collection.
• It uses green, yellow, and red markers to label new, updated, and deprecated posts, with a changelog for full updates.
• The index organizes Apple development guidance across areas such as code signing, distribution, security, filesystems, iOS background tasks, and keychains.

The gauge broke: devs felt 20% faster with AI, measured 19% slower

Key Points

• The article says experienced developers reported feeling faster with AI, while a cited trial measured them as slower.
• It cites Faros AI, DORA, and GitClear data as showing more code volume and review burden without clear delivery gains.
• The article argues that AI shifts the bottleneck from code generation to verification and review.

Asymmetric Quantization: Near-Lossless Retrieval with 97% Storage Reduction

Key Points

• Mixedbread uses asymmetric quantization to compress document vectors while preserving higher query precision.
• The method reduced average document-vector storage from 393 KiB to 12.28 KiB per document in internal benchmarks.
• Reported retrieval quality remained close to full precision, with NDCG@10 moving from 90.26 to 89.65.

We Don't Have to Be This Bad at Improving Society

Key Points

• The article connects failed Danish political reforms and failed product initiatives through the concept of decision risk.
• It argues that decision risk can be reduced with small, iterative, learnable experiments rather than one large bet.
• It says leaders should define outcomes, while implementation teams learn their way toward solutions.

The Fall of the Theorem Economy

Key Points

• The author did not formally publish what he considers his best theorem after leaving academia for a machine-learning startup.
• He says Theorem 0.5 in his Garside categories preprint shows that conceptual setup, not proof-writing, was the hard part.
• Despite remaining unpublished in journal form, the preprint influenced later work through arXiv citations and adoption of its definitions.

My Favorite Keyboards

Key Points

• The IBM Model M and Model M SSK are presented as standout keyboards in the author’s long-term experience.
• The NMB ConcertMaster RT-9100W is tied in the article to id Software’s Quake-era and post-Quake development workflow.
• The author replaced the Ergodox EZ with a ZSA Moonlander because it offered a more stable ergonomic tilt setup.

Google loses fight over record $4.7B EU antitrust fine

Key Points

• The ECJ upheld Google’s €4.1 billion Android antitrust fine and ended the company’s appeal options.
• The case stems from the European Commission’s 2018 finding that Google used Android and pre-installation deals to favor its own apps.
• The ruling sits within a wider EU crackdown on Big Tech, increasingly enforced through the DMA and DSA.

Aerial Photographs (2017)

Key Points

• The collection documents Toronto’s landscape changes from 1947 to 1992.
• The aerial photographs were taken from aircraft and show both natural and urban features.
• The images are viewable online, while individual plates must be purchased for copies.

Creating a Personalised Bin Calendar

Key Points

• Council bin calendars are often compact regional PDFs that are not ideal for one household’s needs.
• The author uses Python to generate a personalised HTML calendar for a single property’s collection dates.
• A custom `HTMLCalendar` subclass adds per-date identifiers so individual days can be targeted and customised.

Nvidia offers startup customers chance to swap compute power for revenue share

Key Points

• Nvidia is offering AI startups compute access in exchange for a share of future product and cloud revenue.
• Initial infrastructure partners Sharon AI and Firmus Technologies plan major GPU deployments tied to the program.
• The article links the move to scarce AI compute supply and growing use of alternative financing arrangements in the sector.

OpenAI: In early talks to give 5% stake to US Government

Key Points

• OpenAI is reportedly in early talks about giving a 5% stake to the US government.
• The proposal is presented as a way to share AI-generated wealth with the public and improve relations with the Trump administration.
• The idea comes amid growing US government pressure on AI companies and may require an act of Congress.

WinPE as a stateless harness for Windows driver testing and fuzzing

Key Points

• Windows PE is presented as a lightweight alternative to full Windows for KMDF driver testing and fuzzing.
• The article explains how WinPE boots from a WIM RAM disk and is controlled through BCD settings.
• It recommends specific boot and security configuration changes to support fast startup and unsigned driver testing.

Vite+ Beta

Key Points

• Vite+ is now in beta as an open-source, framework-agnostic web development toolchain built around a single `vp` CLI.
• It unifies major development tasks and tools, including Vite, Vitest, Rolldown, tsdown, Oxlint, Oxfmt, and a built-in monorepo-aware task runner.
• The project reports over 1,300 public repository dependents and highlights post-alpha improvements in caching, migration, enterprise support, and cross-platform reliability.

Why I'm Forced to Say Farewell: Google Management Has Lost Its Moral Compass

Key Points

• The author joined Google in 2017 to lead Android Platform Security after years of external Android security research.
• He says Google’s earlier culture emphasized transparency, employee input, and published limits on AI, surveillance, and weapons work.
• He highlights Android security work including default full-device encryption in Android 10 on low-cost as well as premium devices.

Ask HN: Who is quitting? (July 2026)

Key Points

• The post asks Hacker News readers whether they are quitting their jobs in July 2026.
• It frames the question around perceived absurdity in the industry.
• It asks two follow-ups: what caused the decision and what the person will do next.

This blog is written in en-GB

Key Points

• The blog is intentionally written in en-GB and is marked as such in HTML.
• The author says language includes culture and accent, not just word choice.
• The article argues readers can handle unfamiliar references through context rather than requiring localization.

Using Aspect-Oriented Programming to Record DRL Agents' Data

Key Points

• PEAK uses DRL agents to support automated playtesting in game development.
• The project currently targets 2D platformers as a proof of concept at Ontario Tech University.
• The article proposes AOP, the Observer Pattern, and Python decorators to decouple gameplay data collection from core game code.

Is One Layer Enough? A Single Transformer Layer Matches Full-Parameter RL Train

Key Points

• A single transformer layer can recover most of the gains from full-parameter RL post-training.
• The study introduces layer contribution to measure isolated layer impact on RL improvement.
• Highest-contribution layers consistently appear in the middle of the transformer stack across models, algorithms, and tasks.

AI fake news complaining about how AI fake news is the death of real news

Key Points

• A viral article claimed 47 Alabama newspapers were acquired, filled with AI-generated content, and shut down.
• Basic verification showed several supposedly closed newspapers were still operating.
• Multiple named sources and businesses in the report also appeared not to exist, indicating fabrication.

Hazel (YC W24) Is Hiring for Our Largest Government Contract

Key Points

• Hazel is hiring a full-stack engineer for its largest government contract involving classified deployment work.
• The company says its AI platform helps government agencies evaluate bids and manage procurement more efficiently.
• The role requires strong cloud, full-stack, and security-related experience, plus U.S. citizenship and clearance eligibility.

Show HN: Claudoro, Pomodoro timer embedded in the Claude Code statusline

Key Points

• Claudoro embeds a live Pomodoro countdown directly into the Claude Code status line.
• Setup modifies Claude Code configuration with backups and supports clean uninstall via a manifest.
• The tool provides configurable Pomodoro timing, multiple display modes, and extensive `/pomo` command support.

Many people misunderstand the purpose of code review

Key Points

• The article says code review should focus on maintainability rather than bug hunting.
• It argues that reading code is not a reliable way to guarantee bug detection.
• The proposed review method is to identify parts of the code that reviewers cannot understand.

In the age of algorithms and AI, is traditional media democracy's defence?

Key Points

• AI-generated content, misinformation, and disinformation are increasing the importance of credible journalism.
• The media landscape has shifted from traditional channels toward social media platforms and AI tools.
• The article argues that supporting quality journalism and media resilience can help protect democratic conversation.

Show HN: ZeroFS – A log-structured filesystem for S3

Key Points

• ZeroFS is a log-structured filesystem designed for Amazon S3.
• The project runs pjdfstest on every change and publicly documents excluded semantic cases.
• Benchmarks cover cached SQLite random reads, S3 round-trip latency, and NFS file appends with data stored in S3.

German Button Maker Searched Rivers of American Midwest for Valuable Shells

Key Points

• John Boepple helped launch Muscatine’s freshwater pearl-button industry after identifying the value of Midwestern mussel shells.
• Muscatine grew into a major manufacturing center, producing 1.5 billion buttons annually by 1905.
• The industry created jobs and prosperity but caused severe depletion of local mussel populations.

Winamp Skin Museum

Key Points

• The page is a searchable gallery of archived Winamp skins.
• Each skin is shown as a screenshot thumbnail linking to its own entry page.
• The archive includes many named .wsz skins spanning custom, entertainment, and game-themed designs.

Germany’s Infineon opens major chip plant as EU seeks tech autonomy

Key Points

• Infineon opened a €5 billion chip plant in Dresden with €1 billion in EU-backed subsidies.
• The fab will make intelligent power-management chips for EVs, renewable energy systems and data centres.
• The project is part of Europe’s push to expand semiconductor production and reduce external dependency.

How to ask for help from people who don't know you

Key Points

• Center the request on the other person’s perspective, not your own.
• Show seriousness with proof of work, using personal or institutional credibility only as secondary support.
• Make the ask concise, specific, low-cost, bounded, and easy to decline.

Orbital Data Centers: Why the Hype Outpaces Reality

Key Points

• SpaceX filed for a proposed 1 million-satellite orbital data center constellation after Musk said space-based AI could be cheapest within two to three years.
• The article argues launch and manufacturing requirements make that timeline unrealistic, even under very optimistic scaling assumptions.
• Cooling high-power AI chips in orbit is presented as a major engineering obstacle, alongside debris, radiation, and astronomy concerns.

Show HN: CLI tool for detecting non-exact code duplication with embedding models

Key Points

• Slopo detects non-exact code duplication by embedding code units and comparing similarity.
• It supports eight programming languages and produces ranked clusters of candidate duplicate code.
• Its workflow includes configuration, external embedding providers, incremental analysis, and ignore lists for reviewed clusters.

Show HN: Mail Memories – A desktop app to rescue photos from Gmail

Key Points

• Mail Memories scans Gmail locally to recover photo attachments and save them to a computer by year.
• The product offers the oldest 50 photos free, with a one-time $29 payment for unlimited recovery on one account.
• The article emphasizes privacy through local processing, direct connection to Google, and use of Google App Passwords instead of a primary password.

AI Can't Be Listed as Inventor on Patent Applications, Japan's Top Court Rules

Key Points

• Japan’s Supreme Court upheld rejection of a patent application naming AI system DABUS as inventor.
• Lower courts ruled that inventors under Japan’s Patent Law must be natural persons.
• The high court said broader questions about patent rights for AI-created inventions require further discussion.

Show HN: A graph paper generator that renders vector PDFs in the browser

Key Points

• FreeGraphPaper offers free, no-login, no-watermark graph paper PDFs generated in the browser.
• It supports many paper types, including square, dot, isometric, hexagon, lined, and Cornell notes layouts.
• The article emphasizes true-to-scale printing and support for ISO plus US/Imperial paper sizes.

Comparing Fable and 10 other LLMs on refactoring a LangGraph god node

Key Points

• The article compares 11 LLMs on refactoring and evaluating a real LangGraph god node.
• The `plan` node contained about 350 lines of hidden orchestration logic.
• The refactoring goal is to expose control flow at the graph level rather than simply break up a large function.

The Egg Bandits Made a Thousand Times the Fine They Just Paid for Price Fixing

Key Points

• The DOJ Antitrust Division and 18 states reached decrees with Cal-Maine, Versova, and Hickman’s Egg Ranch over alleged egg price manipulation.
• The article says the alleged conduct occurred from 2022 to 2025, overlapping with bird flu disruptions in poultry and egg supply.
• The piece contrasts the antitrust allegations with earlier claims from economists and industry figures that rising egg prices were solely due to supply shocks.

Launch HN: Manufact (YC S25) – MCP Cloud

Key Points

• Manufact is launching a platform to build and run MCP apps and servers using its open-source mcp-use SDK and cloud tooling.
• The platform includes hosting, cross-client testing, publishing checks, production debugging, public chat, and analytics features.
• The company says it is backed by Y Combinator and highlights adoption by developers at major technology and enterprise companies.

PeerTube is a free, decentralized and federated video platform

Key Points

• PeerTube is a decentralized, federated, ad-free video platform developed by Framasoft.
• It supports video hosting, live streaming, federation with services like Mastodon and Pleroma, and RSS-based following.
• It provides self-hosting and technical resources, including deployment guides, architecture documentation, and a REST API.

Since Linux 6.9, LUKS suspend stopped wiping disk-encryption keys from memory

Key Points

• A Linux 6.9 regression reportedly caused LUKS suspend locking to fail silently, leaving encryption keys in memory.
• The issue was traced to an unexpected interaction introduced by a kernel refactoring.
• A one-line fix, an automated regression test, and a warning patch have been prepared.

Natural history on canvas: Brueghel knew about bird-eating noctule bats

Key Points

• Modern research has established that greater noctule bats prey on migrating songbirds at high altitude.
• Evidence for this behavior came from fecal analysis, seasonal migration patterns, DNA sequencing, and biologging-based movement studies.
• Jan Brueghel the Elder’s 1611 painting *Air* may depict the same bat-bird interaction centuries before formal scientific documentation.

Show HN: ZkGolf

Key Points

• zkGolf is a competition for building lower-cost zero-knowledge circuits.
• Entrants must prove circuit correctness in Lean 4 against a specification.
• Machine-readable documentation at `/llms.txt` supports AI agents and LLM-based participation.

24-bit/192kHz music downloads and why they make no sense

Key Points

• The article says 16-bit/44.1kHz is sufficient for transparent consumer audio playback.
• It argues 24-bit depth is mainly beneficial in recording, mixing, and mastering workflows.
• It cites ABX listening tests in which listeners failed to distinguish high-resolution audio from CD-standard audio.

Spain Orders Blacklist of Palantir from Public and Private Companies

Key Points

• Spain directed SEPI-controlled entities to stop future contracts with Palantir over security and sovereignty concerns.
• The move affects major state-linked companies and has already disrupted reported procurement efforts.
• Palantir's current €16.5 million CIFAS defense contract remains active for now as Spain also boosts domestic tech investment.

Show HN: QUALITY.md – open format/specification, agent skill, and CLI

Key Points

• QUALITY.md is an open, agent- and vendor-agnostic format for defining a project's quality model.
• The article includes companion tools—a /quality agent skill and qualitymd CLI—for evaluating projects and producing prioritized improvement recommendations.
• It frames the approach as a modern extension of historical quality management models, made more practical by AI agents.

What Breaks a Cell's Ribs Can Make It Stronger

Key Points

• Researchers physically stressed mammalian cell spindles with microneedles to study their mechanics.
• The study found a self-repair mechanism that helps the spindle remain stable under force.
• The work provides new insight into cell division and the physics of living materials.

NSA tries to weaken mlkem standardisation

Key Points

• The article alleges NSA support for the IETF TLS draft "ietf-tls-mlkem" over the hybrid "ietf-tls-ecdhe-mlkem."
• It reports a failed prior ML-KEM vote in the IETF TLS working group followed by a new vote beginning 24 June 2026.
• It urges readers to submit opposition to draft-ietf-tls-mlkem-08 before the 7 July 2026 deadline.

Former Microsoft dev built a 2.5KB Notepad clone

Key Points

• TinyRetroPad is a roughly 2.5KB Notepad-style editor created by former Microsoft developer Dave Plummer.
• The project is written in Assembly, built around the Windows API's RICHEDIT50W control, and compressed with Crinkler.
• It is designed to recreate the plain-text, Windows XP-era Notepad experience without newer AI-related features.

The US Government Is Now a Shareholder in 26 Companies

Key Points

• The article says the US government now holds stakes in 26 companies across nine sectors.
• It reports $23.9 billion deployed so far, with $181 billion still available under the legal ceiling.
• The programme combines direct equity, grants and loans, and guaranteed purchasing mechanisms such as off-take agreements.

How VictoriaLogs Stores Your Logs in a Columnar Layout

Key Points

• VictoriaLogs normalizes logs from multiple protocols into a common internal structure with timestamp, fields, and stream identity.
• Stream identity determines how logs are grouped on disk, affecting both compression and how efficiently queries can target data.
• Logs are buffered in per-CPU memory shards and typically flushed into searchable in-memory parts, with very large batches sometimes written straight to disk.

No LLM Code in Dependencies

Key Points

• The git-annex maintainer spent about 100 hours auditing dependencies for LLM-generated code.
• The audit identified several upstream changes the author describes as problematic, including unexplained reversions and suspect commit history.
• The author says the work changed their view of dependency quality and may affect future collaboration and community participation.

Podman v6.0.0

Key Points

• Podman v6.0.0 introduces broad updates across networking, VM tooling, and configuration handling.
• Networking changes shift Podman toward Netavark, Pasta, and nftables, with experimental Pesto rootless port forwarding support.
• The release also improves Podman Machine, overhauls Quadlet, and expands Docker compatibility.

Exapunks

Key Points

• EXAPUNKS is a 1997-set hacking puzzle game where players program EXAs to carry out network intrusions.
• The article highlights in-world learning materials, varied hacking targets, and unlockable side activities tied to successful hacks.
• Custom EXAPUNKS puzzles can be created with Axiom VirtualNetwork+, using JavaScript and API functions.

Too many tables are bad for you

Key Points

• A PostgreSQL OOM investigation traced memory pressure to a database with tens of thousands of tables.
• Memory context dumps identified CacheMemoryContext, not typical query memory settings, as the dominant consumer.
• Long-lived connections can grow relcache and catcache memory over time because those metadata caches are effectively unbounded.

Klara and the Sun Essay Contest – $1k Prize – AI Use Allowed

Key Points

• The contest invites essays linking a scene from *Klara and the Sun* to AI safety, with AI use allowed.
• Submissions are scored automatically via a custom rubric, and top entries advance to human judging.
• Organizer Will Penman built the contest around a 180-plus-item rubric and an autoscorer for repeated evaluation.

JEP 539: Strict Field Initialization in the JVM moved to preview

Key Points

• JEP 539 adds preview support in the JVM for strictly-initialized fields that must be written before they are read.
• The feature is intended for JVM language designers and compilers, not as a new Java source-language feature.
• The article’s example shows how current class initialization rules can expose default values and inconsistent final-field reads.

Postgres transactions are a distributed systems superpower

Key Points

• The article recommends co-locating workflow state with application data in Postgres.
• It explains how transactional checkpoints can solve idempotency issues for database-modifying workflow steps.
• It introduces atomic multi-system coordination as a related distributed-systems challenge.

Claude's AskUserQuestion: "No response after 60s – continued without an answer"

Key Points

• AskUserQuestion reportedly timed out after 60 seconds and returned an instruction to proceed without user input.
• The article says the timeout behavior is not exposed as a configurable tool parameter.
• The issue is presented as a regression in Claude Code 2.1.198 on AWS Bedrock.

Vulkan is now available on NetBSD

Key Points

• Mesa and the Lavapipe Vulkan driver now build and install on NetBSD 10.1 amd64 in a reproducible workflow.
• The project has not yet verified running Vulkan applications because the Vulkan loader is still missing.
• Prebuilt binary distribution and upstream fixes to Mesa and pkgsrc are the next stated goals.

Job seekers giving up: Labor force participation falls to lowest in 50 years

Key Points

• June’s 4.2% unemployment rate decline coincided with a sharp drop in labor force participation, not broad labor market strength.
• The labor force participation rate fell to 61.5%, the lowest non-Covid-era level in 50 years.
• Prime-age worker participation declined notably, while economists said the broader participation trend is a key concern.

Lightning Memory-Mapped Database Manager (LMDB) 1.0

Key Points

• LMDB 1.0 uses memory mapping to provide direct, allocation-free data reads from a Btree-based embedded database.
• It combines ACID transactions, copy-on-write pages, and multi-version concurrency for lock-free reads and serialized writes.
• The documentation includes operational caveats for lock files, stale readers, semaphore configurations, and platform-specific behavior.

EFF letter to FTC on X consent order (2 July 2026) [pdf]

Key Points

• 15 organizations asked the FTC to reject X Corp.’s petition to alter the 2022 Twitter privacy order.
• The 2022 order was approved 4-0 and described in the article as bipartisan and consistent with prior FTC privacy enforcement.
• The letter cites DOJ allegations that Twitter misrepresented privacy protections from 2013 to 2019, affecting more than 140 million users.

Modeling the Covid-19 Outbreak with J (2020)

Key Points

• The article presents SEIRS as the main framework for modeling COVID-19 spread.
• It compares SEIRS with SIR and explains why the simpler SIR assumptions may not fit the disease characteristics described.
• The post uses cited COVID-19 figures such as R0, incubation time, symptom duration, and reinfection rate to derive simulation parameters.

Claude-real-video － any LLM can watch a video

Key Points

• claude-real-video processes videos locally into key frames, transcripts, and a manifest for LLM use.
• It uses scene-change detection and deduplication instead of fixed-interval frame sampling.
• The tool supports URL and local-file inputs and depends on Python 3.10+ plus ffmpeg/ffprobe.

Wireless LAN SD

Key Points

• Wireless LAN SD combines SD card storage with IEEE 802.11 wireless LAN capability.
• The standard is described as the first iSDIO implementation integrating SD cards and Wi‑Fi modules.
• It enables wireless transfer of photos and videos and supports camera-to-camera, cloud, and home network use cases.

The Short Leash AI Coding Method for Beating Fable

Key Points

• The article recommends constant human oversight when using AI coding agents for important software.
• It criticizes autonomous "vibe" workflows as harmful to code understanding and quality control.
• The proposed "short leash" method centers on planning, reviewing diffs, and denying unsafe or unwanted changes.

A New Catalog of Stellar Rotation Periods for over a Million Stars

Key Points

• TARS provides rotation periods for 1,046,317 stars using TESS observations.
• The study began with a sample of 7,481,412 stars and filtered periodic signals to reduce instrumental contamination.
• The catalog is expected to support research in stellar evolution, exoplanets, and local Milky Way structure.

Virginia Bans Sale of Geolocation Data

Key Points

• Virginia signed S.B. 388 to ban the sale of geolocation data under the VCDPA.
• The law takes effect July 1, 2026, and relies on Virginia’s narrower definition of "sale."
• The measure is part of a broader trend driven by state legislation and regulatory scrutiny from California and the FTC.

Great Salt Lake Tracker – Grow the Flow

Key Points

• The tracker provides up-to-date Great Salt Lake water-level data for public understanding and decision-making.
• The article says lake-level changes affect Utah’s air quality, habitat, mineral extraction, and water availability.
• USGS stations at Saltair Boat Harbor and Saline, Utah supply the data, and 4,198 feet above sea level is identified as the minimum healthy level.

Immich 3.0

Key Points

• Immich v3.0.0 introduces a major update with breaking changes, including dropped support for pgvecto.rs and migration guidance to VectorChord.
• The release adds features across mobile and web, including non-destructive mobile editing, OCR, workflow automation preview, and video improvements.
• Immich used release candidates for the first time in this release, with opt-in prerelease notifications available through admin settings.

Reality has a surprising amount of detail

Key Points

• Building basement stairs involves many more subtasks and constraints than it first appears.
• Construction accuracy depends on factors such as angle measurement, tool guides, material straightness, and pilot holes.
• The article argues that real-world work contains abundant details with practical consequences.

BlastRadar – paste a Git diff, get a production risk score in 10 seconds

Key Points

• BlastRadar lets users paste a Git diff for evaluation.
• The tool claims to generate a production risk score in seconds.
• The article provides only a brief product description and a feedback prompt.

Simple, beautiful Emacs modeline: modusregel

Key Points

• modusregel is a lightweight Emacs mode line package built for customization, performance, and GUI/TUI consistency.
• It adds status indicators for major mode cleanup, Eglot, Flymake, remote files, unsaved changes, and read-only buffers.
• The package is installed from Codeberg via Elpaca and configured through `mode-line-format` and Emacs hooks.

Memora: A Harmonic Memory Representation Balancing Abstraction and Specificity

Key Points

• Memora is designed to give AI agents scalable long-term memory by decoupling storage from retrieval.
• The article says existing systems struggle to balance detailed recall with efficient abstraction.
• Memora reportedly outperforms several baselines on LoCoMo and LongMemEval while using up to 98% fewer context tokens.

crustc: entirety of `rustc`, translated to C

Key Points

• crustc converts `rustc 1.98.0-nightly` into 46 million lines of C and rebuilds it into a functional Rust compiler.
• The broader cilly toolchain compiles arbitrary Rust to C and adapts output to specific compiler and platform capabilities.
• The project targets older or obscure systems and supports remote compilation over TCP for platforms lacking standard cross-compilers.

Mystery identity of 'Green Boots' climber is finally solved after DNA test

Key Points

• DNA testing identified “Green Boots” as Dorje Morup, ending a decades-long Everest mystery.
• The ITBP confirmed the identification and is planning a dangerous recovery effort from the death zone.
• Morup died during the 1996 Everest disaster, and his body later became a well-known landmark on the north-east route.

Flexible metaprogramming with Rhombus

Key Points

• Rhombus combines Racket-style metaprogramming with Python-like syntax.
• It builds on the Racket runtime and supports interpreted, bytecode, and native execution.
• The language features immutable-by-default bindings, tree-backed lists, and reducer-based `for` loops.

Show HN: Inkwell – An RSS reader for e-ink devices

Key Points

• Inkwell is a self-hosted RSS/Atom reader optimized for Kindle and other e-ink devices.
• Articles are preprocessed into static HTML, with content extraction and image transcoding done in background jobs.
• The project includes documentation for deployment, self-hosting, feed management, Kindle authentication, and configuration.

Show HN: Pieces – Social network for people

Key Points

• Pieces positions itself as a social network governed by a public Social Contract.
• Users can create a post first, after which the platform generates a profile they can claim or delete.
• The site offers optional personalization and states it uses essential and analytics cookies.

FoundationDB's Flow – Bringing Actor-Based Concurrency to C++11

Key Points

• FoundationDB built Flow to combine native C++11 performance with actor-based concurrency.
• Flow compiles asynchronous actors into standard C++11 code and supports deterministic simulation.
• Its model centers on Promise<T>, Future<T>, and wait() for non-blocking asynchronous coordination.

Show HN: ctx – Search the coding agent history already on your machine

Key Points

• ctx is an open-source, local-first desktop workbench for coding agents that centralizes fragmented development workflows.
• It supports local or user-controlled remote execution, isolated containers, per-task worktrees, and a merge queue for branch landing.
• The article positions ctx as an open alternative to first-party agent environments, built around a local Rust daemon and real agent harnesses.

A Special Wireless-Free Nikon Camera Is Publicly Available for the First Time

Key Points

• Nikon is selling a no-wireless Z6 III through retailers for the first time.
• The camera removes Wi‑Fi and Bluetooth hardware and disables related features such as SnapBridge and wireless sharing.
• Nikon says the higher price reflects limited-run specialized manufacturing for security-sensitive use cases.

Show HN: CLI that helps AI agents avoid vulnerable dependencies

Key Points

• deptrust checks dependency versions for known vulnerabilities across many package ecosystems.
• It runs locally and queries OSV, GitHub Advisory Database, and public registries directly.
• The tool returns recommendation levels such as block, review, or allow, plus advisory coverage details and extra risk signals.

An American Privacy Emergency

Key Points

• DAO 216-26 limits federal statistical confidentiality methods to older coarsening and suppression techniques.
• The article says the directive bans differential privacy, noise infusion, and swapping used in many federal data products.
• The authors argue the change conflicts with legal confidentiality obligations and would reduce data utility, privacy protection, or both.

Apricot Computers: An underrated British brand

Key Points

• Apricot was featured in the BBC’s *Trouble Shooter*, which provides rare detail on its internal business challenges.
• The company is credited in the article with shipping the first 486-based PC and with delivering Microchannel systems in quantity.
• Apricot’s UK-based design and manufacturing model faced mounting cost pressure versus cheaper Asian production and outsourced design.

GitHub is proud to announce that you can now obtain your public repo on CD-ROM

Key Points

• GitHub is offering a limited-run burned CD of a user’s public repository.
• Signing up does not guarantee fulfillment, and shipping depends on region.
• GitHub says shipping data will only be used for delivery and deleted after shipment.

Show HN: I made a tool that prevents websites from tracking you

Key Points

• GetBlocked! blocks selected third-party trackers, cleans tracking parameters, and reports visible tracking attempts in Chrome.
• The extension is designed to keep all browsing-related data local, with no external analytics or telemetry.
• It uses a conservative ruleset and is explicitly positioned as a complement to, not a replacement for, full ad blockers.

Show HN: Gitstock–Transform you GitHub commit history into K-line and animations

Key Points

• GitStock converts public GitHub repository history into a visual chart.
• The generated output is a shareable SVG candlestick chart based on recent commits and code changes.
• The tool is designed to help users quickly assess repository activity and health trends.

Right to Local Intelligence

Key Points

• Right to Intelligence opposes state licensing requirements for running AI locally.
• The site advocates lawful access to open AI models while supporting enforcement against harmful uses.
• It provides state-based action tools and cites Open States data updated July 1, 2026.

CarPlay Is Additive

Key Points

• The article challenges Rivian’s claim that CarPlay must take over the full vehicle display.
• It distinguishes standard CarPlay from CarPlay Ultra and cites Volvo as an example of partial-screen integration.
• The author says Rivian’s lack of CarPlay support is a dealbreaker even though they otherwise like the company’s vehicles.

Crossword Heatmap

Key Points

• The visualization uses NYT crossword data to map where characters most often appear on 15x15 and 21x21 grids.
• Heatmap shading is normalized per character, emphasizing spatial distribution rather than total letter frequency.
• The article groups letters by positional tendencies, such as starters, enders, middle-heavy letters, and rarities.

Perform DFU Restores on Apple Silicon Macs with Macvdmtool (2021)

Key Points

• macvdmtool provides a terminal-based method to place supported Macs into DFU mode using an Apple Silicon host.
• The process requires two Macs, proper DFU port selection, and a data-capable USB-C or Thunderbolt cable.
• Apple Silicon targets in DFU mode can be restored with cfgutil and an IPSW file, then reboot into Setup Assistant.

The Free Market Lie: Why Switzerland Has 25 Gbit Internet and America Doesn't

Key Points

• The article says Switzerland combines high-speed residential fiber with multiple provider choice.
• It argues fiber networks behave like a natural monopoly, making shared infrastructure more efficient than duplicate buildouts.
• Germany and the United States are presented as examples where market structure leads to limited competition and weaker consumer outcomes.

Wasmer: Fast, secure, lightweight containers based on WebAssembly

Key Points

• Wasmer describes a WebAssembly-based container platform for secure application execution across local and cloud environments.
• The article says existing applications can be moved to the platform without code changes and scaled automatically in a serverless model.
• It highlights millisecond startup, usage-based pricing, and Wasm sandboxing for portability across servers, browsers, mobile, and embedded environments.

14× faster embeddings: how we rebuilt the ONNX path in Manticore

Key Points

• Manticore Search 27.1.5 adds a new ONNX Runtime embedding backend for Auto Embeddings.
• The company reports roughly 14× average throughput improvement over the previous SentenceTransformers-on-Candle path on the same CPU server.
• Existing ONNX-capable model setups switch automatically to the new fast path without API changes.

Cowboys, Frontiersmen, Settlers, Townspeople, Cityfolk

Key Points

• The article maps company growth stages to five archetypes based on tolerance for chaos and need for structure.
• It describes a progression from survival-driven improvisation to mature, process-heavy organizational operation.
• It argues that people and teams can become mismatched when a company changes stage, affecting effectiveness and communication.