MONTH · 2026-07

Monthly Digest — 2026-07

144 unique stories across 31 days and 8 sources.

Hacker News(28)

  1. Fable 5 Is Back (twitter.com)
  2. ZCode: Claude Code from the Makers of GLM (zcode.z.ai)
  3. FFmpeg 9.1's new AAC encoder (hydrogenaudio.org)
  4. Apple 'Hide My Email' vulnerability reveals peoples' real email addresses (easyoptouts.com)
  5. Virginia bans sale of geolocation data (www.hunton.com)
  6. Podman v6.0.0 (blog.podman.io)
  7. Spain Orders Blacklist of Palantir from Public and Private Companies (clashreport.com)
  8. Since Linux 6.9, LUKS suspend stopped wiping disk-encryption keys from memory (mathstodon.xyz)
  9. Espionage Against the European Parliament (citizenlab.ca)
  10. Holes (xkcd.com)
  11. Costco is the anti-Amazon (phenomenalworld.org)
  12. 60% Fable cost cut by converting code to images and having the model OCR it (github.com)
  13. Command and Conquer Generals natively ported to macOS, iPhone, iPad using Fable (github.com)
  14. Verizon is About to Break our Watches (www.jefftk.com)
  15. Meta data center water discharges suspended for contaminating water supply (www.tomshardware.com)
  16. Google Books (or similar) all book scans – $200k bounty (2025) (software.annas-archive.gl)
  17. Reparaible and open source paper printer (www.opentools.studio)
  18. The future of Flipper Zero development (blog.flipper.net)
  19. Starring the Computer (www.starringthecomputer.com)
  20. Zuckerberg's Increasingly Bizarre War on Whistleblowers (pluralistic.net)

GitHub Trending(14)

  1. msitarzewski / agency-agents
  2. usestrix / strix
  3. HKUDS / Vibe-Trading
  4. hasaneyldrm / exercises-dataset
  5. JuliusBrussee / caveman
  6. openai / codex-plugin-cc
  7. elastic / elasticsearch
  8. alibaba / page-agent
  9. Zackriya-Solutions / meetily
  10. asgeirtj / system_prompts_leaks
  11. Leonxlnx / taste-skill
  12. addyosmani / agent-skills
  13. ruvnet / RuView
  14. MadsLorentzen / ai-job-search

Product Hunt(28)

  1. Stigg 2.0

    The usage runtime for AI products

  2. Gemini Omni Flash

    High-quality video generation and conversational editing

  3. Adam CAD Copilot

    AI CAD inside Onshape and Fusion

  4. RunInfra

    Describe the AI model you need and get an optimized AI

  5. Macro

    Unifies your work into one app with shared memory

  6. PieterPost MCP

    Connect your AI agent to postal mail

  7. Flowly

    A personal AI agent that runs on your desktop and iPhone

  8. Basedash Actions

    A BI tool that can take action for you

  9. nxt

    Talk to your to do list and get what's next

  10. Osloq

    An AI agent that reproduces GitHub issues for you

  11. Tamamon

    A desktop pet that grows as you code with Claude Code

  12. Glaze by Raycast

    Create your own Mac apps by chatting with AI

  13. PhoneDeck

    Turn your iPhone into a free Mac controller

  14. Vida

    Clone yourself. Let AI do the work before you ask

  15. ChecklistFox

    AI checklist maker for beautiful pdfs, free & instant

  16. CentryAI

    Subscription tracker built by someone who forgot 11 of them

  17. MentionDrop MCP

    Give your AI agent live market signals

  18. DocsAlot

    Documentation that works for both humans and AI systems

  19. Pennen

    One quiet handwritten page a day. No feed, no AI.

  20. CircleChat

    Give your AI agents a slack, a task board, and a boss

