➡️
继续阅读
-
FlashAttention离极限有多近?从数据移动的角度理解注意力机制
本文研究FlashAttention的I/O复杂度极限:当快存较大时,FlashAttention已达到最优数据移动阶;当快存较小时,分块矩阵乘法并存储中...
-
红蓝卵石博弈:为何更快的处理器仍需移动数据
1981年红蓝卵石博弈论文研究有限快速内存下的数据移动。红卵石代表快速内存,蓝卵石代表慢速内存,通过加载、存储、计算、删除四种操作,证明任何执行方案都需大...
-
Omarchy Desktop Top 桌面系统监视器
作者发布第十七个 Omarchy 插件:桌面级系统监视器,可静置于桌面显示系统负载,不干扰键鼠操作,切换窗口时便于查看。源码以 GPL 3.0 协议开源。
-
Zig 0.17 构建系统重构:Maker 与 Configurer 双进程架构
Zig 0.17 重构构建系统,将单体 Build Runner 拆分为 Maker 与 configurer 两个进程:前者负责任务调度,后者执行 bu...
-
PRISM——用4段真人搬运视频,让机器人学会搬运各种东西:以真实视频为“种子”,生成“换个物体人会怎么搬”的反事实交互视频,再重建并重定向为符合物理规则的轨迹,最后通过师生蒸馏出策略
PRISM提出“真实到仿真再到真实”框架,利用视频到视频生成将少量真实视频扩增为256段反事实人-物交互视频,并以接触为锚点重建和重定向为物理合理的机器人...
-
推一下自己写的基于gitlab/github/forgejo等托管平台的多agent协作框架
forge-bot 是一个基于 Rust 的编程智能体网关,可在 Issue 和 PR 评论中提及机器人来启动任务,智能体读取仓库、修改代码并回复结果。它...