基于浏览器的游戏 HTML 草稿板
返回首页
最新
我正在使用 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的工具，它可以持续转录和总结所有会议，并将前一天或前一周的总结发送到我的邮箱。