Hugging Face(20)

  1. Orca: The World is in Your Mind

    We introduce Orca, an initial instantiation of a general world foundation model. Orca learns a unified world latent space from multimodal world signals and exposes it through multimodal readout interfaces. Rather than optimizing isolated next-token, next-frame, or next-action prediction, we are centered on Next-State-Prediction modeling, offering a unified state-transition modeling route toward understanding, predicting, and acting upon the world. Orca learns through two complementary paradigms: unconscious learning captures dense natural state transitions from continuous videos, and conscious learning models sparse meaningful state transitions by language-described events and VQA supervision. For pre-training, we construct a large-scale world-learning inventory data, including 125K hours of video data and 160M event annotations. After pre-training, Orca learns a unified world latent space. To examine whether the learned latent supports downstream, we evaluate it by three representative downstream readouts: text generation, image prediction, and embodied action generation. Orca's backbone is frozen, and only the lightweight modality-specific decoders are trainable. Experiments show the scalability of the proposed paradigm and verify that stronger world latent enables stronger downstream readouts. Orca outperforms similar-sized specialized baselines. These results show that Orca, as a general world foundation model, presents a promising approach to understanding, predicting, and acting upon the world. Finally, we discuss the current limitations, aiming to provide useful insights and inspiration for the community.

  2. Dockerless: Environment-Free Program Verifier for Coding Agents

    Program verifiers play a central role in training coding agents, including selecting trajectories for supervised fine-tuning (SFT) and providing rewards for reinforcement learning (RL). Standard execution-based verification requires running unit tests inside per-repository environments such as Docker images, incurring substantial environment setup costs. We propose Dockerless, an environment-free agentic patch verifier that evaluates generated code patches without executing them. Rather than simply matching candidate patches to references, Dockerless judges patch correctness using evidence gathered through agentic repository exploration. On a verifier evaluation benchmark, Dockerless outperforms the strongest open-source verifier by 14.3 AUC points. Using Dockerless as both the SFT trajectory filter and the RL reward enables a fully environment-free post-training pipeline. The resulting model reaches 62.0%, 50.0%, and 35.2% resolve rate on SWE-bench Verified, Multilingual, and Pro, respectively. It surpasses the Qwen3.5-9B baseline by 2.4, 8.7, and 2.9 points, matching environment-based post-training.

  3. DOPD: Dual On-policy Distillation

    On-policy distillation (OPD) offers superior capacity transfer by supervising student-sampled trajectories with dense token-level signals. To furnish high-quality supervision sources and thereby elevate the performance frontier of distillation, an intuitive direction is to infuse privileged information to either teacher or student itself. However, this additional input induces a potential failure mode we dub privilege illusion: a pattern that conflates the transferable capability gap that students are meant to close, and the information asymmetry gap that can only be mimicked but never replicated. This issue is further amplified by the inherent non-uniformity of token-level supervision, where only a small subset of tokens carries pivotal capability-bearing signals. To this end, we propose DOPD, an advantage-aware dual distillation paradigm that dynamically routes token-level supervision between privileged teacher and privileged student policies based on their advantage gap and relative probabilities. Each token receives supervision of different strength, objective, and strategy from either teacher or student itself, which transfers credible capability while simultaneously receiving auxiliary signals, to alleviate privilege illusion. Extensive experiments on both large language model (LLM) and vision-language model (VLM) settings demonstrate that DOPD consistently outperforms Vanilla OPD and other counterparts. Further results on stability, robustness, continual learning, and out-of-distribution tasks validate its superiority.

  4. BlockPilot: Instance-Adaptive Policy Learning for Diffusion-based Speculative Decoding

    Speculative decoding accelerates inference by using a lightweight draft model to generate candidate tokens in parallel, and are then verified by the target model, enabling lossless acceleration. Recently, diffusion-based speculative decoding further improves parallelism by generating multiple tokens per forward pass via block-level diffusion, achieving state-of-the-art (SOTA) performance. However, existing methods adopt a fixed inference block size and assume a uniform optimal decoding strategy across all inputs. In this paper, we show that this assumption is suboptimal, as the optimal block size varies across samples and plays a critical role in speculative decoding performance. Moreover, these values exhibit a clear local structure, concentrating around the training block size, which reduces the problem to a low-dimensional and structured decision space. Based on these insights, we propose BlockPilot, a sample-adaptive policy that predicts the optimal block size from the prefilling representation. Specifically, we formulate block size selection as a lightweight policy learning problem and propose an instance-adaptive decision mechanism that predicts the optimal block size based on the representation of the prefilling stage. The prediction is performed only once after prefilling, allowing for seamless integration. Extensive experiments demonstrate that our method is plug-and-play, introduces minimal overhead, and consistently improves efficiency, achieving an acceptance length of 5.92 and a 4.20times speedup on Qwen3-4B under temperature T=1.

  5. PerceptionRubrics: Calibrating Multimodal Evaluation to Human Perception

    We introduce PerceptionRubrics, a rubric-based evaluation framework that addresses the gap between saturated benchmark scores and real-world brittleness. Shifting evaluation from holistic semantic matching to rigorous atomic auditing, PerceptionRubrics pairs 1,038 information-dense images with over 12,000 instance-specific rubrics. These criteria are derived from golden captions constructed via a novel Circular Peer-Review consensus pipeline and then distilled into a dual-stream system of Must-Right (essential facts) and Easy-Wrong (fine-grained details) rubrics. Crucially, PerceptionRubrics implements a Gated Scoring mechanism: unlike linear averages, failure on mandatory visual facts triggers sharp binary penalties. Extensive evaluation yields critical insights: (1) The Reliability Gap: models often verify fragmented elements correctly yet fail strict conjunctive constraints, exposing brittleness in dense domains; (2) Open-Closed Stratification: contrary to reasoning trends, we reveal a persistent 8% perception deficit between open-source and proprietary frontiers; and (3) Human-Aligned Rigor: our gated metrics substantially out-align conventional benchmarks, validating that strict perceptual fidelity is the prerequisite for reliable generation.

  6. ELDR: Expert-Locality-Aware Decode Routing for PD-Disaggregated MoE Serving

    In prefill-decode (PD) disaggregated LLM serving, each request is assigned to a decode worker after prefill. Existing decode routers balance only load; for mixture-of-experts (MoE) models this is incomplete: equally loaded workers can differ in latency, since each decode step loads the weights of every distinct expert its batch activates. We present ELDR, an expert-locality-aware decode router for PD-disaggregated MoE serving. From a request's prefill expert activations, ELDR builds an expert signature predicting the experts it will activate during generation. Offline, balanced K-means partitions signature space across decode workers; online, locality-band routing sends each request to the least-loaded worker among those best matching its signature. A signature cache, co-indexed with the KV cache at KV-block granularity, keeps signatures exact under prefix caching. Implemented in vLLM and evaluated on deployments of up to 40 GPUs, ELDR reduces median TPOT by 5.9-13.9% over the strongest of four load-balancing baselines across three MoE models and two workloads, with model outputs unchanged.

  7. TurboServe: Serving Streaming Video Generation Efficiently and Economically

    Streaming video generation is emerging as a new serving workload in which users interact with long-lived sessions that generate video progressively, chunk by chunk. Unlike offline video generation or typical LLM serving, streaming video generation must preserve session state across active and idle periods, repeatedly schedule ongoing sessions, and deliver each chunk under a tight latency target. This creates two key serving challenges in multi-user, multi-GPU environments: session duration heterogeneity, where long-running sessions make placement decisions suboptimal over time, and temporal user-demand heterogeneity, where the number of active sessions fluctuates sharply across bursts and idle periods. We present TurboServe, the first serving system designed specifically for streaming video generation workloads. TurboServe formulates serving as an online scheduling problem that jointly coordinates session placement and GPU provisioning. Its closed-loop scheduling algorithm combines a migration-aware placement controller, which rebalances sessions across GPUs to reduce the maximum per-chunk latency, with a load-driven autoscaling controller, which adapts the GPU budget to workload variation for improved cost efficiency. To support these decisions at runtime, TurboServe implements coalesced chunk processing for batching concurrent active sessions on the same GPU, GPU-CPU offloading for session suspension and resumption, and NCCL-based GPU-GPU migration for online rebalancing. We evaluate TurboServe on real-world production traces from Shengshu Technology across multiple model sizes and GPU clusters with up to 64 NVIDIA B300 GPUs. Compared with baseline serving configurations, TurboServe reduces worst-case per-chunk latency by 37.5% and total GPU operating cost by 37.2% on average. Our code is publicly available at https://github.com/shengshu-ai/TurboServe.

  8. MemSyco-Bench: Benchmarking Sycophancy in Agent Memory

    Memory has emerged as a cornerstone of modern LLM-based agents, supporting their evolution from single-turn assistants to long-term collaborators. However, memory is not always beneficial: retrieved memories often induce a critical issue of sycophancy, causing agents to over-align with the user at the cost of factual accuracy or objective reasoning. Despite this emerging risk, existing memory benchmarks primarily evaluate whether memories are correctly stored, retrieved, or updated, while overlooking how retrieved memories influence downstream reasoning and decision-making. To bridge this gap, we propose MemSyco-Bench, a comprehensive benchmark for evaluating memory-induced sycophancy in agent systems. MemSyco-Bench measures when memory should influence a decision and how valid memory should be used. Specifically, it covers five tasks that assess whether agents can reject memory as factual evidence, respect its applicable scope, resolve conflicts between memory and objective evidence, track memory updates, and use valid memory for personalization. All related resources are collected for the community at https://github.com/XMUDeepLIT/MemSyco-Bench.

  9. Program-as-Weights: A Programming Paradigm for Fuzzy Functions

    Many everyday programming tasks resist clean rule-based implementation, such as alerting on important log lines, repairing malformed JSON, or ranking search results by intent, and are increasingly outsourced to large language model APIs at the cost of locality, reproducibility, and price. We propose fuzzy-function programming: compiling such a function from a natural-language specification into a compact, locally-executable neural artifact. We instantiate this paradigm with Program-as-Weights (PAW), in which a 4B compiler trained on FuzzyBench, a 10M-example dataset we release, emits parameter-efficient adapters for a frozen, lightweight interpreter. A 0.6B Qwen3 interpreter executing PAW programs matches the performance of direct prompting of Qwen3-32B, while using roughly one fiftieth of the inference memory and running at 30 tokens/s on a MacBook M3. PAW reframes the foundation model from a per-input problem solver into a tool builder: invoked once per function definition, it produces a small reusable artifact whose subsequent calls per function application are cheap and offline.

  10. EvoPolicyGym: Evaluating Autonomous Policy Evolution in Interactive Environments

    Autonomous agents are increasingly expected to improve executable policies through feedback, yet existing evaluations often collapse this process into a final score or confound it with open-ended software-engineering progress. We introduce Autonomous Policy Evolution, a controlled evaluation setting in which a harness-model agent repeatedly edits an executable policy system under a fixed interaction budget. We instantiate this setting in EvoPolicyGym, a benchmark built from compact interactive RL environments that evaluates how agents iteratively improve explored policies. On the EvoPolicyGym suite, GPT-5.5 achieves the strongest aggregate rank score and top-two performance on all 16 environments. Beyond leaderboard results, EvoPolicyGym also provides trajectory-level diagnostics that distinguish how agents allocate budget, convert feedback into parametric tuning. These analyses show that strong autonomous policy evolution depends not only on isolated task wins, but on discovering task-appropriate mechanisms and refining policies under bounded feedback.

  11. AgenticSTS: A Bounded-Memory Testbed for Long-Horizon LLM Agents

    Memory for a long-horizon LLM agent is a contract about what each future decision is allowed to see. The simplest contract appends past observations, tool calls, and reflections to every prompt, which makes prior context easy to access but also turns it into a jumbled mixture in which the effect of any single memory component is hard to isolate. We introduce and instrument an alternative bounded contract: every decision is made from a fresh user message assembled by typed retrieval, with no raw cross-decision transcript appended. The prompt thus stays bounded across runs of any length, and any single layer can be ablated in isolation. We instantiate the contract in Slay the Spire 2, a closed-rule stochastic deck-building game whose runs require hundreds of tactical and strategic decisions. A public online benchmark of frontier LLMs on the same game reports zero wins at the lowest difficulty across five configurations, and the developer-reported human win rate at the same difficulty is 16%; the task is hard but not saturated. Within our harness, a fixed-A0 ablation shows the largest observed difference when triggered strategic skills are enabled: the no-store baseline wins 3/10 games and adding the skill layer 6/10. At this sample size the comparison is directional rather than statistically decisive (Fisher exact p\approx0.37); a cross-backbone probe and public accumulating-context baselines are reported as operational comparisons rather than controlled tests of the contract variable itself. We release a reproducible testbed: 298 completed trajectories with condition tags, frozen memory/skill snapshots, prompt records, and analysis scripts -- an agent design and a validated, reusable methodology for studying how explicit memory layers shape long-horizon LLM-agent decisions.

  12. Morphing into Hybrid Attention Models

    Hybrid attention models improve long-context efficiency by retaining only a subset of full-attention layers and replacing the remaining layers with linear attention. However, the effectiveness of Transformer-to-hybrid conversion critically depends on which layers preserve full attention. Existing hybrid layer selection methods typically rely on heuristic strategies such as fixed placement patterns or layerwise scoring, implicitly treating layer importance as isolated and overlooking the interdependent layer effect under a global hybrid configuration. In this work, we formulate hybrid layer selection as a budget-constrained subset optimization problem. We further propose FlashMorph (Fast LAyer Selection for Hybrid MORPHing), an effective, efficient and scalable layer selection method for Transformer-to-hybrid conversion. FlashMorph first constructs a morphable model by equipping each full-attention layer with a converted linear-attention branch. It then freezes all model weights and jointly optimizes layerwise gates on synthetic long-context retrieval data, with a linearization regularization that encourages the model to rely on linear attention for efficiency. The learned gates are discretized under a preset full-attention budget to instantiate the hybrid architecture, followed by standard logits distillation and long-context finetuning. Extensive experiments show that FlashMorph discovers more effective hybrid configurations, preserves strong long-context recall and general benchmark performance while substantially reducing layer selection cost compared with existing layer selection methods, demonstrating its effectiveness, efficiency, and scalability.

  13. The Mirage of Optimizing Training Policies: Monotonic Inference Policies as the Real Objective for LLM Reinforcement Learning

    Reinforcement learning (RL) has gained growing attention in large language model (LLM) post-training, yet RL training remains fragile and can suffer from instability or collapse. One vital cause is training-inference mismatch: LLM adopts separate inference and training engines for generation efficiency and training precision, which in practice exhibits inconsistent probabilities for the same trajectories on training and inference sides, even with synchronized model parameters. This naturally induces a special type of off-policyness ever existing and poisoning the training. Prior works have made various efforts in addressing the off-policyness to stabilize the training policies under the mismatch. In this paper, we point out the objective misalignment neglected by existing works that an effective update to the policy in the training engine not necessarily ensures the improvement of the inference policy, i.e., the one used in deployment. To this end, we propose a new policy optimization objective for LLM RL, named Monotonic Inference Policy Improvement (MIPI). Following this principle, we introduce Monotonic Inference Policy Update (MIPU), a two-step LLM RL framework that constructs sampler-referenced candidate updates and selectively accepts synchronized candidates using an inference-side gap proxy. Experiments conducted on two model scales under high mismatch show that MIPU improves average reasoning performance and training stability.

  14. Embodied.cpp: A Portable Inference Runtime of Embodied AI Models on Heterogeneous Robots

    Embodied AI models now span vision-language-action (VLA) models and world-action models (WAMs), but practical deployment remains fragmented across model-specific Python stacks, backend assumptions, and robot-side glue code, especially on heterogeneous edge devices. Existing inference runtimes are designed mainly for request-response serving and therefore do not satisfy the runtime contract of embodied deployment: multi-rate execution inside closed-loop control, latency-first batch-1 inference on heterogeneous hardware, and extensible embodied interfaces beyond fixed token I/O. We present Embodied.cpp, a portable C++ inference runtime for embodied models. Based on an architectural analysis of representative VLA models and WAMs, Embodied.cpp captures a shared execution path and organizes it into five layers: input adapters, sequence builders, backbone execution, head plugins, and deployment adapters. The runtime provides modular multi-rate execution, latency-first fused inference, and extensible operator and I/O support, enabling deployment across heterogeneous devices, robots, and simulators through one backend abstraction. We evaluate Embodied.cpp on two VLA models, HY-VLA and pi0.5, and on a preliminary WAM benchmark using a LingBot-VA Transformer block. The VLA deployments achieve successful closed-loop execution with 100.0% and 91.0% task success rates, respectively. The WAM benchmark reduces block memory from 312.2 MiB to 88.1 MiB. These results show that Embodied.cpp improves deployment efficiency while preserving high accuracy across diverse embodied model architectures.

  15. OrbitQuant: Data-Agnostic Quantization for Image and Video Diffusion Transformers

    Diffusion transformers (DiTs) achieve state-of-the-art image and video generation, but their multi-step sampling and growing parameter count make inference expensive. Post-training quantization (PTQ) is the natural remedy, yet DiT activations shift across timesteps, prompts, and guidance branches, forcing prior methods to re-fit calibration data for every new checkpoint or modality. We present OrbitQuant, a data-agnostic weight-activation quantizer that bypasses range estimation by quantizing in a normalized, rotated basis. In this basis, a randomized permuted block-Hadamard (RPBH) rotation concentrates each coordinate around one fixed, known marginal regardless of the input, so a single Lloyd-Max codebook serves all timesteps, prompts, and layers of a given input dimension. We extend the same quantizer to weight rows offline, absorbing the rotation into the weights so that it cancels inside each linear layer and only a forward rotation on the activations remains at runtime. The same recipe transfers from image to video with no per-modality tuning. Across FLUX.1, Z-Image-Turbo, Wan 2.1, and CogVideoX, it sets the state of the art for PTQ at several low-bit settings. It also pushes PTQ of image diffusion transformers to W2A4 with usable generation quality.

  16. VLA-Corrector: Lightweight Detect-and-Correct Inference for Adaptive Action Horizon

    Vision-Language-Action (VLA) foundation models have recently achieved strong progress in embodied intelligence. To reduce policy-call frequency while preserving temporal coherence, most generative policies adopt an action chunk mechanism, executing multiple future actions in an open-loop manner under a fixed action horizon. However, this "predict-then-blindly-execute" paradigm sacrifices closed-loop reactivity: in contact-rich physical interactions, even small local perturbations can rapidly amplify within the open-loop blind spot, leading to compounding errors and ultimately task failure. To address this limitation, we propose VLA-Corrector, a lightweight corrective inference framework for action-chunked VLA policies. Without modifying the backbone policy weights, VLA-Corrector introduces a lightweight Latent-space Vision Monitor (LVM) that continuously compares predicted and actual visual feature evolution, enabling online detection of visual dynamics deviations. Once persistent deviation is detected, the system triggers a truncation event, discards the remaining stale actions, and invokes corrective replanning via Online Gradient Guidance (OGG). The detect-and-correct mechanism of VLA-Corrector naturally induces an event-triggered adaptive action horizon: it preserves long-horizon execution when the current chunk remains reliable, and invokes short-horizon corrective replanning when execution begins to drift. In doing so, VLA-Corrector mitigates the trade-off imposed by static horizons between execution robustness and policy-call frequency. It can be integrated into different VLA models without further retraining the VLA backbone, interrupting compounding errors while preserving much of the efficiency benefit of action chunking and substantially improving robustness in long-horizon, contact-rich robotic manipulation tasks.

  17. OmniOpt: Taxonomy, Geometry, and Benchmarking of Modern Optimizers

    Optimizer selection for large-scale model training has become a system-level design decision constrained jointly by compute, memory, tuning budget, and task diversity, yet the landscape of over one hundred methods remains fragmented. We therefore present OmniOpt, a unified survey and benchmark cookbook of optimizers for the research community. OmniOpt rests on four coupled components. First, we treat every optimizer update as a structured transformation through a five-stage meta-pipeline, and show that most methods engage only one or two of these stages. Second, we use norm-constrained linear minimization oracles (LMOs) to unify different optimizers. Third, these two views ground a dual-dimension taxonomy, one dimension assigning each method to a mechanism family and the other recording the measurable training objectives it aims to improve. Fourth, and at the core of this paper, we instantiate the full taxonomy in a unified cross-domain benchmark spanning representative optimizers, model scales, and training regimes from language model pretraining to image classification, systematically analyzing each method family across multiple effect objectives and laying out their trade-offs. OmniOpt thus supplies the research community with an operational coordinate system for selecting optimizers under explicit mechanism and objective assumptions, and charts a direction for the future development of the optimizer community.

  18. UI-MOPD: Multi-Platform On-Policy Distillation for Continual GUI Agent Learning

    Recent advances in multimodal foundation models and agent systems have driven GUI agents from single-platform task execution toward cross-platform interaction. However, building multi-platform GUI agents remains challenging. On one hand, high-quality and executable cross-platform interaction trajectories are still scarce, and existing data often suffer from limited platform coverage. On the other hand, different platforms exhibit distinct interaction conventions, making joint or continual training prone to behavioral pattern mixing, platform-specific capability degradation, and catastrophic forgetting. To address these challenges, we construct Uni-GUI, a high-quality cross-platform GUI interaction dataset, and propose UI-MOPD, the first method that incorporates multi-teacher on-policy distillation into continual learning for GUI agents. UI-MOPD dynamically selects a platform-specific teacher according to the current environment and transfers platform-specific behavioral priors to a shared policy through platform-conditioned distillation, enabling adaptation to new platforms while preserving capabilities on existing ones. Experiments on OSWorld and MobileWorld show that UI-MOPD achieves task success rates of 38.2% and 12.0%, respectively, demonstrating its effectiveness in balancing cross-platform capability retention and new-platform adaptation. Project page: https://elispectre.github.io/UI-MOPD/.

  19. ResearchStudio-Reel: Automate the Last Mile of Research from Paper to Poster, Video, and Blog

    Research dissemination, turning a paper into a poster, a talk video, and a blog post, is still a manual last mile. Prior automation treats each artifact in isolation that each re-extract the paper from scratch, usually ship one-way renders the author cannot reopen in PowerPoint or Word, and gates quality on soft VLM-preference scores that plateau while load-bearing sections still read as empty. We argue this last mile is best built as a composition of skills: thin agent-readable contracts that share one upstream extractor and wrap deterministic primitives in a measured-fill loop whose exits are hard pass/fail render gates. We instantiate this as ResearchStudio-Reel, five Claude Code and Codex skills organized into one shared extractor (Paper2Assets), three editable generators (Paper2Poster, Paper2Video, Paper2Blog), and one interactive convergence layer (Paper2Reel). Paper2Assets extracts each paper once into a shared bundle that can be reused by every downstream skill; The three generators produce a print-ready poster, a synchronized talk video, and a bilingual blog that stay factually consistent and round-trip through PowerPoint or Word; Paper2Reel then binds all three into a self-contained HTML viewer whose section-level clicks jump the video, slides, captions, and blog to matching content. On the Paper2Poster benchmark, our posters lead every aesthetic and information sub-criterion against both prior automated systems and single-shot frontier LLMs, surpassing the authors' own on aesthetics under two held-out VLM judges and winning overall on 84% to 93% of papers; capability audits further show that, by uniquely pairing narration-aligned on-slide highlights with a bilingual blog gated by layout-aware DOCX repair, ResearchStudio-Reel is the only pipeline to ship all three editable artifacts. Project is available at https://aka.ms/ResearchStudio

  20. PixWorld: Unifying 3D Scene Generation and Reconstruction in Pixel Space

    3D reconstruction and generation are commonly tackled by separate paradigms: pixel-based regression for reconstruction, and latent diffusion for generation. Recent works attempt to unify them in latent space, but with notable drawbacks: the diffusion objective is defined on latent features rather than the underlying 3D representation, and both branches suffer from information loss introduced by latent encoding, while requiring a pretrained Variational Autoencoder (VAE) or Representation Autoencoder (RAE). In this paper, we reformulate these two tasks under a unified pixel-space diffusion paradigm and introduce PixWorld, a single model that jointly addresses 3D reconstruction and generation. By supervising diffusion directly on rendered images, PixWorld removes the above limitations and aligns optimization with 3D scene fidelity. Beyond photometric and perceptual supervision that operates at the 2D image level and lacks 3D geometric awareness, we further introduce a geometry perception loss that aligns rendered views with their ground truth in the geometry-aware feature space of a pretrained 3D foundation model, providing 3D structural supervision. PixWorld consistently outperforms prior latent-space generation methods and matches state-of-the-art reconstruction methods, demonstrating the superiority of a unified pixel-space approach.

