返回首页
最新
嘿，HN，我创建了 <a href="https://hackergrep.com" rel="nofollow">https://hackergrep.com</a>，我认为它值得关注。
<p>它是什么：</p>
我想要一个快速、灵活且专注的求职工具来寻找新的技术工作，但我没有看到任何真正符合我需求的工具，所以我构建了这个应用程序，因为你可以轻松地进行搜索。
<p>HackerGrep 会索引 HackerNews 上的多个最新讨论，并将结果组合成一个符合你所需搜索过滤条件的动态信息流。系统可以在你的查询有新的搜索结果时，向你发送每日电子邮件更新；选择接收搜索查询电子邮件的用户会在 30 天内收到邮件，然后自动停止。新的职位提醒邮件会被批量发送，每天发送一次，因此你会收到每个配置的提醒邮件，直到你取消订阅或 30 天结束。</p>
<p>主要特点：</p>
> 无横幅广告/杂乱。<br>
> 免费使用。<br>
> 无需账户/登录。<br>
> 支持高级搜索语法和全文搜索。<br>
> 可以通过电子邮件通知你有关匹配你查询的新职位。<br>
> 搜索和提醒邮件始终优先显示最新结果。</p>
<p>（如需报告错误、建议解析器/逻辑改进、提供工作机会或只是打个招呼等，你可以在 <a href="https://hackergrep.com/why" rel="nofollow">https://hackergrep.com/why</a> 页面找到我的联系信息）</p>
你可以通过任何网页浏览器尝试它。它已针对桌面或平板电脑进行了优化，适合合理的屏幕尺寸，但在任何地方都应该可以正常使用。
<p><a href="https://hackergrep.com" rel="nofollow">https://hackergrep.com</a></p>
随着代理框架变得更加易于获取，一个熟练的个人协调多个人工智能代理来完成整个团队的工作是完全可能的。十个代理处理设计、编码、法律审查、内容和运营——由一个人或任何你能想到的方式进行协调。
这听起来像是增强。但更进一步，这显然压缩了价值链。为什么要为十个薪水付费——甚至一个中介——当客户可以学习直接指挥这些代理呢？
有人说：“你仍然需要一个指挥来指挥乐团。”那个人是整合者，是飞行员，确保代理朝着一致的结果努力。这个观点也有道理。
但反对的观点是：客户已经在进行这种整合。他们并不会要求供应商“发挥创造力”，而是给出明确的目标和限制。如果这些代理能够直观地理解这些输入，那么中间的人还能添加什么呢？
如果我以前雇佣设计师，现在我自己只需提示一个设计代理……如果同样的逻辑适用于编码、市场营销或法律推理……那么我们距离客户直接协调自己的人工智能“员工”的企业究竟还有多远？
人类协调者的角色只是一个临时的桥梁吗？
我真的很想知道：你开始以这种方式工作了吗？你是否看到客户质疑你在这个环节中的位置？你认为我们低估了什么——或者高估了什么？
Miralis 是一个 RISC-V 固件，它实现了 RISC-V 固件的虚拟化。换句话说，它在用户空间中运行固件（M 模式软件在 U 模式下运行）。<p>这一点的实现本身就很有趣：实际上，并不是所有的指令集架构（ISA）都可以被虚拟化，固件模式同样如此。这一切归结于虚拟化的要求[1]，如果你还没有接触过，这是一篇很值得阅读的文章。例如，Arm 的 EL3 不能被虚拟化，因为某些指令（如 `cpsid`）是敏感的，但不会触发陷阱（在用户空间中，`cpsid` 是一个无操作指令）。<p>如果你拥有 VisionFive 2 或 HiFive Premier P550，可以尝试一下，具体的说明在文档中[2, 3]。当然，它也可以在 QEMU 上运行。<p>作为一个研究项目，Miralis 还被用作探索其他研究想法的工具，例如超监视器的自动验证[4]。例如，我们通过将 Miralis 的实现与参考 RISC-V 可执行规范[5] 进行比较，验证了指令仿真，我们将其翻译为 Rust。<p>在 Miralis 上工作非常有趣，我希望你也会觉得它很有意思！<p>[1]: <a href="https://dl.acm.org/doi/pdf/10.1145/361011.361073" rel="nofollow">https://dl.acm.org/doi/pdf/10.1145/361011.361073</a><p>[2]: <a href="https://miralis-firmware.github.io/docs/platforms/visionfive2" rel="nofollow">https://miralis-firmware.github.io/docs/platforms/visionfive2</a><p>[3]: <a href="https://miralis-firmware.github.io/docs/platforms/premierp550" rel="nofollow">https://miralis-firmware.github.io/docs/platforms/premierp550</a><p>[4]: <a href="https://charlycst.github.io/papers/lightweight-hypervisor-verif.pdf" rel="nofollow">https://charlycst.github.io/papers/lightweight-hypervisor-verif.pdf</a><p>[5]: <a href="https://github.com/riscv/sail-riscv">https://github.com/riscv/sail-riscv</a>
如何解释在当今时代，尽管氛围编程有效，工程原理仍然重要？