ISSUE 0987
SUN, SEP 13, 2026
The directory AI cites when builders ask what to use
TODAY · SUN, SEP 13, 2026

Ship your AI.
Get discovered.

List your product on OrangeBot and reach builders and users actively looking for the right AI tools.

Daily launches · 2,000+ Claude Code skills · 114+ free tools · AI news from 10 sources — rebuilt every morning.

FOUNDERSBuilding an AI tool? Assistants cite lists like this one, not your homepage.Get listed →
Why founders list here

More than a launch. Long-term discovery.

Get in front of builders

Show up when builders are actively looking for tools like yours.

Context that converts

Tell builders what your product does, who it is for, and why it matters.

In the right ecosystem

Your product sits alongside the skills, tools and sources builders already trust.

Built for AI discovery

Structured so both people and AI assistants can understand and recommend it.

Stay discoverable

Keep getting found long after launch day — the page does not expire.

Learn more about getting listed →
01

Latest Launches

CURATED BY ORANGEBOT
01

AI DIGEST

UPDATED DAILY · EDITOR'S PICK
01.00
AI DIGEST

AI新闻摘要

September 13, 2026

Of course. Here is a summary of today's news events, based on the information provided.

Tech Leaders and Public Voice Growing Concerns Over AI Risks

High-profile figures like Elon Musk and Sam Altman are joining calls to mitigate the potential dangers of advanced artificial intelligence. This comes amid widespread public anxiety and reports of security incidents, fueling a debate about the technology's potential for causing serious harm.

Soaring Diesel Prices Threaten Broader Economic Impact

With diesel prices surpassing $6 a gallon, concerns are mounting that the rising cost of fuel will have a significant negative effect on the economy. The impact is expected to extend far beyond the gas pump, affecting shipping, manufacturing, and consumer prices.

Billionaire Reverses Plan for Major Stock Sale

A prominent billionaire has abruptly canceled a previously announced plan to sell 50 million shares of his company. The about-face came just a day after the sale was revealed in a public filing, with the individual stating that no stock was ultimately sold.

India’s Central Bank Paves Way for Potentially Record-Breaking IPO

The Reserve Bank of India (RBI) has denied an appeal from a major business group, forcing it to proceed with a public listing. This decision sets the stage for what could become the largest Initial Public Offering (IPO) in the country's history.

Crypto Billionaires Make Record-Breaking UK Political Donation

Two billionaires involved in cryptocurrency have donated a combined £72 million, marking the largest political donation in British history. The significant contribution highlights the growing financial influence of the crypto industry in UK politics.

Economic and Geopolitical Rivalry Hinders India-China Relations

Efforts to improve relations between India and China are facing significant obstacles. Ongoing competition in both the economic and geopolitical spheres continues to create friction and prevent a meaningful rapprochement between the two nations.

US President's Remarks in Ireland Upset Pro-UK Parties

During a recent visit to Ireland, off-the-cuff remarks made by the U.S. President have reportedly angered pro-UK political parties, creating a minor diplomatic stir.

02

ON THE WIRE

6 SOURCES
02

HACKER NEWS

02.00
HACKER NEWS

Hacker News - September 13, 2026

Hacker News Feed: Highlighting key posts and discussions.

We must pace the frontier

(darioamodei.com)

472653
Fuck it, make it anyway

(www.joelotter.com)

531530
Navier-Stokes Announcement

(www.claymath.org)

302244
Usenet rewind archive search engine

(www.usenet-rewind.com)

12236
HuggingFace: Security.txt

(huggingface.co)

26869
Logo Programming

(el.media.mit.edu)

301137
Cherenkov Radiation

(www.iaea.org)

231108
03

HUGGINGFACE

03.00
HUGGINGFACE

HuggingFace 新闻 - September 13, 2026

HuggingFace Feed:最新的 AI 模型、数据集和社区动态。

NCP-ArchPreview Technical Report: Moving towards Latent Space Language Models through Next Concept Prediction

We introduce NCP-ArchPreview, a latent-space language model that pushes autoregressive pretraining beyond standard next-token prediction (NTP). Alongside NTP, the model learns through Next Concept Prediction (NCP) to predict discrete concepts that span multiple tokens, introducing an explicit and more challenging concept-level objective while preserving standard token-level autoregressive generation. NCP-ArchPreview builds a latent space by constructing a product-quantized concept vocabulary directly from its hidden states, and subsequently learns to predict future concepts via a dedicated Concept Module. These predicted concepts are then fed back to the token level to guide subsequent generation, with NTP and NCP trained jointly end-to-end. We scale this architecture to 8.9B parameters and train it on 5.73T tokens from the Dolma-3 dataset, marking the largest demonstration of a latent-space language model to date. Remarkably, by consuming only 51.3% of the total training tokens, NCP-ArchPreview achieves the final pretraining loss of OLMo-3-7B. Following full pretraining, it outperforms OLMo-3-7B by 2.45 points on the downstream macro-average, including a notable 5.99-point gain on GSM8K. Controlled experiments isolate a clear progression of performance gains stemming from both the latent architecture and the NCP objective. Furthermore, utilizing only 85% of the standard computation, NCP-ArchPreview approaches the training loss of a strictly parameter-aligned 8.9B baseline. The learned latent space remains highly valuable after the pretraining stage: updating just the 17M-parameter VQ module yields a novel, lightweight interface for domain adaptation, while a simple injection of concept representations into a DFlash2 drafter improves the mean accepted length by 4.17% with negligible overhead.

231
SenseNova-U1.5: Towards Native Unified Visual Intelligence

We launch SenseNova-U1.5, an 8B-MoT native unified multimodal model that understands, reasons about, and generates visual content within an encoder-free and VAE-free architecture. We strengthen its visual interface through spatially coherent patch reconstruction and scale its training with carefully curated generation and editing data, improved task formulation, structural prompt enhancement, and native resolutions of up to 4K. For post-training, we optimize specialized experts for visual aesthetics, bilingual text rendering, infographic generation, and image editing, and consolidate their capabilities through multi-expert on-policy distillation. Across extensive evaluations, SenseNova-U1.5 largely advances image fidelity, text rendering, complex composition, multi-reference editing, and interleaved generation, while improving instruction following and preserving subject identity, geometry, and unmodified regions. Despite limited exposure to structured formats in its generation data, SenseNova-U1.5 generalizes effectively to long, complex, and structured visual instructions, further proving that multimodal understanding can transfer to visual planning and creation. Together, these findings position native unified modelling as a promising path towards systems that perceive, reason and create within a fully end-to-end framework. We will open-source training code, including supervised fine-tuning, reinforcement learning, and on-policy distillation.

183
SpatialBlock: Enhancing Spatial Intelligence in LVLMs via Synthetic Block-Stacking Problem

Large Vision-Language Models (LVLMs) have achieved strong performance on diverse visual tasks, yet their ability to reconstruct and reason about the 3D structure of the scene depicted in 2D images -- referred to as spatial intelligence -- remains limited. Existing approaches attempt to address this gap by using real-scene spatial question answering datasets that require dense geometric annotations. However, constructing such labels is costly, time-consuming, and often noisy due to reliance on external perception modules. In this work, we propose a novel paradigm inspired by human cognitive development: learning foundational spatial skills through structured block-manipulation tasks. We introduce SpatialBlock-15k, a synthetic dataset of 15,000 block-stacking problems covering 3D-to-2D projection, viewpoint transformation, and structural combination. The dataset further incorporates controlled color modulation as visual cues to encourage anchor-based reasoning in visually complex conditions. Experiments demonstrate that LVLMs trained on our dataset through either direct answering or reasoning-based prediction significantly outperform baselines and generalize to real-world spatial tasks, despite the dataset's synthetic and compact nature. Code and data are available at https://github.com/rsoohyun/SpatialBlock.

91
EvoSafeHarness: Evolving Model- and Domain-Specific Harnesses for Securing Agents

Large Language Model (LLM) agents are turning language into real-world effects, making safety necessary against both indirect prompt injections and direct harmful requests. System-level safety harnesses add an enforcement layer beyond model-level defenses, but existing harnesses are usually designed once by experts and applied across heterogeneous models and domains. Effective protection is deployment-dependent: models differ in how much enforcement they need before utility declines, while domains differ in the effects, state, and action sequences that must be governed. A harness that is strict enough for one model may over-block another, and a policy that transfers across domains may miss application-specific safety relations. We present EvoSafeHarness, a safety-specific optimization framework that synthesizes a deployable harness for a frozen model in a target domain. It jointly searches a natural-language policy and executable code logic, guided by model behavior, domain specifications, and fresh-context adversarial review to reject benchmark-specific rules. Across four agent benchmark families, EvoSafeHarness achieves a stronger safety-utility frontier than fixed expert-designed defenses. On DecodingTrust-Agent, it reduces average attack success rate from 45.6% to 10.0% at a 3.3-point utility cost and achieves the best score in 14 of 15 cells. On AgentDojo, it reaches 82.8% utility at 0.0% ASR, twice CaMeL's utility at the same operating point, and transfers unchanged to unseen AgentDyn suites. It also achieves the best score on Agent-SafetyBench for every victim and keeps mean ASR below 20% under adaptive PAIR attacks with a refinement budget of 16. Analysis shows that domain semantics determine which safety relations and trajectory state are needed, while model and runtime behavior determine how and where those relations should be enforced.

47
Mi-Ripple: Restoring Images Degraded by Iterative AI Editing

