最新

4 个月前，我开始制作一个名为 "monochromate" 的扩展程序，它本质上是一个灰度扩展。当我把它应用到我的手机上时，我意识到了它的强大。作为一名程序员，我大部分时间都花在浏览器上……而浏览器里却没有（至少没有完全符合我需求的）解决方案。 这就是我开发它的初衷，我把它开源了。最近，它在 Chrome Webstore 上的用户量超过了 100 人，目前获得了 5 星好评。 你可能会问，既然我可以通过设置切换滤镜来实现灰度显示，为什么还需要它呢？问题是我不想让我的工作网站也变成灰度，因此我加入了网站排除功能。此外，它还具有定时器、强度控制等功能，最重要的是，它支持包括 Firefox 在内的所有浏览器，并提供相同的用户体验。 欢迎大家提出任何反馈意见！

我从玩 AI 软件工程师（SWE）代理那里得到一个小想法。AI 能否帮助我们确保理解 AI 编写的代码？ PR 测验使用 AI 从拉取请求中生成测验，并在通过测验之前阻止你合并代码。你可以配置各种选项，例如要使用的 LLM 模型、通过测验的最大尝试次数或生成测验的最小差异大小。我发现推理模型虽然更贵，但在我有限的测试中生成了更好的问题。 隐私：这个 GitHub Action 运行一个本地 Web 服务器，并使用 ngrok 通过临时 URL 提供测验。你的代码仅发送给模型提供商（OpenAI）。

你觉得如果有一个工具，能根据你的个人精力水平和高峰期来规划和安排你最重要的任务，怎么样？ 很多时候，我感觉自己最重要的任务都是在精力低落的时候完成的，这导致了低下的生产力和产出。 我正在考虑开发一款应用，它能找出你的“高能量”时段——比如你最清醒或最有创造力的时候——并帮助你安排专注的工作。 你认为这样的工具对你会有帮助吗？ 很希望听到你诚实的想法 :)

Show HN：我用 Kotlin 构建了一个深度邮箱验证库<p>大家好，HN<p>我需要一个实际的项目来好好学习 Kotlin（协程、DSL 等），于是我决定解决一个我发现出乎意料地未被充分解决的问题：全面的邮箱验证。大多数解决方案止步于正则表达式，但这并不能阻止用户使用 user@notarealdomain.com 或一次性邮箱服务进行注册。<p>因此，我构建了一个执行一系列深度检查的库。我刚刚发布了 v1.0.0 版本，因为 API 现在已经稳定，我认为它已经准备好接受社区的反馈了。<p>它分层验证邮箱：<p>1. 语法：比典型正则表达式更可靠的强大检查。<p>2. 域名可注册性：根据公共后缀列表检查域名，以确保它位于真实的 TLD 上。<p>3. MX 记录：一个 DNS 查询，查看该域名是否实际配置为接收电子邮件。<p>4. 一次性服务：根据已知的一次性/临时邮箱提供商列表进行检查。<p>5. SMTP 连接（可选）：实时检查邮箱是否实际存在。默认情况下，此功能是关闭的，因为端口 25 经常被阻止，但可以通过代理启用。<p>我的主要目标之一是构建一个在服务器和客户端（如 Android 应用程序）上都有用的东西。这导致了几个关键的设计决策：<p>- 它使用协程进行非阻塞、并发的 I/O。<p>- 它具有完整的离线模式。您可以禁用所有网络检查，并使用捆绑的数据集运行它，例如语法和一次性域名检查，这非常适合提供即时的客户端反馈。<p>配置通过一个简单的 Kotlin DSL 完成。<p>该项目采用 MIT 许可证。我发布此内容是为了征求您对该方法、架构或我可能遗漏的任何 Kotlin 惯用语的看法。除了正则表达式之外，你们通常如何处理这个问题？<p>GitHub：<a href="https://github.com/mbalatsko/emailverifier-kt">https://github.com/mbalatsko/emailverifier-kt</a>

