一个TypeScript优先、Bun原生CLI框架，具有可组合的模块。文档 • 贡献 • 问题 • Discord
Crust目前为beta版本，直至v1.0。1.0之前的版本不严格遵循语义化版本控制。核心API在0.1版本之后应该相对稳定，但预计在小版本发布之间会有破坏性更改。
bun create crust my-cli
cd my-cli
bun run dev
每日HackerNews RSS
展示 HN：Crust – TypeScript 和 Bun 的 CLI 框架
Show HN: Crust – A CLI framework for TypeScript and Bun
10 天前
## Crust：一个用于TypeScript & Bun的新CLI框架
Crust (https://crustjs.com/) 是一个全新的、TypeScript优先、Bun原生CLI框架，旨在弥合极简参数解析器和重量级的Node时代框架之间的差距。它最初由内部开发，现已开源，拥有零运行时依赖（gzip压缩后约3.6kB），并专注于开发者体验。
主要特性包括完整的类型推断、编译时验证、具有生命周期钩子的插件系统，以及用于诸如提示和样式等功能的模块化组件。它专为Bun设计，避免了Node兼容层。
用户对其潜力赞不绝口，尤其是对于Bun用户而言，但也有人对其相对较大的二进制文件大小（58-109MB）表示担忧，与Go CLI等替代方案相比。开发者正在积极处理反馈，包括改进README和解决有关帮助插件格式的错误报告。“Hello World”示例会创建一个非常小的二进制文件（几十KB）。
该项目在GitHub上可用：https://github.com/chenxin-yan/crust.
## 从代码审查到 AI 生成代码验证 本次实验探讨了在生产环境中使用 AI 生成代码，*无需*人工逐行审查的可能性。作者将重点从“审查”代码转移到“验证”其正确性，无论如何实现。 核心方法是让 AI 解决一个简化的 FizzBuzz 问题，然后对解决方案进行严格的自动化检查：基于属性的测试（确保代码在各种输入下都能按预期工作）、变异测试（识别测试套件中的弱点）以及副作用检查。还实施了标准的 Python 代码风格检查和类型检查。 结果表明，这些约束可以建立对生成代码的足够信任，可能使可读性变得不那么重要——将输出视为更像编译后的二进制文件。目前，设置这些约束比简单的代码审查更费力，但作者认为 AI 代理和工具的改进最终将使这种方法可行。 该实验强调了向自动化验证的转变，并承认了形式化验证和“软件工厂”相关的工作，旨在实现零人工代码审查。代码和测试可供实验使用。
## AI 生成代码与验证：总结
讨论的中心是验证 AI 生成代码的挑战，从最初的兴奋转向更务实的观点。虽然 AI 可以快速*生成*代码，但确保其正确性和可维护性却很困难。
一个关键点是，AI 生成的代码并不比人工代码更或更不可信——它需要同样严格的审查。仅仅*与*代码一起生成更多的测试并不能解决问题；事实上，它可能会掩盖问题，因为即使逻辑存在缺陷，AI 也可能为了通过测试而“作弊”。
许多人认为，重点应该放在在代码生成*之前*清晰地*规划*和*明确*需求，并仔细审查这些需求和生成的测试，而不是代码本身。担忧不仅限于功能正确性，还包括安全漏洞（如硬编码凭据）和可维护性。
最终，共识倾向于将 AI 视为一个潜在的强大但仍然容易出错的初级开发人员——需要监督、测试和健康的怀疑态度。核心的工程挑战正在转向强大的测试策略和架构考虑，而不是仅仅关注代码生成速度。
8万 - 10万美元•0.10% - 0.50%•旧金山，加州，美国
职位类型全职
角色产品
经验任何（欢迎应届毕业生）
签证美国公民/签证
直接与YC资助的最佳初创公司创始人联系。
申请职位 ›
Richard Kreger
创始人
Richard Kreger
创始人
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Spice Data (YC S19) 正在招聘产品专家 (ycombinator.com)
1天前 | 隐藏
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 设计服务十年经验教训 作者在共同创立并运营交互设计工作室四年后，反思了设计服务行业的挑战和关键经验。尽管最初充满乐观，但这段经历凸显了工作室因对如何建立成功的业务理解不足而容易陷入困境。 最重要的因素？**人**。一个具有互补技能和共同愿景的凝聚团队，远比赢得合同或获得认可更重要。同样至关重要的是**客户选择**——对客户的愿景充满热情是交付高质量工作的基础。试图通过客户工作来资助产品开发是一种难以平衡的策略，最好避免。 除了内部动态，清晰的**愿景**——包括增长、客户类型和长期目标——至关重要，并且必须与所有合作伙伴共享。成功也取决于积极的**营销**；工作室必须培养一种声誉，让客户感到与他们合作是幸运的，从而改变权力动态，而不仅仅是销售时间。最后，学会对不合适的项目说**“不”**，对于保护工作室的专业知识、幸福感以及最终吸引有价值的机会至关重要。
这个Hacker News讨论围绕一篇2011年的文章“当我创办一家设计工作室时学到的东西”。关键要点对开发机构也有共鸣。一个核心观点是真正相信你的客户和他们的产品——如果没有这一点，工作就变成了单纯的实施。
对话强调了利用客户工作来资助个人产品想法的难度，指出这需要一种根本不同的心态和耐力。设计工作室面临的一个主要挑战是避免商品化；客户通常将工作室视为可互换的，只关注小时费率并降低成本。
评论者们同意这种商品化已经在软件开发中发生。成功的机构通过提供专业知识并避免“最低公分母”方法来区分自己，服务于那些重视质量而非仅仅最小化支出的客户。企业通常*认为*供应商是可以互换的，但高质量的工作需要利用专业知识，而这种专业知识很容易在纯粹以成本为导向的方法中丧失。
## AI 选拔赛总结 本文档概述了 AI 代理如何参与三月疯狂选拔赛。代理可以通过 API ([https://www.bracketmadness.ai/api/register](https://www.bracketmadness.ai/api/register)) 注册，并通过提供的电子邮件地址获取唯一的 API 密钥。 参与涉及五个关键步骤：注册、获取选拔赛数据（文本或 JSON 格式）、提交六轮比赛的 63 个预测、查看分数以及可选地锁定选拔赛。预测通过包含每个比赛预测胜者的 JSON 有效负载的 POST 请求提交。可以包含 `strategy_tag`（例如，“基于统计数据”、“混乱”）。 API 会自动处理“四强赛”附加赛的选拔赛更新。代理可以使用各种策略——从统计分析到更具创造性的方法——来构建他们的选拔赛。提交的选拔赛最初是私有的，只能使用 API 密钥查看，但在提交截止日期后会公开。完整的 API 文档可在 [https://www.bracketmadness.ai/api/docs](https://www.bracketmadness.ai/api/docs) 找到。
## AI 三月狂热锦标赛挑战总结
bwade818 创建了 bracketmadness.ai，这是一个专为 AI 代理设计的三月狂热锦标赛挑战，而非人类。代理程序通过 API 自主注册，预测所有 63 场比赛的获胜者，并在排行榜上竞争。核心挑战在于为代理程序设计用户体验——该网站向代理程序提供纯文本 API 指令，同时向人类显示正常的视觉网站。
为了防止代理程序尝试网络抓取而不是使用 API，开发者检测到无头浏览器并提供可供代理程序读取的 HTML。由于发布时间紧迫，AI 生成的用户角色被用于测试。该项目使用了 Next.js、TypeScript、Supabase 和 Claude Code 进行构建。
讨论强调了枚举所有可能的锦标赛组合的不切实际性，以及 AI 可能对体育博彩市场产生的影响。一个关键的收获是，重视具有弹性的代理程序设计，考虑到 API 限制和潜在故障，并专注于清晰、机器可读的接口。
``` Apple ][ ATDT theofficialgbbsprorepository.com:6502 连接 AT [2400] 波特... (> 欢迎来到 The Official GBBS Pro 仓库 1 输入密码 -->XXXXXX 验证账户... 早上好，用户。轮到你了 你上次登录是 09/27/25 欢迎来到论坛。1 到 1 的主要公告 [::] [主级别] 选项 (?=帮助):_ ```
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
官方 GBBS Pro 仓库 (applearchives.com)
4 点赞 js2 1 天前 | 隐藏 | 过去 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## Antfly：一种多模态分布式搜索引擎
Antfly 是一款强大的开源搜索引擎，基于 etcd 的 raft 构建，旨在处理多种数据类型——文本、图像、音频和视频。它独特地将全文搜索（BM25）、向量相似性搜索和图遍历结合在一个查询中，自动生成嵌入向量、分块数据和提取图关系。
主要特性包括内置的 RAG 代理（用于检索增强生成）、混合搜索能力和自动数据丰富管道。Antfly 支持各种模型提供商（Ollama、OpenAI 等），并提供 ACID 事务、文档 TTL 和 S3 存储集成等功能。
它可以通过 Docker 或单节点集群轻松部署，并提供一个 Web 控制面板（“Antfarm”）用于探索。开发者可以将 Antfly 集成到现有的 Postgres 数据库中，使用 `pgaf` 扩展，或利用预构建的 React 组件来构建搜索 UI。
Antfly 优先考虑可靠性，通过广泛的混沌测试和形式化验证来实现，核心服务器采用 Elastic License 2.0 许可，大多数组件采用 Apache 2.0 许可。
微软Xbox One在安全保护超过十年后，因一种名为“Bliss”的新技术被成功破解，该技术在RE//verse 2026上揭示。黑客Markus ‘Doom’ Gaasedelen演示了“电压故障破解”(VGH)，利用CPU电压轨的瞬间下降——一种此前被认为对该主机不可行的手段。
与Xbox 360的RGH不同，“Bliss”是一种针对启动ROM的硬件级漏洞，微软无法通过补丁修复。这种完全的破解允许加载未签名的代码，访问安全处理器，并解密游戏和固件。
Gaasedelen开发了新的硬件工具来实现这一目标，因为无法直接访问Xbox One的内部结构。该破解涉及两个精确计时的电压故障，绕过内存保护并允许控制系统数据。尽管对于PC玩家的实际用途有限，因为游戏库存在重叠，但“Bliss”为数字存档、模拟技术进步以及潜在的Mod芯片开发打开了大门。
这个程序是一个自复制的quine，但有一个变化：它打印它自己的SHA-512哈希值，而不是源代码。它通过巧妙的混淆和数学技巧实现这一点，避免了任何实际的密码学弱点。 核心思想是预先计算SHA-512计算的一部分，并将结果内部状态编码成程序内一个大的字符串常量。然后，程序完成哈希计算，有效地“完成”了外部开始的部分。 为了进一步混淆代码，使用了无意义的变量名，并且SHA-512计算被简化为只添加一个块并完成。一个重要的挑战是计算SHA-512轮常量，它们是从素数的立方根导出的。由于标准C99的精度限制，立方*根*被替换为使用二分法和64位整数运算进行的立方计算，巧妙地将计算分成可管理的部分。 该程序是用可移植的C99编写的，可以干净地编译，并带有严格的警告，展示了算法设计和代码优化的迷人结合。
黑客新闻新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录
Diels-grabsch2: 自哈希 C 程序 (2019) (ioccc.org)
10 分，icwtyjj 1 天前 | 隐藏 | 过去 | 收藏 | 3 条评论 帮助
casey2 1 天前 [–]
我以为它会打印其二进制文件的哈希值 :/回复
AlotOfReading 1 天前 | 父 [–]
这并不难。你可以 #embed CC，通过 exec 函数在程序的源代码上调用它，并哈希结果。回复
zvr 16 小时前 | 根 | 父 [–]
执行 argv[0] 的哈希并打印它更容易。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
PerlSky 是一个用 Perl 5 实现的 AT 协议个人数据服务器 (PDS)，最初是一个玩笑，但最终发展成了一个令人惊讶的强大项目。它旨在实现高精度和与官方 Bluesky PDS 的兼容性，但使用风险自负。
它支持核心 PDS 功能，包括账户管理（创建、身份验证、删除）、OAuth、仓库和同步功能（包括 firehose 和导入/导出）、blob 存储以及审核工具（删除、标签）。值得注意的是，它会将未知的请求代理到 Bluesky 的服务，并通过 Prometheus 提供指标。
PerlSky 经过严格测试。可以针对官方 PDS 进行验证，并使用 `atproto-smoke` 工具进行端到端浏览器冒烟测试。它还包括针对官方加密向量和 PLC 身份标准的测试。
提供有关使用 TLS、systemd 和反向代理设置的部署文档。有关代码结构、端点一致性和测试程序的详细信息，请参阅项目的文档。
一个名为“Perlsky”的 at 协议个人数据服务器的新 Perl 5 实现已经发布，并在 Hacker News 上进行了讨论。该项目由“mooreds”创建，最初只是一个玩笑，但范围迅速扩大——其他开发者也表达了类似的感受，他们也经历过自己的项目出现类似的“范围蔓延”。
几位评论者分享了他们从小型、幽默的项目开始，却意外地变得重要且实用（或者至少，感到有义务完成）的经历。一位用户提到了一个 Rubocop 包装器，它演变成了一个完整的代码检查工具，而另一位用户则纯粹为了恶搞截图而构建了一个 Bluesky 客户端。
讨论中幽默地探讨了最初的“失控”评论是指项目本身还是 Perl 语言，许多人表达了对 Perl 功能的赞赏。