最近发现摄像的长焦非常好用,这里记录一些基本公式。 相机头
2024 年马上就要过去了,不知道未来还会不会体验到如此疯狂而有趣的一年了。三月的时候,我定义自己的人生将进入下一个阶段,一个更加充满未知与挑战,同时也是更加有趣的一个阶段。没想到,紧接着的这一年就反过来这样迎接了我。 最近一个月,一直在尝试去总结这一年自己的变化。想来想去,今…
看的是 IMPA 的 Measure Theory 课,教授是 Claudio Landim。 https://www.youtube.com/playlist?list=PLo4jXE-LdDTQq8ZyA8F8reSQHej3F6RFX Lecture 24 Hölder …
10 年前,我走进了高考的考场。 我还隐约记得,早上起来,看着天空因为之前一天的小雨变得湛蓝,给了迷信的我一个正向的暗示。从金台饭店走向考场,确实紧张,但是在进四中前碰到了同学,看到了他紧张带来的脸部的微微颤动。虽然高考,或者是别的什么考试,并不是一对一的角逐,但是观察到别人的…
看的是 Frederic Schuller 的课:https://www.youtube.com/playlist?list=PLPH7f_7ZlzxTi6kS4vCmv4ZKm9u8g5yic Lec 4 Topological spaces - construction a…
看的是 IMPA 的 Measure Theory 课,教授是 Claudio Landim。 https://www.youtube.com/playlist?list=PLo4jXE-LdDTQq8ZyA8F8reSQHej3F6RFX Lecture10 Integrat…
看的是 IMPA 的 Measure Theory 课,教授是 Claudio Landim。 https://www.youtube.com/playlist?list=PLo4jXE-LdDTQq8ZyA8F8reSQHej3F6RFX Lecture 1 Introduc…
1 The principle of superposition 1.5 Mathematical formulation of the principle 叠加态现象意味着我们可以通过把状态相加得到新状态,所以表示状态的数学量肯定是可以相加的,随之我们联想到向量,但是有限维向…
在看 The Principles of Quantum Mechanics 的时候,发现定义 函数用了 Fourier Inversion Theorem,感觉这个定理挺不直观的,所以看一下它是怎么证明的。这里我选用的是 Big Rudin 第 9 章的定义。 相关的实分析…
亲爱的杨丽冰: 终于到这一刻了。我已经记不清我有多少次盘算着这个时候要和你说什么,可能是还在学校独自骑车的时候,可能是在单位跑步的时候,每每独处,我总会想到这一刻。 我还记得,18 岁的我想在这一刻说,我会拼尽全力,让你享受最好的生活,做最幸福的人。 我还记得,21 岁的我想说…
线性声学波动方程 声学主要考虑的是机械波在物质间传播相关的性质,而在物质上,一般会先关注气体。在这个前提下,在考虑声波的波动方程时,主要有以下的假设: 质量守恒定律: 动量守恒定律: 其中: 能量守恒定律,这是声学推导中较为特殊的一部分,它假设声音的传播是__绝热过程__,即没…
感谢 @yili 推荐了 Ilya Sutskever 的新 talk An observation on Generalization,这里我贴一个原始的 youtube 链接:https://www.youtube.com/watch?v=AKMuA_TVz3A 本文主要尝…
Aydemir Saidov 是一位震惊我艺术观(如果我有这么个观的话)的艺术家。 他以画睡美人见长,画作中多是极为美丽且写实的女孩儿,看着令人脸红,甚至让人好奇这究竟是艺术还是色情。 而偏偏他出身自艺术世家,父亲是俄罗斯获过奖的画家,夫人也是很出色的画家。我不禁怀疑,难道十…
Virgil Abloh 在我所在的互联网茧房中,是个颇具争议的人。由于对时尚和设计不甚了解,所以曾经的我非常简单地把他标记为:黑人、Off-White、LV 设计总监,然后快捷地孵化出了一套在中国很难出错的话术: 一个优秀的潮牌设计师,把 AJ1 解构得很好; 一个靠政治正确…
关注 interpreter dispatch 的原因是,很多人说 python 这种编译器的时间主要消耗在 dispatch 上,所以做 JIT 也没什么用。所以想学习一下一些主流的 interpreter dispatch 的方式。不过在 PEP 659 的引用文献 Inl…
这两天了解到苹果和微软都逐渐在从扁平化设计向一种名为 Glassmorphism 的设计模式转换。最为显著的就是在 macOS 11 Big Sur 中,有毛玻璃质感的设置栏。 用 CSS 可以很容易地模仿这种设计,上图的玻璃部分的 CSS 为: 网上一些设计指导中,还提到给…
去年年底的时候其实就想写个总结,但是当时的迷茫大于感悟,感觉自己更多地是在被生活推着踉跄前行。所以 20 年的总结就从元旦拖到了春节,等到了二三月份就觉得有点不合时宜了,就放弃了。所以今年还是要给自己定个 ddl,在 21 年里面写 21 年的总结。 21 年我的生活上有了不小…
长文预警!本文是 Intuitive Advanced Cryptography 这篇文章的翻译。在现代/高等密码学中充斥魔法一般的结论和工具,想弄明白他们是在做什么的往往需要补充大量的数学知识。这篇文章的作者 Nguyen Thoi Minh Quan 就是希望通过不那么准确…
这两天在裸机上面跑测试的时候,需要让两台机器里面的镜像直接 ssh 无密通信,调了挺久的环境,在这里记录一下。 大概分为如下几步: 制作镜像 在制作镜像的时候,要在镜像里面做 ssh keygen,并把生成的公钥放在 里面,这样就可以让任意的两个基于这个镜像的容器都能无密访问…
在网上冲浪的时候看到了 hashicrop 这个公司,并了解到了 Vault 这个项目。这个项目主要用来存储密钥 Shamir Secret Sharing 对于 阶多项式 当且仅当存在 个值对 的时候才可以解出 。而如果我们把公共密钥的值设为 ,则有: 即可反解出密钥。…
在刷知乎的时候看到了对这篇论文的笔记:《Everything You Always Wanted to Know About Compiled and Vectorized Queries But Were Afraid to Ask》(知乎链接),这篇文章主要是在数据库层面对…
最近在和骞老师一起做一个密码学相关的项目,接触到 Diffie-Hellman 协议以及基于它进行的 private set intersection (PSI) 协议。在这里记录一下~ Diffie-Hellman key exchange Alice 随机生成私钥 ,并选择…
这两天我突然发掘了 GPU Direct Storage (后文都称 gds)这个东西,他可以允许从 GPU 显存到 NVMe 或支持 RDMA 的文件系统的 DMA。虽然好像是在 19 年就发布了,但是在 cuda 11.4 之前,这个东西主要是应用在 RAPDIS 里面,例…
今天在研究调度器的时候看到了这样的一篇博文 觉得这个字体很好看(原链接比截图好看),所以就把博客的英文部分的字体改成了 Quattrocento Sans。这里要注意,因为这个字体属于 Google Fonts,所以需要在 中添加下载部分: 为了能让标题用上粗体,还在 中加…
这两天在看各个 python 版本的优化的时候(主要是 FB 给 instagram 写的 cinder)看到了 Method JIT 这个名词,发现好像主流的 JIT 主要分为 method JIT 和 trace JIT 两种。搜了一下,在一个日本人的 phd thesis…
在学习 nccl-fastsocket 项目的时候,了解到 17 年就并入 linux 内核的 zero copy 设置( 和 )。我个人比较感兴趣的是这个功能的特点以及他和 RDMA 的比较。 部分参考链接: Linux Socket 0拷贝特性 https://zhuanl…
这个项目的代码公布在了:https://github.com/netx-repo/PipeSwitch 和 https://github.com/Myrmustin/PipeSwitch_Plus 虽然不知 道 plus 版本是不是进阶版,但是还是看的 plus 版的。 对于 C…
最近计划学习一下 Leslie Lamport 老先生的经典论文~ 在 Lamport 对自己生涯论文的回顾中,对自己提出的面包房算法做出了非常高的评价: ... I have invented many concurrent algorithms. I feel that I…
这一张是介绍 query processing 的,也是我一直非常感兴趣的一个内容。 3.1 Overview figure 3.1. Query Prcessing PostgresSQL 的 query 处理模块包含 5 个子系统: Parser Analyzer: 对 p…
在学习 JAX 和 TVM 代码的时候经常会遇到 partial evalutation 这个名词。它的主要功能应该是在编译期对程序进行局部估值,类似于 constant folding,只不过对于函数,也会把已知的参数都 fold 起来,并转化为新的函数。例如: 会被转化为:…
继续看 EOPL。 Ch6 Continuation-Passing Style 在 Ch5,我们通过重写解释器,把所有的函数都改为了 tail call,从而保证在任何时间,解释器的 control context 都是有限的。我们将这种情况称为 iterative cont…