Iterative reference-conditioned image editing can introduce grid-like and granular textures, commonly described as digital ripple. We present Mi-Ripple, a diagnosis-guided restoration workflow that suppresses this digital ripple while protecting image structure. Mi-Ripple separates periodic lattice artifacts from content-entangled granular texture, then combines selective spectral notching, structure-aware smoothing, and cleaned-reference regeneration. This separation enables low-distortion filtering when artifacts are spectrally isolated and visual reconstruction when filtering would erase legitimate detail. Across fourteen notch-only executions, whole-image residual standard deviation is 0.08--0.44 in CIELAB lightness units. In a paired regeneration example, reference cleaning reduces output debris density by 45\%. Mi-Ripple links measurable artifact reduction to visibly cleaner generated images, rather than optimizing a spectral score alone.

37
X-AuT: Progressive Audio-Encoder Compression for Speech LLMs with Cross-Scale Distillation

Reducing audio-encoder depth lowers the inference cost of speech large language models, but removing complete blocks perturbs the embeddings consumed by the decoder and can cause deletion and premature end-of-sequence errors. We introduce X-AuT, a progressive framework that selects layer combinations through short behavioral probes and restores the pruned model through representation alignment, cross-scale distillation, scheduled student-policy supervision, and LoRA finetuning. The language-model backbone remains frozen, while attention LoRA adapters and the tied output embedding adapt during distillation. Training uses the highest-agreement tier from a transcript-consistency pipeline, followed by source reweighting during finetuning. On ten public Chinese--English benchmarks, compressing Qwen3-ASR-0.6B from 18 to 16 audio-encoder layers reduces macro-average error from 5.61% to 5.27%. The 14-layer model reaches 5.75% with 20.7% fewer audio-tower parameters. Under the matched recipe, the 1.7B teacher yields 5.55% mean error, compared with 8.45% for self-distillation, and progressive 18rightarrow14 pruning outperforms direct pruning (5.75% vs. 6.73%). These single-run results establish two practical operating points and show that the accuracy effects vary across benchmarks. Project website: https://xpeng-ai.github.io/x-aut

30
Memory as Plans: World-Action Modeling with Memory-Grounded Planning

Mainstream robotic policies often adopt a Markovian formulation, but many complex real-world manipulation tasks are inherently non-Markovian, requiring long-horizon memory beyond the current observation. Existing memory mechanisms often rely on language summaries, growing visual windows, or their combinations, and may therefore lose fine-grained visual evidence or face a trade-off between history coverage and execution efficiency. We introduce MaP-WAM, a Memory-as-Plans framework that decomposes memory-dependent world-action modeling into memory-grounded planning and plan-conditioned execution, and uses long-term multimodal episodic context as planning-time evidence rather than repeatedly conditioning the executor on the full history. MaP-WAM represents memory as completed segment records containing language instructions and sparse visual context, and converts this episodic memory into compact plans comprising the next segment-level language plan and corresponding visual guidance. A World-Action-Progress (WAP) model executes each plan over an unknown duration by jointly predicting action chunks and corresponding execution progress at inference time, calibrating predicted progress through plan-observation alignment for adaptive segment transitions and closed-loop context updates. MaP-WAM keeps the executor context length fixed, while structured attention further enables key-value caching in both planning and execution. MaP-WAM achieves state-of-the-art performance on RMBench with an 83.3% success rate and attains 78.0% success on real-robot tasks, while maintaining approximately constant executor inference latency as task history grows.

25
FreeFlow: A Bias-free Hierarchical Transformer for Optical Flow Estimation

Optical flow methods typically rely on task-specific inductive biases, such as correlation volumes, feature warping, and iterative refinement, among others, to reach high accuracy. While effective, such biases constrain the model to predefined heuristics, which can limit its expressivity and lead to more complex pipelines and additional computational cost. We present FreeFlow, a hierarchical transformer built without any flow-specific components, using instead a single feed-forward encoder--decoder. FreeFlow combines three attention variants: window attention for local processing, shifted-window attention for cross-window information exchange, and a global attention operating at a reduced resolution. The resulting architecture scales naturally with model capacity, enabling a consistent accuracy gain from small to large variants. Despite the absence of standard inductive biases, FreeFlow achieves state-of-the-art results on major benchmarks, including Sintel (0.68/1.48 EPE on Clean/Final), KITTI-2015 (3.23 Fl-all), and Spring (3.192 1px), while remaining memory efficient at 1080p inference.

22
An Open Recipe for IMO Gold: Training Nemotron for Olympiad Mathematics

We study how model post-training and test-time inference design affect natural-language proof generation for hard olympiad mathematics. Starting from Nemotron 3 Ultra, we train two specialist checkpoints using supervised fine-tuning and reinforcement learning, and evaluate checkpoint choice, verification, and refinement. Based on these findings, we present an open-model test-time-compute pipeline. The system operates entirely in natural language, with no formal prover, external tools, or internet access. Three Nemotron 3 Ultra checkpoints - the general-availability model and two post-trained specialists - power an iterative search that generates, verifies, and refines candidate proofs; a separate high-compute stage then selects each final submission. The system scored 30 out of 42 points at IMO 2026, reaching the gold-medal threshold. We release the two post-trained checkpoints as well as the training data, the training and inference code, the submitted solutions, and Nemotron-IMO-Bench, a new benchmark of 200 novel olympiad-level problems.

22
Studying Image Tokenizers as Visual Languages in Unified Multimodal Models

Image tokenizers define the ``visual language'' of unified multimodal models, yet are commonly studied through isolated metrics or generation-/understanding-only evaluations. These evaluations do not fully capture how visual tokens behave when modeled jointly with text. We build a controlled pure-autoregressive testbed and track task-specific validation losses during multimodal continual pretraining across text, image, text-to-image (T2I), and image-to-text (I2T) prediction. We examine how these losses scale and relate to downstream performance, then use them to study multimodal learnability---how well image and text tokens are jointly modeled---and tokenizer design. We find that (1) losses should be analyzed by task, since they exhibit distinct scaling behavior and rank tokenizers differently. (2) The loss--performance relationship depends on the predicted token space: for a fixed tokenizer, T2I and I2T losses correlate with generation quality, but across tokenizers, the T2I loss--performance relationship shifts with the image-token space, whereas I2T loss, computed over a shared text vocabulary, provides a more consistent signal. I2T loss also correlates with both generation and visual understanding performance after supervised finetuning. Using losses as a lens, we show that (3) better reconstruction does not necessarily yield lower task-specific losses or stronger downstream performance, and that (4) image tokenizer choice can affect text modeling under joint optimization. As case studies, we revisit three tokenizer design axes---the discriminator, semantic supervision, and vocabulary size---to examine their effects on joint modeling and downstream performance. Together, our testbed offers a complementary perspective on image tokenizers as visual languages, highlighting their interplay with text in joint multimodal training.

19
MetroLLM-Bench: Evaluating Language Models as Transit Kiosk Runtimes

We introduce MetroLLM-Bench, a 955-case benchmark for testing language models as the policy layer of a transit kiosk. It covers six real metro systems, ranging from 37 to 414 stations, and eleven categories that include routing, fare calculation, disruptions, accessibility, and adversarial input. In each case, the model must call structured tools and submit a machine-renderable terminal state containing an outcome, a per-ticket fare quote when applicable, and a kiosk action. Fourteen deterministic scoring components form Tier 1; eight semantic-quality components form Tier 2, six of which use a language-model judge. We report Tier 1 and the combined score of both tiers. A stratified 75/25 split reserves 717 cases for training-data generation and 238 for held-out evaluation. We evaluate twenty-six models from six vendors, of which twenty-three are ranked. On the held-out partition, a 4B Qwen 3.5 student trained through parameter-efficient fine-tuning (PEFT) exceeds both GPT-5.6 tiers on Tier 1 (91.3 against 90.6 and 90.0) and matches GPT-5.4 full at maximum reasoning effort (91.4), with a 2.6 GB Q4_K_M footprint. Larger 9B and 27B students provide no further Tier 1 improvement over the 4B student at this training scale. Across the four Qwen sizes, the PEFT gain over the corresponding base model decreases from +7.03 points at 2B (three training seeds) to -0.91 at 27B; every seed shows the same direction at every size. A deterministic rule-based baseline reaches 84.6 on Tier 1, with the remaining language-model advantage concentrated in policy adaptation, compound scenarios, accessibility, and temporal reasoning. Muse Glimmer 30B leads the composite ranking, and serving configuration alone moves the Qwen 3.5-to-3.8 comparison by 2.7 Tier 1 points. The benchmark, harness, reproduction guide, and fine-tuned students are released at https://github.com/continker/metrollm-bench.

19
TempCloze: Can Video-LLMs Identify the Missing Middle?

Temporal reasoning benchmarks for Video-LLMs are often mediated by language, leaving room for linguistic shortcuts from option wording, answer correlations, or language priors. To reduce such shortcuts, we introduce TempCloze, a video cloze benchmark for evaluating visual temporal reasoning in Video-LLMs. Given the beginning and ending clips of a video, models must identify the true missing middle from four candidates. TempCloze contains 1,521 carefully filtered videos from seven sources, mainly long-take and egocentric videos. We construct same-source distractors along three dimensions: Semantic asks what event should happen, Alignment probes when it should occur, and Progression tests how it should unfold, while shared scenes and objects reduce appearance cues. Our evaluation of 10 proprietary and 21 open-source Video-LLMs reveals Alignment as the primary bottleneck: models often recognize plausible semantic content and local event progression but struggle with temporal alignment. We further conduct error pattern and behavioral sensitivity analyses on TempCloze-Mixed and TempCloze-Hard with four representative models to examine where errors arise and how candidate order, context direction, visible span, frame density, and test-time scaling influence model choices.

