最新

我独自一人，花了 10 年时间构建了 IONA。它是一个完整的、主权的数字生态系统——操作系统（PC + 手机）、L1 区块链、编程语言和设备端 AI，所有这些都是从头开始用 Rust 编写的，没有使用 Linux、BSD 或 Windows 的代码。 GitHub 组织 (github.com/Ionablokchain) 中包含的内容： * Iona-OS — bare-metal x86\_64 内核，可在 QEMU 中启动，有 50 多个测试 * Iona-OS-Phone — ARM64 移动操作系统 * Iona-protocol — 安全优先的 L1 区块链 * Carpel — 一种消除生命周期和 Pin 的系统语言 * Flux — 一种用于新计算范式的时空量子语言 * Nihilo-OS — 一种没有文件的操作系统，错误即平行宇宙 * Iona-AI — 具有自修复内核集成的自主 AI 代理 所有这些都是一个人在 10 年内完成的。我希望得到诚实的技术反馈。

大家好， 我一直在捣鼓这个网站，想在这里发出来看看大家的想法。 我最初是为自己建的：作为用户，我发现很难了解我所在城市正在发生的事情，而且总是在事情发生之后才知道有哪些好玩的事情。要么你需要费力地阅读一篇充斥着广告、冗长啰嗦的博文，其中列出了五个你根本不感兴趣的周末活动，要么你就得浪费时间在各个活动页面之间来回点击，每个页面都要加载 5 秒钟，结果发现它们也不是你感兴趣的…… 所以我开始从不同的来源抓取活动信息，并将它们汇总到一个地方，并提供一个超级快速的 UI，可以在活动之间跳转，于是 Citycal 就诞生了！ 然后我想，如果有一个集中式的应用程序可以浏览全球所有主要城市的活动，那会很酷——比如，如果我旅行到希腊雅典，我就可以在应用程序中查看活动——就像我可以在任何地方预订 Airbnb 一样。 主要问题是获取所有这些城市的活动信息。我从几个美国城市开始，想出了一个类似维基百科的提交格式，用户可以提交他们自己的活动，这使其成为一个“协作式活动日历”。 我对普通活动浏览网站的另一个不满是它们非常非常慢，而且每个活动通常都在自己的页面中加载，所以我希望让它变得超级快，这样你就可以在 10 秒钟内查看 10 个活动，看看你真正感兴趣的是哪个。 我认为，如果这个网站开始有太多活动，那么策划和个性化将成为下一个问题，因为浏览这些活动会变得很乏味，但我有一些想法可以解决这个问题。 总之，我不知道这到底是个愚蠢的想法还是个天才的想法，但我觉得我应该在这里分享一下，因为这是一个很棒的社区。很乐意收到任何反馈！尽管狠狠地吐槽吧 :-')

