2025-05-07

36 篇热帖

1. Zed: High-performance AI Code Editor (zed.dev)

Zed: 高性能AI代码编辑器

Zed是全球最快的AI代码编辑器,为程序员提供了第四种使用AI工具的方式,区别于传统的复制粘贴、终端运行或闭源分支。

开源与Rust构建

Zed基于GPL v3协议完全开源,整个代码编辑器使用Rust从头构建,包括自定义的GPU着色器和操作系统图形API调用,以实现高性能(如120fps渲染)。其新增的AI功能同样开源,用户可查看Agent Panel的底层实现。

Agent Panel功能

Agent Panel允许用户通过自然语言指示AI代理执行任务,如询问代码库问题或直接修改代码。代理会自动搜索代码库进行上下文理解,无需预先索引。例如,用户可输入指令让代理修改博客文章格式,代理会快速定位并执行编辑。代理还可帮助在不熟悉的代码库中定位修改点。

隐私与安全

Zed默认保护用户隐私:对话数据不会被用于训练或其他目的,除非用户主动通过反馈按钮分享。代理在执行可能不可逆的操作(如运行终端命令)前会请求确认,用户可设置始终确认。代理在后台运行,完成后发送通知,并提供统一的可编辑差异视图,支持多光标编辑和语言服务器集成。

自定义模型与工具

用户可选择多种语言模型(如Claude 3.7 Sonnet、Gemini 2.5),通过Zed账户或自有API密钥使用,也可通过Ollama在本地硬件运行自定义模型。代理可访问编辑器全部功能,包括文件系统编辑、语言服务器、格式化工具和终端命令。用户可通过工具列表自定义代理权限,并保存为配置文件(如Write、Ask、Minimal)。Zed支持Model Context Protocol(MCP),允许扩展工具以访问数据库、分析工具或浏览器自动化等。

定价

Zed的非AI功能完全免费,无需注册。AI功能可通过自带API密钥使用,或使用Zed的订阅计划:免费计划每月50次提示,Pro计划每月$20提供500次提示。Zed旨在为用户提供便捷的AI代理访问,而非通过第三方服务收费,长期目标通过可选付费功能实现自给自足。

试用与未来计划

用户可立即下载Zed试用AI编辑体验。目前支持macOS和Linux稳定版,Windows稳定版计划于2025年发布,现已开放测试版注册。未来重点包括调试器发布、改进人机AI协作以及Windows支持。

2. CLion Is Now Free for Non-Commercial Use (blog.jetbrains.com)

CLion, a JetBrains IDE, is now free for non-commercial use! Learn more in the blog post.

3. Unity’s Open-Source Double Standard: the ban of VLC (mfkl.github.io)

VLC for Unity integration

5. Waiting for Postgres 18: Accelerating Disk Reads with Asynchronous I/O (pganalyze.com)

Postgres 18 introduces Asynchronous I/O (AIO) that can dramatically improve read performance, especially in the cloud. Learn how these changes and the new io_method setting work and see why our benchmark results show that io_uring is the recommended setting for maximizing I/O performance in Postgres 18 over the default setting 'worker'.

6. Curl: We still have not seen a valid security report done with AI help (www.linkedin.com)

That's it. I've had it. I'm putting my foot down on this craziness.

  1. Every reporter submitting security reports on #Hackerone for #curl now needs to answer this question:

"Did you use an AI to find the problem or generate this submission?"

(and if they do select it, they can expect a stream of proof of actual intelligence follow-up questions)

  1. We now ban every reporter INSTANTLY who submits reports we deem AI slop. A threshold has been reached. We are effectively being DDoSed. If we could, we would charge them for this waste of our time.

We still have not seen a single valid security report done with AI help. | 253 comments on LinkedIn

9. Matt Godbolt sold me on Rust by showing me C++ (www.collabora.com)

Looking at C++ from another angle can create new possibilities using Rust.

10. Mistral ships le chat – enterprise AI assistant that can run on prem (mistral.ai)

Mistral AI 发布 Le Chat Enterprise 企业级 AI 助手

产品发布: 2025年5月7日,Mistral AI 推出了 Le Chat Enterprise,这是一款功能丰富的企业级 AI 助手,由其全新的 Mistral Medium 3 模型驱动。该产品旨在解决企业在 AI 应用中面临的工具碎片化、知识集成不安全、模型僵化以及投资回报率低等挑战,为组织内的各项工作提供一个统一的 AI 平台。

