在不为人知的角落,腾讯往 OpenRouter 上抬了个 Hy3 preview (free):
https://openrouter.ai/tencent/hy3-preview:free
https://openrouter.ai/tencent/hy3-preview:free
用 Rust 实现完整的 SysY 编译器
该任务源自北京大学《编译原理》课程项目,要求模型用 Rust 从零实现一个完整的 SysY 编译器:词法分析器、语法分析器、AST、Koopa IR 代码生成、RISC-V 汇编后端,以及性能优化。作为参考,北大本科生完成该项目通常需要数周时间,然而 MiMo-V2.5-Pro 用时仅 4.3 小时、经过 672 次工具调用完成全部工作,在隐藏测试集上取得 233/233 的满分,展现了极高效的生产力价值。
它没有陷入反复试错的蛮力,而是逐层搭建整个编译器:先搭完整流水线骨架,再逐层攻克—— Koopa IR 满分(110/110),RISC-V 后端满分(103/103),性能优化满分(20/20)。首次编译即通过 137/233,59%的冷启动通过率,意味着在跑任何测试之前,架构就已经是对的了。第 512 轮,一次重构令 lv9/riscv 回退了两个测试点;模型自行诊断、恢复、继续推进。
Xiaomi MiMo-V2.5 系列大模型开启公测
https://mp.weixin.qq.com/s/ikHvKgVeLILebVMWeF1amQ
我们针对 Token Plan 做了几项适合你的、实质性的优化:
Credits 速率更新,更优惠
MiMo-V2.5:1x(消耗 1 Token = 1 Credit)
MiMo-V2.5-Pro: 2x(消耗 1 Token = 2 Credits)
取消 1 Token = 4 Credits 计费方式,从现在起,Token Plan 不再区分 256k 和 1 M 上下文窗口的 Credit 倍率。
夜间专属优惠速率
北京时间每天 00:00 ~ 08:00,所有模型 Credits 消耗速率在原有基础上再打 8 折。
自动续费享折扣
新增「连续包月」订阅模式,老用户开通自动续费享次月 7 折,新用户享次月 77 折,均限一次。
新增「包年」订阅周期,一次订阅享全年 88 折,不再叠加首购/自动续费优惠。
https://mp.weixin.qq.com/s/ikHvKgVeLILebVMWeF1amQ
🔴 PackageKit 本地提权漏洞;请尽快升级至 1.3.5。
- 修复版本 1.3.5 在约两小时前发布。
- PackageKit 是许多包管理器的后端,在 Ubuntu、Debian、Fedora 等发行版上被广泛应用;最早受影响版本 1.0.2 版本在 12 年前发布。
- 鉴于以上情况,目前大部分正在运行的 Linux 系统都受此漏洞影响,建议系统管理员在更新版本于发行版发布后及时更新。
CVSS: 8.8/10
Affect: [1.0.2, 1.3.4]
- GHSA-f55j-vvr9-69xv
- github.security.telekom.com/~
linksrc: https://t.me/bupt_moe/2712
#Security #PackageKit
- 修复版本 1.3.5 在约两小时前发布。
- PackageKit 是许多包管理器的后端,在 Ubuntu、Debian、Fedora 等发行版上被广泛应用;最早受影响版本 1.0.2 版本在 12 年前发布。
- 鉴于以上情况,目前大部分正在运行的 Linux 系统都受此漏洞影响,建议系统管理员在更新版本于发行版发布后及时更新。
CVSS: 8.8/10
Affect: [1.0.2, 1.3.4]
- GHSA-f55j-vvr9-69xv
- github.security.telekom.com/~
linksrc: https://t.me/bupt_moe/2712
#Security #PackageKit
git-http-backend 是 CGI 程序,往 stderr 输出文字就会在客户端展示为 remote: (message),但 rsync 是 inetd 程序,只能在 motd 部分整活
(所以你看到的排队提示对 rsync 来说就是缓慢输出的 motd)
(所以你看到的排队提示对 rsync 来说就是缓慢输出的 motd)
孔子:说说你们的规划吧。
子路:我将来一定要发 Nature Machine Intelligence + NeurIPS Oral,进清北计算机学院,四青拿遍,长江 + 杰青双料,最后当上院长兼智能计算国家重点实验室主任。
孔子:微笑。
冉有:我不求顶会,能发几篇 CCF-B、拿个省部级项目就行。进个普通一本或二本,年度考核能过,横向经费够养研究生。至于大模型、具身智能这些风口,我不追。
孔子:挺好。
公西华:我没什么大本事,就想当好一个实验室运维或科研助理:帮老师写本子、配环境、跑 baseline、整理开题答辩材料,评职称时帮大家统计引用数,开组会时分享屏幕、记会议纪要、顺手把服务器上的僵尸进程 kill 掉。
孔子:谦虚了。
曾晳:我的理想是去一个地级市的政务云运维岗,不用发论文,不用争架构师,每年春天跟几个同事带上孩子,去机房楼旁边的空地上放风筝、听听 UPS 风扇嗡嗡响、看看监控大屏上绿油油的在线率,然后一路哼着歌骑车回家,晚上摸出树莓派随便跑个小脚本,睡前看到终端输出一行 "done",安心关上电脑。
孔子:你说的这个,正是我想要的!
子路:我将来一定要发 Nature Machine Intelligence + NeurIPS Oral,进清北计算机学院,四青拿遍,长江 + 杰青双料,最后当上院长兼智能计算国家重点实验室主任。
孔子:微笑。
冉有:我不求顶会,能发几篇 CCF-B、拿个省部级项目就行。进个普通一本或二本,年度考核能过,横向经费够养研究生。至于大模型、具身智能这些风口,我不追。
孔子:挺好。
公西华:我没什么大本事,就想当好一个实验室运维或科研助理:帮老师写本子、配环境、跑 baseline、整理开题答辩材料,评职称时帮大家统计引用数,开组会时分享屏幕、记会议纪要、顺手把服务器上的僵尸进程 kill 掉。
孔子:谦虚了。
曾晳:我的理想是去一个地级市的政务云运维岗,不用发论文,不用争架构师,每年春天跟几个同事带上孩子,去机房楼旁边的空地上放风筝、听听 UPS 风扇嗡嗡响、看看监控大屏上绿油油的在线率,然后一路哼着歌骑车回家,晚上摸出树莓派随便跑个小脚本,睡前看到终端输出一行 "done",安心关上电脑。
孔子:你说的这个,正是我想要的!
Git 2.54
- git history reword <commit> 重写 commit mesasage
- git history split <commit> 将一个 commit 分成两个
https://github.blog/open-source/git/highlights-from-git-2-54/
- git history reword <commit> 重写 commit mesasage
- git history split <commit> 将一个 commit 分成两个
https://github.blog/open-source/git/highlights-from-git-2-54/
https://v1sta.xyz/think/frutiger-aero-think/
或成今年迄今为止见到过的最惊艳的博客
或成今年迄今为止见到过的最惊艳的博客
今天,我们宣布我将迈出在 Apple 旅程中的下一步。在接下来的几个月里,我将过渡到一个新的角色,于九月份卸任 CEO 一职,成为 Apple 的 Executive Chairman。将有一位新人接任我心中世界上最好的工作。这位领导者就是 John Ternus —— 一位杰出的工程师和思想家。他在过去 25 年里,致力于打造我们的用户深爱的 Apple产品,注重每一个细节,专注于每一个让产品变得更美妙、更大胆、更美丽、更有意义的可能。他是这个职位的最佳人选。
https://www.apple.com.cn/community-letter-from-tim/
GitHub Copilot 现已正式炸车,让我们为此默哀。
省流:
1. Opus 系列模型不再在 Copilot Pro 计划中提供。(现有在跑的调用都已经被中断,直接收到
2. Student、Pro、Pro+ 计划的新注册已被暂停。现有付费用户仍可在各计划之间升级。
如果用户无法接受这些变更,可以取消 Pro/Pro+ 订阅,且 4 月份的使用不会被收费。如需退款,需在 4 月 20 日至 5 月 20 日之间联系 GitHub 支持。
https://github.blog/changelog/2026-04-20-changes-to-github-copilot-plans-for-individuals/
省流:
1. Opus 系列模型不再在 Copilot Pro 计划中提供。(现有在跑的调用都已经被中断,直接收到
model not supported 提示)而对于更贵的 Pro+ 计划,也将只保留 Opus 4.7 而移除掉先前的模型。2. Student、Pro、Pro+ 计划的新注册已被暂停。现有付费用户仍可在各计划之间升级。
如果用户无法接受这些变更,可以取消 Pro/Pro+ 订阅,且 4 月份的使用不会被收费。如需退款,需在 4 月 20 日至 5 月 20 日之间联系 GitHub 支持。
https://github.blog/changelog/2026-04-20-changes-to-github-copilot-plans-for-individuals/
#阅览
预测市场的反身性开始在天气市场显露明显的痕迹
如果你关注那些天气交易员的话,最近有很多人贴出了气象站气温异常的数据
其原因不是世界的某种规则变了,更有可能是有人在操纵气象站获取的数据
特别是中国地区的数据,似乎已经成为气象局内部职工的游乐场
https://fixupx.com/alrescha_1107/status/2044576879202431287
预测市场的反身性开始在天气市场显露明显的痕迹
如果你关注那些天气交易员的话,最近有很多人贴出了气象站气温异常的数据
其原因不是世界的某种规则变了,更有可能是有人在操纵气象站获取的数据
特别是中国地区的数据,似乎已经成为气象局内部职工的游乐场
https://fixupx.com/alrescha_1107/status/2044576879202431287