大家好，我是 Hang，InsForge（YC P26）的联合创始人。InsForge 是一个面向 AI 编码助手的开源 Heroku：一个为编码助手设计的后端平台，用于部署、操作和调试端到端应用。采用 Apache 2.0 协议开源（<a href="https://github.com/InsForge/InsForge" rel="nofollow">https://github.com/InsForge/InsForge</a>）。 快速演示在这里（<a href="https://youtu.be/7Bax5qz0IfM" rel="nofollow">https://youtu.be/7Bax5qz0IfM</a>）。 我们创建 InsForge 的初衷是希望我们的 Claude Code 能够为我们处理所有后端/基础设施相关的工作，而不是让我们在不同的仪表板之间切换，手动配置，或者将日志和文档复制粘贴给助手。 我们最初尝试创建一个包含大量 .MD 文件的文件夹，并安装像 Supabase、Vercel、GitHub、Context7 这样的 MCP。但很快我们发现 MCP 也有它们自己的问题：（a）工具在助手做任何事情之前就被预加载到上下文中，（b）设计糟糕，负载返回 10k+ token，以及（c）很多事情仍然无法通过 MCP 完成：例如遥测和配置。 所以我们认为，既然编码助手如此擅长 CLI，为什么不把所有东西都放在 CLI 中，并创建 Skills 来教它们如何使用呢？ 这就是 InsForge：只需一个命令即可安装我们的 CLI + Skills，编码助手就可以运行整个后端平台 [1]。 我们从身份验证和数据库开始，但我们不断添加我们需要的更多基本功能，所以现在我们有了：- 前端托管 - 后端服务器（基于 microVM）[2] - 数据库 - 身份验证 - 存储 - LLM 模型路由器 - 定时任务 - 实时 - 边缘函数 - 向量 我们还有其他功能，使编码助手更可靠，就像真正的后端工程师一样： - 后端分支 [3]：助手 100% 会搞砸，比如删除你的数据库。因此，受 Neon 的启发，我们对整个后端（数据库、身份验证、存储、函数、计划任务）进行分支。助手在分支上工作，你审查差异，然后决定合并或丢弃。 - 服务器遥测：助手可以读取日志、CPU、内存、磁盘，以自行找到峰值和根本原因。 - 调试助手 [4]：每个项目都有一个专用的调试助手。因此，你的编码助手可以提出类似“部署失败的原因是什么？”的问题，调试助手将运行诊断，找到根本原因并提出修复方案，然后将答案发回。 - 后端顾问 [5]：每天扫描你的后端，查找安全性和性能问题，提出修复方案。然后提出补救措施，并发送给你的编码助手。 在 InsForge cloud 上试用一下：<a href="https://insforge.dev">https://insforge.dev</a>，或者在这里阅读我们的代码：<a href="https://github.com/InsForge/InsForge" rel="nofollow">https://github.com/InsForge/InsForge</a>。 我们是一个小团队，正在阅读每一条评论。告诉我们哪些好，哪些不好，缺少什么。我们喜欢反馈 :) [1] <a href="https://insforge.dev/blog/insforge-skills-cli">https://insforge.dev/blog/insforge-skills-cli</a> [2] <a href="https://insforge.dev/blog/insforge-custom-compute">https://insforge.dev/blog/insforge-custom-compute</a> [3] <a href="https://insforge.dev/blog/backend-branching">https://insforge.dev/blog/backend-branching</a> [4] <a href="https://insforge.dev/blog/introduce-debug-skills">https://insforge.dev/blog/introduce-debug-skills</a> [5] <a href="https://insforge.dev/blog/backend-health-dashboard">https://insforge.dev/blog/backend-health-dashboard</a>

我在Hacker News上看到过不少关于潜艇模拟游戏的讨论，所以觉得你们中的一些人可能会喜欢这个——我制作了一个以地图为中心、战术性的潜艇模拟游戏，制作过程非常有趣。 我从小就和父亲一起玩Atari ST上的《猎杀潜航II》，后来在2000年代接触了《猎杀潜航IV》，最近一直在玩更新的《UBoat》。在这些游戏中，我最喜欢的部分都是关于绘图和海图的——本质上是用几何学来战胜不确定的估计。 所以我决定看看自己能做到什么程度，制作一个几乎完全专注于这方面的模拟游戏。你通过水听器监听，估算航向和速度，通过潜望镜识别船只以获取桅杆高度，使用有效测距仪进行距离估算，然后尝试在被任何护航舰发现和追捕之前建立一个足够好的射击方案。 我特别自豪的是有效的测距仪、动态音乐（当你的鱼雷接近一艘船时，霍尔斯特的《火星》就会响起），以及相当智能的驱逐舰逻辑。我在网上找到了很棒的参考资料，并直接根据实际潜艇的仪表建模了几个仪表。 技术方面，它是一个Vite/TypeScript应用程序，这使我能够提供整个免费版本的应用程序作为浏览器版本。 Steam页面在这里 => [https://store.steampowered.com/app/4705650](https://store.steampowered.com/app/4705650) 登陆页面在这里 => [https://silentshark.app](https://silentshark.app) 我计划尽快发布完整版，包括一个二战战役，其中包含进度、巡逻区域，以及更多内容，将在Steam（PC、Mac、Linux/Steam Deck）、App Store（iPhone、iPad、Mac）和Play Store（Android）上发布。 非常感谢大家的任何反馈！