Techmeme(28)

  1. Lime's shares closed up 4% in its Nasdaq debut on Wednesday, valuing the company at ~$1.7B, after Lime and existing stockholders raised ~$174M in its US IPO (Reuters)

    Reuters : Lime's shares closed up 4% in its Nasdaq debut on Wednesday, valuing the company at ~$1.7B, after Lime and existing stockholders raised ~$174M in its US IPO —  Uber-backed (UBER.N) Lime's (LIME.O) shares rose 4% in its Nasdaq debut on Wednesday, signaling robust investor confidence …

  2. Sources: Apple is working on new iPad Pros and an entry-level 14" MacBook Pro with a new design in line with the upcoming touch-screen laptops for H1 2027 (Mark Gurman/Bloomberg)

    Mark Gurman / Bloomberg : Sources: Apple is working on new iPad Pros and an entry-level 14" MacBook Pro with a new design in line with the upcoming touch-screen laptops for H1 2027 —  Apple Inc. is preparing an upgraded iPad Pro line and a redesigned entry-level MacBook Pro for next year, adding to a slate of several …

  3. Alibaba and its US payment processor AUS agree to pay $600M to resolve DOJ allegations that they failed to prevent illegal sales of drugs and other products (Reuters)

    Reuters : Alibaba and its US payment processor AUS agree to pay $600M to resolve DOJ allegations that they failed to prevent illegal sales of drugs and other products —  Chinese technology and e-commerce giant Alibaba (9988.HK) and its U.S.-based payment processor have agreed to pay $600 million …

  4. Sources: SoftBank has reopened talks for a $10B loan backed by its OpenAI stake and is offering to guarantee repayment if OpenAI collateral proves insufficient (Echo Wang/Reuters)

    Echo Wang / Reuters : Sources: SoftBank has reopened talks for a $10B loan backed by its OpenAI stake and is offering to guarantee repayment if OpenAI collateral proves insufficient —  SoftBank Group has reopened talks with a consortium of lenders for a $10 billion loan backed by its stake in OpenAI …

  5. Sources: Crusoe is in active talks to raise ~$3B in a funding round expected to value the company in the ~$30B range, up from a ~$10B valuation in October (Bloomberg)

    Bloomberg : Sources: Crusoe is in active talks to raise ~$3B in a funding round expected to value the company in the ~$30B range, up from a ~$10B valuation in October —  Crusoe, the data center upstart with contracts to supply AI computing power for the likes of Meta Platforms Inc. and Oracle Corp. …

  6. At a town hall, Mark Zuckerberg said Meta's AI agent development has not accelerated as expected and its reorganization was not as "clean" as it could have been (Katie Paul/Reuters)

    Katie Paul / Reuters : At a town hall, Mark Zuckerberg said Meta's AI agent development has not accelerated as expected and its reorganization was not as “clean” as it could have been —  Meta (META.O) Chief Executive Mark Zuckerberg told an internal town hall on Thursday that AI agent development …

  7. Source: crypto payments and settlement startup Mesh is raising funding led by Binance at a ~$2B valuation, six months after raising $75M at a $1B valuation (Lucinda Shen/Axios)

    Lucinda Shen / Axios : Source: crypto payments and settlement startup Mesh is raising funding led by Binance at a ~$2B valuation, six months after raising $75M at a $1B valuation —  Binance is set to lead Mesh's funding round that will value the crypto payments and settlement company at up to $2 billion, Axios Pro has learned.

  8. Travel app Hopper agrees to a $35M FTC settlement over allegations the company misled users by imposing hidden fees and misrepresenting the total costs (Lauren Forristal/TechCrunch)

    Lauren Forristal / TechCrunch : Travel app Hopper agrees to a $35M FTC settlement over allegations the company misled users by imposing hidden fees and misrepresenting the total costs —  Hopper, the travel app known for its AI-driven flight and hotel price predictions, has agreed to a $35 million settlement following …

  9. Meta could use its compute for its own models, ad scaling, SpaceX-like neocloud deals, and hosting 3rd-party models; it may be close to an Anthropic deal (Jeremie Eliahou Ontiveros/SemiAnalysis)

    Jeremie Eliahou Ontiveros / SemiAnalysis : Meta could use its compute for its own models, ad scaling, SpaceX-like neocloud deals, and hosting 3rd-party models; it may be close to an Anthropic deal —  Zuck Takes Plan B?  SpaceX 2.0, Bedrock 2.0, MSL Isn't Giving Up, Scaling RecSys by 10x... ClusterMAX ranking coming soon?

  10. Meta getting into the cloud business has been inevitable for a long time, as it seeks to diversify beyond ad revenue and monetize its AI buildout (M.G. Siegler/Spyglass)

    M.G. Siegler / Spyglass : Meta getting into the cloud business has been inevitable for a long time, as it seeks to diversify beyond ad revenue and monetize its AI buildout —  Their need to diversify the business meets the AI build out concerns...  Meta has a problem.  Well, two of them, actually.

  11. Instagram has been running ads promoting child sexual abuse material in India, with terms like "rape video" and "child video" and linking to Telegram channels (Divya Arya/BBC)

    Divya Arya / BBC : Instagram has been running ads promoting child sexual abuse material in India, with terms like “rape video” and “child video” and linking to Telegram channels —  Warning: This story contains descriptions of abuse  —  Instagram has been running paid adverts promoting …

  12. An interview with Sriram Krishnan, who says "there will not be an FDA for AI" under Trump, blames the AI backlash on the industry's "doomer" messaging, and more (Financial Times)

    Financial Times : An interview with Sriram Krishnan, who says “there will not be an FDA for AI” under Trump, blames the AI backlash on the industry's “doomer” messaging, and more —  Sriram Krishnan tells the FT the president is against a centralised regulator as AI backlash grows

  13. Indonesia's enforcement of social media restrictions for under-16s has been patchy, with tech companies ignoring the rules and youth still accessing platforms (Marcel Thee/Nikkei Asia)

    Marcel Thee / Nikkei Asia : Indonesia's enforcement of social media restrictions for under-16s has been patchy, with tech companies ignoring the rules and youth still accessing platforms —  JAKARTA — Andreas Humala, a multimedia lecturer at the London School of Public Relations in Jakarta, recently overheard …

  14. How some high-income families use AI-powered private schools and tutors, such as Alpha School, to teach their children life skills and tailor their curriculum (Katherine Bindley/Wall Street Journal)

    Katherine Bindley / Wall Street Journal : How some high-income families use AI-powered private schools and tutors, such as Alpha School, to teach their children life skills and tailor their curriculum —  People who can afford to send their grade-school kids anywhere are choosing new alternative education

  15. A look at the troubled rollout of the EU's automated biometric entry/exit border system, as airport operators warn of severe delays ahead of the summer holidays (Financial Times)

    Financial Times : A look at the troubled rollout of the EU's automated biometric entry/exit border system, as airport operators warn of severe delays ahead of the summer holidays —  Automated system first mooted in 2008 was meant to keep out criminals — instead, it is delaying travellers

  16. How ByteDance is making Hollywood inroads with its Seedance video generator, thanks to low pricing, striking realism, and features like timeline-based prompting (Nilesh Christopher/Los Angeles Times)

    Nilesh Christopher / Los Angeles Times : How ByteDance is making Hollywood inroads with its Seedance video generator, thanks to low pricing, striking realism, and features like timeline-based prompting —  - 8 min Click here to listen to this article … - A viral AI video of Brad Pitt and Tom Cruise sparked industry outrage …

  17. ByteDance's Doubao and Alibaba's Qwen will disable humanlike and user-created agents before July 15, as China's anthropomorphic AI interaction rules take effect (Wency Chen/South China Morning Post)

    Wency Chen / South China Morning Post : ByteDance's Doubao and Alibaba's Qwen will disable humanlike and user-created agents before July 15, as China's anthropomorphic AI interaction rules take effect —  Two of China's major consumer-facing artificial intelligence apps, ByteDance's Doubao and Alibaba Group Holding's Qwen …

  18. Data centers offer US a chance to get ahead in the next key technologies and to build domestic supply chains based on demand rather than subsidies and tariffs (Josh Zoffer/Financial Times)

    Josh Zoffer / Financial Times : Data centers offer US a chance to get ahead in the next key technologies and to build domestic supply chains based on demand rather than subsidies and tariffs —  America must not repeat the mistakes that handed China rare-earth dominance … America's China policy over the past decade …

  19. Chainalysis: addresses linked to Iran, Russia, North Korea, and other US-sanctioned entities received $100B+ in crypto last year, almost 8x the amount in 2024 (Patricia Kowsmann/Wall Street Journal)

    Patricia Kowsmann / Wall Street Journal : Chainalysis: addresses linked to Iran, Russia, North Korea, and other US-sanctioned entities received $100B+ in crypto last year, almost 8x the amount in 2024 —  Blacklisted entities handled $100 billion in crypto in 2025, financing terrorism and weapons  —  Iran, Russia, North Korea …

  20. Analysis: ~1M $TRUMP retail buyers lost a combined $3.81B, while ~500K mostly-early wallets captured $4B in gains, a textbook memecoin wealth transfer (New York Times)

    New York Times : Analysis: ~1M $TRUMP retail buyers lost a combined $3.81B, while ~500K mostly-early wallets captured $4B in gains, a textbook memecoin wealth transfer —  A report from a cryptocurrency analytics firm details how those who bought the Trump memecoin have fared, with most retail investors having lost money …

