From 50 items, 15 important content pieces were selected
- U.S. Science in Crisis as Funding and Policy Collapse ⭐️ 9.0/10
- Android 17 Released: Mandatory Large-Screen Support, AI Integration ⭐️ 9.0/10
- Nezha Monitoring v2.0.13 and Below Has Critical Path Traversal (CVSS 9.1) ⭐️ 9.0/10
- Epic Games Open-Sources Lore VCS for Game Dev ⭐️ 8.0/10
- US Delays Blacklisting DeepSeek, Adds 100+ Chinese Firms to Security List ⭐️ 8.0/10
- Leaked Docs Show OpenAI Losing Billions Annually ⭐️ 8.0/10
- GLM-5.2 tops open-weights models on Artificial Analysis ⭐️ 8.0/10
- RFC 10008 defines HTTP QUERY method for safe, idempotent requests with body ⭐️ 8.0/10
- Volkswagen blocks GrapheneOS users via Play Protect requirement ⭐️ 8.0/10
- Charity Majors: AI Code Is Disposable, Demands More Discipline ⭐️ 8.0/10
- Next-Latent Prediction: Transformers Learn Compact World Models ⭐️ 8.0/10
- Seeking Theory for Probe Strength in Transformer Circuits ⭐️ 8.0/10
- Contrastive Targeted SFT for Causal Dependency Graphs in LLMs ⭐️ 8.0/10
- STAR Market Fifth Standard Expands to AI ⭐️ 8.0/10
- Anthropic surpasses OpenAI in enterprise AI market share ⭐️ 8.0/10
U.S. Science in Crisis as Funding and Policy Collapse ⭐️ 9.0/10
A Scientific American article and extensive community discussion reveal that severe funding cuts and visa restrictions are driving U.S. scientists to leave the country or abandon research altogether. This breakdown threatens U.S. leadership in science and innovation, potentially causing a long-term brain drain and loss of critical research capabilities. Specific testimonies include a researcher whose R01 grant was not renewed, forcing staff to part-time, and a scientist whose wife operates an optical trap—a rare skill held by only about 2,000 people worldwide—who is moving abroad.
hackernews · presspot · Jun 17, 09:54 · Discussion
Background: The U.S. research enterprise has long relied on a compact between science and politics, where government funding supports basic research through agencies like NIH. However, recent political turmoil, budget constraints, and immigration restrictions have disrupted this compact, leading to a crisis in academic labs and national labs.
Discussion: Commenters express deep frustration and despair, with many sharing personal stories of leaving the U.S. or science. Some note that while the situation is chaotic, it also forces adaptation and new opportunities, though the overall sentiment is one of loss and uncertainty.
Tags: #science policy, #research funding, #US politics, #academia crisis, #brain drain
Android 17 Released: Mandatory Large-Screen Support, AI Integration ⭐️ 9.0/10
Google has released Android 17 to Pixel devices and opened the source code, introducing mandatory large-screen support, AI integration via AppFunctions for Gemini, and a full shift to Jetpack Compose. This update fundamentally changes Android development by requiring apps to support large screens and by enabling AI to directly invoke app functions, which will affect all developers and enhance user experiences on foldables, tablets, and other form factors. Android 17 removes the developer opt-out for orientation and resizability restrictions on large screens (sw > 600 dp), enforces strict memory limits based on total device RAM, and introduces temporary permissions and a contact picker for privacy.
telegram · zaihuapd · Jun 17, 01:02
Background: Android 17 focuses on making Android a ‘smart system’ by integrating AI assistants like Google Gemini through the new AppFunctions API, which allows apps to expose functions that can be invoked by AI. It also mandates adaptive large-screen support, continuing the trend from Android 12L and later versions. Jetpack Compose, a modern declarative UI toolkit, becomes the default for new development, with the traditional View system moving to maintenance mode.
References
Tags: #Android, #mobile development, #AI integration, #privacy, #Jetpack Compose
Nezha Monitoring v2.0.13 and Below Has Critical Path Traversal (CVSS 9.1) ⭐️ 9.0/10
A severe unauthenticated path traversal vulnerability (CVE-2026-53519) has been disclosed in Nezha Monitoring versions below v2.0.13, with a CVSS score of 9.1. Attackers can read arbitrary files, such as the config.yaml, to extract JWT secrets by crafting a GET request like /dashboard../data/config.yaml. Nezha Monitoring is a widely used self-hosted server monitoring tool; the vulnerability allows unauthorized access to sensitive JWT keys, enabling attackers to forge sessions and compromise entire server fleets. Immediate upgrade is critical for all users. The vulnerability resides in the dashboard component and affects all versions prior to v2.0.13. The exploit requires no authentication and can be triggered over HTTP, making it remotely exploitable with low complexity.
telegram · zaihuapd · Jun 17, 01:25
Background: Path traversal (or directory traversal) attacks allow an attacker to read files outside the intended directory by using sequences like ‘../’ in file paths. Nezha Monitoring is an open-source, self-hosted monitoring and operation tool that supports multiple servers and websites, making such a vulnerability particularly dangerous for infrastructure security.
References
Tags: #网络安全, #漏洞, #哪吒监控, #路径穿越, #CVSS
Epic Games Open-Sources Lore VCS for Game Dev ⭐️ 8.0/10
Epic Games has open-sourced Lore, a version control system originally built for Fortnite, designed to handle large binary assets and replace Perforce in game development. Lore addresses Git’s poor handling of non-text files like textures and 3D models, providing a scalable alternative for game studios. It could disrupt the proprietary Perforce dominance in game development. Lore, formerly Unreal Revision Control, is already used internally at Epic and in Unreal Editor for Fortnite. It supports file locking, permissions, and large-scale collaboration for big projects.
hackernews · regnerba · Jun 17, 14:30 · Discussion
Background: Version control systems like Git track changes in code files but struggle with large binary assets common in game development. Perforce has been the industry standard for game dev due to its file locking and scalability, but it’s proprietary and expensive. Lore aims to offer an open-source alternative with similar capabilities.
References
Discussion: The Hacker News community largely views Lore as a promising challenger to Perforce for game development. Some users highlight Git’s poor user experience and lack of file locking, while others note Lore’s pedigree as an internal Epic tool. There is curiosity about its performance compared to Perforce.
Tags: #version control, #game development, #open source, #scalability, #perforce
US Delays Blacklisting DeepSeek, Adds 100+ Chinese Firms to Security List ⭐️ 8.0/10
The United States has temporarily declined to blacklist the Chinese AI company DeepSeek, but added over 100 other Chinese firms to its trade security risk list. This decision signals a nuanced approach in US-China tech competition, potentially affecting global AI supply chains and the availability of advanced AI models. DeepSeek, known for its efficient large language models, remains unlisted, but the broader expansion of the blacklist targets entities deemed security risks, including those involved in advanced computing and AI.
hackernews · giuliomagnifico · Jun 17, 03:55 · Discussion
Background: The US Entity List restricts American companies from exporting certain goods and technologies to listed entities. DeepSeek is a Chinese AI startup that developed cost-effective models, gaining attention for competitive performance despite export controls on advanced GPUs.
References
Discussion: Comments show mixed reactions: some users appreciate DeepSeek’s affordability and utility for coding tasks, while others criticize US government actions as hypocritical or hard to enforce. Some note that many Chinese AI companies already rely little on US goods, limiting the impact.
Tags: #geopolitics, #AI, #DeepSeek, #US-China, #regulation
Leaked Docs Show OpenAI Losing Billions Annually ⭐️ 8.0/10
Leaked financial documents reveal that OpenAI incurred billions of dollars in losses in 2025 despite generating $13 billion in revenue, with research and development costs being the primary expense. This raises critical questions about the long-term financial sustainability of leading AI companies and the economics of frontier AI development, affecting investors, competitors, and the broader tech industry. The company reported $13 billion in gross revenue in 2025 with a cost of revenue of $7.5 billion, and research and development costs accounted for the largest share of expenses. OpenAI has over 900 million weekly active ChatGPT users but only about 50 million paid subscribers.
hackernews · greenchair · Jun 17, 21:31 · Discussion
Background: OpenAI is a leading artificial intelligence research and deployment company known for developing advanced models like GPT-4 and ChatGPT. The company started as a non-profit but later created a for-profit subsidiary to raise capital, though its governance structure remains complex. Large language model development requires enormous computing resources and talent, leading to high operational costs.
Discussion: Commenters debated the sustainability of OpenAI’s business model, with some noting that R&D costs dominate and questioning whether the focus should shift to inference cost reduction. Others pointed out the challenge of converting free users to paid subscribers given many free alternatives like DeepSeek.
Tags: #OpenAI, #AI business, #financial analysis, #AI startups
GLM-5.2 tops open-weights models on Artificial Analysis ⭐️ 8.0/10
GLM-5.2 has been ranked as the leading open-weights model on the Artificial Analysis Intelligence Index, achieving near-frontier performance at drastically reduced prices compared to closed models. This development shows that open-weights models can rival top closed models like GPT-5.5 and Opus, potentially democratizing access to high-quality AI at much lower cost and challenging the dominance of proprietary providers. The model achieves close-to-frontier scores on coding and agent benchmarks, with community reports noting API pricing 10x cheaper than Anthropic’s Opus, though some users observed high token consumption during reasoning tasks.
hackernews · himata4113 · Jun 17, 09:12 · Discussion
Background: Open-weights models allow anyone to download, inspect, and fine-tune the trained weights, unlike fully closed models. Artificial Analysis is an independent platform that benchmarks AI models on quality, price, and speed, providing transparent comparisons for developers.
References
Discussion: Community members largely celebrated GLM-5.2 for offering near-frontier quality at very low prices, with some calling it a ‘massive win for the rest of the world’ against closed providers. However, a user noted that its reasoning efficiency could be improved, citing a 15-minute reasoning task consuming 45k tokens.
Tags: #AI, #open-weights, #GLM, #model comparison
RFC 10008 defines HTTP QUERY method for safe, idempotent requests with body ⭐️ 8.0/10
RFC 10008 has been published, standardizing the HTTP QUERY method as a new HTTP request method that is safe and idempotent and allows a request body, providing a standardized alternative to GET with a body. This addresses a long-standing gap in HTTP: GET cannot carry a body, yet many applications require complex queries with bodies. QUERY enables caching, automatic retries, and safer interactions for APIs, HTML forms, and complex data retrieval. The QUERY method is similar to POST but must be safe and idempotent, meaning the same request produces the same result without side effects. Caching can use the request body as part of the cache key, though this raises concerns about unbounded key sizes.
hackernews · schappim · Jun 17, 10:51 · Discussion
Background: HTTP GET is idempotent and cacheable but historically cannot include a request body. POST supports a body but is not required to be idempotent, causing issues with retries and caching. The IETF considered allowing GET with body but chose a new method due to interoperability concerns with existing implementations.
References
Discussion: Community comments discuss cache key implementation challenges, the possibility of HTML forms supporting QUERY to avoid POST resubmission warnings, and the historical workaround of sending bodies with GET. The discussion is generally supportive but raises valid technical concerns.
Tags: #HTTP, #RFC, #web standards, #API design, #protocol
Volkswagen blocks GrapheneOS users via Play Protect requirement ⭐️ 8.0/10
Volkswagen has locked its API to require Play Protect certification, effectively blocking GrapheneOS users from accessing car features via the official app. This disables community-driven integrations and forces users to rely on an advertisement-heavy official app. This move by a major automaker sets a precedent for restricting device freedom and privacy-focused OS users from accessing connected car features. It highlights growing tensions between Google’s certification ecosystem and custom Android ROMs like GrapheneOS, which prioritize privacy over Google services. The API lock affects not only GrapheneOS but any device without Play Protect certification, including those using community projects like Home Assistant for automation. The official VW app is reported to be 60% advertisements and 30% features, making it less functional than previous community alternatives.
hackernews · microtonal · Jun 17, 15:04 · Discussion
Background: GrapheneOS is a security-hardened, open-source Android-based operating system that focuses on privacy and often runs without Google Play Services. Google’s Play Protect certification is required for devices to access Google apps and certain APIs, and it relies on Google’s proprietary compatibility tests. GrapheneOS users typically avoid Google services to minimize data collection, making Play Protect certification incompatible with their privacy goals.
Discussion: Community comments express frustration and disappointment, with users highlighting that Volkswagen previously turned off API access for community integrations and now blocks GrapheneOS outright. Some users lament the loss of useful features like Home Assistant automations, and others criticize the official app’s heavy advertising. There is also concern that this trend could spread to other VW brands and potentially align with broader restrictions on privacy tools.
Tags: #privacy, #GrapheneOS, #Android, #automotive, #Volkswagen
Charity Majors: AI Code Is Disposable, Demands More Discipline ⭐️ 8.0/10
Charity Majors argues that AI has turned the economics of code production upside down, making code generation effectively free and instant, and shifting code from treasured to disposable. This fundamental shift demands more engineering discipline as the focus moves from writing code to curating and validating it, affecting how software teams prioritize architecture, testing, and system design. Majors notes that lines of code went from being carefully curated to disposable and regenerable practically overnight, highlighting a dramatic change in developer mindset.
rss · Simon Willison · Jun 17, 17:12
Background: Traditionally, software development involved high costs for writing and maintaining code, making reuse and careful curation essential. With AI-assisted programming, generating large amounts of code becomes cheap and fast, reducing the marginal cost of new code. This economic shift requires engineers to invest more effort in system-level thinking and quality assurance rather than manual coding.
Tags: #ai, #ai-assisted-programming, #software-engineering, #economics-of-code, #charity-majors
Next-Latent Prediction: Transformers Learn Compact World Models ⭐️ 8.0/10
Microsoft Research introduces Next-Latent Prediction (NextLat), a self-supervised method that trains transformers to predict their own next latent state given the current latent and next token, achieving better world models and up to 3.3x faster inference via self-speculative decoding. NextLat improves data efficiency and representation learning over standard next-token prediction, offering a principled way to compress history into compact belief states. This could lead to more capable and faster autoregressive models for reasoning and planning tasks. The method provably converges to belief states—compressed information necessary to predict the future. Self-speculative decoding enables multi-step lookahead, resulting in lossless acceleration up to 3.3x without sacrificing output quality.
reddit · r/MachineLearning · /u/jayden_teoh_ · Jun 17, 08:44
Background: Standard transformers are trained via next-token prediction, which provides sparse supervision per token. NextLat adds an auxiliary task: predicting the next latent representation, which compresses the sequence history. Self-speculative decoding is a technique where the same model drafts and verifies token blocks, reducing sequential generation steps.
References
Tags: #transformers, #self-supervised learning, #representation learning, #efficient inference, #Microsoft Research
Seeking Theory for Probe Strength in Transformer Circuits ⭐️ 8.0/10
A Reddit user posted a detailed question seeking theoretical grounding for comparing the strength of probes in transformer circuits, specifically focusing on the trade-off between probe capacity and underlying network complexity. This question addresses a fundamental gap in mechanistic interpretability: how to rigorously evaluate what probes can reveal about model internals. Resolving it could lead to more reliable circuit analyses and better guarantees for model safety and factuality. The user cites an old study that trained a logistic regression probe to detect word positions and notes problems such as very small vocabulary sizes leading to unrepresentative performance. They also share a real failure case where Google Gemini incorrectly counted letters in ‘Google’, undermining the claim that models inherently learn token positions.
reddit · r/MachineLearning · /u/RepresentativeBee600 · Jun 17, 20:29
Background: In mechanistic interpretability, probing involves training simple classifiers (probes) on model activations to test if certain features are encoded. However, the theoretical foundations for comparing probe strength are underdeveloped, with questions about overfitting and sample complexity remaining open. The Nyquist sampling theorem is mentioned as a potential analogy for determining if enough data has been seen to guarantee reliable detection of patterns.
Tags: #mechanistic interpretability, #probing, #circuit analysis, #transformer models, #ML theory
Contrastive Targeted SFT for Causal Dependency Graphs in LLMs ⭐️ 8.0/10
A researcher proposes using contrastive targeted supervised fine-tuning (SFT) to discover causal dependency graphs between capability dimensions in large language models, by training pairs of checkpoints that differ in a specific dimension, then ablating identified circuits and measuring downstream degradation in other dimensions. This methodology could enable systematic understanding of how different capabilities interact inside LLMs, potentially improving training order and targeted behavior control, which is a key goal in mechanistic interpretability and model steering. The contrastive approach creates pairs of checkpoints from the same base model—one with a dimension deeply represented, the other shallowly—then uses patch differences to locate circuits and ablates them to map causal dependencies. The researcher also plans to test compositionality via prompting requiring causal chaining and use activation steering as a diagnostic tool.
reddit · r/MachineLearning · /u/Substantial_Diver469 · Jun 17, 18:31
Background: Mechanistic interpretability aims to reverse-engineer the internal components (circuits) of neural networks that implement specific behaviors. Supervised fine-tuning (SFT) adapts pre-trained models to specific tasks using labeled data. Contrastive learning techniques compare positive and negative examples to learn representations. This post combines these ideas to map causal dependencies between capability dimensions in LLMs, a novel approach not yet explored in existing literature.
References
Tags: #mechanistic interpretability, #SFT, #causal dependencies, #LLMs, #circuit discovery
STAR Market Fifth Standard Expands to AI ⭐️ 8.0/10
CSRC Chairman Wu Qing announced at the 2026 Lujiazui Forum that the STAR Market’s fifth set of listing standards will be expanded to cover AI companies, including quantum tech, biomanufacturing, and embodied AI. The regulator also plans to introduce shelf registration for refinancing and four policies to support Shanghai as an international financial hub. This policy shift provides a crucial financing channel for unprofitable AI and hard-tech startups in China, potentially accelerating their growth and IPO process. It signals strong government support for the AI sector and may reshape the landscape of China’s tech capital markets. The fifth set of standards originally allowed pre-revenue companies in biotech and other hard-tech sectors to list. The expansion now explicitly includes AI large-model companies, embodied AI, quantum tech, and biomanufacturing. Additionally, the CSRC will strictly crack down on fake tech hype and issue guidance on AI regulation in capital markets.
telegram · zaihuapd · Jun 17, 08:30
Background: The STAR Market (科创板) is China’s Nasdaq-style board for tech companies, launched in 2019. Its fifth set of listing standards permits companies without profits to go public if they meet certain R&D and market cap thresholds. Shelf registration (储架发行) is a mechanism where issuers can register securities once and issue them in tranches over time, streamlining refinancing. Embodied AI refers to AI systems that interact with the physical world, such as humanoid robots.
References
Tags: #AI, #regulation, #China, #stock market, #technology
Anthropic surpasses OpenAI in enterprise AI market share ⭐️ 8.0/10
In May 2026, Anthropic’s enterprise AI market share surpassed OpenAI for the first time, with Ramp data showing Anthropic capturing 41% of enterprise subscription spending versus OpenAI’s 39.5%, despite the Trump administration ordering Anthropic to remove its latest models due to export controls. This milestone signals a shift in enterprise AI adoption, where safety-focused Anthropic is gaining trust over OpenAI despite regulatory headwinds. It may also reshape the competitive landscape and investor sentiment ahead of potential IPOs. The models affected are Claude Fable 5 and Claude Mythos 5, which were released in June 2026 and then promptly ordered offline. However, most enterprise customers still use the publicly available Claude Opus series, mitigating immediate revenue impact.
telegram · zaihuapd · Jun 17, 09:30
Background: Anthropic is an AI safety company founded by former OpenAI employees, known for its Claude models. In June 2026, it released its most powerful models, Fable 5 and Mythos 5, but the U.S. government ordered them removed citing national security concerns about foreign access. Enterprise AI market share is tracked by companies like Ramp, which analyzes corporate spending on AI subscriptions.
References
Tags: #AI industry, #enterprise AI, #market competition, #regulation, #Anthropic