Orien Daily
- 「余儀なくされる」：不是"不得不"，是"被命运押着走"
读论文的时候经常遇到这个表达，比如「計画の変更を余儀なくされた」。初看觉得就是"不得不"的高级版，但它和「〜せざるを得ない」有个微妙的差别——后者是主体判断之后做出的无奈选择，而「余儀なくされる」强调的是外部力量剥夺了其他选项，主体完全被动。主语不是"做了选择的人"，而是"被形势碾压的事"。
「余儀なくされる」前面的を格补语通常是那个被迫改变的事物：計画を余儀なくされる、退団を余儀なくされる。换成被动态「余儀なくされる」本身就是被动的意思，不需要再加「られる」。写作的时候最容易犯的错是把主语搞成人——。
学术写作里这个表达特别好用，比「〜しなければならなかった」更凝练，比「〜せざるを得なかった」更客观。不过注意语气偏重，日常对话用就显得在装了。
还有一个容易混淆的近形表达：。 - 当你的服务器替攻击者访问了内网
你写了一个在线预览功能，用户填入URL，服务端帮你抓取网页内容返回——听起来很实用对吧？但问题在于，这个URL的请求是从你的服务器发出的，而你的服务器能看到的东西和用户能看到的东西完全不同。这就是SSRF（Server-Side Request Forgery）的核心：攻击者借你的服务器之手，访问本来碰不到的内网资源。
最经典的利用场景是云环境的元数据接口。AWS的http://169.254.169.254/latest/meta-data/可以直接拿到IAM临时凭证，GCP和Azure也有类似的端点。2019年Capital One数据泄露，攻击者就是通过SSRF读取了EC2元数据，拿到IAM角色凭证后访问了S3存储桶，1.06亿条记录就这么被拖走了。
SSRF的绕过手法相当丰富。http://127.0.0.1被拦？试试http://0177.0.0.1、http://0x7f000001，或者http://[::1]。域名指向黑名单IP也被拦？DNS Rebinding登场—— 第一次解析返回合法IP，第二次解析返回127.0.0.1。甚至可以通过302跳转让你的服务器自己在重定向阶段跳进内网，而初始URL完全合法。
防御上，最硬的方案是在网络层直接禁止服务器向内网发起请求，egress防火墙规则比应用层校验可靠得多。如果必须在应用层做，URL解析后要真正做IP校验，而且要防止TOCTOU——先解析域名拿到IP、校验通过后再发请求的窗口期里，DNS可能已经变了（这又回到了DNS Rebinding）。所以最靠谱的模式是：解析→校验IP→用这个IP直连，跳过DNS重新解析。 - 📸 @OOkgood40552 #YEJI
Hands in back pockets and cute facial expressions. What is this 😱
双手插在裤兜里，表情可爱。这是什么😱 #yeji
原文 #黄礼志 - 正则表达式的骨相：Thompson 构造法
写grep -E 'ab+c' file的时候，你大概不会停下来想这个模式是怎么变成机器能执行的东西的。但这条转换链其实藏着一道极其优雅的编译原理题——从正则表达式到有限自动机，中间那一步叫做 Thompson 构造法。
Ken Thompson 在 1968 年的论文里提出了这个算法，核心思路很简单：正则表达式里的每个运算符（连接、选择、Kleene 闭包）都对应一个固定形状的 NFA 模板。你不需要什么全局规划，只需要对抽象语法树做一次后序遍历，把子表达式的 NFA 一块块像拼积木一样粘起来就行。
选择运算a|b会生成一个带 ε 转移的分叉入口和汇聚出口；Kleene 闭包a*则会生成一个能跳过或循环回到自身的 ε 环路。每块 NFA 都只有一个入口状态和一个出口状态，这让"拼接"操作退化为把前一块的出口和后一块的入口连线——一条边就够了，没有特殊的边界处理。
!Thompson NFA construction
这套构造法有一个关键性质：对于长度为 n 的正则表达式，生成的 NFA 状态数最多是 2n。这意味着状态数跟模式长度线性增长，不会爆炸。代价是大量的 ε 转移——NFA 可以在不消耗任何输入的情况下在多个状态间跳动。模拟这种NFA时，你要么维护一个当前状态集合（子集构造法），要么用回溯，后者正是很多早期正则引擎指数级跑炸的根源。
所以下次写正则的时候可以多想一秒：你的模式先变成了一堆带 ε 转移的小 NFA 片段，然后才被引擎拿去跑。Thompson 把一个看似需要全局推理的问题拆成了局部拼接，这才是它最漂亮的地方。
- 🌅 Orien Daily 朝刊【5.17】
1️⃣ 多家公司正陷入AI精神病 — HN千评热帖反思AI迷思
2️⃣ Project Gutenberg持续进化 — 免费图书库越做越好
3️⃣ ArXiv封禁全AI代笔作者一年 — 学术平台出手整治
4️⃣ Anthropic 15亿美元和解生变 — 法官延迟审批
5️⃣ Musk诉Altman庭审第三周 — 双方互攻可信度
6️⃣ Ubuntu转向本地AI路线 — 拒绝云优先OS集成
7️⃣ 中美首脑达成部分关税下调 — 关税战现缓和信号
8️⃣ Google推Cloud Fraud Defense — reCAPTCHA继任者亮相
频道：@OrienDaily - 📸 @Yellow_yj0526 #YEJI ×3
260417 ITZY 3rd World Tour in Melbourne
Girls Will Be Girls
@ITZYofficial
260417 ITZY第三次世界巡回演唱会墨尔本站
女孩将是女孩
@ITZY官方 #ITZY #있지 #YEJI #예지 #イェジ
原文 #黄礼志 - 📸 @Yellow_yj0526 #YEJI ×3
260417 ITZY 3rd World Tour in Melbourne
Girls Will Be Girls
@ITZYofficial
260417 ITZY第三次世界巡回演唱会墨尔本站
女孩将是女孩
@ITZY官方 #ITZY #있지 #YEJI #예지 #イェジ
原文 #黄礼志
