最新

您好，我们是Axel和Vignesh，Innate的联合创始人（<a href="https://www.innate.bot">https://www.innate.bot</a>）。 去年我们分享了一个概念：一种任何人都可以在家中编程和教学的个人通用机器人（<a href="https://news.ycombinator.com/item?id=42451707">https://news.ycombinator.com/item?id=42451707</a>）。最近，我们推出了MARS，这是一款基于ROS2构建的移动操控器，配备开放的智能操作系统。 <p>这段视频展示了首次演示：<a href="https://www.youtube.com/watch?v=_Cw5fGa8i3s" rel="nofollow">https://www.youtube.com/watch?v=_Cw5fGa8i3s</a>，还有更多视频可以在<a href="https://docs.innate.bot/welcome/mars-quick-start">https://docs.innate.bot/welcome/mars-quick-start</a>找到。 <p>当我们开始时，觉得目前没有好的、经济实惠的通用机器人平台供任何人使用。需求并不缺乏：hugging face的SO-100和LeKiwi已经是相当成功的案例；但硬件不可靠，软件体验简陋且不断变化，通常还需要购买额外的配件才能使其正常工作（比如一台配备良好GPU的电脑）。Turtlebots曾经不错，但现在逐渐过时。 <p>我们认为开源爱好者运动缺乏真正优秀的平台可供构建，因此我们希望能有一个稳健且易于访问的解决方案。MARS是我们为每个人打造的首款直观AI机器人的尝试。 <p>它的特点： <p>- 已组装并校准 <p>- 配备Jetson Orin Nano 8GB的板载计算 <p>- 5自由度的机械臂，配有腕部摄像头 <p>- 传感器：RGBD广角摄像头、2D激光雷达、扬声器 <p>- 通过专用应用程序和插入iPhone和Android的主控臂进行控制 <p>- 2个额外的USB端口 + GPIO引脚用于额外的传感器或执行器。 <p>- 以及我们新颖的SDK，名为BASIC，允许将其作为AI代理运行，支持可变长度数组（VLA）。 <p>它在一分钟内启动，可以通过手机控制，使用PC进行深度编程，板载代理让它能够实时观察、对话、规划和行动。 <p>我们的SDK BASIC允许创建“行为”（我们对程序的称呼），从简单的“你好，世界”到涉及推理、规划、导航和操作的复杂长期任务。您可以创建技能，使行为能够通过训练机械臂或编写代码工具（如AI代理）自主运行。 <p>您还可以调用ROS2主题以低级别控制机器人。基于此SDK创建的任何内容都可以通过共享文件轻松与其他人共享。 <p>这款产品旨在面向爱好者和教育领域，我们非常希望得到您的反馈！ <p>附言：如果您想尝试，有一个临时代码HACKERNEWS-INNATE-MARS，可以将价格降低到$1,799。 <p>再附言：硬件和软件也将开源，如果您想贡献或帮助我们做好准备，请随时加入我们的Discord：<a href="https://discord.gg/YvqQbGKH" rel="nofollow">https://discord.gg/YvqQbGKH</a>。

GitHub: <a href="https://github.com/fizzbee-io/fizzbee-mbt-examples" rel="nofollow">https://github.com/fizzbee-io/fizzbee-mbt-examples</a> 快速入门: <a href="https://fizzbee.io/testing/tutorials/quick-start/" rel="nofollow">https://fizzbee.io/testing/tutorials/quick-start/</a> <p>大多数开发者都认为测试很重要，但同时大多数开发者并不喜欢编写测试。随着人工智能生成代码的速度越来越快，测试变得更加关键。然而，即使是人工智能生成的测试也需要审核和维护，这使得它们成为额外的负担。</p> <p>我在这里介绍一种新的自主测试形式——“基于模型的测试”。与其编写测试用例，不如用类似Python的规范语言描述期望的行为。</p> <p>FizzBee模型可以：</p> - 进行全面验证以查找设计缺陷（类似于形式化方法）。 - 映射到您的实际系统，自动生成测试。</p> <p>这为您带来了：</p> - 无需手工编写测试用例 - 自动测试并发和顺序行为 - 行为变化时无需级联重写测试 - 不会在被测系统中添加追踪代码</p> <p>使用FizzBee，您可以同时获得设计验证（类似于形式化方法）和自动测试生成，从而节省时间和精力。</p> <p>目前，仅支持Go语言。Java和Rust是下一个目标，我们也很想知道您希望支持哪个语言。</p> <p>期待您的反馈！</p>