18
Recursive Code World Models: Building Complex Worlds through Recursive Scene Programs

Code world models represent worlds as executable programs, but this representation alone does not determine how to construct a complex world. We introduce Recursive Code World Models (RCWM), a framework for reconstructing complex 3D worlds in code from a single reference image. RCWM couples a Recursive Scene Program (RSP) representation with a construction solver that recursively calls itself. An RSP represents the executable world as compositional scene code, while each solver call follows the same complete process: establish the whole, recursively reconstruct unresolved parts, and revisit the whole to refine their composition. This global-local-global recursion gives fine-scale structures their own perception-and-editing loops while preserving scene-wide geometry and relationships. Reference-aligned views propagate a shared camera projection across levels, while parent revisitation addresses boundaries, spatial relations, and shared errors that emerge after local refinement. A vision-language coding agent directly compares reference images with scene renders to guide refinement, recursive descent, and return. Across complex scenes, RCWM outperforms prior code-based image-to-scene reconstruction methods. Ablation studies further support the benefits of recursive construction and suggest that deeper calls can improve finer-scale reconstruction. RCWM provides a recursive construction principle for building complex executable worlds from visual evidence.

18
World in World: Explore the World with World Models

Autoregressive video world models enable interactive, long-horizon exploration, but flexible control remains challenging. Exploring a source video from new viewpoints requires the generated rollout to remain synchronised with the recorded event, place observed content in the requested view, plausibly complete newly exposed regions, and recover previously generated appearance on revisits. Existing methods typically address these requirements through task-specific modules or additional training. We present World in World, a training-free inference-time interface that converts heterogeneous control evidence into camera- and time-labelled clean visual states, which are read through the native self attention of a frozen causal video model. The evidence comprises source-video observations, target-view scene projections, geometry renderings that guide completion of newly exposed subject regions, and retrieved generated states beyond the rolling cache. Each evidence source carries token-level support and its own availability schedule. A correspondence router combines persistent point identities with geometry to establish token correspondences, guiding supported queries towards matching source-video tokens. Evidence-wise attention CFG (EWA) then independently regulates each auxiliary channel's additional contribution using attention responses from the same denoising forward pass. The shared interface supports camera-controlled rerendering, long-horizon revisiting, and human-motion transfer with the same frozen backbone. We evaluate World in World on camera-controlled video rerendering under diverse viewpoint changes, assessing perceptual quality, temporal consistency, and camera-following accuracy.

18
Negative Self-Distillation: Learning to Reason by Avoiding Flaws

On-Policy Self-Distillation (OPSD) has emerged as a popular paradigm for large language model (LLM) self-improvement, allowing models to act as their own teachers by leveraging privileged information such as ground-truth solutions. However, recent findings indicate that OPSD can severely degrade the performance of LLMs on complex reasoning tasks: By forcing the student to imitate an artificially confident reasoning trace conditioned on privileged information, OPSD inadvertently suppresses expressions of uncertainty and penalizes the exploratory, self-corrective behaviors required to solve challenging problems. To address this, we introduce Negative Self-Distillation (NSD), a new framework that optimizes LLMs by diverging from flawed reasoning rather than imitating privileged solutions. Instead of relying on ground-truth answers or external supervision, NSD uses the model itself to generate a question-specific negative condition (eg, acting as a ``careless reasoner'') and pushes the student's distribution away from this self-generated negative teacher. Naively applying unlearning objectives to achieve this divergence is problematic, as flawed reasoning tokens are confounded with basic linguistic tokens; indiscriminately penalizing both risks catastrophically degrading the model's foundational language capabilities. We resolve this by designing a dynamic gating mechanism that automatically identifies and isolates reasoning-critical tokens, ensuring gradient updates target only behavioral flaws while preserving the model's linguistic priors. Empirically, NSD consistently outperforms OPSD and other label-free, self-bootstrapping reinforcement learning (RL) baselines.

17
HyQuant: Hybrid-Precision Quantization for LLM Attention

Quantization has been widely adopted in LLM training and inference to reduce cost and improve efficiency. However, low-bit quantization of the attention module often introduces large errors at very low bit-widths, causing performance degradation. Existing methods mainly rely on smoothing techniques to handle outliers, while we propose a hybrid quantization design to better balance accuracy and efficiency. Specifically, we propose HyQuant, an efficient hybrid quantization framework for LLM attention. HyQuant quantizes most attention states into low-bit formats while retaining a small set of vertical-line tokens and local-window states in high precision. These accuracy-critical regions are selected using lightweight vertical-line-aware attention-pattern signals, reducing quantization error with limited overhead. In the Prefill stage, HyQuant uses a hybrid-precision quantized attention operator that preserves vertical-line tokens and a local sliding window in full precision while quantizing the remaining context. In the Decode stage, HyQuant applies the same principle to KV-cache compression and fuses KV dequantization with attention computation to improve memory and hardware efficiency. Across diverse tasks, models, and datasets, HyQuant maintains nearly lossless accuracy with an extremely simple design, demonstrating the efficiency and practical feasibility of hybrid quantization for LLM attention. Code is available at: https://github.com/jerrysfls/HyQuant .

17
Building Multilingual Bridges: Data Mixing as the Pillar of Generalization for In-Language Reasoning

Reasoning language models have made substantial advances on a variety of complex tasks, yet their capabilities remain overwhelmingly English-centric: models primarily reason in English regardless of the language they are prompted in. This is inaccessible for non-English-speaking users, risks losing the intent of the original question, and forgoes knowledge more readily expressed in the target language. In this work, we advance L2 reasoning, the ability of a model to reason consistently in the language of the user's prompt, thus building an in-language bridge between the prompt and the answer. We approach this problem from a data-centric angle, investigating how to optimize data composition and scheduling in SFT for reasoning generalization. Building Tiny Aya L2-Thinker at 3.35B scale, we achieve an L2 reasoning rate above 93% across 60 languages on 6 benchmarks spanning math, commonsense reasoning, instruction following, open-ended generation, and cultural reasoning while keeping performance strong. We show the path to generalizing L2 reasoning to held-out languages goes through broader language coverage, readily available multilingual non-reasoning data, and a sufficient English reasoning backbone. These findings indicate that reasoning is a language-agnostic behavior that can be transferred across typologically diverse languages through careful data mixing and without requiring reasoning supervision in every target language. We release our model weights and multilingual reasoning data to support further research on accessible, in-language reasoning.

16
Beyond Solver Verdicts: Generative Reward Models for Autoformalization

Neurosymbolic systems rely on mathematical solvers to guarantee reasoning correctness, yet solvers are fundamentally blind to whether a formal translation maintains strict reference-equivalence to a designated formalization. We formalize this vulnerability as Verdict-Preserving-Unfaithfulness (VPU): a failure mode where an incorrect encoding executes successfully and matches the expected verdict. We theoretically prove that structural, verdict-only verification heuristics are mathematically bounded to chance-level detection on these deceptively valid traces. To resolve this, we introduce Generative Verification (GenV), which distills an offline Z3-equivalence oracle into a reference-free, continuous reference-equivalence score by repurposing the language model's native vocabulary space. Mechanistic analysis via decision-projected logit lenses and sparse autoencoders shows this generative readout natively extracts precise spatial error coordinates without explicit localization training. Empirically, our oracle-mined verifier (GenV+HN) achieves 0.961 AUROC in reference-equivalence verification, generalizes zero-shot across unseen translators and divergent formal styles, and yields an 11.3-point downstream accuracy gain in agentic test-time compute allocation.

15
UniH^3: Unifying Hierarchical Homogeneity and Heterogeneity for All-in-One Medical Image Restoration

All-in-One medical image restoration (MedIR) aims to address diverse tasks across modalities and degradation types using a single universal model. Existing methods typically prioritize modeling inter-task heterogeneity (e.g., distinct data distributions and degradation types). However, they largely neglect the inherent homogeneity present in medical images, such as widely shared anatomical structures within and across modalities, which can be leveraged to ease model training and improve generalization. To this end, we propose UniH3, a novel framework that Unifies Hierarchical Homogeneity and Heterogeneity for all-in-one medical image restoration. Specifically, to comprehensively exploit homogeneity, we introduce a Hierarchical Homogeneity Memory (H2M) module that progressively distills intra- and inter-task homogeneity priors from high-quality images during training, and adaptively retrieves the most relevant priors tailored to the input for guided restoration. These retrieved priors are then injected into the restoration pipeline via an efficient Homogeneity-Guided Attention (HGA) mechanism. Furthermore, to comprehensively address heterogeneity, we design a Hierarchical Heterogeneity Balancer (H2B) that mitigates both inter- and intra-task conflicts during optimization, facilitating balanced and effective multi-task learning. Extensive experiments on two large-scale benchmarks, MedIR-2D-500K and MedIR-3D-3K, demonstrate that UniH3 achieves state-of-the-art performance on both all-in-one and single-task medical image restoration. We hope this work establishes a strong benchmark and advances the development of general-purpose medical image restoration models. Code is available at https://github.com/Yaziwel/UniH3.

