3作者: jcadam5 个月前原帖
GROWL 是我使用一种我正在开发的编程语言(称为 SLOP)制作的 OWL 2 RL 推理器,该语言强调合约。<p>关于 GROWL 的博客文章:<a href="https://jamesadam.me/blog/introducing-growl" rel="nofollow">https://jamesadam.me/blog/introducing-growl</a><p>代码库:<a href="https://github.com/Trivyn/growl" rel="nofollow">https://github.com/Trivyn/growl</a><p>该自定义语言可以转译为 C,因此生成的 C 源代码和 Makefile 已包含在代码库中。<p>我构建这个推理器是为了集成到我正在开发的知识图谱产品中(因此有 Rust 绑定),但我想将其开源。
2作者: CodePapi_5 个月前原帖
嗨,HN, 我创建了Wakapadi,因为我注意到大多数旅行工具专注于规划行程,而不是在你到达新地方后帮助人们建立联系。 在旅行时,通常很难与当地人或其他旅行者见面,除非你已经认识某人、参加组织的旅游团,或者依靠运气。我希望让发现变得更加自然——看到附近的人、参加免费的步行游览,并一起探索城市。 Wakapadi目前允许用户: - 发现免费的步行游览 - 查看附近愿意见面的旅行者和当地人 - 在见面之前进行连接和聊天 - 以更社交的方式探索城市 这个项目还处于早期阶段,我特别希望获得关于以下方面的反馈: - 安全和隐私的期望 - 在旅行时,什么会让你感到与人见面更舒适 - 能够让这个应用真正有用的功能,而不是另一个旅行应用 欢迎随时提出任何技术或产品方面的问题。
1作者: ariwasch5 个月前原帖
我设计了很多硬件项目,遇到了相同的问题: - 在冗长的数据表中查找约束条件 - 检查零件是否存在风险或是否缺货 - 寻找已经解决类似问题的参考设计 - 过晚发现明显的功率或原理图问题 因此,我开始构建一些小型的内部工具来帮助解决这些问题,最终将它们转变为一个网络工具。 现在它可以: - 审查原理图和PCB导出文件中的常见问题 - 总结数据表并突出重要的约束条件 - 建议有库存的替代零件 - 估算功耗并帮助构建功率树 - 查找相关的参考设计 这仍然处于早期阶段,肯定不完美,但已经大大加快了我自己的工作流程。 我很好奇这里的人们在硬件设计中觉得哪些部分最重复或最烦人。你希望有什么工具能够存在? <a href="https:&#x2F;&#x2F;hardware.dog" rel="nofollow">https:&#x2F;&#x2F;hardware.dog</a>
2作者: siraben5 个月前原帖
邀请码:hackernews。注册时无需邮箱。<p>我的朋友们喜欢玩非ogram(填数字游戏)并相互竞争,但我们总是事后发送已解决的游戏网格截图和时间。<p>因此,从一开始我就知道我想要排行榜、回放和可分享的链接。我还添加了PWA支持,这样可以在移动设备上添加到主屏幕,并提供离线游戏模式。<p>没有广告、分析或其他无关内容,只有非ogram。<p>还有一些其他好东西,比如类似YouTube的滑动条和基于KDE的回放可视化。<p><a href="https:&#x2F;&#x2F;github.com&#x2F;siraben&#x2F;nonograms&#x2F;" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;siraben&#x2F;nonograms&#x2F;</a><p>技术栈:在Vite上使用React + TypeScript,托管在Cloudflare Pages,配合D1和Workers。
2作者: fredrussias5 个月前原帖
嗨,HN 我开发了一个小型桌面助手,可以监控命令行AI编码代理,这样你就不必在长时间的任务中盯着终端。 它会显示代理何时完成、何时需要输入,以及当前的令牌/上下文使用情况(这对于知道何时即将压缩非常有用)。这个工具完全本地运行,免费且开源: [https://github.com/fredruss/agent-paperclip](https://github.com/fredruss/agent-paperclip) 它通过钩子支持Claude Code,并通过监视本地会话文件支持Codex CLI。默认的贴纸包是一个小Clippy的致敬(与微软无关,请不要起诉我)。 接下来的待办事项:多会话可见性。 欢迎反馈/问题/点赞。
3作者: thobiasn5 个月前原帖
我从事全栈开发的工作和一些副项目,最近将所有内容迁移到几台Hetzner的VPS上。这个设置非常不错,成本低廉,但有一件事一直困扰着我,那就是如何在不频繁手动SSH登录的情况下知道某些服务是否宕机?我尝试过使用Grafana和Prometheus的组合,但配置时间较长,而且它们占用的资源比我实际应用还要多,这让我很苦恼。我也尝试过一些较小的解决方案,但都感觉不太合适。于是我决定放手一搏,构建了我想要的东西。 tori是一个单一的Go二进制文件,运行在你的服务器上,从/proc和/sys读取主机指标,通过Docker套接字(只读)监控容器,跟踪日志,并将所有数据存储在SQLite中,保留7天。你可以在TOML配置文件中定义警报规则,并通过电子邮件或Webhook接收通知。相同的二进制文件可以在你的本地机器上运行,并通过TUI通过SSH连接,无需暴露端口,也不需要HTTP服务器。 <a href="https://github.com/thobiasn/tori-cli" rel="nofollow">https://github.com/thobiasn/tori-cli</a> 该项目采用MIT许可证,欢迎对架构或设计选择提出问题 :)