Orien Daily
- 📸 @ryo0515elf1111 ×3
私服リクさんからしか得られない栄養素があると、そう感じました。
しかし、スーツのリクさんからしか得られない栄養素も確かにあると、痛感しました☺️ #加藤小夏
原文 #加藤小夏 - 🌅 Orien Daily 朝刊【6.04】
1️⃣ Elixir渐进类型—进主线
2️⃣ 蒋泰德谈AI意识—模拟非心智
3️⃣ AI诉讼涌入法院—文书暴增
4️⃣ 虚拟电厂供数中心—买灵活电
5️⃣ Uber账本批处理—热账户提速
6️⃣ 美路由禁令争议—供应链承压
7️⃣ HF CLI面向智能体—Hub重做
8️⃣ 日本拟重建原发—2至5基
频道：@OrienDaily - 🌃 Orien Daily 晚刊【6.4】
1️⃣Gemma4发布—本地多模态
2️⃣Elixir渐进类型—老代码可留
3️⃣AI是权重—HN热帖
4️⃣英管AI搜索—出版商可退
5️⃣AI诉状涌入法院—审理压力增
6️⃣虚拟电厂供机房—Google试点
7️⃣AWS随机图网络—路由少69%
8️⃣山田爱电王谈合并—2.5万亿日元
频道：@OrienDaily - 📸 @yeji_news
![📸 @yeji_news[ MISSION PHOTOS ] 260524SBS INKIGAYO - ITZY (1/2)🔗](/static/https://cdn5.telesco.pe/file/ifm-YkX2vPyASrbVUjQUCXGA4lva17wfFBTaOo4ir5mCzq5pyFMtc7G5uRi1tW8krATICNt8P8H5syXdlPQGw69wV5zJ1T_zBxPYx1P21tNvrIF_AVLgGXrYbS_deaj8GpMUE_lXuU_azgNcT24xEV-iUtG7DyvTPxGOeW3iV6IN5cxgAL40Ymz3GTLkGWBGRXZ0R7EhSoaafyRZWrmswmOtEmnToV9yeR4DzMHU6GjAsCw8YXSJFGSEkL0b8-SZpPd-5_Sbx9TP_5CE9B4BAfWYyf7S--0vYFAnGx70pHF5GCa36GER6Tmf8xnLuKeK4AptTUJU-XknhjLRpbHgFQ.jpg)
[ MISSION PHOTOS ] 260524
SBS INKIGAYO - ITZY (1/2)
🔗 https://m.programs.sbs.co.kr/enter/gayo/visualboard/54795
@ITZYofficial #YEJI #예지 #YEJI #예지 #ITZY_Motto
原文 #黄礼志 - 「〜を余儀なくされる」：学术日语里很硬的一种“不得不”
在日常会话里，说“不得不做某事”，你可能会先想到「〜なければならない」。但在论文、新闻、政策文件里，日本人更常用一种更正式、更冷静的表达：「〜を余儀なくされる」。
比如「計画の変更を余儀なくされた」不是简单的“我改了计划”，而是“由于外部情况，只能被迫修改计划”。这里的重点不在“主语想不想”，而在“情况把人推到了这个结果”。所以它常和灾害、制度变化、资源不足、研究条件变化一起出现。
一个技术场景的例子是：「サーバー障害により、システムの一時停止を余儀なくされた。」这句话比「システムを止めなければならなかった」更正式，也更适合报告。它把责任感压低，把事实放前面：因为服务器故障，系统被迫暂停。
要注意，「余儀」本身有“其他办法”的意思，「余儀なくされる」就是“没有其他办法，被迫如此”。所以它前面通常接名词，比如「中止」「延期」「撤退」「変更」「見直し」。如果你想说“被迫重新考虑研究方法”，可以说：「研究方法の見直しを余儀なくされた。」
小练习： - 图着色：为什么编译器会把变量当成地图来涂色
一段程序里，变量看起来只是名字：a、b、temp。但到了机器真正执行时，CPU 不认识这些名字，它只认很少几个寄存器。寄存器可以理解成 CPU 手边最快的几个小格子，问题是格子太少，变量太多，谁能放进去，谁必须暂时放回内存？
编译器处理这个问题时，会先问一个很朴素的问题：哪些变量不能住在同一个寄存器里？如果两个变量在同一段时间都还要被使用，它们就不能共用一个格子。于是编译器把每个变量画成一个点，如果两个变量“生命时间重叠”，就在它们之间连一条线。这样得到的东西叫干涉图，英文是 interference graph。
接下来事情突然变成了离散数学里的图着色：给每个点涂一种颜色，相邻的点不能同色。这里的“颜色”就是寄存器。如果 CPU 有 8 个可用寄存器，那就像只有 8 种颜色。能涂完，说明这些变量都能安排进寄存器；涂不完，就得把某些变量 spill 到内存里，程序会变慢。
这个视角的好处是，它把“变量怎么分配寄存器”这种看起来很工程的问题，压成了一个清楚的数据结构问题：点、边、颜色。坏代码会在一堆特殊情况里打补丁，好编译器会先把问题建模对。数据结构对了，后面的算法才有地方站。
难点在于，普通图着色本身是很难的，编译器不能为了分配寄存器慢慢算一个完美答案。所以真实编译器常用近似方法：先删掉容易处理的点，给剩下的图着色，再把点一个个放回来。
思考题：如果两个变量从来不会在同一时间被继续使用，它们能不能放在同一个寄存器里？