14
Generative Late-Interaction Embeddings For Visual Document Retrieval

Late-interaction retrieval is the state-of-the-art for visual document search, but it pays for its accuracy in storage. Existing compression methods retain a subset or local average of the N~1,000 vectors per page. Under aggressive storage budgets, however, these methods degrade sharply, and alternatives require retraining the encoder. Investigating this degradation across three encoders, we found two consistent properties: the vectors lie exactly on the unit sphere and concentrate near a manifold of intrinsic dimension five to six. This geometry yields two insights. First, standard k-means centroids fall inside the sphere, causing systematic underestimation of MaxSim scores. Normalizing them to the surface is a free correction worth up to +0.093 nDCG@5 over raw centroids. Second, because the page manifold has few degrees of freedom, the full set of vectors can be regenerated from only a few. To this end, we introduce Generative Late-Interaction Embeddings (GLIE): k << N vectors per page learned from the normalized centroids to serve as both a lightweight index and a basis for regenerating the page's full embedding set. At query time, search runs exclusively on these k vectors, and a decoder expands only the top candidates back to all N vectors for exact rescoring. At four vectors per page on ViDoRe v1, GLIE retains nearly 80% of the uncompressed system's nDCG@5, against 70% for the best prior post-hoc method. These results use a 415K-parameter network fitted in under three GPU-minutes on just a thousand training pages. At a matched training budget, fine-tuning the encoder does not reach even the training-free stage of GLIE, and the full system beats it at every budget. These patterns hold across a second encoder and ViDoRe v2. By reconstructing evidence on demand rather than sampling it, GLIE opens a new axis for storage-efficient retrieval, with the decoder as its main design surface.

14
CARDEA: Auditable Reasoning Grounded in Spatial Evidence for End-to-End Coronary Angiography Interpretation

Invasive coronary angiography (CAG) is the gold standard for diagnosing coronary artery disease, but interpretation varies substantially among observers. Existing AI systems can improve consistency but lack auditable decision processes and are limited in comprehensive open-ended assessment, undermining clinician trust and clinical adoption readiness. We developed CARDEA, a unified large vision-language model that serves as the inference core of a CAG pipeline. It was trained solely on public datasets and closed-ended tasks in three stages: visual feature alignment, a self-distilled Chain-of-Box (CoB) cold start, and reinforcement learning with verifiable rewards (RLVR) with a CoB reward encouraging bounding-box use in the reasoning trace. We assessed its two study-level diagnoses, dominance classification and complexity assessment, against a dedicated classifier and two interventional cardiologists. Report generation was excluded from training and evaluated zero-shot across stages on an external cohort using vessel-severity macro-F_1. CARDEA trailed the classifier on in-distribution dominance but drew level under domain shift (accuracy, 0.91 [95% confidence interval (CI), 0.86 to 0.95]) and was comparable to the cardiologists on complexity assessment (accuracy, 0.90 [CI, 0.82 to 0.97]). Only RLVR improved zero-shot report generation, raising its vessel-severity macro-F_1 (0.686 [CI, 0.664 to 0.707]) above the untuned base model (0.513) and over twice the always-normal floor (0.312). CARDEA runs an end-to-end CAG pipeline from raw multi-view videos through keyframe selection to study-level diagnosis while exposing auditable spatial evidence behind its conclusions. RLVR on verifiable closed-ended tasks surfaced open-ended reporting ability that supervised imitation did not. Clinical use requires prospective validation against expert cardiologists.

13
Think Before You Link: Rarity, Reasoning, and Retrieval in Multilingual Entity Linking

Multimodal entity linking grounds entity mentions in text and images to knowledge-base entries. These systems degrade on rare entities, but prior work measures rarity primarily through popularity-based metrics such as pageviews. We broaden this view using knowledge-graph structural metrics that capture how well an entity is documented and connected. These metrics identify many rare entities that popularity metrics miss. Across the resulting rare-entity slices, state-of-the-art accuracy drops by 15.4-39.9%, showing that different rarity definitions expose different failure modes. To address these failures, we introduce a simple, training-free framework in which a reasoning-capable vision-language model iteratively searches and reasons over Wikipedia, gathering evidence dynamically. Controlled experiments show that reasoning and retrieval are complementary. Reasoning alone does not significantly improve accuracy on rare entities. Retrieval without reasoning improves rare-entity accuracy but can hurt overall accuracy. Their combination performs best. On MERLIN, a multilingual multimodal entity linking benchmark over five languages (Hindi, Indonesian, Japanese, Tamil, Vietnamese), our best system improves over the state of the art by 6.9% overall and by up to 23.3% on rare-entity slices. We release MERLIN-Rare, rare-entity test slices for targeted evaluation, with our framework.

12
Adaptive Bridge: A Proxy-Based Decoupling Layer for Mitigating DDS Backpressure in ROS 2

In systems built on Robot Operating System 2 (ROS 2) and using Data Distribution Service (DDS), a single network-impaired or throttled subscriber on a RELIABLE topic can cause backpressure that degrades throughput and latency for all other subscribers, including safety-critical ones sharing the publisher, because the publisher's DDS writer can no longer accept new samples. We present Adaptive Bridge, a proxy-based layer that decouples critical subscribers from degraded or noncritical ones, thereby isolating the critical path through topic splitting and dynamic rate control. The proxy acts as a middleman and subscribes to the original topic and republishes the messages to two independent DDS writers: one RELIABLE writer for critical nodes and one BEST EFFORT writer for noncritical or degraded nodes, thus isolating the degraded nodes and safeguarding the publisher and critical nodes from backpressure. A probe-based classifier actively monitors subscriber health through sampling with hysteresis and adjusts subscriber rate limits in real time. We evaluate the system under a Gilbert-Elliott bursty wireless loss model using a reproducible Docker-based harness. The results show that using the Adaptive Bridge in our evaluation harness reduces the critical subscriber tail p95 latency from up to 15 s to 1.55 ms across all impairment severities while preserving the publisher's configured throughput.

12
ActReview: Rebuttal-Guided Training Data and Rubric Rewards for Actionable Peer Review Generation

As LLMs are increasingly used for pre-submission self-review, there is growing demand for feedback that not only identifies weaknesses but also guides authors toward concrete revisions. We study this as Actionable Peer-review Generation and decompose it into two subtasks: diagnostic claim generation and revision suggestion generation. We introduce ActReview, a rebuttal-guided post-training framework that connects paper-specific diagnoses to concrete, grounded revision plans. Our central insight is that author rebuttals reveal plausible actions for addressing reviewer concerns and can therefore provide latent supervision for revision-oriented feedback. From real review-rebuttal threads on OpenReview, we construct ActReview-40K by aligning reviewer weaknesses with author responses and grounding the resulting feedback in localized paper evidence. We post-train Qwen3-8B-Base with multi-task supervised fine-tuning followed by GRPO using candidate-aware, weakness-specific rubric rewards. We also introduce ActReview-Bench, a human-curated benchmark of 1,000 instances for evaluating diagnostic quality and revision usefulness. Experiments show that ActReview outperforms prior specialized review-generation models on actionability and grounding while remaining competitive with strong prompt-based LLMs. Human evaluation confirms improved revision usefulness while revealing a remaining gap in technical accuracy, and additional analyses support generalization to held-out papers and robustness across independent judges.

12
IdeaAMBIG: Benchmarking Implementation-Critical Gaps in Research-Idea Specifications

A research idea may be novel, coherent, and scientifically plausible, yet its proposed method may remain insufficiently specified for faithful implementation. We study the codification readiness of implementation-facing research-method specifications, defined by whether they provide sufficient methodological information for a competent implementer or coding agent to construct the intended method without unsupported assumptions. We construct evidence-grounded specifications and their supported resolutions from papers, codebases, issue threads, and reproduction artifacts. We introduce IdeaAMBIG, a benchmark of 660 evidence-grounded instances: 163 real-world gaps from reproducibility reports and GitHub issues, and 497 controlled synthetic gaps injected into codification-ready references. IdeaAMBIG evaluates three capabilities: codification-readiness assessment, defect localization, and clarification action generation. Defect localization receives only the specification, whereas clarification additionally receives the annotated defect. Across 13 LLMs, the best model achieves 9.6% Macro Defect Recovery Rate on real-world instances but 80.6% Macro Clarification Action Success Rate when given the defect. In an oracle study, supplying the gold resolution raises the downstream codification-ready rate from 14% to 98%. Across all evaluated models, defect localization is the main bottleneck, with stronger clarification given the defect.

12
DRG-MAPPO: Hierarchical Dynamic Role-Graph Multi-Agent Reinforcement Learning for Cooperative Air Combat

Multi-Agent Reinforcement Learning (MARL) has emerged as a pivotal paradigm for complex decision-making in autonomous systems and air combat. While MARL has demonstrated significant potential in air combat, achieving sophisticated tactical coordination remains a non-trivial challenge. This difficulty is largely attributed to two primary limitations: (1) the absence of structured relational modeling hinders agents from capturing complex, time-varying interactions among battlefield entities; and (2) conventional flat architectures often lack the capability to explicitly model tactical roles, leading to ambiguous task allocation in highly dynamic environments. To address these challenges, we propose Hierarchical Dynamic Role-Graph Multi-Agent Proximal Policy Optimization (DRG-MAPPO), a novel MARL framework that integrates graph-based relational modeling with dynamic role assignment. Specifically, DRG-MAPPO constructs a graph-based representation of battlefield interactions and leverages graph attention mechanisms to extract critical relational features among allies, enemies, and threats. Subsequently, a high-level policy employs a dynamic role assignment mechanism to determine tactical responsibilities (e.g., ``leader'' and ``supporter''). Conditioned on these roles and encoded graph-relational features, a low-level policy executes discrete maneuver actions, facilitating the joint optimization of tactical strategy and collaborative execution. Furthermore, a target-priority auxiliary task is designed to foster the emergence of behaviors such as focus-fire. Experimental results demonstrate that DRG-MAPPO achieves a state-of-the-art win rate of 87%, suggesting that our framework effectively balances relational modeling, interpretability, and optimization stability for cooperative air combat.

