2025-06-22

https://fellerts.no/projects/epoch.html

https://tylercipriani.com/blog/2022/11/19/git-notes-gits-coolest-most-unloved-feature/

事件概述 美国军方于周日凌晨（当地时间）对伊朗位于福尔多、纳坦兹和伊斯法罕的核设施发动了空袭。特朗普总统在白宫发表历史性全国讲话，称此次行动为“辉煌的军事成功”，并宣称伊朗的关键铀浓缩设施“已被完全彻底摧毁”。他警告伊朗“必须现在实现和平”，否则将面临远比过去八天更严重的悲剧，并强调美国在该地区仍有众多目标，可在数分钟内予以打击。

背景与影响 此举标志着美国在中东局势中的一次历史性升级，直接介入以支持以色列摧毁伊朗核计划的行动。这一干预充满风险，可能招致伊朗对美军及其在该地区军事设施的报复。特朗普表示，此次行动旨在消除伊朗的核威胁，打击其作为“头号恐怖主义资助国”的核浓缩能力。

伊朗及国际反应

• 伊朗威胁报复：伊朗伊斯兰革命卫队威胁将对中东的美军采取行动，并称美军基地的分散部署使其更易受攻击。
• 外交表态：伊朗外长阿拉格齐称伊朗保留一切自卫选项，指责美国“背叛外交”并跨越了“非常重大的红线”，但未具体说明可能的回应措施。
• 谴责袭击：伊朗原子能源组织确认三处核设施遇袭，谴责美国的“野蛮行径”违反国际法，但表示将继续发展国家核能产业。
• 以色列支持：以色列总理内塔尼亚胡赞扬特朗普的行动，称其展现了“以实力求和平”。以色列官员表示，美方在行动前已通知以色列，并使用了B-2隐形轰炸机。

决策过程 特朗普政府此前逐渐认定外交途径已穷尽。尽管特朗普在行动前曾公开表态将用两周时间作出决定以留出谈判空间，但军事准备工作在周末加速。特朗普团队曾通过土耳其试图安排与伊朗官员的秘密会晤，但由于伊朗最高领袖哈梅内伊无法联系而失败。此次行动反映了特朗普“决不允许伊朗拥有核武器”的一贯立场，即便其“美国优先”支持者内部在此问题上存在分歧。

https://news.ycombinator.com/item?id=44338562

https://henryhmko.github.io/posts/tpu/tpu.html

Despite the hype, Model Context Protocol (MCP) isn’t magic or revolutionary. But, it’s simple, well-timed, and well-executed. At Stainless, we’re betting it’s here to stay.

Pipes are ubiquitous in Unix --- but how fast can they go on Linux? In this post we'll iteratively improve a simple pipe-writing benchmark from 3.5GiB/s to 65GiB/s, guided by Linux perf.

A web extension that redirects YouTube, Twitter, Instagram, etc. requests to alternative privacy-friendly frontends

How difficult could it really be?

The US hit three nuclear sites in Iran overnight - but it remains unclear whether the strikes did destroy all of Iran's nuclear capabilities.

https://www.filmlabs.org/wiki/en/meetings_projects/spectral/laborberlin16mmprojector/start

项目概述与初衷

一个计划在德克萨斯州建设的太阳能光伏电站项目（Invictus Solar），旨在利用加密货币收益进行再投资，结合联邦投资税收抵免（ITC）与合格机会区（QOZ）的资本利得递延政策，实现税收优化并推动清洁能源发展。项目原始设计容量为4.54兆瓦（交流）/ 6.375兆瓦（直流），预期税后权益内部收益率（IRR）为2.56%，并依赖QOZ税收优惠提升收益。

团队组建与初期工作

• 核心团队：项目管理人（来自俄罗斯，驻阿根廷）、商业分析师、项目发起人（作者，驻加州/新加坡）。
• 关键外包：互联咨询、工程设计、法律及会计服务，前期人员与承包商成本约58.9万美元。
• 选址：通过技术分析选定德克萨斯州罗比地块，签订租约并启动初步互联研究。

主要挑战与挫折

1. 互联研究结果：

   • 初步研究显示可用容量为4.54兆瓦，但详细研究后，电网公司要求：
     • 升级1.71英里线路，成本79.5万美元。
     • 安装两个重合器，成本约13.8万美元。
     • 即使完成升级，容量仍被限制为3兆瓦（原计划的66%）。
   • 原因：实际配电线路长度为4.6英里（非直线距离），线路老化且存在电压及故障电流问题。

2. 矿产权问题：

   • 德克萨斯州矿产权与地表权分离，且矿产权优先。
   • 地块矿产权已分散至27个所有者，部分所有者拒绝签署弃权书。
   • 获取保险与融资需至少50%矿产权所有者同意，流程复杂且成本高昂（已花费超10万美元）。

3. 经济模型崩溃：

   • 容量从4.54兆瓦降至3兆瓦，加上近100万美元的互联升级成本，项目财务回报无法支撑。

4. 外部环境变化：

   • 美国大选后政策风险上升：ITC可能面临调整，QOZ计划到期，对中国光伏组件征收关税的预期增加。

个人与执行层面问题

• 作者健康问题（新加坡移居后出现严重消化与激素问题）影响项目推进。
• 项目管理人从阿根廷远程协调，面临签证等个人挑战。

项目终止与后续

