Curated by Shen Huang · 90 stories · ~14 min read
DIGEST · 2026-07-23

OrangeBot.AI Digest — 2026-07-23

90 headlines across 8 sources, aggregated for this day.

Hacker News(15)

  1. Namecheap Gave My Account to an Unverified Third Party Just Because They Asked
  2. Couple pay >$800k for a gene-editing therapy for their daughter. She died. (www.science.org)
  3. Show HN: Echo – Fable-level results at 1/3 the cost using open-weight models
  4. The arguments against open source AI are bad (tombedor.dev)
  5. What happened to TheNumbers.com (stephenfollows.com)
  6. DARPA, U.S. Air Force fly AI-controlled F-16 (www.darpa.mil)
  7. Startup founders urge U.S. government not to shut off Chinese open weight AI (www.politico.com)
  8. Learn OpenGL, extensive tutorial resource for learning Modern OpenGL (learnopengl.com)
  9. Writing by hand is good for your brain (nealstephenson.substack.com)
  10. Software rendering in 500 lines of bare C++ (haqr.eu)
  11. Astronomers may have found the first exomoon (www.eso.org)
  12. AI Companies Are Trying to Hide a Staggering Amount of Debt (futurism.com)
  13. Alphabet's cash burn raises alarm for Big Tech as AI spending climbs (www.reuters.com)
  14. OpenAI and Anthropic unite against open-weight AI risks to their bottom line (www.axios.com)
  15. EU fines Google €890M for competition breaches over search and apps (www.theguardian.com)

GitHub Trending(15)

  1. block / buzz
  2. koala73 / worldmonitor
  3. shiyu-coder / Kronos
  4. Pumpkin-MC / Pumpkin
  5. citrolabs / ego-lite
  6. chrislgarry / Apollo-11
  7. diegosouzapw / OmniRoute
  8. ComposioHQ / awesome-claude-skills
  9. earthtojake / text-to-cad
  10. agegr / pi-web
  11. alibaba / open-code-review
  12. ruvnet / RuView
  13. likec4 / likec4
  14. Automattic / harper
  15. jellyfin / jellyfin

Product Hunt(15)

  1. Blaxel Agent Drive

    A shared filesystem for AI agents

  2. Caw

    Open source web terminal multiplexer for AI agents

  3. Fable Flight

    Learn to fly with a live AI instructor

  4. NotifyBridge

    Dead-Simple IoT Push Notifications for Makers & Hobbyists

  5. Swenest

    A platform that teaches how to navigate real-world code.

  6. Squishy

    the screen time pet you keep alive with someone

  7. AuraSpeak

    Break the English ↔ Japanese language barrier with a QR scan

  8. Cubby Clipboard

    Windows clipboard history that searches inside screenshots

  9. PromptScout

    Increase your brand's AI visibility on autopilot

  10. Plow Mac App

    Run GPT-5.6 on OpenClaw & Hermes safely on your Mac

  11. Drawsy

    An AI workspace where your canvas and code work together.

  12. HonorBox

    Sell digital products with just Stripe and GitHub

  13. Fathom

    Turn messy bank exports into clear financial decisions

  14. SwiftScale Software

    QA agent that tests apps the way you'd explain them

  15. canitbebuilt

    Your hardware idea, inspected. Verdict, BOM, 3D model.