12
05

PRODUCT HUNT

05.00
PRODUCT HUNT

Product Hunt - September 13, 2026

Product Hunt Daily Feed: Featuring noteworthy tech launches.

Calerto for Mac icon
Calerto for Mac

Full-screen meeting alerts for your Mac

0
Stackness icon
Stackness

Show your stack! The social home for your dev tools

0
Wokyintosh icon
Wokyintosh

Turn a spare Mac display into a retro system dashboard!

0
QApilot MCP for Android icon
QApilot MCP for Android

Android app testing inside your coding agent

0
SUDARI icon
SUDARI

A pixel otter desktop pet that reacts to how you work

0
LinkFlick icon
LinkFlick

Stop re-pairing your Magic Keyboard between Macs

0
Pascal’s Pager icon
Pascal’s Pager

Turn webhook JSON into readable iPhone push notifications

0
VoxelWall icon
VoxelWall

Music-reactive live wallpapers for Mac

0
Work Life Panda icon
Work Life Panda

Every task, every calendar, one app. Private on-device AI

0
DockFix 5.0 icon
DockFix 5.0

Replace the macOS Dock with one that is truly yours.

0
Marked Share icon
Marked Share

Markdown and TextBundle editing, review, and sharing

0
ABrush icon
ABrush

AI Studio for Digital Artists

0
Cortex icon
Cortex

Turn API specs into docs, SDKs, and MCP servers

0
Youkti icon
Youkti

Finds who's ready to buy, then tells you what to do next

0
FrameSketch icon
FrameSketch

Scrub vids frame-by-frame and sketch on them at 60fps

0
Kabza icon
Kabza

Take over a real city map with your friends

0
Relic icon
Relic

A private, synced vault of everything you copy

0
Captain Kill Switch icon
Captain Kill Switch

Close all your open apps in one click

0
sizeless icon
sizeless

Spatial AI for underground infrastructure

0
Wisry icon
Wisry

Clone the ads already winning in your market, at scale

0
Spaces icon
Spaces

One shared space where your team and AI agents work

0
Devin Voice icon
Devin Voice

You say it, Devin ships it

0
Sliick icon
Sliick

Free 3D mockups for your screenshots and videos

0
ChatHop icon
ChatHop

Take your conversation anywhere.

0
Moji icon
Moji

Open Markdown files like PDFs.

0
LiveGrid icon
LiveGrid

Watch multiple live streams at once, never miss a thing

0
Jackalope icon
Jackalope

Codex, Claude Code, Grok, + OpenCode in one shared workspace

0
TIM PG icon
TIM PG

Anonymize sensitive data before pasting into AI tools

0
Formesign icon
Formesign

Add legally binding signature to your Google Form

0
Cadenya icon
Cadenya

A hosted agentic loop to bring agentic possibilities to life

0
chat-recall icon
chat-recall

Ctrl+F for every conversation you've had with an AI

0
easyspecs.ai icon
easyspecs.ai

The spec review platform

0
Cline Desktop App icon
Cline Desktop App

An open-source app for open-weight models

0
Anysite.io icon
Anysite.io

Build and enrich B2B lists by chatting to your agent

0
Loqua icon
Loqua

Speak naturally and move from thoughts to being done

0
Accordio icon
Accordio

Give Claude the admin tools is missing

0
GLYPH Immersive icon
GLYPH Immersive

a free tool for modular grid lettering

0
Raycast 2.0 icon
Raycast 2.0

The next generation of Raycast is here

0
Design Studio by Monday Merch icon
Design Studio by Monday Merch

A browser canvas to design merch with over 1.000+ products

0
Speechmark icon
Speechmark

Private, on-device meeting notes for Mac

0
Thousand icon
Thousand

Git-backed docs for humans and agents

0
Live Captions by Subanana icon
Live Captions by Subanana

Your whole audience follows, in their own language

0
Drive icon
Drive

Vehicle telemetry for your next weekend drive with LPR alert

0
Whip icon
Whip

Youtube for interactive web experiences

0
hob icon
hob

The professional workspace for your whole agent stack

0
Gojo icon
Gojo

Local dictation and everyday Mac tools in your notch

0
Vibe Eyes icon
Vibe Eyes

Put your pets in your macOS menu bar

0
Mock Magic: Video Presets icon
Mock Magic: Video Presets

Use saved presets to quickly get a branded device video

0
Wealthfolio icon
Wealthfolio

Private, local-first personal finance

0
Athenic AI icon
Athenic AI

Beat the market with 90+ datasets and AI made for analysis

0
06

TECHMEME

06.00
TECHMEME

Techmeme - September 13, 2026

Techmeme Digest: Major tech headlines and industry conversations.

An analysis of Bending Spoons' financials: the company relies on aggressive post-acquisition price hikes, and rising interest rates could crimp its growth (Jonathan Weil/Wall Street Journal)
Source: TechmemePublished: Sep 12, 2026

Jonathan Weil / Wall Street Journal : An analysis of Bending Spoons' financials: the company relies on aggressive post-acquisition price hikes, and rising interest rates could crimp its growth —  The tech roll-up relies on aggressive price hikes and bespoke metrics.  Rising interest rates could crimp its growth.

Sam Altman confirms OpenAI won't go public this year saying "given everything happening with safety, right now would be an ill-advised moment to go public" (Jason Ma/Fortune)
Source: TechmemePublished: Sep 12, 2026

Jason Ma / Fortune : Sam Altman confirms OpenAI won't go public this year saying “given everything happening with safety, right now would be an ill-advised moment to go public” —  Wall Street will have to wait for one of the most highly anticipated initial public offerings as OpenAI CEO Sam Altman confirmed it will not happen in 2026.

Donald Trump's plan to center Bitcoin mining in the US is unraveling as miners convert facilities into AI data centers amid a prolonged crypto market slump (Bloomberg)
Source: TechmemePublished: Sep 12, 2026

Bloomberg : Donald Trump's plan to center Bitcoin mining in the US is unraveling as miners convert facilities into AI data centers amid a prolonged crypto market slump —  Donald Trump's pledge to ensure that Bitcoin mining activity is centered in the US is rapidly disintegrating under the twin forces …

Elon Musk backs Dario Amodei's arguments about pacing the frontier, saying "Dario is right" (Politico)
Source: TechmemePublished: Sep 12, 2026

Politico : Elon Musk backs Dario Amodei's arguments about pacing the frontier, saying “Dario is right” —  Top executives at three of the nation's leading AI labs are calling for a slowdown in the development of advanced artificial intelligence.  —  The comments are a rare display …

Hugging Face says its Open Alignment Initiative, led by co-founder Thomas Wolf, seeks "to be part of the 'embedded evaluators' program that Amodei" committed to (Clem/@clementdelangue)
Source: TechmemePublished: Sep 12, 2026

Clem / @clementdelangue : Hugging Face says its Open Alignment Initiative, led by co-founder Thomas Wolf, seeks “to be part of the ‘embedded evaluators’ program that Amodei” committed to —  It's now clear that alignment is critical and won't be solved behind the closed doors of a handful of frontier labs. So today we're launching the Open Alignment Initiative, led by @Thom_Wolf @huggingface and asking to be part of the “embedded evaluators

Sam Altman says he agrees with Amodei that "committing to having independent evaluators with employee-like access is a great idea", and OpenAI will do the same (Sam Altman/@sama)
Source: TechmemePublished: Sep 12, 2026

Sam Altman / @sama : Sam Altman says he agrees with Amodei that “committing to having independent evaluators with employee-like access is a great idea”, and OpenAI will do the same —  I agree with Dario that we need to pace the frontier. This has been a primary topic of discussions we've had at OpenAI in recent weeks. Committing to having independent evaluators with employee-like access is a great idea, and we will do the same. We'll have more to share soon.

The US legal system is struggling to keep up with AI, grappling with cases where chatbots provided counsel, generated evidence, or helped plan a mass shooting (Evan Ratliff/Bloomberg)
Source: TechmemePublished: Sep 12, 2026

Evan Ratliff / Bloomberg : The US legal system is struggling to keep up with AI, grappling with cases where chatbots provided counsel, generated evidence, or helped plan a mass shooting —  The first line Phoenix Ikner typed into ChatGPT was a quadratic expression.  It was March 2024, and Ikner was a 19-year-old student at Tallahassee State College, in Florida.

Trump is taking a hands-off approach to AI regulation to preserve the US lead over China, ahead of a summit with Xi Jinping, where AI safety is a top issue (Bloomberg)
Source: TechmemePublished: Sep 12, 2026

Bloomberg : Trump is taking a hands-off approach to AI regulation to preserve the US lead over China, ahead of a summit with Xi Jinping, where AI safety is a top issue —  In June 2024, during a campaign stop in Las Vegas, then-candidate Donald Trump got a glimpse of the technology that would come to define his second presidential term.