核心功能(将在未来两周内逐步推出):

  • 企业搜索: 安全地连接企业数据源(如 Google Drive、Sharepoint、OneDrive、Google Calendar、Gmail 等),构建完整的知识库,提供更精准、个性化的答案。支持文件快速预览、自动摘要,并即将支持 MCP 协议以连接更多企业系统。
  • 智能体构建器: 允许团队通过无代码方式构建自定义 AI 助手,实现常规任务的自动化。这些智能体可以连接到企业应用和文档库,实现跨工具的上下文理解。
  • 自定义数据与工具连接器: 提供模板以构建自定义连接器,将外部数据源和工具集成到 Le Chat 中。
  • 文档库: 帮助团队管理个人常用文档,支持引用、提取和分析关键信息。
  • 自定义模型: 提供深度定制能力,允许对模型、平台及界面进行全面控制。
  • 混合部署: 支持多种部署选项,包括自托管、在用户自己的公有云或私有云中部署,或作为由 Mistral 云托管的服务。

产品优势与特点:

  • 统一平台: 旨在为数据分析、代码编写、内容创作等跨领域工作提供统一、直观的交互界面,同时服务于技术和非技术用户。
  • 隐私优先: 数据连接遵循严格的访问控制列表(ACL),确保数据安全和保护。提供全面的审计日志和存储,让用户在自身安全域内掌控实施。
  • 高度可定制与可控: 提供从模型、平台到界面的深度可定制性。支持集成企业数据、个性化助手(如通过存储记忆)、以及基于用户反馈循环实现模型的持续自我改进。
  • 专业支持: Mistral 世界级的 AI 工程团队可提供从部署、解决方案设计到安全性保障的全程支持,帮助企业实现价值。
  • 部署灵活性: 无供应商锁定,用户可自由选择理想的基础设施。

上市信息:

  • Le Chat Enterprise 现已上线 Google Cloud Marketplace,并即将登陆 Azure AIAWS Marketplace
  • 同时,Mistral AI 也宣布了针对个人(Le Chat Pro)和成长团队(Le Chat Team)计划的多项重大改进。
  • 用户可访问 chat.mistral.ai 或下载移动端应用(iOS/Android)免费开始体验。
12. Four years of running a SaaS in a competitive market (maxrozen.com)

Looking back on the last four years, what worked, what didn't.

13. My quest to make motorcycle riding that tad bit safer (gill.net.in)

It began with a spark—a dormant passion reignited after many years away from motorcycling. Life had steered me in different directions, away from the saddle, but something deep inside pulled me back to the thrill and freedom that only riding offers. Returning to motorcycling after such an extended hiatus was daunting yet exhilarating. I vividly recall my first CBT session: the nerves, the good-natured laughter at my clumsy mistakes, and the sheer joy when everything finally clicked into place. It was during this session that a critical moment of inspiration occurred. My instructor casually suggested lightly applying the brakes during engine braking to alert drivers behind that I was slowing down. Given motorcycles’ inherent lightweight design and strong engine braking, the risk of being rear-ended was significant.

14. TeleMessage, used by Trump officials, can access plaintext chat logs (micahflee.com)

💡Update May 18, 2025: I described TeleMessage's trivial vulnerability in an article for WIRED: How the knock-off Signal app used by Trump officials got hacked in 20 minutes

Update May 19, 2025: Uh oh: DDoSecrets publishes 410 GB of heap dumps, hacked from TeleMessage's archive server

Update May 21, 2025:

15. Show HN: eInk optimized manga with Kindle Comic Converter (+Kobo/ReMarkable) (github.com)

KCC (a.k.a. Kindle Comic Converter) is a comic and manga converter for ebook readers. - ciromattia/kcc

16. Private Japanese lunar lander enters orbit around moon ahead of a June touchdown (phys.org)

A private lunar lander from Japan is now circling the moon, with just another month to go before it attempts a touchdown.

17. Jury orders NSO to pay $167M for hacking WhatsApp users (arstechnica.com)

The verdict is a major victory for opponents of exploit sellers.

19. FTC bans hidden fees for live events and short-term rentals, effective May 12 (techcrunch.com)

The U.S. Federal Trade Commission (FTC) on Monday released new documentation detailing its new "Rule on Unfair or Deceptive Fees." The rule, set to take The U.S. Federal Trade Commission released a FAQ document clarifying its rule hidden fees for live events, hotels, and short-term rentals.

22. Brush (Bo(u)rn(e) RUsty SHell) a POSIX and Bash-Compatible Shell in Rust (github.com)

