Show HN:A2O LITE AI 舞蹈视频生成器可将两张照片变成舞蹈视频
A2O LITE AI 舞蹈视频生成器可将两张照片生成双人舞蹈视频,用户无需剪辑经验。它使用固定的 NEON 双人舞台模板,只替换照片对应的人物,构图、灯光和编舞不变,渲染耗时数分钟。上传照片后可先预览再渲染下载,照片需正面、光线均匀、无重滤镜,并仅限本人或获授权素材。
A2O LITE AI 舞蹈视频生成器可将两张照片生成双人舞蹈视频,用户无需剪辑经验。它使用固定的 NEON 双人舞台模板,只替换照片对应的人物,构图、灯光和编舞不变,渲染耗时数分钟。上传照片后可先预览再渲染下载,照片需正面、光线均匀、无重滤镜,并仅限本人或获授权素材。
XuTerm 是同一位开发者推出的 iOS 与 Android SSH 与 Mosh 终端客户端,Android 版已在华为 AppGallery、APKPure、Uptodown、Appteka 和 GitHub Releases 上线,iOS 版仍在开发中。
Sandkiln 开源了一个自托管的代码执行沙箱,每次运行 AI 生成代码都启动独立 Firecracker microVM,拥有独立内核、文件系统和网络,采用 Rust VMM,MIT 许可。
demotime 是发布在 Show HN 上的一款网页应用,用来删掉视频里静止或无动作的片段。它支持 MP4、MOV、WebM,单文件最大 2 GB,可以拖拽、粘贴或选择本地录屏,划定区间后区间外画面保持不变,页面还给出 FFmpeg command 与 FFmpeg + ffconcat 选项。录制演示、教程的人可以先用它去掉等待画面再交付成片。
Show HN 上出现一款极简在线饼图制作工具,支持粘贴 Excel/Google Sheets 数据或导入 .xlsx/.csv,文件仅在本地读取。它提供饼图、环形图、半饼图和嵌套环,可导出最高 3840px 宽的 PNG/JPG/PDF 及可编辑 SVG,且免费、无水印、无需注册。
作者 arabo 发布开源命令行工具 zombiecost,用只读权限扫描 AWS 账号,列出未挂载的 EBS 卷、未绑定的弹性 IP、超过 90 天且无自有 AMI 引用的快照、平均 CPU 低于 3% 的运行实例、零连接的 RDS 等闲置资源,并按 us-east-1 按需价格粗估每月花费。
kubectl 插件 kubectl-skyline 把 Kubernetes 集群渲染成 3D 城市:Namespace 是楼层平面,工作负载与 Pod 是塔楼,Service 和 Ingress 悬浮在其路由的 Pod 上方。
Show HN 发布一个面向文本、编程与多模态记忆的公共排行榜,当前获得 2 分、0 条评论。榜单的具体指标、参评模型和数据来源尚未在正文披露。
React-jsonschema-UI 在 GitHub 开源,用一个 <SchemaForm> 组件把同一份 JSON Schema 渲染成 React Native(iOS/Android)和 Web 表单。
作者给出了一套把 Android TV 改成无广告界面的完整步骤,用 Projectivy Launcher 替换 Google TV 首页,用 SmartTube 替代 YouTube 官方客户端并内置 SponsorBlock,再用 Button Mapper 把遥控器上的 YouTube 键指向 SmartTube。
OpenBSD 8.0 于 10 月 20 日发布,是第 61 个版本;amd64 内核虚拟地址空间从 4G 提升至 512G,arm64 新增休眠支持。DRM 更新至 Linux 6.18.53,并加入 Intel Arc A-Series 显卡支持;VMM 支持每台 guest VM 最多 64 个 VCPUs。sparc64 切换到 LLVM 工具链,同时停止支持 loongson 架构。
Jag's AI Map 是一个实时交互式 AI 趋势地图,按新闻与开发者社区热度展示公司、模型、产品、人物和硬件等实体。热度综合 Hacker News 点数、Hugging Face upvotes 和 GitHub stars,采用 24 小时半衰期,Week 视图覆盖 7 天。Breaking 标记表示实体近 6 小时至少获 2 篇报道且热度为此前 6 小时的 2.5 倍。
CF-NPE 提出用样本拆分与 K 折交叉拟合改进神经后验估计(NPE),将后验均值估计与高阶矩估计分离:先拟合 K 个后验均值回归器,再对折外残差拟合条件密度估计器。在合成数据和宇宙学应用中,CF-NPE 的留出对数似然高于标准 NPE,且通常改善校准。该方法已被 NeurIPS 2026 接收,最适用于高维、模拟受限场景。
CAVA 是一种面向互补标签学习的数据估值方法,用来识别标注中把真实类别误写成互补标签的对角噪声。研究指出直接把最优传输数据估值迁移到互补标签会因训练与验证的标签语义相反而失配,噪声率低于 1/M 时评分方向甚至反转。
Polar Switch 提出一种基于多项式电路的梯度正交化方法,达到同等高次多项式时 FLOP 成本低于五次迭代。在方矩阵上运行时间比 Polar Express 低 15.5–18.7%,在长宽比 3.25、3.5、8 的矩形矩阵上比 Gram Newton–Schulz 低 8.6–16.2%,精度相当。
作者把递归预训练移植到 masked 蛋白语言模型,提出 155M 参数的 recAMPLIFY,训练用了与 AMPLIFY-350M 相同的 2T token。
研究证明,梯度下降在多分类逻辑回归损失上可在与 ε 无关的迭代次数 T 内达到 ε 最优性差距;步长 η 需按 ε 和线性可分数据性质取得足够大,而 T 只依赖数据。数据性质包括样本数与间隔;T 由二者决定,η 还需一个在维度 d ≥ 3 时必要的额外量。证明借助 η → ∞ 时重标度梯度下降趋于感知机,后者在 T 次迭代内找到完美分类器。
论文提出 trajectory replay,用于让预训练的连续时间生成模型适配陆续到来的新数据而不遗忘旧任务。它不生成样本,而是训练更新后的速度场同时对齐冻结的历史速度场和新任务速度场,并按稳定性与可塑性系数加权,最优解即按各自密度对两个任务速度做平均、生成两者概率路径的混合。
TokenGate 是一个可即插即用的小组件,让已有大模型在长上下文 prefill 阶段做端到端可学习的 token 剪枝。在多项任务上首 token 延迟快 1.4 到 11.3 倍、峰值内存低 1.5 到 3.4 倍且精度不降,相比此前最好的 token 剪枝方法 prefill 最多快 6.4 倍、峰值内存低 2 倍。
Adrian Remonda 提出 Prior-Informed Adaptation(PIA),一个从离线到在线的基于模型强化学习框架,用结构化仿真先验实现快速自适应。
HarnessPro 是一个不需要标注数据的 harness 自改进方法,目标是在提升 Agent 任务表现的同时降低执行成本。它用 LLM 生成的测试评估候选 harness,不依赖标准答案或官方测试;专用 Agent 诊断执行轨迹,按不同的性能成本优先级规划更新,再用归一化加权平方距离选出偏成本、均衡、偏性能三档,对应不同的部署预算。
arXiv 论文提出 TSI 层论框架,把多智能体任务的兼容性障碍与系统能力分开刻画,交互复形与容量层的上同调非零即构成结构性签名。15,625 个一阶输入上,全智能体加性原语可精确求解决策与修复,最优成对系统决策 88.80%、仅比 88.79% 的多数类基线多对一个输入,修复率 26.63%。
该论文把诈骗者与反诈陪聊者的对话建模为双人博弈,用纳什均衡作为评估基准,让 LLM 通过上下文经验学习反制策略而无需微调。在 300 段模拟对话和三种 LLM 架构上,自适应策略选择比非自适应基线更接近纳什均衡,幅度从 28.9% 到 79.7%。作者同时公开代码和 300 段带逐轮策略标签与效用分数的标注数据集,论文已被 ECML PKDD 2026 接收。
这篇 arXiv 论文提出面向混合真标签与机器学习标注标签数据集的随机一阶和零阶优化方法。它针对人工标注成本高、模型自动标注可能出错的问题,给出可用于训练这类数据集的优化算法。作者从线性回归训练做到大语言模型微调,用实验展示所提算法的效果。
SOMA 是一个用 System One 模型持续监控 System Two 推理模型并在需要时介入的框架,分场景、感知、控制三层,同一个 S1 模型与控制器跨任务复用且不训练。
arXiv 论文用八个最大约一千万条训练样本的真实表格数据集,检验训练数据扩展是否带来更好泛化。实验发现 GBDT 与 MLP 类模型的扩展趋势大体相近,增加训练数据和算法改进都能带来提升,表格基础模型表现更分化,较新版本在分布偏移下仍能随上下文变长而受益。分布内与分布外性能在小规模时同步提升,规模变大后可能背离;MLP 用贴近评测条件的验证集做模型选择时,通常能维持或提升性能。
Caterpillar Net 给出一种非递归构造,用两个隐藏层、宽度 O(N^2) 与 2^{O(N log N)} 表示 N 个输入的最大值。该构造受 Brunck 等人 2026 年证明两个隐藏层足以表示一般 CPWL 函数的启发,并具有直接的几何解释。它面向 ReLU 网络最大值表示这一核心问题。
论文在高斯替代模型上精确计算候选打分决策模型的有限样本风险,检验教师软标签、冻结表征和温度校准这三项训练要素。在 CFPB 231,521 条信用卡投诉上,用逻辑教师概率训练的学生在决策成本上与教师持平,用真实结果训练的学生低 8%,30B 模型零样本经校准后仍不如教师,并偏离一致性条件 17.5 decibans。
summary_zh
arXiv 论文提出 Mise-en-Video(MeV),一个让创作者先在 3D 空间里编排分镜、再生成多镜头视频的框架。它把用于多级叙事一致性的分层注意力机制与 3D 感知的布局引导结合,实现逐镜头的精确空间控制。
推荐理由:做多镜头视频的团队可参考其分层注意力与 3D 布局引导设计,评估这套空间分镜控制能否接入现有生成管线。
研究提出 BrainLoRA,用 LoRA 加轻量 readout 对最高 104B 参数的多模态主干做参数高效微调,在 9 个多模态主干上均提升脑编码性能。在与此前 SOTA 相同的 Qwen3-Omni 主干上,该方法取得 Algonauts 2025 挑战赛已发表最佳成绩。
论文把 Next Best Action 建模为约束马尔可夫决策过程(CMDP),在 LP 求解中直接加入离策略因果校正,按客户状态选择动作以最大化长期价值并强制执行业务约束。
AfriBED 是面向 Bemba 和 Nyanja 两种低资源非洲语言的语音识别偏差评测数据集,用于检测 ASR 系统在性别和说话人类型上的偏差。Bemba 部分包含 80 位说话人的 3928 条语音共 9 小时,Nyanja 部分包含 127 位说话人的 6260 条语音约 18 小时。
RefCraft 是一个包含 300 个真实多模态网页开发任务的基准,把自然语言指令与 1 到 5 张参考网页截图放在一起。智能体需要自己挑选并使用这些参考,渲染页面、做视觉检查并迭代修改,评分依靠可独立验证的 keypoints 以及程序化判分和 VLM 裁判。在九个前沿(M)LLM 上最强系统总分只有 52.12(满分 100),说明视觉参考条件下的智能体生成在真实网页开发场景中仍是难题。
论文提出 WildAWM,一个用开源模型合成可控环境与任务、用于训练通用计算机使用智能体(CUA)的流水线。它构建同时支持图形界面、MCP 服务和命令行的可执行环境,并用执行式质量门控配合多智能体采样、交叉评判一致性和反事实探针,保证任务可解、难度足够且验证器可靠。
推荐理由:做 computer-use agent 训练的团队可以复用这套合成管线,批量生成带验证器的长程可执行任务环境。
ProteinGeoBench 用 131 个蛋白质结构任务评测前沿智能体,结果显示它们元数据检索流利、几何计算不可靠。四个前沿模型中有三个得分落在 0.785–0.816 之间,第四个为 0.707;数值任务只有 28 个,却占所有模型均失败任务的一半。评估配置同样影响排名,每任务只跑一次时 23.9% 的 bootstrap 重采样会把不同模型排到第一。
这篇 arXiv 论文提出量子哈密顿量嵌入框架,把经典训练数据编码进一个参数化哈密顿量,训练即优化该哈密顿量参数,其近似基态定义分类规则。基态近似完成后,推理可用经典表示或量子表示进行。
作者提出 KronLSTM,一种基于 Kronecker Delta Rule 的线性注意力架构,扩展了 xLSTM 家族。它的记忆修正只在矩阵空间的单一方向上改动目标关联,对已存信息的干扰小于 delta-rule 更新,记忆动态可描述为收敛到稳态分布的马尔可夫链,记忆矩阵的期望范数在整条输入序列上保持有界,因此不需要额外的归一化与稳定机制。
一项 arXiv 研究用 USGS 地球化学模拟器 PHREEQC 检验工具输出检索对 LLM Agent 准确率的影响,报告长达 846.8k 字符,测试为 158 道执行验证多选题。
推荐理由:做 Agent 上下文管理的团队可以按它的实验方法自查准确率在哪一步流失,再决定是否内联或指认权威输出。
Huawei Lin 提出 LatComm,一种把上下文编码与读取分离的隐空间通信接口,让同一段长上下文在多个问题之间复用。冻结的编码模型先把上下文压成固定大小的数据包,另一个冻结的接收模型通过 cross-attention 读取,门控由自身提示词计算。