Amodei says pacing does not mean halting training or progress, but giving companies time to align and safeguard models and third-party evaluators time to verify (Bloomberg)
Source: TechmemePublished: Sep 12, 2026

Bloomberg : Amodei says pacing does not mean halting training or progress, but giving companies time to align and safeguard models and third-party evaluators time to verify —  Leaders of the world's biggest artificial intelligence platforms said it's time to slow the development pace of their most advanced …

Amodei warns that an OpenAI/Hugging Face-like agent swarm, which "acted as a fanatically devoted collective", could take over the internet in 6-12 months (Auzinea Bacon/CNN)
Source: TechmemePublished: Sep 12, 2026

Auzinea Bacon / CNN : Amodei warns that an OpenAI/Hugging Face-like agent swarm, which “acted as a fanatically devoted collective”, could take over the internet in 6-12 months —  The race to develop artificial intelligence is in dire need of a slowdown, Anthropic's chief executive said in an essay posted early Saturday.

Amodei says Anthropic is "unilaterally committing" to giving third-party evaluators permanent, employee-like access to verify its adherence to safety measures (Dario Amodei/@darioamodei)
Source: TechmemePublished: Sep 12, 2026

Dario Amodei / @darioamodei : Amodei says Anthropic is “unilaterally committing” to giving third-party evaluators permanent, employee-like access to verify its adherence to safety measures —  We Must Pace the Frontier: I've written a new essay on why the AI industry should slow down, with a three-part plan for doing so. Anthropic is unilaterally committing to the first of these steps. We'll provide third-party evaluators with permanent, employee-level access to our systems, so that the...

Dario Amodei proposes steps for pacing the frontier: embedded evaluators, coordination among democracies, and global coordination with authoritarian governments (Dario Amodei)
Source: TechmemePublished: Sep 12, 2026

Dario Amodei : Dario Amodei proposes steps for pacing the frontier: embedded evaluators, coordination among democracies, and global coordination with authoritarian governments —  I have worked on AI for the last twelve years because I believe it could dramatically raise the quality of human life.

As the AI wave creates tech fortunes at breakneck speed, a look at the growing ecosystem helping founders navigate the challenges of becoming extremely wealthy (Tiffany Ap/Bloomberg)
Source: TechmemePublished: Sep 12, 2026

Tiffany Ap / Bloomberg : As the AI wave creates tech fortunes at breakneck speed, a look at the growing ecosystem helping founders navigate the challenges of becoming extremely wealthy —  A growing post-exit ecosystem is helping founders deal with the unexpected difficulties of becoming extremely wealthy.

South Korea's espionage laws, broadened for the first time in over seven decades, take effect on Sept. 13 as foreign spies increasingly target its chip sector (Daniel Tudor/Financial Times)
Source: TechmemePublished: Sep 12, 2026

Daniel Tudor / Financial Times : South Korea's espionage laws, broadened for the first time in over seven decades, take effect on Sept. 13 as foreign spies increasingly target its chip sector —  Seoul broadens its espionage legislation for the first time in more than seven decades  —  South Korea is arming itself …

Q&A with AI researchers John Schulman, Beren Millidge, and Charlie O'Neill on steelmanning the case against RSI, Chinese labs' progress, long-horizon RL, more (Dwarkesh Patel/Dwarkesh Podcast)
Source: TechmemePublished: Sep 12, 2026

Dwarkesh Patel / Dwarkesh Podcast : Q&A with AI researchers John Schulman, Beren Millidge, and Charlie O'Neill on steelmanning the case against RSI, Chinese labs' progress, long-horizon RL, more —  “We're nowhere near the ceiling.”  —  New episode with John Schulman, Beren Millidge and Charlie O'Neill.

07

STARTUP ARCHIVE

07.00
STARTUP ARCHIVE

Startup News - September 13, 2026

Startup News Roundup: Aggregating key funding and launch updates.

Marc Andreessen on the 5 personality traits of an innovator
Source: StartupPublished: Mar 31, 2026

“When you’re talking about real innovators—people who actually do really creative, breakthrough work—I think you’re talking about a couple things:”

Steve Jobs explains the importance of both thinking and doing
Source: StartupPublished: Mar 30, 2026

“The doers are the major thinkers. The people who really create the things that change this industry are both the thinker-doer in one person.”

Tobi Lutke explains what the VCs who passed on Shopify got wrong
Source: StartupPublished: Mar 27, 2026

“What a lot of free-market thinkers don’t understand is that between the demand and eventual supply lies friction."

Sam Altman explains how he decides to invest in a startup after 10 minutes
Source: StartupPublished: Mar 26, 2026

"Does this person have the potential to be the next Mark Zuckerberg?… [You don’t get to] 100% accuracy, obviously, but it’s good enough that our business model works.”

Jony Ive recounts the time Steve Jobs called him vain
Source: StartupPublished: Mar 25, 2026

In the clip below, Jony Ive recounts the time he asked Steve Jobs to be less harsh in his critique of a piece of work.

Jeff Bezos’s two pieces of advice for aspiring entrepreneurs
Source: StartupPublished: Mar 24, 2026

“The advice that I would give entrepreneurs is don't chase the hot new thing. It's so hard to catch something that everybody already knows is hot."

Elad Gil: “Things that work tend to work pretty fast”
Source: StartupPublished: Mar 23, 2026

“I do think there’s a bit of a myth in Silicon Valley that you should keep grinding no matter what and it’s just about perseverance, and I think that’s really bad advice."

Paul Graham on why starting with a “small, intense fire" is the key to startup growth
Source: StartupPublished: Mar 20, 2026

"You have to know who those first users are and how you're going to get them."

Keith Rabois on how to identify great talent
Source: StartupPublished: Mar 19, 2026

“What you want to do with every single employee every single day is expand the scope of their responsibilities until it breaks… and that’s the role they should stay in.”

Wealthfront CEO on why advertising spend makes it harder to find product/market fit
Source: StartupPublished: Mar 18, 2026

“The way that you know you have product/market fit is if you have exponential organic growth."

Eric Schmidt on why most companies get strategy wrong
Source: StartupPublished: Mar 17, 2026

“Work very, very hard to figure out what the world’s going to look like in five years. What will people be doing? What will your customers want? Where will costs be?"

Mark Zuckerberg: “You can’t 80/20 everything”
Source: StartupPublished: Mar 16, 2026

"There’s the famous 80/20 rule where you get 80% of the benefit by doing 20% of the work, but you can’t just 80/20 everything. There have to be certain things that you are just the best at."

Marc Andreessen on Mark Zuckerberg’s founder “superpower”
Source: StartupPublished: Mar 13, 2026

“A great superpower that Mark Zuckerberg has that is probably not well-understood enough is he does not get emotionally upset in stressful situations"

Sam Altman explains how to come up with a great startup idea
Source: StartupPublished: Mar 12, 2026

"If you start a startup without a good idea… you’ll be under pressure to make something up and it won’t work that well."

Jeff Bezos on the problems with proxies and managing to metrics
Source: StartupPublished: Mar 11, 2026

“One of the things that happens in business is that you develop certain things that you’re managing to—a typical case would be a metric. And that metric isn’t the real underlying thing.”

Airbnb founder Brian Chesky on how to design an amazing user experience
Source: StartupPublished: Mar 10, 2026

“If you can design something really amazing using the hand-crafted part of your brain, then you can reverse-engineer how to industrialize this millions of times over."

Spencer Rascoff: "I will never invest in a consumer startup with paid marketing”
Source: StartupPublished: Mar 9, 2026

"If you’re actually trying to grow a product, the best levers for doing that are often within the product itself.”

Patrick Collison explains why it sometimes make sense to quit
Source: StartupPublished: Mar 6, 2026

“One thing I’ve learned myself the hard way, is that it is easier to tear down a company and restart it in Silicon Valley, than it is to constantly try to pivot or keep something alive."

Jeff Bezos recounts the time he called Amazon’s customer service number mid-meeting to prove a metric was wrong
Source: StartupPublished: Mar 5, 2026

“I have a saying, which is when the data and the anecdotes disagree, the anecdotes are usually right"

Ben Horowitz: “Nobody was born a great manager. It’s a very unnatural job.”
Source: StartupPublished: Mar 4, 2026

“If you can’t build a great product, it doesn’t matter if you can build a great company.”

03

ALSO TODAY

3 MORE SOURCES
08

SOLIDOT

08.00
SOLIDOT

Solidot News - September 13, 2026

Solidot Feed: Highlighting essential tech & open-source news.

因 NASA 削减预算 ESA 将独立完成金星探索项目

因特朗普政府削减了 NASA 预算,难以兑现提供合成孔径雷达的承诺,欧洲 ESA 将独立推进金星探索项目 Envision。Envision 轨道探测器任务旨在对金星表面进行测绘,由于金星表面被厚厚的硫酸云层笼罩,需要使用雷达穿透云层。NASA 与 ESA 于 2024 年签署了一份谅解备忘录,NASA 提供美制合成孔径雷达,通过其深空网络提供跟踪与通信支持。作为交换,ESA 将把美国研究人员纳入其团队。然而 2026 年和 2027 年的 NASA 预算被特朗普政府提议大幅削减,虽然国会否决了大部分预算削减方案,但 NASA 的科学预算仍然减少了数亿美元。NASA 的国际合作任务是主要削减对象。

