leefige's blog

这篇文章简单谈谈目前业界使用的密码学库中，是如何计算哈希表（Hash table）的桶（bin）碰撞（溢出）概率的。

昨天遇到这样一个问题：在GitHub中，osu-crypto/BaRK-OPRF这个密码学相关repo中，有如下代码：

快一年没有更新blog了。一年来发生了很多，生活和想法也有了若干变化。近来感觉记性越来越不好了，有些未来或许有用但又没什么理由/门类写到OneNote里的东西，似乎还是可以放在这里。

之后或许会多写一些这样的流水账，也会有些可以公开的技术文章，但写长文很累，或许有空会写一篇吧。毕竟上周法语课学了一句谚语，« Petit à petit, l'oiseau fait son nid. »

春天来了，上上周下雪前拍到了第一朵迎春花，今天逸夫馆前的山桃，顶端的枝条也零星开了几多小花。春天真好，每天都觉得充满希望。

本短评原载于本人的Steam游戏评测。有改动。

真正的好游戏。下载后连续玩了两天半通关，根本无法拒绝其强大的魅力。作为解谜游戏，主线稳定清晰，剧情波折起伏，指向性明确，通关动力充足；支线丰富，有较多隐藏任务和剧情，触发方式和条件多样，任务时间安排自由度高；地图范围足够大，循序开放，有利于在高自由度下协助玩家集中注意力；扔骰子检定机制引入随机性，一定程度上丰富了可玩性，兼具桌游特性。同时作为RPG游戏，技能学习引入成长性，符合角色扮演模式，有限的思维阁空间迫使玩家在探索和利用间做出抉择，增加了因玩家而异的个性化。

P1的主要内容是写一个以核心态 Privilege Level 0 直接运行在 x86 硬件上的游戏 Sokoban (推箱子)。同样，出于学术规范考虑，本文不会透露项目的全部代码和 handout ，但可能会在必要时节选少量代码片段。代码片段版权所有为CMU 15-410/605 OS 课程。另外也可能节选少量清华 OS 课程代码片段，版权所有为清华大学计算机系 OS 课程。

作为第一部分，本文主要介绍 x86 的基础硬件（体系结构要求，如分段机制、特权级等）。正如 CMU OS 课程所述，并非所有 OS 都要满足这样的要求，这是利用 x86 平台学习 OS 必须的代价。

CMU 的 16720 "Computer Vision" 第二节课“复习”了卷积相关概念，当然对我来说基本是预习:-) 而且因为太累了上课还睡着了一会儿，导致基本没咋听懂。今天看PPT发现上面除了图啥也无，还真有我自己做PPT的风范:-) 于是在知乎上学习了一下卷积的定义、本质和运算方法。

来源： 如何通俗易懂地解释卷积？

近日因为申请、填表等缘故，经常要与外方学校邮件交流，虽然之前在外企实习时有一定的英文邮件经验，有些地方还是拿捏不好。在知乎上看到一篇优质文章，转载至此以备查用。

主体基于清华大学单飞老师课件，添加了少量未收录的辅音字母。

Traceback (most recent call last): File "/2019/03/11/%E3%80%90%E8%BD%AC%E8%BD%BD%E3%80%91%E5%87%A0%E7%A7%8D%E6%A2%AF%E5%BA%A6%E4%B8%8B%E9%99%8D%E6%96%B9%E6%B3%95%E5%92%8C%E4%BC%98%E5%8C%96%E6%96%B9%E6%B3%95%E5%AF%B9%E6%AF%94/" Error: no idea of using KaTex for math formula

During handling of the above exception, another exception occurred:

Traceback (most recent call last): File " KaTex Support Table " Error: no idea of how to display multi-line equations

我们在训练神经网络模型时，最常用的就是梯度下降，这篇博客主要介绍下几种梯度下降的变种（mini-batch gradient descent和stochastic gradient descent），关于Batch gradient descent（批梯度下降，BGD）就不细说了（一次迭代训练所有样本），因为这个大家都很熟悉，通常接触梯队下降后用的都是这个。这里主要介绍Mini-batch gradient descent和stochastic gradient descent（SGD）以及对比下Batch gradient descent、mini-batch gradient descent和stochastic gradient descent的效果。

本来在一心折腾基于Hexo的自建博客，恰好室友提出这样一个需求：在自己的作品集里放一个二维码，扫一下就可以转到一个网页播放自己的视频，但是又要求不能有广告，因此商业性质的视频网站都不能使用。手头刚好有一个AWS的服务器，于是决心尝试一下这类还没碰过的技术。

Web视频流媒体服务器主要应该满足以下几个功能：

1. 提供http服务
2. 具备传输视频流的能力
3. 可以在浏览器中播放视频