brush 是一个用 Rust 编写的现代化 Shell,兼容 POSIX 标准和 Bash。它允许用户无缝运行现有的脚本和 .bashrc 配置文件,无需修改,并内置了语法高亮和自动建议功能。

核心亮点

  • 完全兼容:能够直接处理现有的 .bashrc,包括其中的别名、函数和补全脚本。
  • 现代化体验:内置语法高亮和基于历史的自动输入建议。
  • 经过严格测试:通过约 1700 个兼容性测试来验证与 bash 的行为一致性。
  • 易于嵌入:可以通过 brush_core::Shell 轻松嵌入到其他 Rust 应用程序中。

注意:目前部分功能(如 select 语句和一些边缘用例)尚未完全支持。

主要功能

Bash 兼容性

  • 支持 50 多个内置命令(如 echo, declare, read)。
  • 支持完整的扩展功能(大括号、参数、算术、命令/进程替换、通配符等)。
  • 支持控制流结构、重定向、数组与变量、可编程补全以及作业控制。

用户体验增强

  • 实时语法高亮和自动建议(基于 reedline 库)。
  • 支持丰富的提示符配置(PS1/PROMPT_COMMAND,兼容 Starship)。
  • 提供 TOML 配置文件(~/.config/brush/config.toml)进行持久化设置。
  • 实验性支持 fzf/atuin、zsh 风格钩子以及 VS Code 终端集成。

安装方式

支持多种安装途径:

  • 包管理器:可通过 Homebrew(brew install brush)、Arch Linux(pacman -S brush)、MSYS2 和 Nix 安装。
  • 预编译二进制文件:可使用 cargo binstall brush-shell 安装,或从 GitHub Releases 页面手动下载。
  • 从源码编译:需要先安装 Rust 工具链,然后运行 cargo install --locked brush-shell

社区与相关项目

项目鼓励社区参与,提供 Discord 服务器用于交流,并附有构建文档和贡献指南。它与其他类似项目(如 nushell、fish、Oils)同属非 C/C++ 语言实现的 Shell 生态。

项目基于 MIT 许可证发布。

23. The DEA is now abandoning body cameras (www.propublica.org)

An internal email obtained by ProPublica said the agency made the change to be “consistent” with a Trump executive order. But at least two other federal law enforcement agencies are still requiring body cameras.

24. iOS Kindle app now has a ‘get book’ button after changes to App Store rules (www.theverge.com)

Following Apple’s recent changes to its app store, you can now purchase books through the Kindle iOS app.

25. Detect and crash Chromium bots (blog.castle.io)

Disclaimer: If you're here for the holy grail of bot detection, this may not be it, unless your UX strategy involves surprise popups and your marketing strategy involves blocking Google crawlers.

We recently stumbled across a bug on the Chromium bug tracker where a short JavaScript snippet can crash headless

26. Lazarus Release 4.0 (forum.lazarus.freepascal.org)

Anubis 防护机制说明

Anubis 是一种网站防护系统,旨在抵御AI公司对网站的大规模恶意抓取,这种行为常导致网站服务中断,影响所有用户的正常访问。

核心原理与目的

  • 技术基础:采用类似 Hashcash 的工作量证明(PoW)机制,模仿其在减少垃圾邮件方面的应用。
  • 设计目标:对普通用户而言,计算开销可忽略不计;但对大规模爬虫来说,会显著增加抓取成本,从而起到防护作用。
  • 当前状态:这是一种过渡性解决方案,旨在争取时间开发更先进的浏览器指纹识别技术(例如通过字体渲染特征识别自动化工具),未来目标是让正常用户无需面对验证页面。

用户注意事项

  • 依赖要求:系统需要启用现代 JavaScript 功能。
  • 插件影响:JShelter 等可能禁用 JavaScript 的浏览器插件会干扰此防护机制,用户需为当前域名禁用此类插件以确保正常访问。
27. When Abandoned Mines Collapse (practical.engineering)

[Note that this article is a transcript of the video embedded above.] In December of 2024, a huge sinkhole opened up on I-80 near Wharton, New Jersey, creating massive traffic delays as crews worked to figure out what happened and get it fixed. Since then, it happened again in February 2025 and th

28. Alignment is not free: How model upgrades can silence your confidence signals (www.variance.co)

模型升级可能并非免费:它们如何静默您的信心信号

核心主题

标题“对齐不是免费的”暗示,当用于检测与报告的AI模型进行升级或重新对齐时,可能会无意中改变或静置模型赖以做出关键判断的信心信号或输出格式,从而影响其可靠性和可观察性。

