最新

让我们进行一个思想实验。如果我们今天要设计一种新的编程语言，其主要目标是由人工智能（如Copilot）编写，并由人类进行审查，那么它的核心特性会是什么？ 我最初的想法是，我们可能会为了绝对、明确的清晰度而放弃许多我们目前重视的便利性。例如： - 我们会去掉大多数语法糖吗？如果只有一种明确的方式来编写`for`循环，那么人工智能的输出将变得更加可预测，也更容易审查。 - 我们会强制要求极端的明确性吗？想象一下，如果没有参数，你必须写`fn foo(none)`，仅仅是为了消除`()`的模糊性。 - 我们将如何处理安全性？像强制可见性（`pub`/`priv`）和FFI调用的显式所有权注解这样的特性，会不会成为语言本身的核心，提供审查者可以立即看到的保证？ - 这样一种语言是否能被人类用于日常工作，还是仅仅作为人工智能提示的编译目标？ 为了获得对人工智能生成的代码更高的信心，你愿意为这种语言做出哪些权衡？

可恢复流允许连接不稳定的客户端重新连接到长时间运行的流，例如大型语言模型（LLM）的响应。<p>使用Redis，但在常见情况下（不需要恢复）每个流只需要O(1)的命令。

简而言之：我开发了一个Chrome扩展，可以一键（或通过快捷键）将网页内容或YouTube字幕复制为干净、无杂乱的Markdown格式。它甚至会显示字符数，对于大型语言模型（LLM）的提示非常方便！ 大家好，HN社区！ 我经常将网络上的信息复制到我的笔记（Obsidian）中，或者为大型语言模型提供上下文以进行摘要或翻译。因此，我开发了cpdown，这是一款用于此目的的浏览器扩展。 cpdown允许你将任何网页或YouTube字幕转换为干净的Markdown格式，并通过一次点击（或键盘快捷键）将其复制到剪贴板。 以下是主要功能： * 智能内容提取：使用Mozilla的Readability或Obsidian开发者的Defuddle，去除广告、侧边栏和其他杂音，专注于主要文章内容。 * 干净的Markdown转换：提取的HTML会使用Turndown库整齐地转换为Markdown格式。 * LLM的字符计数：它使用tiktoken计算并显示复制文本的字符数。这对于在粘贴到像ChatGPT或Claude这样的LLM之前了解是否在限制内非常方便。 * YouTube转录复制：在YouTube视频页面，它可以以Markdown格式复制完整的转录，并自动将视频标题添加为H1标题。 * 可自定义选项：你可以选择首选的内容提取器（Readability/Defuddle），选择将复制的内容包装在代码块中等。 cpdown完全免费且开源，使用WXT、React和TypeScript构建。 你可以从Chrome网上应用店获取它，或者在GitHub上查看源代码。我很想听听你的反馈、功能请求或任何建议！ * Chrome网上应用店： [https://chromewebstore.google.com/detail/cpdown/knnaflplggjdedobhbidojmmnocfbopf](https://chromewebstore.google.com/detail/cpdown/knnaflplggjdedobhbidojmmnocfbopf) * GitHub： [https://github.com/ysm-dev/cpdown](https://github.com/ysm-dev/cpdown) 感谢你的关注！

我们现在一定已经达到了临界点——我对看到的每一个项目或商业都是基于大型语言模型（LLM）感到厌倦。我明白——这是新趋势——但这个领域目前缺乏创造力，实在没有什么吸引力。我曾经非常兴奋地阅读来自社区的创业公司在HN上的动态！<p>有没有什么酷炫的项目或创业公司，大家正在进行的，而不是（至少直接）卷入人工智能热潮的？