Hugging Face(15)

  1. SLAI T-Rex: Full-Parameter Post-training of the DeepSeek-V4 Family on Ascend SuperPOD

    Full-parameter post-training of trillion-parameter-scale MoE models introduces substantial system-level challenges for large-scale distributed training, including severe memory pressure, non-overlapped communication overhead, and inefficient kernel execution. While most large-scale LLM training systems are built around GPU-based clusters, this report presents an end-to-end optimization practice on the Ascend NPU SuperPOD. Using the DeepSeek-V4 model family as the target workload, we develop a hierarchical optimization framework spanning model-level parallelism, computation-communication orchestration, and low-level kernel execution. The resulting system achieves 34.22% Model FLOPs Utilization (MFU) with a 2.93x improvement over the open-source baseline recipe while maintaining training stability. Building on this optimized infrastructure, we further establish a CPT and SFT workflow for complex Operations Research (OR) tasks. We refer to the integrated framework as SLAI T-Rex. Using DeepSeek-V4-Flash, we develop OR-oriented CPT and SFT data pipelines that combine collected domain resources with solver-verified synthetic optimization documents. The resulting dataset contains 10K high-quality SFT samples spanning four task categories and three problem representations. The specialized model achieves the highest average zero-shot Pass@1 score among the evaluated models, reaching 71.81% and outperforming GPT-5.4-Mini and the base DeepSeek-V4-Flash model by 3.98 and 11.27 percentage points, respectively. Overall, this work demonstrates a full-stack pathway from efficient trillion-parameter model post-training on Ascend infra to domain-specialized Flash models for solver-grounded mathematical modeling, advancing frontier-model systems for complex reasoning.

  2. Self Gradient Forcing: Native Long Video Extrapolation

    Recent autoregressive video diffusion methods are increasingly built upon Self Forcing, where the student is trained on histories produced by its own rollout rather than ground-truth video contexts. This reduces exposure bias, but the historical key-value cache is still used by future frames only as frozen rollout state. As a result, future losses cannot supervise how earlier generated latents should be written into more useful keys and values for later video-latent generation. We call this the historical context-gradient gap. We propose Self Gradient Forcing (SGF), a two-pass training strategy that restores this missing supervision signal without backpropagating through the full serial rollout. Pass 1 performs a no-gradient autoregressive rollout matching inference and, at a sampled denoising exit step, records both the self-generated context and the noisy latents fed to the model. Pass 2 performs parallel context-gradient reconstruction for the recorded exit step. The generated context is used as stop-gradient clean-latent input, while the model recomputes the context KV representations and future-to-context causal attention. Thus, SGF provides the missing memory-writing supervision within the native autoregressive training objective, using losses on future video latents to train the model to encode context into more effective causal memory. Across extensive long-horizon frame-wise and chunk-wise experiments under different initializations, SGF achieves stronger native long-video extrapolation than Self Forcing, especially in subject identity, background/layout consistency, and temporal stability. Remarkably, using only a 5-second training window, SGF can extrapolate to videos lasting several minutes. Code and models will be released to advance research on autoregressive video generation.

  3. Beyond Relevance-Centric Retrieval: Rubric-Oriented Document Set Selection and Ranking

    As large language models and AI agents become the primary consumers of search results, document set quality determines the upper bound of downstream generation. Yet existing evaluation systems remain confined to scoring documents independently and aggregating via nDCG, ignoring inter-document interactions (redundancy, conflict, complementarity) and unable to answer what makes one document set better than another. To address these issues, we propose a complete evaluate-diagnose-optimize framework. We design SetwiseEvalKit, a three-level, nine-dimension document set evaluation benchmark covering both short-form and long-form scenarios, comprising approximately 28K high-quality evaluation rubrics. We systematically evaluate 12 rerankers: even the best method achieves no more than 45% coverage, cross-document coordination dimensions are universally weak, and no single method maintains top performance across both settings. Building on this, we propose Rubric4Setwise, a training-free method that converts rubric-based evaluation criteria into document set selection signals, achieving the best downstream generation performance with fewer documents and search rounds. It is the only method that maintains state-of-the-art results across both scenarios, validating the effectiveness of closing the loop from evaluation to optimization.

  4. An Exam for Active Observers

    Human vision is a closed loop: gaze is continuously redirected by intermediate hypotheses rather than a single snapshot. Decades of psychophysics and cognitive science have argued that this active observation is essential for a wide range of tasks. Whether today's multimodal large language models (MLLMs) exercise active observation is an empirical question that current vision-language benchmarks do not answer. We introduce ActiveVision, a benchmark that makes active observation measurable for MLLMs, comprising 17 tasks across 3 categories. Tasks are designed to force repeated visual perception rather than a single static description. Frontier MLLMs collapse on ActiveVision: the highest-scoring model we evaluate, GPT-5.5 at the highest exposed reasoning-effort tier, solves only 10.6% of items and scores zero on 11 of the 17 tasks, and even Claude Fable 5, despite topping most reasoning and coding leaderboards, solves just 3.5%, far behind three human participants who average 96.1%. Furthermore, much of the gap persists even when models write and run their own vision code: such code is unreliable on realistic imagery, and catching its failures itself requires the active perception the models lack. Together, these results indicate that current MLLMs lack robust active visual observation, motivating architectures and training objectives that close the perception-reasoning loop.

  5. Scaling Laws for Hypernetwork-Based Knowledge Injection in Large Language Models

    Injecting factual knowledge into large language models (LLMs) reliably and at scale remains an open challenge. Hypernetworks provide a promising solution to large-scale knowledge injection. Although hypernetworks are typically applied for test-time adaptation, we explore their use in train-time knowledge injection, where, given a large corpus of facts, we train a hypernetwork to generate a fixed LoRA adapter that, when inserted into the target model, enable the model to answer questions about those facts. In this work, we investigate whether hypernetworks can be used to perform train-time knowledge injection and how this ability varies with scale. The scaling behavior of hypernetworks remains largely unstudied. Our design decouples the hypernetwork's injection capacity from the target model's general capability, enabling, for the first time, a rigorous study of scaling laws for hypernetwork architectures. We characterize how loss, reasoning accuracy, and out-of-distribution (OOD) generalization vary with hypernetwork depth, width, and target network size. We construct a large-scale dataset, called MegaWikiQA, containing tens of millions of multi-hop question-answer examples across 39 domains constructed from examples in Wikidata5M. Our results reveal: (i) hypernetwork-based injection exhibits broadly predictive power law scaling along all architecture axes; and (ii) hypernetworks are capable of reliable OOD generalization at increasing scales, suggesting that hypernetwork provides a promising alternative to other train-time adaptation methods such as LoRA finetuning and full fine-tuning, exhibiting steeper scaling exponents in all OOD evaluations. Together, these results establish hypernetworks as a principled and scalable substrate for train-time adaptation, and provide the first empirically grounded scaling laws to guide hypernetworks for factual reasoning in large language models.

  6. Generalizable VLA Finetuning via Representation Anchoring and Language-Action Alignment

    Finetuning a pretrained vision-language model (VLM) on robot demonstrations via behavior cloning (BC) has become the standard recipe for vision-language-action (VLA) policies. However, BC finetuning progressively overwrites the pretrained representations that support visual and semantic generalization. Co-training on web image-text data, a common remedy, does not prevent this; it applies language and action losses to separate observations, leaving VLAs with language-action misalignment that standard manipulation benchmarks do not expose. We propose Anchor-Align, which augments BC with two objectives: Vision-Language Anchoring distills layer-wise representations from a frozen VLM copy to prevent this drift, while Language-Action Alignment converts each action target into a discrete motion-direction label and jointly trains language and action prediction on the same robot observation. On a physical xArm7 robot, across two widely used VLA architectures, Anchor-Align improves real-robot success on both (28% to 54% and 37% to 60%). At scale in simulation, we demonstrate consistent improvements on OOD perturbations, perceptual robustness, and long-horizon control across LIBERO-PRO, LIBERO-Plus, and CALVIN, respectively, suggesting that preserving pretrained representations and effective action learning are not fundamentally at odds. Project page: anchoralignvla.github.io

  7. Beyond Euclidean Clipping: Overcoming Exploration Collapse in LLM RL via Riemannian Isometric Policy Optimization

    Reinforcement learning (RL) has become a dominant paradigm for enhancing LLMs' reasoning capabilities. However, RL algorithms with PPO-Clip are inherently limited by exploration collapse. Subsequent works remain primarily heuristic and fail to identify the essential cause of PPO-Clip's failure. This work reveals the fundamental flaw of PPO-Clip: it implicitly measures policy discrepancy using Euclidean metric, which is theoretically inconsistent with the intrinsic geometry on the policy Riemannian manifold. This geometric mismatch results in overly conservative updates in low-probability regions while aggressive in high-probability regions, ultimately collapsing exploration. To correct this geometric flaw, we propose Riemannian Isometric Policy Optimization (RIPO), which guarantees isometric policy updates on the Riemannian manifold, effectively balancing exploration and exploitation. We further show that RIPO achieves a favorable bias-variance trade-off, which stabilizes optimization. Extensive experiments demonstrate that RIPO significantly surpasses existing LLM RL algorithms across seven competition-level benchmarks (up to 60% improvement over GRPO on AIME24).

  8. DocOps: A Verifiable Benchmark for Autonomous Agents in Complex Document Operations

    As autonomous agents rapidly evolve, their ability to reliably manipulate ubiquitous digital documents has become critical for enabling general-purpose AI assistants and automating complex workspace workflows. In this paper, we introduce DocOps, a deterministically verifiable evaluation framework underpinned by a hierarchical taxonomy that deconstructs document operations inspired by real-world practices into atomic dimensions and escalating workflow complexities. Based on DocOps, we systematically evaluate representative closed- and open-source models across various agentic harnesses, revealing that even the most advanced frontier configurations still exhibit profound limitations when handling highly coupled, long-range tasks. Furthermore, a fine-grained analysis of existing agents' manipulation behaviors uncovers 3 key failure modes: long-term state tracking collapse, shallow semantic verification, and destructive editing of structural metadata. Ultimately, our work exposes the capability boundaries of agents in maintaining global document consistency, shedding light on the future design of robust, non-destructive agents for complex digital ecosystems.

  9. FVAttn: Adaptive Sparse Attention with Runtime Load Balancing for Video Generation

    Video Diffusion Transformers process long spatio-temporal sequences, making self-attention the main bottleneck in high-resolution video generation. Training-free sparse attention reduces this cost, but adaptive Top-p routing creates uneven per-head workloads under multi-GPU sequence parallelism. The resulting workload heterogeneity turns sparse attention into a rank-level straggler problem. We present , a training-free sparse-attention system that improves the distributed execution efficiency of adaptive sparse attention under multi-GPU sequence parallelism. uses Top-p routing, a Top-k safety floor, and video-aware block organization as the sparse-routing frontend, then repairs the materialized mask at runtime. Runtime Load Balancing migrates a small number of heavy heads via P2P communication to shorten the current critical path. Slack-Aware Sparse Augmentation fills residual non-critical-rank slack with additional high-value blocks, while overlap hides scheduling and migration overhead behind existing computation. On step-distilled Wan2.2 I2V, reduces average load imbalance from 1.34 to 1.08 and delivers a 4.41times attention speedup over FlashAttention, while achieving a 2.02--2.11times DiT inference speedup with competitive video quality.

  10. Trace: A Taxonomy-Guided Environment for Multidomain Visual Reasoning

    Reinforcement learning with verifiable rewards (RLVR) has substantially improved language-model reasoning, yet its extension to vision-language models remains constrained by the lack of training data that are simultaneously broad, exactly verifiable, and reproducible. We introduce Trace, a taxonomy-guided environment for multidomain visual reasoning. Trace factorizes task construction into a scene grammar and an executable task program, separating visual realization from answer computation. A shared semantic state determines the rendered image, prompt, typed answer, verifier state, and replayable instance trace. The resulting environment comprises 1,000 tasks over 277 scene grammars and 11 visual domains, with controlled semantic and visual variation. RLVR on 64,000 Trace instances improves the macro-average across 24 external benchmarks by 3.51 percentage points for Qwen2.5-VL-3B and 4.06 points for Qwen2.5-VL-7B, providing evidence that broad procedural training can transfer beyond the generated task distributions. Project page: https://maveryn.github.io/trace/.

  11. SLPO: Scaling Latent Reasoning via a Surrogate Policy

    Reinforcement learning with verifiable rewards has become the predominant recipe for eliciting test-time scaling in explicit Chain-of-Thought reasoners. Yet this scaling path remains computationally costly, since every intermediate step must be decoded as a language token. Latent reasoning instead carries intermediate computation as continuous vectors and already matches or surpasses explicit CoT at far shorter horizons. Despite this promise, latent reasoners remain largely imitation-bound, while explicit CoT has already moved past imitation via outcome-reward RL. Latent trajectories lack a tractable per-step likelihood and an adaptive stopping interface under fixed thinking budgets, so outcome rewards cannot elicit latent test-time scaling. We introduce Surrogate Latent Policy Optimization (SLPO) to bring outcome-reward RL to autoregressive latent reasoners: an empirical surrogate policy density over latent transitions for trajectory-level credit assignment, and a correctness-supervised stopping head that outcome-reward optimization refines into a variable-horizon policy. Across continuous and soft thinking settings, SLPO improves Pass@k under parallel sampling and allocates longer latent computation to harder instances with higher deterministic accuracy.

  12. Train the Model, Not the Reader: Decodability Supervision for Verifiable Activation Explanations

    Natural-language autoencoders score explanations of hidden activations by reconstruction: an explanation is deemed faithful if the activation can be regenerated from it. The test is structurally insensitive to individual false claims: if flipping a claim does not change the reconstruction, the claim is never penalized. We show the test is passed in two ways, neither faithful. On a released Qwen-2.5-7B verbalizer, explanations reconstruct well above chance while ~2% of specific claims are reconstruction-dependent, so the score tracks gist, not specific facts. Under exact synthetic ground truth, the standard recipe develops co-adapted private codes (false wording the reconstruction depends on) in 5/5 runs, and fixes that leave the target model unchanged do not help. We contribute two audit protocols, the grounded-vs-true cross and the evaluator swap, and RECAP (Readable Encodings via Co-trained Auxiliary Predictors): linear heads trained alongside the target model to keep designated content decodable. On RECAP-trained sandbox models, fresh verbalizers state the designated content truly and the codes vanish, at a +0.001-nat cost. This replicates on a pretrained Pythia-160M: the content becomes reliably probe-decodable, though a fresh verbalizer conveys it only in part (truth 0.44-0.46 vs a near-zero control). For interpretability, high reconstruction does not certify individual claims. For AI safety, RECAP makes designated internal content independently checkable against probes rather than asserted by prose a model can game: an independent probe scores the verbalizer's true claims above its false ones (AUC 0.96, vs 0.82 without RECAP). Against an adversary that edits an explanation to maximize the reconstruction score while lying (suppressing ~87% of its lie penalty), the RECAP probe still flags the lies (AUC 0.95) while the control probe collapses to chance (0.51).

  13. G-MAD: A Game-Based Data Generation Framework for Multi-View RGB-T Aerial Object Detection

    This work introduces G-MAD, an open-source framework that uses Arma3 to generate synchronized multi-view RGB-T data for aerial object detection. G-MAD addresses key limitations of real-world aerial dataset construction, including limited viewpoint control, imperfect RGB-T alignment and high annotation cost. The framework supports structured scenario specification, controllable multi-view camera placement, simultaneous visible/thermal capture, and automatic bounding box annotation using engine-level geometric metadata. These capabilities enable controlled studies of viewpoint variation, multi-modal fusion, and synthetic-to-real transfer in aerial object detection. Besides, using G-MAD, we construct and release AMOD, a new large-scale multi-view aerial RGB-T object detection benchmark. The source code and the dataset are available at https://unique-chan.github.io/G-MAD-Project.

  14. ATSplat: Compact Feed-forward 3D Gaussian Splatting with Adaptive Token Expansion

    3D Gaussian Splatting (3DGS) achieves high-quality novel-view synthesis by optimizing freely placed primitives in 3D and adaptively densifying them in under-reconstructed regions. However, this scene-adaptive capacity allocation is largely lost in existing feed-forward 3DGS methods, which commonly regress Gaussians at input pixels and lift them along camera rays. Such pixel-aligned formulations make the number and placement of primitives depend on image resolution and input viewpoints rather than scene complexity, resulting in dense and often redundant Gaussian sets. We present ATSplat, a feed-forward 3DGS framework that restores the adaptive allocation capability of 3DGS optimization through Adaptive 3D Tokens. ATSplat first lifts coarse patch-level depth and camera cues into sparse 3D anchor tokens, forming a compact scaffold of the scene. Each token is then regressed into local Gaussians with learnable 3D offsets, decoupling primitive placement from input image grids. An Adaptive Token Expansion module predicts a token-level uncertainty score, supervised by rendering error maps, and selectively expands high-uncertainty tokens through learnable expansion layers. This sparse-to-adaptive formulation enables ATSplat to concentrate primitives in challenging regions while maintaining a compact representation. Experiments on two representative datasets, RealEstate10K and DL3DV, show that ATSplat achieves state-of-the-art rendering quality while reducing the number of Gaussians by more than 5.7times compared with dense feed-forward 3DGS methods. From 12 input images at 512 times 960 resolution, ATSplat completes reconstruction in less than a second using a single commercial GPU, and renders high-quality novel views at 1136 FPS (512 times 960) with only 311K Gaussians.

  15. ENTRAP-VL: A Taxonomic Probe for Dual Contextual Entrainment in Vision-Language Models

    Contextual entrainment is the tendency of a model to let auxiliary context in its input pull its output, independently of whether that context is relevant, true, or even meaningful. Recently, it has been identified and given a mechanistic account in unimodal language models. Whether and how it manifests in vision-language models (VLMs) is, by contrast, largely unexamined, and the field lacks a purpose-built instrument with which to investigate it. We take the position that studying contextual entrainment in VLMs requires more than porting an existing text-only benchmark to the multimodal setting: it requires a taxonomically structured, dual-modality instrument whose conditions are constructed around the item at hand (the depicted image in the textual stream, the textual query in the visual stream). We argue that the move to VLMs is substantive rather than incremental. It makes entrainment a dual phenomenon, drivable independently by textual and by visual context, and it opens a veracity distinction (context that is false of the depicted scene yet possible in the world) that has no counterpart in the unimodal, world-knowledge-only formulation of prior work. To make this position concrete and actionable, we introduce ENTRAP-VL (ENTRainment Assessment Probe for Vision and Language), a manually curated dataset of 1,500 items across eight categories, organized by a taxonomy that spans two axes, i.e., the association of context with the item and its relationship to truth, and split into a textual-entrainment stream (eight context conditions) and a visual-entrainment stream (three context conditions). We do not claim to measure entrainment in any particular model; we provide the instrument, the taxonomy that motivates it, and the evaluation protocols it enables, so that the community can investigate the phenomenon rigorously. We will release the dataset and its documentation publicly.

