返回首页
最新
关于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 计时器应用的朋友们。有什么缺失的功能?什么能让它成为你日常工作流程的一部分?
我对这种无聊的人工智能、企业环境等实在感到厌倦。<p>我在寻找替代方案。<p>如果你也有同样的感觉:<p>你打算从事什么工作?