Scraped at 06:27, July 12, 2026 (PDT)
(1) Old and new apps, via modern coding agents by Terry Tao
Terry Tao discusses how modern coding agents reshape app development, potentially unifying approaches for legacy and new apps. Highlights how AI-assisted coding could affect maintenance, migration paths, and software ecosystems.
Terry Tao 探讨现代编码代理如何改变应用开发,或为遗留与新应用提供统一的开发路径。强调人工智能辅助编码对维护、迁移和软件生态的影响。
(2) What xAI's Grok Build CLI Actually Sends to xAI
The Grok Build CLI's data flows are exposed, revealing what information is sent to the xAI service. The post flags potential privacy and data governance implications and suggests how to limit or audit what’s transmitted.
揭示 Grok Build CLI 向 xAI 服务器发送的数据类型,引发隐私和数据治理方面的关注,并给出限制与审计的建议。
(3) Apple sues OpenAI, accuses ex-employees of stealing trade secrets
A high-profile lawsuit pits Apple against OpenAI over alleged misappropriation of trade secrets by former OpenAI staff. The case centers on proprietary AI techniques and internal data siphoned during a transition, signaling growing tension as big tech fights over AI talent. The outcome could influence how firms protect confidential knowledge during acquisitions and departures.
一起备受关注的诉讼指控苹果指控OpenAI及其前员工窃取商业机密,聚焦于AI技术与内部数据的可能外泄。此案凸显大型科技公司在人才流动与知识保护方面的博弈,将影响企业在并购和员工离职时的机密信息防护策略。
(4) Mesh LLM: distributed AI computing on iroh
Mesh LLM demonstrates distributed AI computing across a mesh of nodes using iroh, reducing reliance on centralized hardware. The approach highlights how decentralized coordination can scale model inference and resilience in AI workloads.
Mesh LLM 展示了在 iroh 上通过网状节点进行分布式 AI 计算,降低对中心化硬件的依赖。去中心化协作在推理扩展和 AI 工作负载的弹性方面展现潜力。
(5) Under federal rule, colleges must leave grads better off or lose financial aid
A federal rule requires colleges to demonstrate that their graduates fare better financially or risk loss of federal financial aid eligibility. The shift signals tighter accountability for higher education outcomes.
联邦规定要求高校证明毕业生在经济上更有改善,否則将可能失去联邦资助资格。这一转变标志着对高校结果的更严格问责。
(6) Show HN: Ant – A JavaScript runtime and ecosystem
Ant introduces a new JavaScript runtime and its own ecosystem, offering a fresh option for running JS outside the browser. It emphasizes a streamlined, integrated toolchain that could influence server-side JavaScript workflows if it gains traction.
Ant 提供一个新的 JavaScript 运行时及其生态系统,为浏览器之外的 JS 提供新选项。若获得广泛采用,可能影响服务器端 JS 的工作流与工具链。
(7) How Doctors die. It’s not like the rest of us (2016)
An exploration of medical culture shows doctors' end-of-life decisions differ due to training, patient expectations, and clinical realities.
文章揭示医学文化中医生的临终选择与受训、患者期望及临床现实相关的差异,强调医疗工作者关怀方面的不足及需要以同理心为导向的政策。
(8) Prefer strict tables in SQLite
Promotes using STRICT tables in SQLite to enforce data types and constraints, reducing silent data quality issues. Includes guidance on enabling strict tables and migrating schemas.
倡导在 SQLite 中使用 STRICT 表以强制数据类型和约束,降低隐性数据质量问题。提供启用严格表和迁移模式的实用建议。
(9) Nvidia, CoreWeave, and Nebius: Inside the Circular Financing of the GPU Boom
Explains circular financing used by GPU-focused players to recycle capital across rounds, accelerating equipment deployment for AI workloads; discusses players' roles and financial tactics.
揭示围绕 GPU 行业的循环融资如何在多轮融资中回流资本,加速 AI 工作负载的显卡部署。分析参与方的角色和财务策略。
(10) Female US rower completes historic solo journey from California to Hawaii
Profiles a female rower completing a solo cross-ocean voyage; highlights endurance, training, and the growing visibility of women in extreme exploration.
报道这位女性实现了单人横跨太平洋的纪录,展现极限耐力、训练与女性在极限探索领域的崭露头角。
(11) Stop Telling Me to Ask an LLM
Author argues against outsourcing thinking to LLMs, highlighting risks of misinformation, context loss, and misaligned incentives. Proposes strategies to combine human judgment with AI tools, preserving agency and critical thinking.
作者反对把思考交给LLM,指出错误信息、上下文丢失和激励错位的风险。提出将人类判断与AI工具结合的策略,维护自主性与批判性思维。
(12) Why are US consumers so angry? It's not just high prices
A deeper look beyond inflation at factors like stagnant wages, rising cost of living, perceived corporate excess, and political polarization contributing to consumer frustration. The piece suggests tech-enabled conveniences may mask economic stress and shape political sentiment.
文章在通胀之外探讨引发美国消费者愤怒的深入原因,包括工资停滞、生活成本上升、对企业过度利润的感知以及政治极化。指出科技带来的便利掩盖的经济压力,也在塑造公众情绪与政治态度。
(13) RISCBoy is an open-source portable games console, designed from scratch
RISCBoy is an open-source, portable game console built from scratch, likely leveraging a RISC-V core. It showcases a DIY hardware ethos and offers a community-driven alternative to proprietary handhelds.
RISCBoy 是一个开源、便携的游戏机,完全从零设计,可能基于 RISC-V 架构。它体现了动手做硬件的精神,以及对专有掌上设备的社区驱动替代方案的探索。
(14) Weightlifting beats running for blood sugar control, researchers find (2025)
A study finds weightlifting more effective than running for improving blood sugar control, possibly by increasing insulin sensitivity and muscle mass. The finding could reshape exercise prescriptions for diabetes and metabolic health, emphasizing resistance training.
研究发现举重在改善血糖控制方面优于跑步,可能通过提升胰岛素敏感性和增加肌肉量实现。此发现或将改变糖尿病与代谢健康的运动处方,强调力量训练的重要性。
(15) AI 2040 and the cult of intelligence
A thoughtful piece examining how hype around AI 2040 can become a cultural religion, shaping policy and investment more than actual capabilities. It critiques techno-optimism and urges critical thinking about what 'intelligence' really means in AI, and how societies prepare for it.
通过分析AI在2040年前后的热潮如何演变为一种文化信仰,文章指出所宣称的能力与现实之间的差距可能左右政策和投资。批评技术乐观主义,呼吁对“智能”在AI中的含义以及社会应对策略保持批判性思考。
(16) Modern decor may be straining people's brains
A study links certain contemporary décor styles to higher cognitive load and reduced attention. The findings matter for UI/UX, workplace design, and educational spaces, suggesting that aesthetics can come at a cognitive cost. Designers may need to balance beauty with cognitive ease.
研究将某些现代家居风格与更高认知负荷和注意力分散联系起来。结果对用户界面/体验、工作环境和教育空间有意义,提示美学可能带来认知成本,设计时需在美感与认知舒适之间取得平衡。
(17) Autopsy Study Finds Replicating SARS-CoV-2 in the Hearts of Long Covid
An autopsy study finds SARS-CoV-2 replication in the hearts of some long-COVID patients, shedding light on cardiac involvement and potential mechanisms behind lingering symptoms. The result underscores long-COVID's potential organ-specific effects and the need for ongoing cardiovascular monitoring.
尸检研究发现部分长期新冠患者的心脏中存在 SARS‑CoV‑2 的复制,揭示心脏受累及长期症状的潜在机制。结果强调长期新冠对心血管健康的潜在影响,需持续监测。
(18) UPI: Anatomy of a Payment Transaction
Outlines how UPI payments flow from payer to merchant, detailing routing, settlement, and security checks; implications for throughput, fee structures, and interoperability.
解析 UPI 支付的完整交易流程,包括路由、结算与安全校验,揭示其对吞吐量、费用和互操作性的影响。
(19) We scaled PgBouncer to 4x throughput
Shows how to push PgBouncer-based connection pooling to four times the throughput for PostgreSQL workloads, with practical tuning tips and pooling-mode considerations. Demonstrates integration with a managed Postgres stack to reduce connection overhead and latency.
展示如何将 PgBouncer 基于连接池的吞吐量提升至四倍,给出实际的参数调整和池模式选择要点。展示在 ClickHouse 管理的 Postgres 场景中降低连接开销、提升延迟表现的做法。
(20) QuadRF can spot drones and see WiFi through my wall
QuadRF demonstrates that RF sensing can reveal both drone activity and WiFi signals through walls. This kind of passive observation highlights security and privacy implications for home networks and aerial devices, even when devices aren't in visible sight. It also underscores practical limits like range, clutter, and legal boundaries.
QuadRF 展示了射频探测可以在墙后揭示无人机活动和 WiFi 信号。这类被动观测引发对家庭网络和无人机安全与隐私的担忧,同时也暴露出覆盖范围、信号干扰和法律边界等局限。
(21) Leaded gas was a known poison the day it was invented (2016)
The article recounts that leaded gasoline's toxicity was recognized long before its widespread adoption, yet regulation lagged. It highlights how industry influence delayed public health action, with long-term environmental and health costs, underscoring modern lessons about precaution and policy.
铅汽油在开发之初就被认为有毒,但监管滞后让其广泛使用。指出产业影响力拖延公共卫生行动,带来长期的环境与健康代价,为当下的风险评估与政策制定提供教训。
(22) New York City to ban deceptive subscription practices
New York City plans to ban deceptive subscription practices, including auto-renewal traps and hidden charges. The move aims to improve consumer protection and force clearer disclosures from subscription-based services, potentially reshaping how onboarding and renewal terms are presented online. This could raise the bar for startups and platforms relying on subscription models.
纽约市拟禁止欺骗性订阅行为,包括自动续订陷阱与隐藏费用,提升消费保护。此举将促使订阅型服务在用户注册与续订条款上提供更清晰的披露,或对采用订阅模式的企业带来影响。
(23) GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
GPT-5.6 Sol Ultra has produced a proof of the Cycle Double Cover Conjecture, with a PDF provided. If verified, this would mark a notable milestone in AI-assisted formal proofs and could accelerate future mathematical work, but the proof will be rigorously scrutinized by the community. The episode highlights AI's potential to aid deep mathematics while underscoring the need for careful validation.
GPT-5.6 Sol Ultra 似乎给出了循环双覆盖猜想的证明,并附有 PDF。若经同行验证,这一成果可能标志着 AI 辅助形式化证明迈出重要一步,或加速后续的数学研究,但证明将接受严格审查。此事凸显 AI 在高深数学领域的潜力,同时也强调需要谨慎验证。
(24) How to hide from killer drones
The piece outlines practical and ethical considerations for counter-drone strategies, from concealment to shielding, while noting limits and risks of civilian safety. The broader takeaway: as drone threat grows, defense research raises questions about privacy and civil liberties.
文章概述对抗无人机的策略要点,包括隐蔽、屏蔽等方法及相关伦理与安全边界,强调民用安全的局限性。随着无人机威胁上升,防御研究带来的将是隐私与公民自由的讨论。
(25) Networking and the Internet, from First Principles
Explores networking from first principles, distilling how data moves from device to device through protocols, routing, and hardware. By focusing on foundational trade-offs, it offers a mental-model framework useful for designing scalable, reliable Internet services.
从第一性原理出发梳理网络如何在设备之间通过协议、路由和硬件传输数据。聚焦基础权衡,提供可用于设计可扩展、可靠互联网服务的思维模型。
(26) Show HN: Learn by rebuilding Redis, Git, a database from scratch
A learning-by-rebuilding project; shares experiments and code for reconstructing core systems, offering practical insights into data structures and OS concepts.
一个以重建核心组件来学习的练习项目,包含 Redis、Git、数据库等实现的代码与笔记,帮助理解底层数据结构与系统设计。
(27) Einstein's relativity rules chemical bonds in heavy elements, new research shows
Relativistic effects become significant in very heavy elements, reshaping electron orbitals and bond strengths. The new work shows that Einstein's relativity plays a decisive role in how chemical bonds form in superheavy elements, with implications for modeling their chemistry and discovering new materials. This challenges non-relativistic intuition that underpins much of chemistry for lighter elements.
在极重元素中,相对论效应显著改变电子轨道、键能与分子几何。最新研究表明,爱因斯坦的相对论在超重元素的化学键形成中发挥关键作用,这可能改变对其化学性质的建模与新材料的设计。
(28) Ghost Font: A font that humans can read but AI cannot
Ghost Font is designed so humans can read the text while machines struggle to interpret it. It highlights a tension between human readability and machine parsing, with implications for data scraping, copyright enforcement, and model training datasets. The idea could spur new anti-scraping techniques, even as OCR continues to improve.
幽灵字体让人眼可读、机器难以识别,折射出人机可读性与机器解析之间的张力。对数据抓取、版权保护和模型训练数据集具有潜在影响,同时也暴露出 OCR 技术的对抗性与演进空间。
(29) The early History of the Singular Value Decomposition (1993) [pdf]
Tracing the origins of the singular value decomposition and its early formulations, showing how the idea underpins modern data compression, PCA, and machine learning. The PDF offers historical context for a fundamental tool in linear algebra.
追溯奇异值分解的早期发展及其在现代数据分析中的影响,展示该工具在降维、数据压缩和机器学习中的核心作用的历史背景。
(30) Reverse centaurs are the answer to the AI paradox (2025)
Proposes 'reverse centaurs'—humans guided by AI to amplify judgment and creativity—as a solution to AI paradoxes like misalignment and over-reliance on automation. Emphasizes human-AI collaboration as a productive path forward.
提出“反向半人马”概念,即在人类决策中叠加AI辅助以增强判断力与创造力,作为应对AI悖论的路径。强调人机协作比单纯追求自动化更具生产力,适用于未来工作与创新。
(31) An update on residential proxies and the scraper situation
Residential proxies remain a core tool for large-scale scraping, but policy moves and anti-abuse measures are tightening the space. The update points to changes in pricing, reliability, and access that could disrupt data-driven workflows. For developers and researchers, it signals the need for compliant scraping strategies and robust data sourcing.
住宅代理仍是大规模抓取的核心工具,但相关政策和反滥用措施正在收紧。更新指出定价、可靠性与获取途径的变化,可能影响需要大量网页数据的工作流。对开发者和研究者而言,意味着需要采取合规的抓取策略与更稳健的数据获取方案。
(32) The vintage beauty of Soviet control rooms (2018)
These rooms showcase vast, modular consoles, glowing CRT displays, and tactile controls that reflect Soviet-era computing and operational culture. The imagery highlights a design language where humans and machines coexisted in the control room, a contrast to today’s lean dashboards. The piece is a reminder that industrial aesthetics can influence contemporary UI/UX design.
这些照片展示了广阔的模组化控制台、发光的 CRT 显示和大量触控旋钮,映射出苏联时代的计算与运维文化。其设计语言强调人机共处的工作场景,与今日的简洁仪表板形成对照。该组影像提醒人们,工业美学仍能影响现代 UI/UX 设计。
(33) FCC approves test of space mirror to light night sky
The US FCC approves a test of a large space-based mirror to reflect sunlight for nighttime illumination. Potential benefits include energy-efficient lighting, but risks such as orbital debris, light pollution, and geopolitical concerns.
美国联邦通信委员会批准测试一个巨型太空镜,将太阳光投射到夜空以实现夜间照明。潜在优点包括节能照明,但也存在轨道碎片、光污染与地缘政治等风险。
(34) SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth
SpaceX aims to deploy up to 100,000 new Starlink satellites to boost total bandwidth by around 100x. The plan would dramatically reshape global connectivity, but faces colossal challenges in propulsion, spectrum, orbital debris, and regulatory approvals. If realized, it could push internet access to remote regions while stressing space logistics and climate concerns.
SpaceX 计划再发射十万颗 Starlink 卫星,带宽有望实现约100倍的提升。此举可能彻底改变全球连接格局,但在推进、频谱、轨道碎片与监管方面仍面临巨大挑战。若实现,将使偏远地区上网更易,但也对太空运营与环境提出新压力。
(35) Your code is fast if you're lucky
Code speed often depends on luck as much as design—factors like compiler optimizations, CPU caches, and workload shape performance. The piece argues for data-oriented design, profiling, and robust benchmarks rather than chasing micro-optimizations.
代码的执行速度在很大程度上受外部因素影响,运气也很关键——编译器优化、CPU缓存和工作负载都会左右性能。文中倡导以数据为导向的设计、性能分析与可靠基准,避免盲目追逐微小优化。
(36) Write code like a human will maintain it
Guidelines for writing code that future maintainers can understand. It emphasizes readability, clear naming, modular design, solid tests, and good documentation to reduce long-term maintenance debt. The piece argues that maintenance costs typically exceed initial development, so building with future contributors in mind matters.
给未来维护者可读的代码的准则。强调可读的结构、清晰的命名、模块化设计、完善的测试和文档,以降低长期维护成本。指出维护支出通常超过初步开发,因此要以未来协作者的可维护性为目标。
(37) The tech of 'Terminator 2' – an oral history (2017)
An oral history revisits the technical feats behind Terminator 2, highlighting practical effects, model work, and the early balance between analog and digital tricks. It shows how teams solved filmic challenges with ingenuity under tight budgets and time pressures. The piece illuminates a pivotal moment in visual effects history.
这部《终结者2》技术口述史回顾了特效背后的硬件与软件成就,强调实拍特效、模型工作以及早期的数字与模拟技术的结合。作者揭示了团队在预算和时间压力下如何凭借创造力解决难题,塑造了影像特效的历史转折点。
(38) How the terrorist group Boko Haram uses frontier AI
A CASP report documents how Boko Haram leverages frontier AI to plan and execute operations, illustrating the evolving threat of AI-enabled extremism. The findings underscore the need for monitoring, safeguards, and countermeasures to prevent misuse. It also highlights the broader risk landscape as AI technologies spread.
一份 CASP 报告揭示博科圣地利用前沿 AI 进行作战计划与行动,体现了 AI 助力极端主义的新演变。研究强调需要加强监控、建立防护措施并制定对策以防止滥用,同时也反映出随着 AI 技术普及,风险格局正在扩大。
(39) Why it's so difficult to produce American-made medical gloves
Delve into manufacturing constraints: raw materials (nitrile latex), specialized gloves, supply chain dependencies, domestic capacity, automation challenges, regulatory compliance, and cost pressures. Highlights that reshoring gloves is complex, with implications for healthcare resilience.
深入解释制造美国产医用手套的难点,包括原材料、产能、供应链依赖、以及合规成本。重塑本土产能面临技术与成本双重挑战,对医疗系统的韧性具有重要影响。
(40) Snails' teeth beats spider silk as nature's strongest material (2015)
A 2015 study found that snail teeth are among the strongest natural materials, outmatching spider silk due to their mineralized structure. This reshapes assumptions about how biology builds tough materials and inspires bio-inspired engineering approaches. The finding continues to influence materials science discussions today.
2015年的研究发现,蜗牛牙齿因矿化结构而具备极高强度,甚至超过蜘蛛丝。这一发现改变了对自然材料强度的直觉,并为生物启发式材料设计提供新思路,成为材料科学讨论的经典案例。
(41) Successful companies go blind
As companies scale, they can lose sight of fundamentals like customer needs and product quality. The article argues for deliberate checks—maintaining a 'healthy paranoia' about risk, investing in reliability, and keeping feedback loops intact.
企业在快速成长后容易忽视基本面,如客户需求和产品质量。文章提倡保持对风险的健康警觉、加强可靠性建设,并维护有效的反馈循环。
(42) After 7 years in production, Scarf has reluctantly moved away from Haskell
After seven years in production, the Scarf project has reluctantly moved away from Haskell, citing reasons like ecosystem maturity, performance, or maintenance constraints. The decision reflects the real-world tradeoffs teams face when choosing a language for long-running systems software.
经过七年的生产实践,Scarf 项目被迫放弃在生产环境中使用 Haskell,原因包括生态系统成熟度、性能与维护成本等权衡。这反映出长期运行的系统在语言选择上的现实考量。
(43) Mayor Mamdani announces "Click-to-Cancel" rules
New rules require easy opt-out and data-deletion options for subscriptions, with clear timelines and penalties for noncompliance. The move heightens consumer control and privacy, and will push product teams to simplify cancellation flows, potentially affecting churn and business models.
新规则要求对订阅提供简单易行的取消及数据删除选项,并设定明确的时限和违规罚则。此举提升了用户控制与隐私保护,促使产品团队简化取消流程,可能影响用户流失率和商业模式。
(44) War Atlas: An interactive cartography of every named war in human history
War Atlas offers an interactive map of named wars across history, letting users explore when and where conflicts happened and how large they were. The visualization helps researchers, educators, and curious readers grasp the scale and geography of conflict over time. It’s a compelling data-driven lens on world history.
War Atlas 提供跨历史的命名战争互动地图,便于用户查看战争发生的时间、地点及规模。该可视化工具对研究者、教育工作者与好奇读者理解冲突的时空分布具有帮助,提供了以数据驱动的历史视角。
(45) A love letter to flashcards
A Love Letter to Flashcards praises flashcards as a learning tool, emphasizing spaced repetition and concise prompts. It discusses design choices that make flashcards effective and enduring in modern study workflows.
这篇文章以情感笔触赞扬抽认卡在学习中的作用,强调分散性重复和简短提示的重要性。还讨论了让抽认卡在现代学习流程中高效持久的设计要点。
(46) GPT-5.6, Grok 4.5, Claude, and Muse Spark build the same 4 apps
Several AI models independently build the same four apps, illustrating rapid prototyping and convergent capabilities across toolkits. The trend highlights how developers can rely on multiple backends for similar outcomes, while raising questions about vendor lock-in, consistency, and maintenance across runtimes.
多套 AI 模型同时独立构建同样的四个应用,显示出快速原型迭代和能力收敛。趋势表明开发者可以依赖不同后端实现相同结果,但也带来供应商锁定、跨运行时的一致性与维护难题等挑战。
(47) Punk, or why I don't stream anymore
A personal reflection on streaming culture, burnout, or policy concerns that led the author to stop streaming. It touches on privacy, community dynamics, and sustainability of creator work.
作者就流媒体文化、职业疲劳或平台政策等问题进行反思,解释为何不再进行直播。文中涉及隐私、社区关系以及创作者工作的可持续性等议题。
(48) Computation as a universal and fundamental concept
A discussion framing computation as a universal, fundamental idea that underpins sciences, math, and engineering. It promotes computational thinking as a cross-disciplinary literacy.
讨论将计算视为跨科普与工程等领域的普遍、基础的概念,倡导计算思维作为跨学科的基础素养。
(49) Please don't discontinue Gemini 2.5 Flash
There is push to keep Gemini 2.5 Flash from being discontinued, citing preferred performance and compatibility. The stance reflects concerns about disruption to workflows and model access, and could influence product strategy if the variant is commonly used by developers.
呼吁不要停用 Gemini 2.5 Flash,称其性能或兼容性更受青睐。这一立场反映出对工作流中断和对该变体访问的担忧,若被广泛使用,可能影响厂商的产品策略。
(50) Apple sues OpenAI, accusing it of stealing company secrets
Apple file a lawsuit against OpenAI alleging theft of company secrets, underscoring IP and confidential data concerns in AI development. The case could influence how enterprises manage data sharing and model training, and may shift competitive dynamics in the AI ecosystem.
苹果就窃取公司机密向 OpenAI 提起诉讼,凸显在 AI 研发中对知识产权和机密数据的关注。此案可能影响企业在数据共享和模型训练方面的合规做法,并改变 AI 生态的竞争格局。