返回首页
最新
关于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>你打算从事什么工作？