最新

您好。 我创建了一个 TypeScript 包，通过完全在类型层面实现一种名为 CionLisp 的脚本语言，来实现类似依赖类型的功能。通过从运行时值中提取类型，它能够实现 TypeScript 原生不支持的类型验证。<p>利用这个包，我实现了几个功能，包括：<p>- 除以零检测<p>- 长度索引向量（类似于 Idris 中的 Vect n）<p>- 安全访问器（类似于 Lenses）<p>此外，任何可以用 CionLisp 表达并在类型层面解析的内容——例如通过正则表达式进行电子邮件验证——都有可能进行类型检查。<p>请注意，这仍处于 alpha 阶段，请谨慎使用。<p>感谢您的关注。

我现在 36 岁了，非常怀念以前和兄弟们一起熬夜打扑克牌的日子。<p>现在我们都忙于家庭和事业，根本不可能凑在一起打牌了。<p>所以，我有了开发“回合制扑克”的想法，就像“Words With Friends”那样，但玩的是德州扑克。<p>轮到你行动时，会收到推送通知，这样我们就可以在火车上、会议间隙、厕所里等等地方玩了。<p>它完全基于 Expo + React Native + Firebase 构建，后端使用 NextJS。<p>我还在 React Native 上编写了一个自定义动画引擎来渲染扑克牌动画。<p>希望你们喜欢！

我创建了一个简单的 WireGuard 配置生成器，用于网状网络和星型网络。<p>目标是： - 安全，仅客户端 - 从种子生成，以重现密钥生成过程 - 简单的自托管 - 开源 (MIT 许可证)<p>它尚未完成，我希望在某个时候添加一些功能，并进行安全审计（主要是为了学习）。<p>我非常欢迎您的反馈。

News-Hook 是一款工具，只需通过提示，即可在任何现实世界中设置 Webhook。<p>你可以这样写提示：<p>“当 [电影] 获得烂番茄评分时通知我” “当 [传闻] 被证实或否认时告诉我” “提醒我关于美国和巴西之间的任何关税新闻”<p>它的工作原理如下：<p>- 你编写一个提示，说明你想要了解的内容。 - 像往常一样设置 Webhook，包括 URL 和有效载荷。 - 完成。<p>如果想通过编程方式实现，可以使用完整的 API。 我们开放了 Swagger-UI，方便你查看。<p>欢迎提供反馈、我未曾想到的用例，以及对设计或安全性的批评。<p>谢谢！

嘿，各位 HN 用户！ 我一直在开发 Obelis AI——它就像你的团队里有一位 DevOps 工程师，由 AI 智能体（货真价实的，不仅仅是花哨的 LLM 包装）提供支持。 这个想法源于我观察到早期团队常常将基础设施决策推迟到为时已晚。迁移当然是可行的，但随着规模扩大，过程会变得非常痛苦。 Vercel 和 Firebase 这样的平台很适合起步，但它们往往会变得昂贵，而且你实际上并不拥有基础设施。我们试图为你提供同样的简单性——但一切都在你自己的云端运行（目前是 AWS），完全由你掌控。 我们现在处于 Beta 测试阶段——非常欢迎反馈、提问，或者任何坦诚的想法。感谢大家！