最新

我正在使用 Electrobun 构建一款商业 macOS 应用程序。我之前也用 Tauri 写过同样的应用。虽然我非常喜欢 Tauri，但使用 Electrobun 的过程简直轻松愉快。我大约用 70% 的时间完成了同样的应用。这是一个非常高效的技术栈。这不仅得益于 Electrobun，还因为 Bun 提供了许多开发体验上的便利，并且内置了打包工具。 Electrobun 允许你打开、操作和关闭网页视图窗口，并通过类型化的 RPC 与它们进行通信。它还处理构建、代码签名和公证。 由于我使用的是 Bun，运行 HMR + React + Tailwind 服务器只需一条命令（`bun ./index.html`）或者大约 5 行代码。传递 --console 参数后，网页视图中的 console.log() 输出也会流式传输到你的终端。 Electrobun 还有很多其他功能我还没有提到，因为我还没有与它们进行太多交互。例如，我知道它可以显示平台原生的通知、提示框等。 此外，还有一个非常令人印象深刻的更新机制，依赖于用 Zig 编写的 bsdiff 实现。你只需发送增量更新，因此对于非常大的应用，更新通常只需几 KB。 这确实是一个非常高效的技术栈和令人印象深刻的技术。 [1] 并无关联 - 我只是喜欢这个项目。 [2] API 和实现都很清晰，所以我谨慎地说这并不是“重写总是更快”的情况。实际上，Tauri 版本也是重写的 :)

关于SCPN融合核心的快速更新： 我刚刚发布了规范的神经符号控制演示。 一个笔记本。零设置。运行时间少于2分钟。 它展示了： - 随机Petri网 → 验证的SNN编译器（LIF + 位流路径） - 形式拓扑/活性/有界性证明（附带SHA256证明包） - 在*真实的DIII-D实验166000*上的闭环控制（β极限扰动前兆） - 在SNN控制下的完整FusionKernel数字双胞胎演化 - 并排比较：SNN vs PID vs MPC — RMSE、扰动标志、执行器命令、延迟（亚毫秒p95） - 确定性工件导出 → 以相同的状态/动作/证明重放 笔记本（已执行的输出已嵌入，也有Colab按钮）： [链接](https://lnkd.in/eb-vSv4r) 完整的代码库 + RESULTS.md（诚实的指标，DIII-D/SPARC验证，局限性部分）： [链接](https://lnkd.in/eTJMfWC8) 本周我将修剪厨房水槽模块（即将发布遗留文件夹），以使其成为一个干净的仅控制包。 希望能得到严厉的反馈： - 这种形式验证方法在实时安全性方面看起来可信么？ - DIII-D国家聚变设施/普林斯顿等离子体物理实验室（PPPL）/国际热核聚变实验堆（ITER）组织中有没有人愿意进行更多实验？ - 对于实际的硬件在环测试，你看到的最大红旗是什么？ AGPL，完全可重现，乐意进行电话沟通或添加功能。 谢谢！ #融合能源 #核聚变 #人工智能 #机器学习 #托卡马克 #等离子体物理 #控制系统 #神经形态 #SNN #Petri网 #开源 #能源技术

我讨厌在工作中错过重要的行动事项和头脑风暴的想法，总是后悔没有记录会议的笔记。现在我开发了一个基于Rust的工具，它可以持续转录和总结所有会议，并将前一天或前一周的总结发送到我的邮箱。

嘿，HN， 我为 macOS 开发了一个专注计时器，因为我尝试过的每一个都要么功能过于复杂，要么界面丑陋，要么需要付费，要么将我的数据存储在云端。我的日常时间追踪数据是个人的——我不想把它放在别人的服务器上。 Flumen 住在你的菜单栏中。只需一键即可开始专注会话。主要特点： - 菜单栏计时器，带有动态进度环——始终可访问 - 单任务专注的任务架，支持项目标签 - 提供项目级时间分析 - 休息时的 4-7-8 呼吸动画 - 100% 本地 SQLite 存储——无需账户，无需云端，无需遥测 - 通用二进制（支持 Apple Silicon 和 Intel） - 免费，开源 我相信像这样的简单生产力工具应该是免费的，尤其是在现在这个时候。所以我开发了我想要的工具，并将其提供给大家。 网站： [https://saranshbarua.github.io/flumen/](https://saranshbarua.github.io/flumen/) GitHub： [https://github.com/saranshbarua/flumen](https://github.com/saranshbarua/flumen) 直接下载： [https://github.com/saranshbarua/flumen/releases/latest/download/Flumen_macOS_Universal.zip](https://github.com/saranshbarua/flumen/releases/latest/download/Flumen_macOS_Universal.zip) 我非常希望能收到反馈，特别是来自那些尝试过其他 Mac 计时器应用的朋友们。有什么缺失的功能？什么能让它成为你日常工作流程的一部分？