From 39 items, 17 important content pieces were selected
- GPT-5.6 Solves 30-Year Convex Optimization Problem via Prompt ⭐️ 9.0/10
- TSMC's A14 Process Nearly Hits 90% Yield and Performance ⭐️ 9.0/10
- Active Effort Key to Community Building ⭐️ 8.0/10
- LG monitors install software via Windows Update without consent ⭐️ 8.0/10
- Kimi K3 Achieves Frontier AI Parity via Distillation ⭐️ 8.0/10
- Reflections on Bikeshedding in Open Source ⭐️ 8.0/10
- Anthropic makes Claude Fable 5 permanent amid competition ⭐️ 8.0/10
- Book 'Half a Second' Chronicles 2024 XZ Backdoor Incident ⭐️ 8.0/10
- Reddit Alleges Flawed Entry Won DeepMind/Kaggle AGI Prize ⭐️ 8.0/10
- Interactive map of GPT-2 token embeddings ⭐️ 8.0/10
- Deep Learning Survey Categorizes 25 Methods for scRNA-seq Analysis ⭐️ 8.0/10
- Doubao Phone Drops GUI Automation, Adopts MCP for Super Apps ⭐️ 8.0/10
- Meta in talks to rent AI compute to Anthropic ⭐️ 8.0/10
- SpaceX in Talks with Pentagon for AI Computing Power in Multi-Billion Dollar Deal ⭐️ 8.0/10
- US Considers FINRA-Like Watchdog for Top AI Models ⭐️ 8.0/10
- Bilibili Unveils Open-Source Active AI Companion 'Project N.E.K.O.' at WAIC 2026 ⭐️ 8.0/10
- HK Fire Report: Contractor Violations and Regulatory Collapse ⭐️ 8.0/10
GPT-5.6 Solves 30-Year Convex Optimization Problem via Prompt ⭐️ 9.0/10
GPT-5.6 (Sol Pro) was used to solve a long-standing open problem in convex optimization—a 30-year-old conjecture—by simply prompting the model, resulting in a new proof of an upper bound on the complexity of minimizing convex Lipschitz functions over a spherical domain. This marks a significant milestone where an AI model makes a genuine mathematical contribution, potentially accelerating research in optimization theory and demonstrating that large language models can tackle problems that have resisted human mathematicians for decades. The achievement was confirmed to be with the Sol Pro variant of GPT-5.6, not the Ultra version, and the problem addressed is a niche but real contribution to convex optimization, focusing on the time complexity of first-order methods for convex Lipschitz functions.
hackernews · mbustamanter · Jul 18, 13:00 · Discussion
Background: Convex optimization is a subfield of mathematical optimization that studies minimizing convex functions over convex sets. Many such problems can be solved efficiently, but some theoretical questions—like exact worst-case complexity—remain open. The problem solved involves bounding the number of steps needed for a subgradient method to find an approximate minimum of a convex Lipschitz function on a sphere.
References
Discussion: The Reddit community largely validated the contribution, with one expert noting it is a real but niche result. Others discussed the implications for mathematical research, suggesting that low-hanging fruit may now be handled by AI, while human researchers will focus on deeper novel approaches. There was also clarification that the model used was Sol Pro, not Ultra.
Tags: #AI, #convex optimization, #mathematical proof, #LLM, #research
TSMC's A14 Process Nearly Hits 90% Yield and Performance ⭐️ 9.0/10
TSMC announced that its A14 (1.4nm-class) process has achieved nearly 90% of target device performance and 90% yield on 256Mb SRAM, up from 85% and 80%+ respectively in April, with strong customer interest from AI, HPC, and smartphone sectors. This progress suggests TSMC is on track for 2028 mass production, potentially earlier, which would give AI and HPC chips a significant performance-per-watt boost and maintain TSMC's leadership in advanced nodes. Compared to N2 (2nm-class), A14 offers 10-15% higher performance at same power or 25-30% lower power at same frequency, with 23% higher logic transistor density; it uses second-generation GAA nanosheet transistors, benefiting from N2 experience.
telegram · zaihuapd · Jul 18, 05:00
Background: Gate-All-Around (GAA) nanosheet transistors are a next-generation transistor design where the gate wraps around all four sides of the channel, enabling better electrostatic control and allowing further scaling beyond FinFET. TSMC's A14 is a 1.4nm-class node following the N2 (2nm) node, and is expected to enter high-volume manufacturing around 2028.
References
Tags: #semiconductor, #TSMC, #A14, #AI, #HPC
Active Effort Key to Community Building ⭐️ 8.0/10
The article argues that communities require active effort to build and maintain, contrasting passive consumption with the need for grassroots initiative and vulnerability. This perspective is significant because it challenges the common passive attitude toward social scenes, highlighting that social alienation may stem from a lack of personal investment in community fabric. The piece draws on personal experience and generational observations, noting that grassroots social institutions like clubs and dances have declined, and questions why these were not passed down.
hackernews · barry-cotter · Jul 18, 15:37 · Discussion
Background: Community building is often misunderstood as something that happens naturally, but it actually requires intentional effort and vulnerability. The article connects this to broader social trends where people see themselves as passive consumers rather than active participants.
Discussion: Commenters share personal experiences of the vulnerability required to be the 'social fabric,' noting that it can lead to toxic inner dialogs when effort is not reciprocated. Others observe a generational rift where older social institutions were not passed down to younger generations.
Tags: #community building, #social dynamics, #grassroots organizations, #open source culture, #generational shifts
LG monitors install software via Windows Update without consent ⭐️ 8.0/10
LG monitors are silently installing proprietary software onto Windows PCs via Windows Update without user consent, triggered simply by connecting the monitor via HDMI. This practice bypasses user control and poses security and privacy risks, as the software runs at boot with full system access and could be exploited by malicious actors. The software installs automatically when a new or previously connected LG monitor is plugged in, and it starts with every system boot without any sandboxing.
hackernews · baranul · Jul 18, 10:21 · Discussion
Background: Windows Update can automatically download and install driver-related software from hardware vendors when devices are connected. This is intended to simplify setup but can be abused if vendors distribute non-essential or potentially unwanted software. Users can disable this behavior via Group Policy or Device Installation Settings.
References
Discussion: Users are alarmed by the silent installation, with some calling it 'malware' and pointing out that it occurs even with older monitors. Commenters provide workarounds via Group Policy or Device Installation Settings to disable automatic download of manufacturer apps, and debate whether Microsoft or LG bears primary responsibility.
Tags: #security, #privacy, #Windows, #drivers, #LG
Kimi K3 Achieves Frontier AI Parity via Distillation ⭐️ 8.0/10
A Chinese lab has achieved performance parity with frontier AI models like GPT-5.6 and Opus 4.8 by distilling knowledge from larger models, releasing the Kimi K3 model. This milestone shows that model distillation can rapidly close the gap with leading AI labs, potentially disrupting the competitive landscape and raising national security concerns about open-weight models. Kimi K3 has 2.8 trillion parameters and is priced at $3/$15 per million tokens input/output, comparable to GPT-5.6 Sol ($5/$30) and Opus 4.8 ($5/$25). Some users report that it takes significantly longer on complex tasks compared to leading models.
hackernews · sbochins · Jul 18, 17:32 · Discussion
Background: Model distillation transfers knowledge from a large 'teacher' model to a smaller 'student' model, enabling efficient performance at lower cost. Open-weight models provide public access to model parameters, unlike closed-source frontier models. This technique has been widely discussed in the AI community as a way to democratize AI capabilities.
References
Discussion: Commenters are divided: some view distillation as an inevitable and legitimate method, while others worry about national security crackdowns. User SwellJoe reports that Kimi K3 struggled with a task that OpenAI's model handled quickly, indicating possible quality trade-offs. User credit_guy notes the parameter and pricing parity, suggesting direct competition.
Tags: #AI, #distillation, #open-weight models, #geopolitics, #frontier labs
Reflections on Bikeshedding in Open Source ⭐️ 8.0/10
Poul-Henning Kamp's article 'Goodbye, and Thanks for All the Bikesheds' offers a retrospective on the bikeshedding phenomenon in open source, providing insights on how to manage trivial decisions effectively. This article matters because bikeshedding wastes community time and energy; understanding it helps open source projects focus on important issues and maintain productivity. The author, PHK, is a prominent FreeBSD developer who created MD5crypt; the article combines historical context with practical advice for avoiding trivial disputes.
hackernews · Ygg2 · Jul 18, 17:27 · Discussion
Background: Bikeshedding, also known as Parkinson's law of triviality, describes the tendency to spend disproportionate time on trivial matters while neglecting important ones. It is a common phenomenon in organizations and open source communities, where simple but unimportant issues attract excessive discussion.
Discussion: Commenters highlighted the concept of reversible decisions as a solution to bikeshedding, and noted PHK's contributions like MD5crypt. Some diverged into age restrictions and gender issues in tech.
Tags: #open source, #bikeshedding, #software engineering, #community management
Anthropic makes Claude Fable 5 permanent amid competition ⭐️ 8.0/10
Anthropic reversed its earlier decision and announced that Claude Fable 5 will be included in all Max and Team Premium plans starting July 20, at 50% of usage limits, and Pro and Team Standard users will receive a $100 credit. This change comes after competitive pressure from GPT-5.6 Sol and Kimi 3. This reversal demonstrates the intense market dynamics in the AI model space, where subscription plans must include top-tier models to remain competitive. Users of Anthropic's premium plans can now rely on continued access to the company's most capable model, alleviating concerns over the 'Fablepocalypse'. The original plan to remove Fable 5 from subscriptions was driven by compute capacity constraints, and it remains excluded from the $20/month Pro plan. Max plans are priced at $100 and $200 per month, and the 50% limit means subscribers can use half of their total usage quota on Fable 5.
rss · Simon Willison · Jul 18, 06:00
Background: Claude Fable 5 is Anthropic's most capable widely released large language model, designed for demanding coding tasks and long-horizon autonomous work. It was originally released alongside a private version, Claude Mythos 5. The competitive landscape includes OpenAI's GPT-5.6 Sol, a flagship model with state-of-the-art coding and reasoning abilities, and Moonshot AI's Kimi 3 (Kimi K3), a 2.8 trillion parameter model that ranked third on benchmarks.
References
Tags: #AI, #Claude, #Anthropic, #model availability, #competition
Book 'Half a Second' Chronicles 2024 XZ Backdoor Incident ⭐️ 8.0/10
Author Adrian Mastronardi has released a freely available book titled 'Half a Second' that provides a detailed narrative of the 2024 XZ backdoor attempt, including the social engineering and technical aspects. This book offers a comprehensive account of a critical supply chain attack that nearly compromised millions of Linux systems, serving as an important resource for cybersecurity education and awareness. The book is released under a noncommercial, no-derivatives Creative Commons license, and is available for free at half-second.com. It highlights the lone maintainer who was manipulated, the engineer who discovered the backdoor in half a second, and the unidentified attacker.
rss · LWN.net · Jul 18, 16:52
Background: In March 2024, a backdoor was discovered in XZ Utils, a compression library widely used on Linux systems. The backdoor, tracked as CVE-2024-3094, allowed remote code execution via OpenSSH and was inserted through a sophisticated social engineering campaign targeting the project's maintainer. The incident highlighted vulnerabilities in open source supply chain security.
References
Tags: #XZ backdoor, #supply chain security, #open source security, #cybersecurity, #book
Reddit Alleges Flawed Entry Won DeepMind/Kaggle AGI Prize ⭐️ 8.0/10
A Reddit post presents evidence that the grand prize winner in the DeepMind/Kaggle 'Measuring Progress Toward AGI' competition submitted a flawed and nonsensical methodology, questioning the integrity of the judging process. This situation raises serious concerns about research integrity and evaluation standards in high-profile AI competitions, potentially undermining trust in benchmark-driven progress claims. The post analyzes the winning submission's writeup, methodology, code, and data, alleging it generates random numbers and unfounded claims. The organizers have stated that the review was done properly and it is a matter of subjective interpretation.
reddit · r/MachineLearning · /u/TheWerkmeister · Jul 18, 15:10
Background: The competition, sponsored by Google DeepMind and hosted on Kaggle, asked participants to design new cognitive-science-based AI benchmarks to measure progress toward AGI, with a $25,000 grand prize. The controversy highlights ongoing debates about how to evaluate AI systems and the rigor of peer review in competitions.
References
Tags: #AI ethics, #Kaggle, #DeepMind, #research integrity, #LLM evaluation
Interactive map of GPT-2 token embeddings ⭐️ 8.0/10
A Reddit user created an interactive map of GPT-2-small's token embedding space, using t-SNE dimensionality reduction and a minimum spanning tree to visualize relationships between 32,070 alphabetic tokens. This tool makes GPT-2's token embeddings more interpretable and accessible, helping researchers and practitioners understand token relationships without needing to run forward passes. It fosters better intuition about how language models represent meaning at the token level. The map uses t-SNE on a compressed representation of the embedding table, with edges drawn from a minimum spanning tree to show only the nearest-kin relationships. It works on mobile devices, supports pinch-to-zoom, and includes a search box for jumping to any token.
reddit · r/MachineLearning · /u/Limp-Contest-7309 · Jul 18, 22:42
Background: Token embeddings are dense vector representations of subword units in language models like GPT-2. t-SNE is a nonlinear dimensionality reduction technique that projects high-dimensional data into 2D or 3D for visualization, preserving local structure. A minimum spanning tree connects all points with the minimum total edge weight, revealing the closest pairwise relationships.
References
Tags: #machine learning, #embeddings, #interpretability, #visualization, #NLP
Deep Learning Survey Categorizes 25 Methods for scRNA-seq Analysis ⭐️ 8.0/10
A Reddit post summarizes a comprehensive survey paper that categorizes 25 deep learning methods for single-cell RNA-seq analysis into six subcategories, providing a detailed table with purpose, architecture, and novelty of each method. This survey provides a valuable structured overview for researchers in computational biology, helping them navigate the rapidly growing field of deep learning in single-cell genomics. It highlights how AI techniques are advancing our ability to analyze cellular heterogeneity at unprecedented resolution. The covered methods span six categories: data imputation, dimensionality reduction, clustering, gene regulatory network inference, trajectory inference, and cell-type annotation. The table includes metrics and novelty descriptions for each of the 25 surveyed methods.
reddit · r/MachineLearning · /u/teraRockstar · Jul 18, 20:35
Background: Single-cell RNA sequencing (scRNA-seq) measures gene expression at the individual cell level, revealing cellular heterogeneity in tissues. Deep learning models, such as autoencoders and variational autoencoders, are increasingly applied to tasks like data denoising, batch correction, and cell clustering. This survey paper systematically reviews these applications.
References
Tags: #deep learning, #single-cell RNA-seq, #computational biology, #survey, #bioinformatics
Doubao Phone Drops GUI Automation, Adopts MCP for Super Apps ⭐️ 8.0/10
Doubao phone has abandoned its original GUI automation approach that simulated clicks on super apps like WeChat and Taobao, and will instead require these apps to provide MCP (Model Context Protocol) services to grant data access and control permissions. The company has increased its stockpile from 30,000 units to hundreds of thousands. This shift reflects the real-world challenges of AI phone assistants using GUI automation, as super apps previously blocked such access. By adopting the MCP framework, Doubao aligns with industry trends seen at Apple and Google, potentially reshaping how AI agents integrate with platform services. The Doubao phone assistant software received generative AI service registration on July 15, 2025. Its technical preview was launched in December 2024, but capabilities were taken offline due to blocks by WeChat and Taobao.
telegram · zaihuapd · Jul 18, 00:29
Background: GUI automation involves an AI assistant reading the screen and simulating human clicks to operate apps, but it is fragile and often blocked by super apps. MCP (Model Context Protocol) is an emerging standard that allows AI models to directly request data and actions from apps via a protocol, similar to a USB-C interface for AI. This reduces friction and opens up controlled access.
References
Tags: #AI assistant, #MCP, #Doubao phone, #super apps, #industry dynamics
Meta in talks to rent AI compute to Anthropic ⭐️ 8.0/10
Meta is in early-stage negotiations to rent AI computing power from its data centers to AI startup Anthropic, with a potential deal worth up to $10 billion over two years. This deal underscores the acute scarcity of AI computing infrastructure and could provide Meta with a new revenue stream to offset its massive capital expenditures, while giving Anthropic access to critical compute resources. Anthropic proposed the deal in June 2026, and Meta is evaluating it; if signed, Anthropic would pay monthly and either party could exit early. Talks are preliminary and may not lead to an agreement.
telegram · zaihuapd · Jul 18, 01:14
Background: Meta plans to spend up to $145 billion this year, much of it on AI and data centers. The potential deal highlights how AI startups are scrambling for compute capacity amid a global GPU shortage, while large tech firms seek to monetize their infrastructure investments.
Tags: #AI, #cloud computing, #Meta, #Anthropic, #data center
SpaceX in Talks with Pentagon for AI Computing Power in Multi-Billion Dollar Deal ⭐️ 8.0/10
SpaceX is negotiating with the U.S. Department of Defense to provide data center computing power for running AI models, with a potential deal value of tens of billions of dollars. This deal would significantly expand SpaceX's relationship with the Pentagon and accelerate the military's adoption of AI, impacting national security and cloud computing markets. The negotiations are ongoing and could still fall through. SpaceX recently signed similar computing power supply agreements with Anthropic and Google, and plans to greatly expand its cloud computing business.
telegram · zaihuapd · Jul 18, 01:44
Background: The Pentagon is accelerating efforts to acquire cloud computing capabilities to support AI applications in national security and daily operations. Several tech companies, including SpaceX, Amazon, Google, Microsoft, and Oracle, have been approved to use AI models in classified environments. SpaceX is known for its Starlink satellite network and Starship launch vehicle, but is also building out a cloud computing offering.
References
Tags: #AI, #SpaceX, #五角大楼, #云计算, #国防
US Considers FINRA-Like Watchdog for Top AI Models ⭐️ 8.0/10
The Trump administration is considering creating an independent watchdog agency modeled after FINRA to review the safety of top AI models, led by Treasury Secretary Scott Bessent and currently under review by Chief of Staff Susie Wiles. This move aims to address Wall Street's cybersecurity concerns and Silicon Valley's dissatisfaction with temporary government controls, giving both industries more say in safety standards. If implemented, it could establish a new paradigm for AI regulation in the US. The plan aligns with a suggestion from Google DeepMind CEO Demis Hassabis for an industry-funded independent regulator. Anthropic and OpenAI have previously objected to government demands to modify or delay model releases. The framework is still under discussion and has not been reviewed by President Trump.
telegram · zaihuapd · Jul 18, 05:45
Background: FINRA (Financial Industry Regulatory Authority) is a self-regulatory organization that oversees brokerage firms and enforces rules to protect investors, operating under the SEC's supervision. It was formed in 2007 from the merger of NASD and NYSE regulatory units. The proposed AI watchdog would similarly be an independent, industry-funded body that sets and enforces safety standards, reporting to a government agency.
Tags: #AI regulation, #US policy, #AI safety, #governance, #technology policy
Bilibili Unveils Open-Source Active AI Companion 'Project N.E.K.O.' at WAIC 2026 ⭐️ 8.0/10
Bilibili showcased its open-source AI companion 'Project N.E.K.O.' at WAIC 2026, an active multimodal system that understands desktop content and initiates conversations. This represents a significant shift from passive AI assistants to proactive AI companions that perceive and interact with the user's digital environment, potentially transforming how users engage with virtual beings. The system features a separated architecture for UI, AI brain, and memory, allowing core data to remain local. It supports Live2D and VRM avatars, physical feedback, TTS with voice cloning, and multilingual capabilities.
telegram · zaihuapd · Jul 18, 06:45
Background: AI companions are virtual beings designed for emotional support and interaction. Traditional AI assistants are reactive, responding only when called. Project N.E.K.O. is 'active', meaning it continuously perceives the user's screen and environment, initiating conversations based on context. VRM is an open 3D avatar format standard for VR and VTubing, while VoiceClone uses AI to replicate a person's voice from audio samples.
References
Tags: #AI companion, #multimodal AI, #open-source, #computer vision, #virtual being
HK Fire Report: Contractor Violations and Regulatory Collapse ⭐️ 8.0/10
A 627-page investigation report on the 2025 Hong Kong fire that killed 168 people revealed that the contractor deliberately used non-flame retardant materials and submitted fraudulent fire certificates, while multiple government agencies failed to enforce safety regulations. This disaster exposes systemic failures in Hong Kong's building maintenance oversight, highlighting the deadly consequences of self-regulation and inadequate enforcement. The findings could drive reforms in construction safety and regulatory accountability across the region. The contractor Hung Yip Construction used non-flame retardant safety nets and foam boards on a facade renovation, and tampered with fire safety systems including draining water tanks and shutting off electrical switches. The Housing Bureau's independent review team conducted only file checks and gave advance notice of inspections.
telegram · zaihuapd · Jul 18, 10:01
Background: During high-rise building renovations, construction safety nets and foam insulation are often used. Flame retardant materials are critical to prevent rapid fire spread, especially in vertical shafts like stairwells. The fireman's switch and fire sprinkler systems must remain operational during construction to ensure fire safety.
Tags: #safety, #regulation, #construction, #Hong Kong, #disaster