2025-05-08

31 篇热帖

1. Ty: A fast Python type checker and language server (github.com) 550 points | 159 comments | by arathore

Ty：一款快速的Python类型检查器与语言服务器

项目概览

Ty是一款由 Astral（uv 和 Ruff 的创建者）支持、使用 Rust 编写的 Python 类型检查器和语言服务器。它目前处于 beta 阶段，采用 0.0.x 版本策略，API 尚未稳定。

核心优势

  • 极致性能：基准测试显示，其类型检查速度比 mypy 和 Pyright 快 10倍至100倍。
  • 全面诊断：提供包含丰富上下文信息的综合诊断。
  • 高度可配置：支持可配置的规则级别、按文件覆盖、抑制注释以及一流的项目支持。
  • 易于采纳：设计上支持重新声明和部分类型化的代码。
  • 强大的语言服务器功能：提供代码导航、补全、代码操作、自动导入、内联提示、悬停帮助等。
  • 精细的增量分析：专为 IDE 环境下的文件编辑而设计，实现快速更新。
  • 广泛的编辑器支持：兼容 VS Code、PyCharm、Neovim 等多种编辑器。
  • 先进的类型系统特性：支持一流的交叉类型、高级类型缩小以及基于类型的复杂可达性分析。

快速开始

可以通过 uvx ty check 命令快速运行。也可访问在线 ty playground 进行体验。详细的安装指南和编辑器集成配置请参考官方文档。

开发与贡献

项目的开发主要在 Ruff 仓库中进行。相关贡献（特别是针对 ruff 子模块的更改）请向 Ruff 仓库提交拉取请求。

获取帮助与许可

如有问题或发现 bug，请在 GitHub 仓库中提出 issue，或加入其 Discord 服务器。项目采用 MIT 许可证。

4. Microservices are a tax your startup probably can't afford (nexo.sh) 277 points | 224 comments | by nexo-v1

Technical leadership, MVP development, and scalable infrastructure consulting for startups and founders. Hands-on expertise in Go, Kubernetes, system design, and cloud architecture.

5. Google to back three new nuclear projects (www.esgtoday.com) 266 points | 287 comments | by aburan28

Google announced today the launch of a new collaboration with South Carolina-based nuclear project developer Elementl Power, including an agreement to invest in three advanced nuclear energy projects. The agreement comes as Google and its tech giant peers increasingly turn to nuclear energy to help address the growing emissions impact of their rapidly expanding data […]

6. Mycoria is an open and secure overlay network that connects all participants (mycoria.org) 206 points | 98 comments | by doener

Connectivity Freedom of the Original Internet

7. Open source Google Analytics replacement (github.com) 183 points | 92 comments | by samdung

🐸 Rybbit - open-source and privacy-friendly alternative to Google Analytics that is 10x more intuitive. - rybbit-io/rybbit

8. June Huh dropped out to become a poet, now he’s won a Fields Medal (2022) (www.quantamagazine.org) 177 points | 98 comments | by bpierre

June Huh wasn’t interested in mathematics until a chance encounter during his sixth year of college. Now his profound insights connecting combinatorics and geometry have led to math’s highest honor.

10. Yggdrasil is an experimental compact routing scheme that is fully decentralised (yggdrasil-network.github.io) 166 points | 46 comments | by doener

End-to-end encrypted IPv6 networking to connect worlds

11. Create and edit images with Gemini 2.0 in preview (developers.googleblog.com) 165 points | 70 comments | by meetpateltech

Explore how to generate and edit images with Gemini 2.0 Flash, now in preview in Google AI Studio

12. Samsung is paying $350M for audio brands B&W, Denon, Marantz and Polk (www.engadget.com) 163 points | 216 comments | by thibautg

Harman International, a wholly owned subsidiary of Samsung, is purchasing the audio business of health technology company Masimo for $350 million in cash.

13. Web search on the Anthropic API (www.anthropic.com) 161 points | 37 comments | by cmogni1