Solidot(26)

  1. 瑞典法院判决 Google 向比价网站赔偿 15 亿美元

    瑞典法院以 Google 在搜索结果中偏袒自家购物服务为由判决它向比价网站 PriceRunner 赔偿约 15 亿美元(143 亿瑞典克朗)。这是瑞典法院在反垄断诉讼中判处的最高金额罚款,但远低于 PriceRunner 寻求的 780 亿瑞典克朗赔偿。PriceRunner 于 2022 年起诉 Google,指控 Google 操纵搜索结果。2008 年 Google 开始在搜索结果中突出展示其比价购物服务,导致竞争对手的比价网站流量急剧下降。2017 年时任欧盟竞争事务专员 Margrethe Vestager 以 Google 利用其比价购物服务获取不公平优势对其处以罚款。Google 于 2021 年对该裁决提出上诉但被驳回。之后欧洲的多家比价网站提起了赔偿诉讼。

  2. 索尼 PS 从 2028 年 1 月起不再发售新游戏的光盘版

    数字游戏是未来,索尼正式宣布其 PS 游戏机从 2028 年 1 月起不再发售新游戏的实体光盘版本。这也意味着未来的的 PS 游戏机不会再发售包含蓝光光驱的型号。索尼称 2028 年 1 月之前已发售或即将发售的游戏实体光盘版不受影响。消费者普遍偏爱数字媒介而不是实体光盘,索尼表示它只是顺应这一趋势罢了。

  3. Godot 拒绝接受 AI 生成的代码

    开源项目都面临 AI 代码越来越多的问题,现在负责开发开源游戏引擎 Godot 的基金会宣布修订贡献者政策,禁止递交 AI 署名的代码和 AI 智能体提交的 pull request,以及在人与人之间的沟通中禁止 AI 生成文本——机器翻译除外。新政策旨在限制 AI Slop,鼓励维护者审查代码,将新贡献者培养成未来的维护者,最重要的是要求所有贡献都必须来自对代码负责的人类,修复出现问题的代码。基金会称,“AI 不能承担责任,我们也不能指望 AI 的重度用户能充分理解他们的代码并能进行修正。”

  4. LHC 第三次停机维护

    CERN 宣布了 LHC 的第三次长时间停机维护(Long Shutdown 3)。这次维护和升级将为下一阶段的 High-Luminosity LHC(HiLumi LHC)的运行做准备。LHC 于 1998-2008 年建造,2009 年投入运行,2010 年首次实现 3.5TeV 粒子对撞,2012 年宣布发现了希格斯玻色子。2013-2015 年 LHC 进行了第一次维护升级,使得粒子对撞的总能量提高到了 13.0TeV;2018 年底到 2022 年 4 月 LHC 进行第二次维护升级。第三次停机维护将是至今最大规模的升级改造,HiLumi LHC 计划于 2030 年投入运行,其亮度提高最多十倍,将使研究人员能收集规模更大的数据集,对希格斯玻色子进行更精确的研究,增强发现标准模型之外现象的潜力。

  5. Google 的 2025 年用电量增长了 37%

    Google 通过最新的可持续发展报告承认,该公司自 2019 年以来用电量增长了逾 250%,在 2024 年增长 27% 基础上 2025 年又增长了 37%。Google 将这一切归于 Google Cloud、YouTube 视频串流以及 AI 基础设施的建造和运营的持续增长。Google 数据中心在 2025 年消耗了逾 4200 万 MWh 电力,2024 年则是 3060 万 MWh。这意味着 Google 数据中心的能源消耗量相当于新西兰、丹麦和尼日利亚等国全国的电力消耗量。

  6. OpenAI 磋商将 5% 股份送给美国政府

    随着 AI 公司试图缓和与特朗普政府的关系,OpenAI 正磋商向美国政府捐赠其 5% 的股份。OpenAI CEO Sam Altman 认为,向美国公众提供该公司的股份是分享 AI 好处的最佳方式。它的提议还建议还其它美国 AI 公司向政府捐出类似的股份,目前尚不清楚 Anthropic、Google 和 Meta 等公司是否会同意该计划。OpenAI 高管建议,美国 AI 公司应将 5% 股份捐给主权基金 Alaska Permanent Fund。这一谈判是“概念性的”,还处于早期阶段,任何协议可能需要国会通过法案才能实施。

  7. 轨道数据中心的炒作和现实

    SpaceX 创始人 Elon Musk 今年一月在达沃斯世界经济论坛上宣称,最迟三年轨道数据中心就能实现。随后 SpaceX 向 FCC 递交申请发射 100 万颗卫星建立轨道数据中心星座。Musk 总是喜欢夸大其词,他说完全自动驾驶汽车将在 2017 年实现,载人火星任务将在 2024 年实现,到 2025 年底将会制造出 1 万台 Optimus 人形机器人。目前地球轨道上约有 14,500 颗卫星,Starlink 星座占了三分之二,要部署 100 万颗卫星,SpaceX 的火箭发射频率和卫星制造能力都需要大幅提升。SpaceX 下一代火箭 Starship 能将 60 颗卫星发射到轨道上,100 万颗卫星至少需要执行 16,666 次发射。SpaceX 在 2025 年创下了 165 次轨道发射纪录,如果将发射频率提高到 10 倍,也需要十年才能发射完毕。Starlink 卫星的建造速度为每年 4000 颗,除非卫星制造发生革命性变革,制造 100 万颗卫星也需要约 25 年。轨道数据中心星座距离现实还遥遥无期。这还没有考虑轨道数据中心所需要的庞大散热器、以及辐射、维护、轨道碎片等问题。那么为什么 SpaceX 要大力宣传轨道数据中心?为了钱。IEEE Spectrum 的 Dina Genkina 称,Musk 在自己给自己发钱上几乎是天才,他让 xAI 负责建造数据中心,SpaceX 负责将它们发射到太空,特斯拉负责制造太阳能电池板,他就像是自己给自己发工资。

  8. DGX Spark 黑客松线上训练营:4 小时干货,从环境配置到具身智能,手把手教你搭出能跑的 Agent

    NVIDIA DGX Spark 黑客松开赛即报满,但赛事之外还有一场更适合"先蹭一波再决定要不要打"的硬核直播 直播时间:7 月 12 日 10:00 - 12:00 训练营内容: 1· 黑客松赛事规则说明:解读赛事机制、评审标准与提交流程,帮助团队明确方向、高效备赛。 2 · 基于 DGX Spark 和 Step 3.7 搭建本地 Agent Team 的最佳实践:从环境配置到模型推理,讲解如何在 DGX Spark 上高效落地Stepfun3.7模型能力。 3 · Agent 一键出片:基于 DGX Spark 搭建本地视觉生成智能体 演示如何构建具备视觉理解与内容生成能力的本地 Agent,打通从提示词到成片的完整链路。 4 · 从本地 AI 到具身智能:基于 DGX Spark 构建桌面机器人 Agent 开发平台 探索 Agent 从软件走向物理世界的实现路径,展示 DGX Spark 在具身智能场景下的开发实践。

  9. 现代生活可能与人类大脑不匹配

    人类大脑演化适应了一个充满熟人、直接威胁以及小型社交群体的世界。但今天世界变化速度远超人类演化适应的速度。这种不匹配或能解释解释人类所经历的压力、孤独和持续攀比心理。新加坡研究人员在《Behavioral Sciences》期刊上发表论文,探讨了如何从演化角度理解压力、竞争和孤独。在熟人小群体中形成的行之有效的反应,在现代生活中显得格格不入,甚至令人难以承受。这种演化上的不匹配在社交媒体时代尤其显著。论文合作者 Jose Yong 博士称,竞争不是新鲜事,但现代生活让它无处不在,从演化论的角度看,或许可以解释为什么人们对对比和害怕落后的反应如此强烈,即便这些信号并非来自小群体,而是来自陌生人或屏幕。

  10. NASA 发射探测器拯救坠落中的 Swift 天文台

    2004 年发射的 Neil Gehrels Swift 天文台设计监测宇宙中的伽马射线暴,它最初的运行轨道高度约 600 公里,但由于大气阻力其轨道高度已衰减至约 400 公里。2024 年太阳极大期间的太阳活动导致了地球大气膨胀,加速了轨道衰减。如果不进行拯救,Swift 天文台将于 2026 年底不受控重返大气层。Swift 天文台本身没有推进系统。去年 9 月 NASA 授予 Katalyst Space Technologies 一份 3000 万美元的合同,用于开发和发射一艘与 Swift 对接并提升其轨道的探测器 LINK。LINK 于 7 月 3 日成功发射,未来几个月它将尝试用三个机械臂抓住 Swift 天文台,启动推进器,将其送回 600 公里高度的安全轨道。这是一项雄心勃勃的任务,如果成功,那么下一个拯救任务有可能是哈勃太空望远镜。

  11. 蜂后会将农药负担转移给蜂卵

    蜜蜂是重要的授粉昆虫,但其数量在世界各地都出现了下降,原因可能与农药有关。发表在《Current Biology》期刊上的一项研究在实验室条件下跟踪了农药在一个小型蜂群中的流动。研究发现,工蜂最初通过食物过滤和在蜂巢中沉积将食物中的农药水平降低 95%,但到第 10 天过滤效率下降至 86%;蜂后体内的农药含量显著低于工蜂,但随着时间的推移,蜂后会在卵巢中积累农药并将其转移到正在发育的蜂卵;蜂后的存在会改变整个蜂群的化学物质分布,工蜂会集中接触农药,增加蜂蜡中农药的沉积。

  12. 阿里巴巴禁止员工使用 Claude Code

    阿里巴巴因担心后门禁止员工在工作中使用 Anthropic 的 Claude Code,它要求员工使用自家的编程平台 Qoder。尽管 Anthropic 限制了中国用户和实体的访问,但 Claude Code 在中国程序员中间仍然非常受欢迎。Anthropic 上个月指控阿里巴巴蒸馏了其模型,几天前它的 Claude Code 被发现包含了检测用户是否来自中国的代码。

  13. 火星岩石发现大量碳,来源未知

    NASA 漫游车在火星上发现的有机碳绝大多数都是在岩石的内部,需要通过钻或磨才能暴露。现在火星漫游车毅力号在河道 Neretva Vallis 附近的岩石表面发现了复杂大分子碳,这是至今在火星上发现的最浅的有机物。如果地球上发现类似的大量大分子碳,通常表明它们来自生物。但对于火星岩石上发现的大量碳,则难以识别其来源,除非将其带到地球进行仔细研究。研究人员表示这些分子碳也可能源于非生物过程。它们是否是古代火星生命的遗迹,还有待未来回答。

  14. 仙女座发现新卫星星系

    天文学家在距离地球约 250 万光年的仙女座星系附近,发现了一个新的超暗矮星系,命名为仙女座 XXXVI(Andromeda XXXVI,其中 XXXVI 为罗马数字 36),代表它是目前正式命名的第 36 个仙女座卫星星系。研究显示,它可能是迄今在仙女座星系周围发现最暗淡的卫星星系之一。这个星系年龄约达 125 亿年。仙女座星系是距离银河系最近的巨大螺旋星系,周围环绕着许多受到重力束缚的矮卫星星系,因此被视为研究星系形成的天然实验室。目前理论预测,仙女座可能拥有多达约 90 个卫星星系,但迄今仅发现约 40 个,其中只有约 15 个属于超暗矮星系。仙女座 XXXVI 的发现显示,在仙女座周围可能仍隐藏着大量尚未被发现的极暗小星系。

  15. 全球极端热应激现象加剧

    发表在《Nature Climate Change》期刊上的一项研究显示,全球极端热应激现象加剧。相比 1970 年代,当前多出约 10 亿人要至少扛过一天“极端热应激”,也就是通用热气候指数(UTCI)≥46℃的日子。研究人员分析了 1950-2024 年共 75 年的全球热应激数据集,把白天、夜间,还有昼夜连着的那段时间分开算。结论不复杂:无论哪个时段,热应激现象在频率、强度、持续时间上全线走高,而夜里跑得比白天还快。自 1970 年代以来,从全球平均来看,每年最热的十个夜晚,UTCI 升温速率是每十年 0.32℃;每年最热的十个白天反倒慢一点,每十年 0.27℃。城市热岛效应是原因之一,但更重要是湿度。夜间地表辐射冷却被云量和大气水汽兜住,加上静风日数增加,“凉不下来”的夜越来越多。地域分布上,亚热带首先遭殃:北美南部、欧洲南部、非洲南北两端、南美这些地方,跟 1970 年代比,每年 UTCI≥32℃(强)和≥46℃(极端)的天数多了约 50 天。也就是说,某些亚热带城市一年里快要有一半日子卡在强热应激线上。西班牙、葡萄牙、意大利、法国这一部分南欧国家,现在的体感温度比 1970 年代高出 5 ℃。

  16. 微软将利润转移到低税国家

    微软显然在将利润转移到低企业税国家。早在 2005 年,微软时任 CEO 巴尔默(Steve Ballmer)称低企业税率是在爱尔兰做生意的整体优势之一。微软和其它跨国企业一样,会利用子公司来转移利润以降税。微软子公司的纳税金额有明显的模式:低税国家高利润,高税国家低利润。微软在爱尔兰的员工占到了全球员工的 3%,但它产生了近 40% 的税前收入;而在欧洲最大的经济体德国,德国子公司的利润仅占全球利润的不到 0.5%。微软在卢森堡的税前收入为 2.83 亿美元,但在该国仅仅只有 34 名员工。美国国税局(IRS)正寻求微软补税近 290 亿美元。微软官方篇博客称税收“是衡量贡献的一个重要指标,但不是唯一的指标”。

  17. ReactOS 能运行 Half-Life 2

    ReactOS 是一个致力于开发与 Windows NT 和 Windows 2000 应用程序和硬件驱动程序兼容的开源操作系统项目,至今已有逾三十年历史。该项目宣布了在游戏运行上的重大进展:六月初 ReactOS 宣布它能成功运行经典射击游戏《Half-Life》,仅仅过了一个月它宣布能成功进行《Half-Life 2》。这次演示是在一台搭载 NVIDIA GeForce 8400GS 显卡的 Intel Sandy Bridge 台式机上进行的。GeForce 8400GS GPU 是在 2007 年推出的,而 Sandy Bridge CPU 是在 2011 年发布的。

  18. 巨树能轻松将水输送到树冠

    根据发表在《科学》期刊上的一项研究,世界最高的热带树能轻松将水分输送到树冠。传统理论认为,随着树木生长,水分从根部输送到树叶的难度会越来越大,从而限制了树木生长,使其更容易受干旱影响。新研究发现,巨型龙脑香树(Dipterocarp)内部水输送的调整完全补偿了将水抽到树顶的挑战。相比短树,巨树的高度并不会使其水系统更容易受到干旱的影响。单独测试发现,在严重干旱期间,相比短树巨树没有遭受与高度相关的生长损失。Exeter 大学的 Lucy Rowland 教授解释说,树木内部有很多细长中空导管,它们通过在树冠形成低压向上吸水分。导管演化出了精妙的适应机制,即使是在需要将水分输送到高达 80 米以上树顶所需的极低压力下,也能保持水分以液态形式存在。龙脑香树是世界上最高的开花树种。

  19. 天问二号探测器抵达目标小行星

    中国国家航天局周一宣布,天问二号探测器历经约 400 天、行程约 10 亿千米飞行后于近日与小行星 2016HO3 成功交会,到达距离小行星 20 千米处,开始科学探测。在抵近小行星过程中,探测器获得小行星影像数据。同时任务团队利用探测器抵近过程中获得的光学导航数据,改进了小行星星历,将之前仅依靠地基观测所确定的小行星位置误差,由上百千米减小到千米量级。天问二号探测器于 2025 年 5 月 29 日在西昌卫星发射中心成功发射。2026 年 6 月 6 日,探测器首次捕获到小行星;6 月 7 日,在距离小行星 3 万千米处实施捕获控制,实现与小行星共面飞行;6 月 19 日,到达距离小行星 2000 千米处。后续探测器将逐步开展更精细科学探测,获取小行星形貌、物质成分、内部结构等信息,为做好采样准备提供支撑。

  20. 被社媒用户指控是 AI 创作的短篇小说赢得英联邦短篇小说奖

    被社媒用户指控是 AI 创作的短篇小说《The Serpent in the Grove》赢得英联邦短篇小说奖。这篇小说由 Jamir Nazir 创作,在五月份赢得了地区奖项,随后立即被 X 等平台的社媒用户指控是 AI 创作。原因是它包含了典型的 AI 写作模式,包括“不是 x 而是 y”结构以及三列表结构。在引发争议之后,Commonwealth Foundation 检查了所有地区奖得主的草稿、含时间戳的文件和笔记等内容。该基金会之后宣称他们没有发现作品是 AI 生成的证据。 Nazir 称其作品深受 VS Naipaul 和 Derek Walcott 等作家作品的影响。他说这篇小说写了六七稿,他解释说其手机屏幕一次只能显示三四行文字,所以他会写下一行前对前面的文字细致修改,最终使故事显得“高度润色”。