Techmeme(15)

  1. Nvidia signs a $1.5B accord with Amkor, involving a prepayment by Nvidia to help bolster Amkor's chip packaging facility in Arizona; AMKR jumps 16%+ after hours (Bloomberg)

    Bloomberg : Nvidia signs a $1.5B accord with Amkor, involving a prepayment by Nvidia to help bolster Amkor's chip packaging facility in Arizona; AMKR jumps 16%+ after hours —  Nvidia Corp. signed a $1.5 billion agreement with Amkor Technology Inc. to help bolster the company's chip packaging facilities …

  2. Sierra acquires Takeoff, which develops "long-horizon" agents, for an undisclosed sum; founded in 2025, Takeoff neared $10M in annualized revenue in early July (The Information)

    The Information : Sierra acquires Takeoff, which develops “long-horizon” agents, for an undisclosed sum; founded in 2025, Takeoff neared $10M in annualized revenue in early July —  In 2020, 22-year-old Aakash Thumaty was a product manager at Salesforce when he wrote an essay …

  3. Sources: Stripe is in talks to acquire OpenRouter in a deal potentially worth around $10B; PitchBook: OpenRouter was valued at $1.3B in May (Wall Street Journal)

    Wall Street Journal : Sources: Stripe is in talks to acquire OpenRouter in a deal potentially worth around $10B; PitchBook: OpenRouter was valued at $1.3B in May —  Stripe is in talks to acquire OpenRouter, a buzzy startup that helps developers choose between artificial intelligence models, according to people familiar with the matter.

  4. SAP reports Q2 cloud revenue up 22% YoY to €6.28B, vs. €6.26B est., total revenue up 9.4% to €9.88B, and lowers its 2026 non-IFRS operating profit guidance (Grace Yoon/Wall Street Journal)

    Grace Yoon / Wall Street Journal : SAP reports Q2 cloud revenue up 22% YoY to €6.28B, vs. €6.26B est., total revenue up 9.4% to €9.88B, and lowers its 2026 non-IFRS operating profit guidance —  The German business-software company's revenue rose 9.4% to $11.24 billion  —  SAP posted higher revenue in its latest quarter …

  5. The Pentagon signs an up-to-10-year contract with Oracle worth up to $7B to consolidate department's on-premises software licenses into a single contract (Mike Stone/Reuters)

    Mike Stone / Reuters : The Pentagon signs an up-to-10-year contract with Oracle worth up to $7B to consolidate department's on-premises software licenses into a single contract —  The Pentagon announced on Thursday a nearly $7 billion, up-to-10-year agreement with Oracle to consolidate the department's …

  6. Oracle signs 10-year software contract with Pentagon worth up to $7 billion (Jordan Novet/CNBC)

    Jordan Novet / CNBC : Oracle signs 10-year software contract with Pentagon worth up to $7 billion … The Pentagon on Thursday announced a contract with Oracle worth almost $7 billion over a decade, a big win for the software maker, which has been punished by investors this year.  The stock rose about 3% in extended trading.

  7. Trump says 200 additional stakeholders, including major utilities, joined a voluntary pledge to protect consumers from high energy bills from AI data centers (Josh Boak/Associated Press)

    Josh Boak / Associated Press : Trump says 200 additional stakeholders, including major utilities, joined a voluntary pledge to protect consumers from high energy bills from AI data centers —  President Donald Trump on Thursday had governors and electricity companies join a voluntary pledge to shield U.S. consumers …

  8. Filing: the value of Alphabet's investments in unidentified private companies was ~$124.3B as of June 30, source says driven primarily by its Anthropic stake (Davey Alba/Bloomberg)

    Davey Alba / Bloomberg : Filing: the value of Alphabet's investments in unidentified private companies was ~$124.3B as of June 30, source says driven primarily by its Anthropic stake —  The value of Alphabet Inc.'s stake in the artificial intelligence startup Anthropic PBC has soared to around $124 billion …

  9. Intel reports Q2 revenue up 25% YoY to $16.1B, vs. $14.42B est., its fastest sales growth in ~15 years on "unprecedented" demand; INTC jumps 10%+ after hours (Kif Leswing/CNBC)

    Kif Leswing / CNBC : Intel reports Q2 revenue up 25% YoY to $16.1B, vs. $14.42B est., its fastest sales growth in ~15 years on “unprecedented” demand; INTC jumps 10%+ after hours —  Intel reported better-than-expected second-quarter results on Thursday, notching its fastest revenue growth rate …

  10. Tesla stock closed down 14.52% and Alphabet closed down 6.89% after they signaled increased AI spending, amid worries about the mounting costs of the AI boom (Arjun Kharpal/CNBC)

    Arjun Kharpal / CNBC : Tesla stock closed down 14.52% and Alphabet closed down 6.89% after they signaled increased AI spending, amid worries about the mounting costs of the AI boom —  Shares of Alphabet and Tesla fell on Thursday after both companies signaled increased AI spending, unnerving investors worried …

  11. Germany's Black Forest Labs launches Flux 3 and Flux-mimic, its first models for robotics, as it expands from generative AI into physical AI (Yazhou Sun/Bloomberg)

    Yazhou Sun / Bloomberg : Germany's Black Forest Labs launches Flux 3 and Flux-mimic, its first models for robotics, as it expands from generative AI into physical AI —  Black Forest Labs, a German artificial intelligence research lab, is trialing its first model that can be used in robotics as the company expands …

  12. Microsoft replaces OpenAI's image-generating models with its MAI models in its products; Mustafa Suleyman says MAI models are ~85% cheaper to run in PowerPoint (Brody Ford/Bloomberg)

    Brody Ford / Bloomberg : Microsoft replaces OpenAI's image-generating models with its MAI models in its products; Mustafa Suleyman says MAI models are ~85% cheaper to run in PowerPoint —  Microsoft Corp. is replacing OpenAI's image-generating models with its own technology in popular products like PowerPoint and Bing.

  13. Patreon lays off 20% of its employees, or 93 people, citing a "painful" restructuring due to "profound" changes in the creator economy (Corbin Bolies/Variety)

    Corbin Bolies / Variety : Patreon lays off 20% of its employees, or 93 people, citing a “painful” restructuring due to “profound” changes in the creator economy —  Patreon, the creator-focused monetization platform, said on Thursday it was laying off 20% of its employees as it changed how its internal structure operates.

  14. Anthropic makes its Opus and Sonnet models available in voice mode, and says voice mode can now tap into some connected apps like Gmail, Slack, and Notion (Ivan Mehta/TechCrunch)

    Ivan Mehta / TechCrunch : Anthropic makes its Opus and Sonnet models available in voice mode, and says voice mode can now tap into some connected apps like Gmail, Slack, and Notion —  Weeks after OpenAI rolled out a new family of conversational models and updated ChatGPT's voice mode, rival Anthropic is making …

  15. Foundation Future Industries, backed by Eric Trump, partners with AMD to develop autonomous humanoid robots using the AMD Ryzen AI Embedded X100 Series chips (Aishwarya Jain/Reuters)

    Aishwarya Jain / Reuters : Foundation Future Industries, backed by Eric Trump, partners with AMD to develop autonomous humanoid robots using the AMD Ryzen AI Embedded X100 Series chips —  Eric Trump-backed Foundation Future Industries said on Thursday it is partnering with AMD (AMD.O) to use its chips …