• 最终决定终止项目，关闭公司，出售土地。
• 总投入超过100万美元，耗时三年，最终因技术、法规与市场变化失败。
• 总结关键教训：互联研究需以实际线路为准；德克萨斯州矿产权需提前深入尽调；未来项目建议并行推进多个候选，并考虑储能方案。

项目核心财务数据（原预期）

• 装机成本：872万美元（1.37美元/瓦直流）
• 容量：4.54兆瓦（交流）
• 净容量因子：23.8%
• 税前IRR：-0.92%
• QOZ税收优惠预计提升IRR 3.7个百分点。

哈希碰撞概率：数学原理与近似计算

主题概述
本文探讨了哈希碰撞概率的数学基础，将其与著名的生日问题相关联，并详细介绍了精确计算方法和三种近似计算方法。哈希函数将任意输入映射为固定数字，广泛应用于数据存储和加密。哈希碰撞指不同输入映射到相同输出值，可能引发问题，如数据检索效率下降或数据库错误。

生日问题与哈希碰撞
生日问题计算在k个人中至少两人共享生日的概率（假设一年有N天）。哈希碰撞概率本质上是生日问题的变体：给定N个可能输出（如箱子或生日日期），当插入k个项（如书籍或人）时，至少两项映射到同一输出的概率。例如，500本书放入100,000个箱子时，碰撞概率约为71.3%；30人在一个房间里共享生日的概率约为70.6%。关键在于，即使k较小，配对数量(\frac{k(k-1)}{2})可能很大，使得碰撞概率意外地高。

精确计算方法
精确概率可通过计算无碰撞概率后取补获得。无碰撞概率为：
[ \frac{N}{N} \times \frac{N-1}{N} \times \cdots \times \frac{N-(k-1)}{N} ]
因此，碰撞概率为：
[ 1 - \frac{N}{N} \times \frac{N-1}{N} \times \cdots \times \frac{N-(k-1)}{N} ]
该公式准确但计算复杂，尤其当N和k较大时（如十亿级），乘法运算量巨大。

近似计算方法
为简化计算，文章提出三种近似方法：

1. 指数近似：利用(1 - x \approx e^{-x})（当x小），将乘积转换为指数和：
   [ 1 - e^{-\frac{k(k-1)}{2N}} ]
   此方法将计算复杂度从O(k)降至O(1)，准确性随N增大而提高。
2. 简化近似：基于(1 - e^{-y} \approx y)（当y小），进一步近似为：
   [ \frac{k(k-1)}{2N} ]
   这相当于(\frac{\text{配对数}}{N})，直观反映碰撞机会。
3. 平方近似：当k较大时，(k(k-1) \approx k^2)，得到最简单形式：
   [ \frac{k^2}{2N} ]

近似比较与误差分析
文章以N=10000为例比较了近似准确性：

• 指数近似在k范围广泛内表现稳健，相对误差小（如k=10时，精确值0.0044913，指数近似0.0044899）。
• 简化近似和平方近似在k较小时尚可（k<100），但k较大时误差急剧增加（如k>300时平方近似误差显著）。
  相对误差定义为(|x-y|/x)，值越小越准确。

结论
精确公式提供理论基础，但计算繁琐；指数近似在准确性和效率间取得平衡，适用于实际计算；简化和平方近似仅适合粗略估算。文章还提供在线哈希碰撞计算器供实验。

附录：近似证明
文章简要证明了近似的数学合理性：

1. (k(k-1) \sim k^2)当(k \to \infty)，基于比率极限：
   [ \frac{k^2}{k(k-1)} = \frac{1}{1 - 1/k} \to 1 ]
2. (1 - x \sim e^{-x})当(x \to 0)，使用泰勒展开：
   [ \frac{1 - x}{e^{-x}} = \frac{1 - x}{1 - x + x^2/2! - \cdots} \to 1 ]

总结
本文系统分析了哈希碰撞概率的计算，从精确公式到三种近似，并通过误差比较指导实际应用。核心思想是生日问题的映射，帮助理解碰撞概率的反直觉特性。

https://jacobfilipp.com/boat/

What if the best game of 2024 came out on an old, obscure and weird platform?

Sound As Pure Form - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping. - lfnoise/sapf

The latest News,/news,,news, breaking news, comment, reviews and features from the experts at PC Gamer

作者编写了一个后台运行的脚本，用于轮询一个价值8美元的智能插座的状态。

该插座侧面有物理开关，可手动开启或关闭。由于它连接Wi-Fi，可以通过API读取其状态。

当物理开关被打开时，脚本会更新系统的/etc/hosts文件，从而有效屏蔽用户自定义的网站列表：

127.0.0.1 www.twitter.com
127.0.0.1 x.com
127.0.0.1 instagram.com
127.0.0.1 youtube.com
127.0.0.1 reddit.com

用户建议将插座插在离自己较远的插座上。如此一来，每当想访问被屏蔽的网站时，就必须起身去关闭物理开关。虽然也可以直接手动编辑/etc/hosts文件来绕过，但脚本方案增加的这一额外步骤制造了足够的"心理摩擦"，促使用户在反射性地想要分散注意力时三思而后行。

https://www.bloomberg.com/news/articles/2025-06-20/ai-is-ushering-in-the-tiny-team-era-in-silicon-valley

https://alltracker.github.io/

Download Lungy: Breathing Exercises by Pi-A on the App Store. See screenshots, ratings and reviews, user tips, and more apps like Lungy: Breathing Exercises.