半夜寂寞,买了个飞机杯,到手感觉亏大了,我日!拍断大腿!

这两天寂寞难耐,买了个飞机杯回来玩,介绍写的很动人 什么自动吮吸 伸缩 加热功能应有尽有 看的我饥渴难耐,于是果断下单一个 二百出头 到手之后发现中计了 就一个硅胶+一个极其廉价塑料做的伸缩的的玩意 所谓的加热功能 就是给了个看起来几毛钱的小棒,插上 USB 之后有 2-3W 的功率 然后放进去加热 体验感极差 两百多完全血亏...

nix 真的 agent 时代的天选之子。

现在 vibe 全要经由 nix + flake ,甚至 nix profile 都不用。 单体项目,需要 vibe ,就起一个 flake.nix ,一顿乱搞,坏了不心疼,因为 nix 是声明式的,可以 diff ,避免 apt 这种黑箱。 同一个项目,flake 也可以有不同的 outputs ,不用分场景。这带来的便利谁知道啊。 devShells + packages + packages.image ,直接用 profile default 即可,也就是不用 npm -g 呢。 不同项目,多个场景,就 one folder one flake 。 像 oci 的 build ,直接用...

求真: Kimi 被带走 16 个人,包括老大。。。

原文第 149 页 这些跨会话重放攻击,使实施非法蒸馏的实体得以采集思维链推理记录。我们正在引入新方法,增强针对这些手法的防御。 调查还发现,Moonshot 重新路由至 Claude 的用户查询,包含多类 Moonshot 客户的敏感信息。我们不知道 Moonshot 是否告知客户,请求被转发给 Anthropic 并暴露给第三方。 这些信息包括 与解放军有关的监控活动。一名我们评估很可能与解放军有关的用户,使用其以为是 MoonshotKimi 的模型加载了闭路电视档案中针对某一目标人物的监控数据,请求 Kimi 分析该人物行为是否异常。数据包含成都数百个摄像头的监控视频,包括位于解放军设...

意外发现华为 FreeClip 2 支持锤头暂停

刚刚想问题有点深入,往后靠坐了一下,握拳锤了两下自己头(如图所示,大概就是那个有点凹下去的地方),发现音乐停掉了,又锤了两下结果又开始播放了。第一次遇到这么神奇的操作判定。...

硕博生利器,利用大模型辅助公式推演

SymKit MCP 是一个 MCP 服务器,在 SymPy 之上提供真正的计算机代数后端,共 44 个工具。智能体用它推导、校验并记录物理、工程、化学、生物、经济等领域的公式。 这个本地 MCP ,我已经经过了多轮迭代和优化,自己平时写论文也在用,效果如下所示。 公式推导。 一个 math() 工具覆盖 32 种符号运算,包括化简、求解、求导、积分、级数、极限等。输入支持 SymPy 字符串、A = B 形式的自然方程、莱布尼茨记法、Unicode 与希腊字母、LaTeX 。内置 YAML 公式库提供检索与排序推荐,智能体可以从已知结果出发,不必凭空猜测。 验证而非自信。 每个记录的步骤都会...

幼儿园的名单公示,打码规则是否不太合理?

现在幼儿园录取名单公示是这样打码的:姓名:真实姓名 身份证号:440***********4120后四位公示出来了,前几位地区码大概率能根据当地地方猜对,然后当年小班入学的年龄是确定的, 只有月份、日期是未知的。有校验位的情况下,反推出月份、日期的合规身份证号数量应不多。感觉这个打码规则不是很合理...

分享浅浅尝试用 Grok Bot 创建数字员工自动开发流程

目前这个流程自动化已经实现,给大家提供一下思路 tps.bunai.cc ,为了给我这个项目,自动化采集最新开源得模型,这个实现方法有很多,做这个目的更是为了简单尝试验证一个模拟公司开始流程,能不能实现。 流程就是 Linear 出任务 → 自动进开发群 → Lead/Dev/QA/Ops 接活 建 Issue / 每日循环生成 → Lead 自动发到开发群 → Dev 开发 · QA 验证 · Ops 上线 两种任务: 一次性:六总在 Linear 项目 tps 建 Issue ,或直接在开发群说 每日循环:Linear Recurring 「更新大厂开源模型与参数」 有新模型 → 按 AG...