Adamanteye’s Blog
上午我灌水 commit, 监督 AI 修 Bug, 观看 AI 使用 nix. 中午起草给同事的邮件. 下午我参观师兄的电子垃圾, 学习如何收获磁带备份, 晚上和同学吃牛肉火锅, 聊感情生活, 饭后继续读 Feldman-Cousins 方法, 准备在读书会上介绍. 导师批评我的 MR 里面有太多 AI 的垃圾代码.
这里整理了量子力学课程中的常用数学公式, 对称性和中心力场问题, 以及两份小抄. 量子力学期中小抄 量子力学期末小抄
高端芯片光刻中的“射线源”是可工程化的短波长, 高亮度, 高稳定性曝光光源. 光刻光源的演进始终围绕 Rayleigh 分辨率关系 CD=k1𝜆NA 展开: 缩短波长, 提高数值孔径, 并通过工艺和计算光刻降低有效 k1[1]. 当前量产高端逻辑芯片的核心光源路线是两条: 193 nm ArF 浸没式 DUV 光刻以及 13.5 nm EUV 光刻[2–4]. 本次调研总结了高端芯片光刻中主要射线源的物理基础, 工程形态和发展趋势. 并且讨论 DUV 准分子激光的成熟边界, EUV 锡等离子体源的工作机理, EUV 源功率和转换效率优化, 氢背景气体中的 EUV 诱导等离子体, High-NA EUV 对光源和工艺窗口的影响, 以及自由电子激光和储存环相干 EUV 等下一代候选源.
粗略地分类, 在一学期的课程中讲授和教材[1] 学习中, 我了解了下面的主题: 基本粒子的分类和历史 相对论运动学 对称性 狄拉克方程 费曼图与黄金规则 规范理论 中微子振荡
一门课用 16 周上完是在浪费生命, 我想不明白每周花 1.5h 能学到什么东西. 事实上, 每学期我能集中精神到第 10 周就已经精疲力竭. 16 周真的太长, 等真到了 16 周, 我连第 1 周讲什么就已经忘得一干二净了. 既然如此, 为什么我要听第 1 周的课呢? 复习, 上下文切换, 完全是无意义的浪费时间. 结论: 不如重排时间. 自己课下看. 最适合我的办法是安排 2 到 3 周集中学习某个学科, 每天看 10 小时吃透它. 如果课程把所有作业在学期开始就全部放出来, 学期结束之时全部提交, 允许学生自由分配时间. 比起应征上课, 严扣考勤, 那不知道高到哪里去了. 希望未来的大学生不必再遭受战线漫长, 考勤严苛的苦.
David Allen 的 Getting Things Done (GTD) 提出, 现代人的压力主要不是来自事情本身太多, 而是来自太多没有被定义清楚的承诺. Allen 把这些未闭合的承诺称为 open loops. 只要一件事还停留在脑子里, 没有进入一个可信的外部系统, 大脑就会反复提醒它, 而且常常是在完全不能处理它的时候提醒. GTD 建立了一个可靠的管理系统: 该收集的都被收集, 该澄清的都被澄清, 该行动的都有明确的下一步, 该搁置的也有可以回顾的位置. 这样大脑就可以少承担提醒工作, 把注意力留给判断和执行.
原文参见 How LLMs Actually Work.
贴文合集参见 A Compilation of Patchwork Chimera’s Posts.
Endlessh 是一个 SSH tarpit[1]. 它不提供真正的登录服务, 在 SSH 握手阶段慢速发送永远不会结束的 banner, 例如: 我在集群里跑的是 endlessh-go: 此外, 为了更方便地看到校园网内的攻击行为 (校园网把 22 端口的校外访问 ban 了, 因此连接 22 端口的一定来自校内), 我部署了两份, 一份侦听 22, 一份侦听 23. 后面用 nftables 把剩余的端口全部打进了 23.
集群通过 kubeadm bootstrap, 网络插件使用 Cilium. Cilium 版本是 1.19.0. 可以看到, cilium DaemonSet 在 3 个节点上运行. 其中两台 Dell R630 与网关在同一个 交换机下, 另一台软路由通过 WireGuard 连接到网关. 这个拓扑同时包含二层直连和三层 转发路径. 运行 集群吞吐可以达到 10 Gbps, 接近该环境中 10G 网络的上限. 此外, Cilium 会为 Pod 配置与宿主机相同的 MTU, Pod 间互联也可以使用巨型帧. Helm values 中与网络路径相关的配置如下:
乏燃料干法后处理, 或称高温化学后处理, 是在熔盐和高温电化学体系中回收乏燃料中有价值核素的技术路线. 与已经工业化的 PUREX 水法后处理相比, 干法后处理更适用于高燃耗乏燃料, 快堆燃料, 金属燃料以及部分先进堆燃料的处理场景. 当前研究主要集中在五个方向: 氧化物乏燃料颗粒的电还原, 电还原阳极材料, 电精炼固体阴极材料, 电精炼液体阴极材料, 以及电还原和电精炼使用的熔盐体系[1]. 乏燃料管理需要放在贮存, 运输, 后处理, 废物固化和地质处置的完整后端燃料循环中考察 [2]. 在这一背景下, 干法后处理的研究重点已由单个电化学步骤的可行性, 逐步转向流程放大, 远程维护, 长周期运行和燃料循环耦合等工程化问题. 当前工业后处理能力仍集中在少数国家, 既有设施更新窗口与先进反应堆部署时间正在逐步接近. 以法国为例, La Hague 后处理设施已进入面向 2040 年前后运行需…
等离子体扬声器以气体放电作为换能器, 将电信号直接转换为声压波[1]. 与传统扬声器不同, 它没有机械振膜, 声音主要来自放电通道附近空气的快速加热与膨胀. 常见的等离子体扬声器形式包括射频电晕放电, 直流电晕放电和直流辉光放电[2].
An early application of the Poisson point process to photoelectron counting can be found in Mandel (1958)[1]. Mandel assumes that, conditioned on the instantaneous optical intensity 𝑃(𝑡), the probability of ejecting one photoelectron in a sufficiently small interval [𝑡,𝑡+d𝑡] is This leads to a Poisson distribution for the number of photoelectrons in a finite time interval, conditioned on 𝑃(𝑡).
Properties: 𝐵(𝑧1,𝑧2)=𝐵(𝑧2,𝑧1) 𝐵(𝑧1,𝑧2)=Γ(𝑧1)Γ(𝑧2)Γ(𝑧1+𝑧2) 𝐵(𝑚,𝑛)=(𝑚−1)!(𝑛−1)!(𝑚+𝑛−1)!=𝑚+𝑛𝑚𝑛/(𝑚+𝑛𝑚)
Submitting jobs often needs more than running scripts in tmux. Jobs may fail silently or run for a long time, and the user cannot keep polling their status.
I’m new to both Ollama and llama.cpp. Thanks to ajax for pushing me to look deeper. One thing that caught my attention is that llama.cpp exposes a lot of knobs, so you can tune it to your workload instead of treating it like a black box.
已知漂移段无外力, 无自场, 粒子横向斜率 𝑥′=𝑣𝑥𝑣𝑧 在漂移中保持不变, 而横向位置随纵向传播距离 𝐿 发生线性漂移: 右上角与左下角顶点分别为 (2𝑎,𝑏),(−2𝑎,−𝑏)
PyMC[1] is a probabilistic programing language (PPL) with rich history and wide usage. It has implemented general-purpose algorithms including Metropolis-Hastings sampler, Hamiltonian Monte Carlo and No-U-Turn-Sampler. PPL can reduce the great burden of computing manually. The best introduction to PyMC that I found is their paper[1].
X 射线试鞋机的利益主要是直接显示脚骨和鞋腔的相对位置, 帮助判断鞋是否合脚, 并带来新奇的商业体验. 风险在于该照射没有医学诊断或治疗目的, 所得信息又可由试穿, 测量等无照射方法替代, 因而收益很小而辐射暴露真实存在. 按正当化原则, 只有收益明显大于风险的照射才合理; X 射线试鞋机属于不必要照射, 被淘汰是合理的.
𝛽 谱仪测量电子或正电子的能量分布, 𝛾 谱仪测量光子能谱. 前者依赖带电粒子在介质中的电离和激发损失. 后者依赖光电效应, 康普顿散射和电子对产生.
估算一个百万千瓦的压水反应堆每年需要的核燃料质量 (UO2, 假设其中 U235 丰度 5%, 乏燃料中 U235 丰度 1%): 考虑一年发电量为 3.1536⋅1016J, 取热效率 33%, 需要能量 9.56⋅1016J. 假设每次 U235 裂变释放能量约 𝐸𝑓=200 MeV. 将其换算为焦耳: 则一年内需要的裂变次数为 𝑁≈2.98⋅1027. 单个 U235 原子质量约为 3.90⋅10−25kg. 因此一年裂变掉的 U235 质量为 1.16t. 题设给出新燃料中 U235 丰度为 5%, 乏燃料中为 1%, 即需要的质量为 1.16t0.04≈29.0t. 最终换成 UO2 的摩尔质量:
The JUNO scintillator is a mixture of linear alkyl benzene (LAB), 2.5 g/L of 2,5-diphenyloxazole (PPO), 3 mg/L of 1,4-Bis(2-methylstyryl)benzene (Bis-MSB) as wavelength shifter and 42.7 mg/L butylated hydroxytoluene (BHT) as antioxidant[1].
江门中微子实验 (JUNO) 的目标是中微子振荡参数和质量顺序. 它探测的主要信号是轻水反应堆反中微子. 中微子与液闪中的氢原子核发生反应 𝜈+𝑝→𝑒++𝑛 称为 IBD (inverse beta decay), 这是 JUNO 探测器要甄别的信号: 正电子会迅速释放能量并湮灭为 0.511 MeV 的光子, 该即时信号包含了正电子动能和湮灭能. 中子主要和质子结合, 并在约 200 微秒后放出 2.2 MeV 的光子, 产生延迟信号[1]. JUNO 使用了大量 20-inch PMT (photomultiplier tube)[2] 和 3-inch PMT, 前者也称 Large PMT, 后者 Small PMT. 对于 Large PMT, 其中有 5,000 只滨松 (Hamamatsu Photonics K.K) 的 dynode-PMT, 剩下 12,612 只为北方…
いとしあの星
扒谱以及和弦得到了 physicsdolphin 以及 hash 的帮助. 是他们向我介绍了基本的乐理知识与和弦编排. 音源参见[1]. 3 月 1 日晚上, 又从他们那里学到了不少的乐理知识. 浓缩精简的版本如下: 人类的听觉范围大致是 20 Hz 到 20 kHz. 钢琴往往有 88 个键, 从左到右, 用 𝑛 来表示键序, 那么第 𝑛 个键的频率是 人们规定 𝐴4 的大小是 440 Hz (标准音). 以上有限多个频率 (粒度为 2112) 可供作曲家选择. 这覆盖了比较合理的频率范围. 跟朋友问过, 为什么是 12 平均律, 假设 13 个音? 20 个音呢? 我的猜想是这个数字不多也不少, 太多的话不好区分, 太少的话不利于表达. 至少我接触不到音不够细, 写不了曲子的情况. 还有讨论为什么是线性的 (对数意义下), 例如所谓五度相生在八度内就不线性. 我对此没什么看法, 只是刚…
TL;DR: With the following configuration:
TL;DR: I got a ThinkPad laptop (E14 gen7, ultra 228V, 32G RAM, 512G SSD) for 4,900 CNY.
Intro to GNU Radio Companion
ArceOS is an experimental modular operating system written in Rust. As I am taking the OS course this semester, my job is to continue Ming Yang’s work. He had implemented an async runtime for arceos and tested DWMAC on StarFive VisionFive 2 board. And I am going to absruct his implemenation, move them into separate crate, possily merge the async runtime for ArceOS too.
Kubernetes addons are a collection of utilities that make life easier for cluster operators. They often include networking plugins (CNI), metrics servers, and other tools to enhance cluster functionality. Most cloud providers ship clusters with these essentials by default. For example, EKS provide the followings: vpc-cni coredns metrics-server And a real production environment usually requires mor…