大家好，我是 Kyle、Sam 和 TanStack 团队。<p>我们一直在开发 TanStack DB，一个用于 TanStack Query 的嵌入式、响应式客户端数据库，今天很自豪地宣布，随着 0.1 版本的发布，它现在已进入 BETA 阶段！<p>TanStack DB 插入到您现有的 TanStack Query useQuery 调用中，并使用 Differential Dataflow 仅增量地重新计算已更改的内容，因此即使有 10 万行，更新也能保持在毫秒级以下。您可以在客户端获得实时查询、带有自动回滚的乐观更新和流式连接！<p>TanStack DB 适用于 REST、GraphQL、WebSocket，并且与 ElectricSQL 或 Firebase 等同步引擎配合使用效果更佳，让您可以一次加载大型、规范化的集合，并将实时更改流式传输到客户端，而无需手动记录。它位于 queryClient 之上，因此您可以逐步采用它，一次一个路由。<p>- 介绍文章：<a href="https:&#x2F;&#x2F;tanstack.com&#x2F;blog&#x2F;tanstack-db-0.1-the-embedded-client-database-for-tanstack-query" rel="nofollow">https:&#x2F;&#x2F;tanstack.com&#x2F;blog&#x2F;tanstack-db-0.1-the-embedded-clien...</a><p>- 通过 Electric 实现本地优先同步：<a href="https:&#x2F;&#x2F;electric-sql.com&#x2F;blog&#x2F;2025&#x2F;07&#x2F;29&#x2F;local-first-sync-with-tanstack-db" rel="nofollow">https:&#x2F;&#x2F;electric-sql.com&#x2F;blog&#x2F;2025&#x2F;07&#x2F;29&#x2F;local-first-sync-wi...</a><p>- 使用 TanStack Start 的 Web 启动器：<a href="https:&#x2F;&#x2F;github.com&#x2F;electric-sql&#x2F;electric&#x2F;tree&#x2F;main&#x2F;examples&#x2F;tanstack-db-web-starter">https:&#x2F;&#x2F;github.com&#x2F;electric-sql&#x2F;electric&#x2F;tree&#x2F;main&#x2F;examples&#x2F;...</a><p>- 使用 Expo 的移动启动器：<a href="https:&#x2F;&#x2F;github.com&#x2F;electric-sql&#x2F;electric&#x2F;tree&#x2F;main&#x2F;examples&#x2F;tanstack-db-expo-starter">https:&#x2F;&#x2F;github.com&#x2F;electric-sql&#x2F;electric&#x2F;tree&#x2F;main&#x2F;examples&#x2F;...</a><p>- 项目网站和文档：<a href="https:&#x2F;&#x2F;tanstack.com&#x2F;db" rel="nofollow">https:&#x2F;&#x2F;tanstack.com&#x2F;db</a><p>- GitHub 仓库：<a href="https:&#x2F;&#x2F;github.com&#x2F;tanstack&#x2F;db">https:&#x2F;&#x2F;github.com&#x2F;tanstack&#x2F;db</a><p>试用一下，让我们知道您的想法！

我们很高兴地宣布 www.maiachess.com 现已开放公开测试，这意味着所有人都可以访问它！Maia 是最像人类的国际象棋 AI，是多伦多大学正在进行的研究项目，旨在开发有趣、有用且新颖的人工智能合作国际象棋。请试用一下，并告诉我们您的想法。我们仍在快速改进和迭代中。 * 玩 Maia-2：玩（更新的）最像人类的国际象棋引擎，根据您的技能水平量身定制 * 分析您的棋局：查看您（或专业人士！）的表现，包括 Maia 基于人类的预测和经典的 Stockfish 评估 * 尝试 Maia 驱动的谜题：通过 Maia 独特的视角策划和分析的战术谜题 * 开局练习：全新！选择开局，与 Maia 对战，并获得即时、个性化的反馈 * 手脑并用：玩这个有趣的团队模式，您与 Maia 组成人类-AI 团队 * 辨别机器人：一个国际象棋图灵测试：您能在真人对战机器人的游戏中识别出机器人吗？ * 排行榜：查看您在每个模式中的排名，并挑战自己攀登更高 我们希望收到您的反馈：什么有效，什么无效，缺少什么，或者什么能让这个平台对您更有价值。加入我们的 Discord 与我们和其他用户聊天 (<https://discord.gg/hHb6gqFpxZ>)。 如果您对我们关于 Maia 的研究感兴趣，可以查看这些论文： * 《将超人 AI 与人类行为对齐：以国际象棋为模型系统》，KDD 2020 * 《检测个体决策风格：探索国际象棋中的行为文体学》，NeurIPS 2021 * 《学习国际象棋中个体行为的模型》，KDD 2022 * 《设计技能兼容的 AI：国际象棋中的方法论和框架》，ICLR 2024 * 《Maia-2：国际象棋中人类-AI 对齐的统一模型》，NeurIPS 2024 * 《用更少的方式学习模仿：国际象棋中高效的个体行为建模》，待审核