尼泊尔用大疆无人机运送遗体和食物

在毁灭性的泥石流之后,尼泊尔正利用大疆无人机运送遇难者遗体,向幸存者运送食物。尼泊尔军方正使用中国捐赠的四架大疆 FlyCart 100 无人机,每天执行 10-16 次物资运送任务。FlyCart 100 配备了约 30 米长的绳索和绞盘系统,可用于吊装和投放重物。根据电池配置的不同,无人机载重能力在 85-100 公斤之间。尼泊尔军方使用无人机每趟运送约 60 公斤的物资,它也能将遇难者遗体从部分受灾严重的地区运送出来。截至 9 月 9 日,尼泊尔官方确认的死亡人数升至 1369 人,仍有逾 5000 人失踪,其中包括 587 名外国公民。协助珠峰登山者的夏尔巴人从 2024 年起就开始使用 Flycart 100 及较小型号的 Flycart 30 无人机向登山营地运送氧气瓶等物资,将排泄物袋等垃圾运送下山。

远程办公增加了睡眠时间但减少了身体活动

根据 Turku 大学的一项研究,远程办公增加了睡眠时间但减少了身体活动。研究人员分析了混合办公者在远程办公和去办公室办公之间的睡眠、久坐行为及身体活动差异。结果显示,相比去办公室办公,远程办公日的平均睡眠时间多了 15分钟,但坐姿或卧姿时间增加了 45 分钟。站立、轻度身体活动以及中高强度身体活动的时间都有所减少。研究还显示,办公室办公日的步行和骑行活动,在远程办公日部分被坐姿、卧姿和睡眠所取代,因为远程办公不需要通勤。

科学家利用高压和逾 2000 高温制造超离子冰

水是人类文明中最常见也最不可或缺的物质,但如果单纯以理化的视角来看,它其实是太阳系中最怪异的液体之一。结冰时体积膨胀密度变小、高得离奇的表面张力和沸点,若仅按分子量计算,它在室温下甚至本该是气态。而当我们离开地球,将环境调至极端的高温与高压时,水分子的行为还会变得更加离奇。一个法国的研究团队,近期在实验室中成功打造出极端环境下的新型态冰结晶——六方密堆积超离子冰(hexagonal close-packed superionic ice)。当水受到数百万大气压的强烈挤压时,高温下的气体膨胀会被强制抑制,进而转化为一种名为超离子冰的奇特物质状态。在这种状态下,水分子不再完整存在,氧原子会被死死锁定在固态晶格中,而氢原子核则像液体中的粒子一样,在晶格间自由穿梭扩散,形成一种既非纯固态、亦非纯液态的异相态。为了模拟天王星与海王星等冰巨行星内部的极端世界,研究团队将微量的水放置于两端钻石尖端之间,施加高达 230 万个大气压(与其对比,地球核心的压力为360万个大气压)的压力,并利用激光加热至 2,630K(约2,357℃)。透过高能同步辐射 X 射线的精细扫描,科学家首度捕捉到了氧原子呈六方密堆积(hcp)排列的超离子冰结晶。实验显示,随着压力与温度不断攀升,原本常见的面心立方(fcc)结构会逐渐发生层间滑移,最终完全转变为结构更为稳定的 hcp 超离子冰。

中国科学家提议利用废弃煤矿展开农业试验

中国各地分布着逾 12,000 座废弃煤矿,这些煤矿拥有巨大的地下空间和完善的基础设施,具备改造利用的潜力。太原理工大学、山西省煤基资源绿色高效开发工程中心等机构的研究人员在《中国矿业》期刊上发表论文,提议利用废弃煤矿展开农业试验。废弃煤矿的一个显而易见的缺陷是缺乏农作物所必须的阳光和降雨,但优点是地下环境能精确调控,不受天气波动、气候变化及自然灾害的影响。研究人员称,“在全球气候变化加剧及极端与封闭环境农业需求不断增长的背景下,探索煤矿地下空间农业实验模式具有重要科学意义与工程价值。”研究团队进行了一番评估,认为部分煤矿能提供足够稳定的环境可用于农业种植。研究人员称,“结果表明:在围岩稳定性满足工程要求、通风与排水系统完善及安全监测体系健全的条件下,煤矿地下空间具备构建农业实验单元的工程基础;地下空间可通过人工光源与环境调控系统,实现光、热、水、气及碳等关键要素的独立供给与精准调控,从而支撑高度可控农业实验的开展。”研究人员还指出,地热能可作为一种可持续的农作物热源,且产生的温室气体排放量远低于传统能源。

儿童因经常将笔记本电脑放在腹部而出现烤肤症

《BMJ Case Reports》报告了一起奇特的病例,一名儿童因腹部皮肤出现奇怪斑痕而送去急症。医生查找许久未发现病因,因此开了抗生素让他回家,叮嘱父母如果病情变化立即来复诊。两周后,这名儿童再次入院,他的病情出现恶化。皮肤斑块变大,颜色变深,且有触痛。这名儿童透露了一个情况,他是在家上学,经常使用笔记本电脑,他习惯将笔电放在腹部,有时一用就是八个小时,还经常在电脑充电时使用。医生终于明白了他的病因,诊断他患有 Erythema ab igne(EAI),也被称为烤肤综合征(toasted skin syndrome),一种因反复、长时间接触低强度热源而引发的皮肤病,多见于成年人,常见诱因包括因慢性疼痛使用电热垫或热水袋,以及长时间近距离靠近取暖器。EAI 发病机制不完全清楚,研究人员推测,长期受热会导致浅表血管受损及红细胞渗出,从而形成典型的红色网状斑纹。好消息是 EAI 是良性且可逆的,只要移除热源即可。其父母几个月后反馈称皮肤斑块消失了。

Rust 语言成为微软的一级支持语言

微软 Rust 工具团队首席工程师 Victor Ciura 在本周举行的 RustConf 大会宣布,微软已将 Rust 语言指定为“一级(Tier One)”支持语言,与 C++、C# 和 TypeScript 处于同一位置。Ciura 表示,微软构建了一套完善的工具和流程体系,为 Rust 语言在整个软件开发生命周期中的本地开发提供支持。Rust 语言是一种内存安全的高性能语言,已被微软逾百个项目库使用。为减少内存相关 bug,Rust 语言正被用于重构从数据库到包管理器等各种软件项目。

约会软件在消失

很多人的智能手机上可能仍然安装了约会软件,但打开频率日益下降。2026 年的一项 Harris 民调显示,三分之二的单身人士没有使用过约会软件,而八成美国人将现实生活中认识某个人视为“可爱”或“酷”。约会软件承诺提供丰富的选择:成百上千的潜在伴侣,足不出户即可触达。但这种丰富性也带来了新的负担。每次使用都需要用户做出一系列繁琐的决定——是否滑动屏幕、发起对话、维持对话、安排约会,还是继续寻找更合适的人。研究表明,这个过程会让人精疲力竭。亚利桑那州立大学 Relationships and Technology Lab 主任 Liesel Sharabi 领导的一项纵向研究,追踪了约会软件用户 12 周,发现随着时间的推移,他们的情绪耗竭和无力感都在加剧。巴斯大学心理学博士后研究员 Samuel Hipkiss 认为约会软件让接触到的潜在伴侣数量远超过线下,这要求我们对几乎一无所知的人做出数百项判断,最终结果会是决策疲劳和愤世嫉俗。被拒绝一直是约会的一部分,但约会软件大幅增加了遭遇拒绝的机会。

2026 年 8 月是全球有记录以来最热的月份,并列第一

欧盟哥白尼气候变化服务中心(C3S)公布的数据显示,2026 年 8 月是全球有记录以来最热的月份,与 2023 年 7 月并列第一。这一记录是气候变化与厄尔尼诺影响增强共同驱动的。8 月气温比工业化前水平高 1.65C,超过了世界各国为避免气候变化最严重后果而商定的 1.5C 阈值。单月气温超过 1.5C 并不意味着这一阈值已被永久突破,但显示出一种逼近该限制的趋势。今年夏天也是西欧有记录以来最热的夏天。

2026 年夏天是美国有记录以来最热的夏天

NOAA 的数据显示,美国经历了有记录 132 年以来最热的夏天,气温超过了 1936 年和 2021 年夏天——这两个年份此前并列最热夏天纪录。2026 年 8 月以及 6-8 月整个夏季均创下了历史新高,而 7 月更是美国有记录以来最热的一个月份。美国本土 48 州 8 月份的平均气温为 75.6 华氏度,比 20 世纪的平均水平高出 3.5 华氏度。夏季 6-8 月平均气温为 74.4 华氏度,比平均水平高出 3 华氏度。西南部的亚利桑那州、新墨西哥州、犹他州和科罗拉多州均创下了各自最热夏季纪录。全美范围内创下或追平月高温纪录的次数高达 1541 次,而创下或追平月度低温纪录的次数仅为 87 次。如果气候未出现急剧变暖,通常会预期打破高温纪录与打破低温纪录的比例大致相当。NOAA 的数据还显示,自 1970 年以来,美国 6-8 月气温每十年上升了约 0.46 华氏度。

Google 购买芬兰一核电站一半的发电量