Claude can now search the web through the API, giving users access to real-time information with citations for building up-to-date AI applications. Unknown block type "latestUpdates", specify a component for it in the `components.

14. Progress toward fusion energy gain as measured against the Lawson criteria (www.fusionenergybase.com) 146 points | 64 comments | by sam

Today we’ve released a pre-publication version of an update to our 2022 paper “Progress toward fusion energy breakeven and gain as measured against the...

15. Three Chapters at Cloudflare: Programmer to CTO to Board of Directors (blog.cloudflare.com) 144 points | 27 comments | by jgrahamc

Today, after more than 13 years at the company, I am joining Cloudflare’s board of directors and retiring from my full-time position as CTO.

17. Trump's NIH axed research grants even after a judge blocked the cuts (www.propublica.org) 135 points | 123 comments | by hn_acker

A lawsuit led by the Washington state attorney general offers an unprecedented view of the termination of more than 600 NIH grants, including transgender research grants threatened by Trump’s executive orders.

20. 'I paid for the whole GPU, I am going to use the whole GPU' (modal.com) 117 points | 31 comments | by mooreds

A guide to maximizing the utilization of GPUs, from cloud allocations to FLOP/s.

21. Mac Themes Garden (damien.zone) 115 points | 31 comments | by speckx

A website for old Macintosh themes and some background.

24. Show HN: US Routing – Python library for fast local routing in the US (github.com) 111 points | 26 comments | by ivanbelenky

us cached road graph, freeways, primary and secondary roads - ivanbelenky/us-routing

26. We have reached the "severed fingers and abductions" stage of crypto revolution (arstechnica.com) 107 points | 82 comments | by zdw

Wave of crypto kidnappings hits Europe.

28. An Introduction to Solid Queue for Ruby on Rails (blog.appsignal.com) 106 points | 50 comments | by amalinovic

In this two-part series, we'll dig deep into Solid Queue's internals, discover what makes it unique, and learn more about why it was created in the first place.

29. Egyptologist uncovers hidden messages on Paris’s iconic obelisk (news.artnet.com) 103 points | 95 comments | by isaacfrond

埃及学家让-纪尧姆·奥莱特-佩尔捷在巴黎协和广场的卢克索方尖碑上发现了七个隐藏的加密象形文字。这一发现源于他在疫情期间的散步，他注意到这座有3000年历史的古埃及纪念碑上的铭文似乎存在异常的指向性。借助2024年巴黎奥运会前对建筑进行修缮的机会，他获准近距离研究这座方尖碑，成为一个多世纪来首位攀爬这座70英尺高纪念碑的学者。

加密象形文字是一种包含谜题和文字游戏的书写形式，例如改变阅读方向，仅古埃及的知识精英才能理解。目前全球只有少数埃及学家能解读这类文字，奥莱特-佩尔捷是其中之一。

这些隐藏信息的主要内容是强化法老拉美西斯二世的神圣统治。拉美西斯二世在25岁时继位，并非天生国王，因此他将方尖碑用作宣传工具。具体发现包括：

  1. 面向尼罗河的一侧：拉美西斯二世向阿蒙神献祭的形象，他头戴象征上下埃及统一的王冠，这一细节只有乘船前往卢克索神庙参加奥佩特节的贵族才能从特定角度看到。信息意在强调国王作为神化身、不可被废黜的地位。
  2. 面向沙漠的一侧：拉美西斯二世的王冠带有象征神力的公牛角，结合祭坛的图案，暗示观众应向神灵献祭以平息其有时具破坏性的倾向。

该方尖碑是同一石块雕刻的一对中的一座，于1830年由埃及统治者赠予法国，1836年竖立于协和广场。

此次发现证明了象形文字密码学能为法老文本提供新的解读方式，表明埃及学领域仍有大量内容有待发掘。研究结果计划发表于法国埃及学杂志《ENiM》。

30. Pakistani firm shipped fentanyl analogs, scams to us (krebsonsecurity.com) 102 points | 37 comments | by todsacerdoti

A Texas firm recently charged with conspiring to distribute synthetic opioids in the United States is at the center of a vast network of companies in the U.S. and Pakistan whose employees are accused of using online ads to scam…

31. Vagus Nerve Stimulation Erases PTSD: Study (neurosciencenews.com) 101 points | 64 comments | by rmason

一项由北卡罗来纳大学医学院开展的研究表明，迷走神经刺激（VNS）疗法能够有效消除创伤后应激障碍（PTSD）的核心症状。这项研究主要在动物模型上进行，为开发针对PTSD的新疗法提供了重要依据。

在研究中，科学家使用了一种特定的动物模型，该模型能够模拟人类PTSD的关键特征，包括强烈的恐惧记忆形成以及记忆无法正常消退（即个体难以学会安全信号）。研究人员随后对实验动物施加了迷走神经刺激。

研究结果发现，迷走神经刺激能够显著改善与PTSD相关的行为缺陷。具体而言，接受VNS治疗的动物，其过度的恐惧反应得到了消除，并且能够成功地学习和记忆新的安全信息，这表明它们的恐惧消退过程得到了恢复。这种疗法似乎能够“擦除”或“改写”与创伤相关的病理性记忆。

PTSD是一种因经历或目睹创伤性事件而导致的严重心理健康疾病，其特征是持续性的侵入性记忆、回避行为、负面情绪和认知改变，以及高度警觉状态。目前的治疗方法，如心理治疗和药物治疗，对部分患者效果有限，因此急需新的有效疗法。

迷走神经刺激此前已被美国FDA批准用于治疗难治性癫痫和抑郁症。其作用机制被认为是通过调节大脑中与情绪和记忆相关区域（如杏仁核、前额叶皮层）的神经可塑性来发挥作用。本研究进一步证实了VNS通过促进“恐惧消退记忆”的形成，从而对抗创伤性记忆的病理机制。

这项发现为将迷走神经刺激作为一种潜在的PTSD治疗手段推向临床应用奠定了基础。研究人员指出，下一步需要进行人体临床试验，以验证该疗法在人类PTSD患者中的安全性和有效性。如果成功，VNS可能为众多受PTSD困扰的患者提供一种全新的、有效的治疗选择。