Solidot(15)

  1. 2026 年菲尔兹奖公布

    7 月 23 日举行的国际数学家大会公布了 2026 年菲尔兹奖得主,四名得主的名字与此前泄漏的名单完全一致。菲尔兹奖被誉为数学界的诺贝尔奖,这是首次有两名中国数学家同时得奖。邓煜在公理化物理的希尔伯特第六问题上做出重大贡献,王虹解决了开放问题三维空间内的挂谷集合猜想,John Pardon(白杰文)解决了 Gromov 的纽结理论问题,Jacob Tsimerman 在 André-Oort 猜想等问题上做出了重大贡献。

  2. Google 因搜索和应用商店服务违反 DMA 被欧盟罚款 8.9 亿欧元

    Google 因搜索和应用商店服务违反在线竞争法,被欧盟处以总计 8.9 亿欧元的罚款。欧洲委员会表示,Google 违反了 Digital Markets Act(DMA),在搜索结果中优先展示自家服务如购物和酒店而非竞争对手的服务。Google 还通过阻止应用开发者引导消费者前往更便宜的网站或替代应用商店购买而违反了 DMA。Google 因搜索相关违规被罚款 4.6 亿欧元,因应用商店违规被罚款 4.3 亿欧元。欧盟委员会命令 Google 以“公平且无歧视的方式”对待在搜索结果中出现的第三方服务,允许应用开发者在 Google 应用商店之外提供优惠。欧盟委员会指出,Google 已开始测试调整其搜索结果中自家服务的展示方式,称这些变化“在合规方面取得了实质性进展”。

  3. 逾半数候鸟种群数量出现下降

    对地球逾 3380 种候鸟的评估报告显示,由于栖息地丧失、有害入侵物种、与建筑物碰撞、狩猎、宠物贸易、有毒杀虫剂等等威胁,逾半数候鸟种群数量出现下降。候鸟不仅仅是非凡的旅行者。它们传粉植物、传播种子、控制农业害虫、在生态系统之间运输养分,并通过吸引观鸟者和生态旅游支持当地经济。它们的数量减少不仅意味着生物多样性的丧失,还预示着支持野生动植物和人类的生态系统正逐步崩溃。研究人员呼吁各国政府采取行动保护候鸟。

  4. 科学家发现给工蜂分配工作的隐蔽开关

    工蜂的工作任务会随年龄而变化,年轻工蜂照料蜂后和发育中的幼体,之后帮助建造和维护蜂巢以及抵御威胁,年长工蜂在生命的末期则会离开蜂巢外出觅食。工蜂的行为变化是由其大脑约百万个神经元之间的相互作用驱动的,此前科学家并不清楚神经系统如何产生这种与年龄相关的任务转换。现在科学家在研究名为 doublesex 的基因时注意到了不同寻常的行为变化。当年长工蜂的 doublesex 基因失去活性之后,它们又开始照顾蜂后了,表明该基因在控制与年龄相关的工作行为上发挥重要作用。doublesex 基因仅在特定神经回路发挥作用,科学家随后通过抑制基因相关回路改变了工蜂的行为模式。研究报告发表在 PNSA 期刊上。

  5. Codeberg 拒绝托管 vibe-coded 项目

    托管了众多知名开源项目的德国非盈利组织 Codeberg 在会员投票之后宣布了重大政策改变:首先是它承诺不会用用户的任何数据去训练大模型,其次是会员以 358 票赞成 144 票反对通过了提议,禁止 vibe-coded 项目。Codeberg 官方博客称,LLM 是一项成本昂贵的技术,且随着 AI 公司开始收回投资,成本还在不断攀升。这种成本不仅体现在云服务和订阅费用中,事实上每个人都深受影响。LLM 的成本如此之高以至于公司将成本转嫁给不使用 AI 的人和整个社会。硬件价格上涨、能源消耗增加以及环境破坏——我们所有人都在为此买单!AI 公司的爬虫让 Codeberg 的服务器不堪重负,而用户寥寥无几的 vibe-coded 项目消耗的资源甚至堪比大型的开源项目。LLM 的训练和部署大幅提高了硬件采购成本,尤其是 SSD 和内存。几年前采购一块硬盘只需要 700 欧元,如今相同的硬盘需要 3700 欧元,而且经常缺货,因此 Codeberg 托管代码的成本也越来越高。数据中心等基础设施、LLM 生成代码的版权和许可证问题,分享根据提示词通过 LLM 生成代码并称之为开源软件的举措并不会让世界变得更好,Codeberg 不想成为托管此类代码的平台,不希望浪费有限的资源,它将开始采取行动清理 vibe-coded 项目,偶尔使用 LLM 生成代码或维护者在不知情下接受了贡献者递交的 LLM 生成代码的项目预计不会受到影响。

  6. 通用汽车悄悄成为一家订阅服务公司

    通用汽车正在大力发展软件和订阅业务。在周二的财报电话会议上,高管表示公司正日益依赖 OnStar 和 Super Cruise 等软件订阅服务,以在客户购车后创造长期的高利润经常性收入。OnStar 在第二季度带来了约 8 亿美元的收入,而 Super Cruise 的收入同比增长约 70%。通用汽车表示,软件业务每赚取 1 美元的收入就能保留 70 美分作为利润。这在汽车行业是一个罕见的盈利水平,汽车行业每 1 美元的销售额通常只能带来 4-10 美分的利润。通用汽车预计今年将新增约 100 万 OnStar 用户,总用户​​数接近 1300 万。允许双手脱离方向盘但须保持注意力的辅助驾驶系统 Super Cruise 的增速更快。通用汽车在第二季度新增了约 7 万用户,预计年底用户数将超过 85 万。该服务收入与去年同期相比增长了 70%。

  7. 法国禁止 15 岁以下儿童使用社交媒体

    法国议会通过了禁止 15 岁以下儿童使用社交媒体的法案,成为欧洲首个正式禁止儿童使用社媒的国家。随着越来越多的警告指出社交媒体对儿童的有害影响,愈来愈多的国家正采取措施限制社交媒体的使用。法国参议院于周二批准了该法案,国民议会随后以 279 票赞成 81 票反对通过了该法案。未成年人社媒禁令将分两个阶段实施,从 9 月 1 日起禁止 15 岁以下用户创建新社媒账户,从 2027 年 1 月起禁令适用于现有账户,未成年人账号将被关闭。

  8. 天文学家首次观测到系外卫星

    国际天文研究团队在《自然》上发表论文称,首次发现一套罕见三层等级天体系统观测证据,捕捉到疑似宇宙“系外月球”信号,为人类搜寻系外卫星开辟全新观测路径。人类至今已探明超 6000 颗系外行星,但始终没有一颗系外卫星获得明确观测确认。所谓系外卫星,也常被称作“系外月球”,特指围绕系外行星运转的天体;而本次新发现的系统结构更为特殊:恒星环绕褐矮星伴星,褐矮星外侧又存在一颗大型卫星,构成恒星—褐矮星—卫星三级嵌套结构,是人类首个观测到该类型的候选天体系统。对 CD-352722 B 系统的分析显示,该褐矮星外侧存在一颗质量约 0.9 倍木星的巨型天体,轨道周期约 170 天。模型推演证实,系统至少存在一颗卫星的可信信号;若假设系统存在两颗卫星,轨道模型将呈现高度不稳定状态,与实际观测不符。

  9. 美国陆军也耗尽了它的可用 Token 要求限制使用

    即便是美国军方,他们也没有无限量的 Token 可用。美国陆军发出通知,称其 Token 几乎耗尽,要求军人限制使用。美国陆军使用名为 Ask Sage 的多模生成式 AI 平台,可运行不同的大模型,包括 Alphabet 的 Gemini、Meta 的 Llama 以及 OpenAI 的 ChatGPT。一名匿名的陆军军人称,陆军的一个服务就把一整年的 token 烧光了。他称陆军一直在鼓励军人使用生成式 AI。每人每月至少获得 20 万个 token,如果用完初始配额,系统会自动分配更多 token。据报道,美国军方在针对伊朗的 Operation Epic Fury 行动期间,每天消耗了 200 亿个 tokens。

  10. 数学家仍然不知道乘法的最快方法

    我们在小学时学习的多位数乘法叫竖式乘法,其时间复杂度为 O(n²),即位数越长,计算量随位数的平方增长。举例来说,两个两位数相乘,需要进行四次计算;两个三位数相乘,需要进行九次计算。位数越长,计算量会越来越惊人。那么 O(n²)是否是乘法的速度极限呢?苏联著名数学教授 Andrey Kolmogorov 在 1960 年的一次研讨会上讨论了这一猜想,仅仅一周之后,23 岁的学生 Anatoly Karatsuba 就给出了否定答案。他发现可以用简单快速的加法去替代费劲的乘法计算,而两个 n 位数相加的时间复杂度仅为 O(n),加法只需要遍历数字一次,而乘法需要对 n 位数的每一位进行完整遍历。通过这一代数技巧,他将乘法的时间复杂度减少到 O(n^1.585),比O(n²) 快得多。Karatsuba 算法的优势只有在数字较大时才会体现出来。Python 语言就使用了混合方法,当数字较小时使用小学乘法,当数字大于 630 位十进制数时改用 Karatsuba 的算法。2019 年数学家 David Harvey 和 Joris van der Hoeven 找到了一种比 Karatsuba 算法更快的方法,其时间复杂度为 O(n × log n),但它相对于 Karatsuba 算法的优势只有在数非常非常大时才会体现。Harvey-van der Hoeven 算法被普遍认为是乘法的最快方法,但目前尚无正式证明。

  11. 空客准备将其应用从亚马逊 AWS 迁移到法国的 Scaleway

    为了维护数字主权,确保关键系统和数据掌控在欧洲自己手中,空客准备将其约 900 个应用从亚马逊 AWS 迁移到法国云服务商 Scaleway。AWS 与所有美国平台一样,并不能确保其客户的敏感数据不被政府索取。数字主权如今是真正的商业驱动力。美国曾经是欧洲人信任的国家,但如今它站在了和俄罗斯以及中国同等的位置上。

  12. 大众汽车的官方应用不支持第三方 Android 系统

    大众汽车的官方应用不支持第三方 Android 系统。大众汽车的客户如其手机运行 GrapheneOS、LineageOS 或 /e/OS 等没有预装 Google Play Services 的第三方 Android 系统,那么他们将无法通过手机运行官方应用查看汽车剩余续航里程、预约保养服务,控制充电和空调。对于这一问题,官方表示在调查,同时警告短时间内不会有变化。大众汽车解释说,它的应用使用了 Google 的 Play Integrity API,而该 API 只有预装了 Play Services 的 Android 设备会提供。GrapheneOS 最近抨击了 Google 在 Play Integrity API 功能上误导企业,称该 API 并没有真正强制要求设备安全或应用合法,只是装装样子。它留下了巨大的安全漏洞。它强制执行的是 Google 的商业利益。

  13. Firefox 预览原生多账户容器功能

    Firefox 的扩展 Multi-Account Containers 备受欢迎,它允许用户在浏览器上同时登陆多个账号,账号之间通过容器彼此隔离。现在 Mozilla 正致力于将该扩展变成原生功能,刚刚释出的 Firefox 153 提供了容器的原生预览版,允许用户将工作、购物、个人和银行等不同在线活动隔离,同时确保每个容器内的 Cookie 和广告追踪信息完全隔离,用户在一个容器内的操作不会被其它容器看到。

  14. LG 将封禁住宅代理智能电视应用

    LG USA 宣布将封禁内置住宅代理功能的智能电视应用。此前安全公司 Spur 的研究发现,LG webOS 应用商店逾 42% 的游戏和其它应用内置了住宅代理 SDK,也就是会出售用户的家用 IP 作为代理服务使用。三星 Tizen 应用商店也有逾四分之一应用内置了住宅代理 SDK。LG 高级副总裁 John Taylor 表示,该公司正与应用开发者合作移除应用中的住宅代理 SDK,未遵守规定的开发者其应用将会下架。未来的 LG 智能电视应用将禁用住宅代理。

  15. 尼安德特人可能和现代人类一样聪明

    在现代人类祖先走出非洲踏上欧亚大陆前,尼安德特人在此繁衍生息了逾 30 万年,但与现代人类相遇数千年后它就消失了。一种解释认为现代人类依靠更出色的智力战胜了尼安德特人,另一种解释认为双方融合了。发表在 PNAS 期刊上的一项新研究利用形变映射法(deformation mapping)重建了尼安德特人颅骨内表面,与现代汉人以及欧洲裔人群进行了对比。结果显示尼安德特人可能和现代人类一样聪明,而现代人类之间的差异比尼安德特人和现代人类之间的差异更大。新研究支持融合理论。

NEWSLETTER · FREE · WEEKLY

OrangeBot Weekly

The best new AI tools + Claude Code skills, every week — with my verdict on what’s actually worth your time. No hype.

Free · One-click unsubscribe · No spam