Variance AI代理的功能与效率

Variance AI代理旨在为每起案件收集90% 的证据,从而将调查周期缩短10倍,同时确保可追溯性、可观测性和可解释性。

具体案例:可疑交易调查

以下是一个AI代理在35秒内(从10:42:03到10:42:37)处理并升级警报的示例:

  1. 警报触发(10:42:03):交易数据库记录一笔向香港空壳公司汇出的4.8万美元异常电汇。
  2. 证据收集
    • 公司注册局查询(10:42:06):该空壳公司三周前注册,无网站、无员工。
    • 提取董事信息(10:42:11):从一份PDF格式的中文公司文件中提取出董事姓名:陳偉明(音译:Chan Wai Ming)。
    • 交叉引用制裁名单(10:42:17):与OFAC SDN名单无直接匹配,但存在部分别名重叠
    • 网络搜索别名(10:42:25):通过网络搜索找到匹配照片和不同拼写方式的缓存LinkedIn资料。
    • 关联不良媒体(10:42:34):通过ICIJ泄漏数据库,确认同一人物涉及2023年有关贸易洗钱的ICIJ调查。
  3. 代理结论(10:42:37):建议升级处理。此次调查共使用了4个数据源,生成了6项证据

关键技术特点

  • 处理非结构化数据:代理能够从杂乱的数据中提取见解,包括扫描或手写文件、图片和网站。
  • 结构化输出:尽管输入数据非结构化,但代理能够产生结构化的洞察和可追溯的证据链。

主要启示

该内容展示了AI代理在自动化合规与调查工作中的高效性,同时也引出了标题所暗示的核心关切:当底层模型更新时,这种经过精细校准的、可产生明确信心信号(如“部分别名重叠”、“建议升级”)的检测和报告能力,可能会受到影响或发生改变。

30. Everyone Is Cheating Their Way Through College (nymag.com)

In only two years, ChatGPT and the surge of AI-generated cheating from college students it has created have unraveled the entire academic project.

33. ACE-Step: A step towards music generation foundation model (github.com)

ACE-Step: A Step Towards Music Generation Foundation Model - ace-step/ACE-Step

34. OpenSearch 3.0 Released (opensearch.org)

The OpenSearch Software Foundation today announced the general availability of OpenSearch 3.0. This major release delivers a 9.5x performance improvement over OpenSearch 1.3, building on benchmarking data that showed earlier iterations of OpenSearch operating 1.6x faster than its closest industry competitor.

35. Strain gauge made out of PCB (github.com)

PCB 应变片

该项目展示了一种以印刷电路板本身作为传感元件的应变片,内置放大器。其灵敏度足以测量微米级偏转,全量程偏转范围为±3厘米。

制造

  • 推荐板厚:0.6mm(可根据应用调整,较薄的板输出电压摆幅更小)。
  • 提供的生产文件
    • strain_gauge_3.zip:20mm x 118mm,2层,4元件惠斯通电桥。
    • strain_gauge_3_rotated.zip:尺寸同上,但采用2元件传感(理论上热漂移和制造偏置更低)。
    • stran_gauge_stiffener.zip:20mm x 42mm 矩形加强板(可用3M VHB 5906粘贴),用于防止元件侧弯曲。

组装

  • 设计便于手工组装,无需热风枪或回流焊炉。
  • 支持两种模式:
    • 独立模式:板载集成微控制器(Seeed Studio XIAO RP2040)。
    • 外接模式:通过排针连接外部微控制器。
  • 可省略外部ADC(U5),直接从“OUT”引脚采样模拟电压。
  • 可省略偏置电压发生器(U8, U4),方法是将U8的2、3引脚用跳线连接(注意:无外力时输出会有可测电压)。

编程

  • 附带示例固件流程:打开串口后执行5秒偏移校准,然后以最低增益连续采样。
  • 可使用 graph.py 脚本可视化输出。
  • 重要:进行高灵敏度测量前,应让电路板达到稳定工作温度至少5分钟,然后再进行校准。

自定义

  • 可通过 draw_footprint.ipynb 脚本自定义传感元件形状(指定宽度、高度和曲率)。
  • 生成的 .svg 文件可导入 Inkscape,并使用 svg2shenzhen 工具转换为 KiCad 封装。
36. The State of SSL Stacks (www.haproxy.com)

The SSL landscape has shifted dramatically. In this paper, we examine OpenSSL 3.x, BoringSSL, LibreSSL, WolfSSL, and AWS-LC with HAProxy.