Google 宣布斥资  130 亿欧元在芬兰投资 AI 基础设施,其中包括购买一座核电站 50% 的发电量。这是 Google 在欧洲最大的单项投资。这笔投资将用于建设三个新数据中心、扩建现有设施,并持能源项目,以满足对 AI 服务日益增长的电力需求。作为协议的一部分,Google 与芬兰公用事业公司 Fortum 签署了一份为期 22 年的合同,将购买 Loviisa 核电站最多 50% 的发电量。本周早些时候,TikTok 也宣布投资 10 亿美元在芬兰 Kouvola 建设新数据中心,理由是该国拥有“强大的数字基础设施、清洁的能源结构、健全的数据治理体系以及高素质的技术人才”。

天文学家发现最遥远原始星系团

国际天文学家团队发现了迄今已知最遥远的原始星系团 COSMOS-z3.1-A。它诞生于宇宙年龄仅 21 亿年之际,质量约相当于银河系的 5000 倍。这项发现不仅支持了现有的星系团演化理论,也揭示了它们如何嵌入更大尺度的宇宙网。星系团是宇宙中质量最大的引力束缚结构,由数百乃至数千个星系组成。人们今天在较近时空中观测到的星系团,是由原始星系团演化而来的成熟结构。原始星系团是巨大而松散的星系集合,尚在合并之中,还未凝聚成稳定的星系团。研究宇宙年轻时期形成的遥远原始星系团,有助于理解现代星系团如何在漫长岁月里生长和演化。COSMOS-z3.1-A 是迄今已知最早、最遥远的原始星系团,也是宇宙中最为致密的区域之一。

IMDb 引入了“数字创作者”的新职业

IMDb 为其平台及 IMDbPro 引入“数字创作者”(Digital Creator)这一全新职业类别。IMDb 表示,此举为直播主、视频博主(Vlogger)、网红(Influencer)、视频评论创作者(Video Essayist)及等网络创作者提供了一种“展示其作品并与受众、业内同行及潜在雇主建立联系的专属途径”。该类别包含多个细分职业,以更具体描述创作者的工作,其中包括 Streamer、Vlogger、Video Essayist、Video Creator、Gaming Creator 和 Influencer。

WordPress 联合创始人 Matt Mullenweg 被强制休假

WordPress 联合创始人、Automatti CEO Matt Mullenweg 被董事会投票强制休假,其职位由首席财务官 Mark Davies 暂时接替。Automattic 过去几年陷入了与竞争对手 WPE 耗时漫长的法律纠纷、经历裁员、员工离职以及围绕 Mullenweg 领导风格的争议。Mullenweg 是通过 Slack 频道宣布了这一消息,他指控 Mark Davies 与董事会成员串通投票强制他休带薪假,他本人投了反对票,他是在会议开始前 50 分钟才收到决议,反复请求给予时间,哪怕只有几个小时,让独立法律顾问进行审查,但遭到拒绝。WordPress.org 开源社区执行总监 Mary Hubbard 表示该开源项目没有受到影响。

中国留学生因 AI 制作深度伪造色情被判刑

一名 30 岁的在韩中国留学生 A 某因涉嫌利用深度伪造技术制作 1000 余条淫秽色情内容,于 9 月 10 日被一审法院判处有期徒刑 1 年零 6 个月,并责令其接受 40 小时的性暴力防治教育,今后 5 年禁止其在儿童和青少年相关设施和残疾人福利设施就业。A 某涉嫌自去年11月起利用 AI 将研究室同事等 7 名受害者的面容合成到不雅视频和照片中,制作 1141 条淫秽色情内容。检方提出 3 年量刑建议,并请求法庭判令公开被告人身份信息,责令其接受性暴力防治教育。法院就量刑理由表示,被告人的犯罪情节恶劣,且未能取得被害人谅解,罪责较重。但被告人认罪悔过态度良好、无犯罪前科、无证据证明涉案视频被传播等情况,可作为酌定量刑情节予以考虑。

强降雨加剧微塑料向河流的输送

根据发表在《科学》期刊上的一项研究,河流向海洋输送的微塑料污染量可能远超此前的认知,且全球几乎所有的微塑料排放均来自发展中国家。这项全球性分析还发现,强降雨会导致河流中微塑料含量激增——这是一种易受气候影响的污染威胁,并可能会随着极端天气的日益常见而加剧。微塑料已成为一种无处不在且持久的污染物,它对生态系统、水质及人类健康构成公认的威胁。每年有数千万公吨的微塑料被排入环境,而其中大部分会最终抵达海洋。河流是将这些颗粒从内陆地区输送至沿海水域的主要途径。研究人员估算,2022 年全球河流向海洋输送了约 26.3 万吨微塑料,其中 96% 来自“全球南方”地区——仅东南亚和东亚就贡献了该总量的半数以上。塑料使用、对废弃物的管理不善以及人类社会发展是导致微塑料浓度地域差异的主要因素,而天气和季节条件则会影响其短期波动。研究结果表明,极端降雨事件会大幅增加微塑料向河流的输入量,特别是在塑料使用量大且对废弃物管理薄弱的地区。

LG 强烈否认其监视电视用户

本周早期时候,YouTube 主播 Gamers Nexus 与独立安全研究人员合作,发现 LG 的智能电视机即便在离线或待机模式下也会持续记录并上传用户数据。LG 电视还会扫描 Wi-Fi 网络、记录音频日志,采样音视频输入内容以识别用户正在观看的节目。LG 在一则声明中称视频内容不实,“LG 电视仅在用户按住遥控器上的语音按钮,或在激活 Far-Field 功能后识别出‘Hi LG’等唤醒词时,才会处理语音数据。”LG 表示除此之外其智能电视不会收集或记录环境中的对话。如果未识别出唤醒词,电视不会向服务器传输任何语音数据,针对唤醒词的音频处理是在设备本地完成的。LG 声称 Automatic content recognition (ACR)是可选启用的功能,旨在提供个性化的内容推荐、服务及广告。在默认情况下,未经用户同意,ACR 数据不会被用于广告目的。

育碧准备在 Steam 上取消安装 Ubisoft Connect 客户端的要求

在 Steam 上购买和运行育碧的游戏需要安装其客户端 Ubisoft Connect,启动游戏时需要同时启动育碧和 Steam 两个启动程序,这种做法长期受到 Steam 玩家的诟病。现在育碧宣布将逐步取消这一要求,“从《Prince of Persia: The Lost Crown》起,我们将测试一项名为‘Ubisoft Connect Services’的全新 Steam 工具。该工具能保留跨平台进度、跨平台联机、玩家安全保障、挑战与奖励等育碧游戏功能,而无需安装或启动 Ubisoft Connect PC 客户端。”Ubisoft Connect Services 未来将逐步推广给 Steam 平台上更多的育碧游戏。

OpenAI 声称解决了 Navier-Stokes 问题,但引发了利用未发布成果的争议

约 200 年前,法国物理学家克劳德-路易·纳维和爱尔兰物理学家乔治·斯托克斯提出了一组至今仍然广泛使用的、描述液体、空气等流体运动的偏微分方程。Navier-Stokes 方程并不保证适用于所有可能的情况。几十年来,数学家一直致力于寻求证明方程的普适性或导致方程失效的特例。2000 年克雷数学研究所将 Navier-Stokes 方程列为七大千禧年数学问题之一。OpenAI 本周宣布通过动用约 1 万个 AI 智能体进行长达 88 小时的攻坚,于 9 月 5 日发现了一个 Navier-Stokes 方程失效的特例。如果得到确认,将标志着 AI 首次解决了一个重大的数学难题。但此事在数学界引发了巨大争议。过去一个月,纽约大学数学家 Tristan Buckmaster 和 Anthropic 研究员 Levent Alpöge 利用来自 OpenAI 和 Anthropic 的 AI 工具在解决 Navier-Stokes 问题上取得了重大进展。然而就在他们准备公布研究成果之前,OpenAI 投入了数百万美元算力,开展了大规模攻坚行动。OpenAI 声称它未利用 Buckmaster 和 Alpöge 的最新研究成果,但 Buckmaster 公开发表声明,对此提出质疑。纽约大学团队指控 OpenAI 抓取了他们的数据训练其模型。

微软九月例行更新修复近千个 Bug

在 AI 辅助发现 bug 的时代,主要操作系统每个月修复的 bug 数都在飙升。微软周二释出了九月例行安全更新,总共修复了 974 个 bug,数量为史上最多,今年的安全补丁数已超过 2600。最新补丁包括了 2 个正被利用的提权 0day 漏洞 CVE-2026-81963 和 CVE-2026-85880,113 个 bug 被列为高危,438 个提权 bug,19 个安全功能绕过 bug,258 个远程代码执行 bug,173 个信息泄露 bug,56 个拒绝服务 bug,16 个欺骗 bug。比较严重的 bug 包括存在于 Windows Server 2012 以上版本 和 Windows 10 的 DNS 漏洞 CVE-2026-69730,未经身份验证的攻击者只需向受影响系统发送特制数据包即可利用该漏洞;另一个是 Windows Shell 程代码执行 bug CVE-2026-69829,威胁评分 9.8.10,极其容易利用。

09

APP STORE RANK

09.00
APP STORE RANK
Loading…
TEXT VIEW · TODAY'S DIGEST · 0 HEADLINES ACROSS 8 SOURCES

Hacker News(0)

No items yet for today.

GitHub Trending(0)

No items yet for today.

Product Hunt(0)

No items yet for today.

Hugging Face(0)

No items yet for today.

Techmeme(0)

No items yet for today.

Solidot(0)

No items yet for today.

Startup Archive(0)

No items yet for today.

App Store Rankings(0)

No items yet for today.