https://geelaw.blog/?utm_source=feed&utm_medium=rss The 50 latest entries of Gee Law’s personal blog. en-GB Copyright © 1995-2019 by Gee Law, all rights reserved. Fri, 05 Mar 2021 01:33:35 GMT https://validator.w3.org/feed/docs/rss2.html Gee Law’s Blog Builder in PowerShell Blog 60 https://geelaw.blog/assets/images/hero-image.jpg https://geelaw.blog/?utm_source=feed&utm_medium=rss battons-le-fer-quand-il-est-chaud Wed, 24 Feb 2021 10:00:00 GMT https://geelaw.blog/entries/battons-le-fer-quand-il-est-chaud/?utm_source=feed&utm_medium=rss “趁热打铁”是从法语翻译来的成语吗？ Jots https://geelaw.blog/entries/battons-le-fer-quand-il-est-chaud/?utm_source=feed&utm_medium=rss#disqus_thread clubhouse-similarity-with-another-app Fri, 05 Feb 2021 10:00:00 GMT https://geelaw.blog/entries/clubhouse-similarity-with-another-app/?utm_source=feed&utm_medium=rss 乌龙一场。 Jots Back Then https://geelaw.blog/entries/clubhouse-similarity-with-another-app/?utm_source=feed&utm_medium=rss#disqus_thread alt-tab-edge-tabs Sat, 19 Dec 2020 10:00:00 GMT https://geelaw.blog/entries/alt-tab-edge-tabs/?utm_source=feed&utm_medium=rss 听闻最近 Windows 10 预览版里 Alt+Tab 可以切换（新）Edge 标签页，我有一些评论想要发表。另，最近忙了很多事儿，密码学研究系列久久未更，还在计划重写博客网站，烦呀！ Microsoft Design https://geelaw.blog/entries/alt-tab-edge-tabs/?utm_source=feed&utm_medium=rss#disqus_thread onenote-usage Thu, 15 Oct 2020 10:00:00 GMT https://geelaw.blog/entries/onenote-usage/?utm_source=feed&utm_medium=rss 我最近写的一个知乎答案，简单说说我使用 OneNote 管理研究笔记一点微小的经验。🐸 知乎 Microsoft csharp-crtp-static-polymorphism-friendship Sun, 04 Oct 2020 10:00:00 GMT https://geelaw.blog/entries/csharp-crtp-static-polymorphism-friendship/?utm_source=feed&utm_medium=rss Another therapy session for my Performance-Obsessive Disorder. Programming Microsoft https://geelaw.blog/entries/csharp-crtp-static-polymorphism-friendship/?utm_source=feed&utm_medium=rss#disqus_thread atypical-translations Sun, 20 Sep 2020 10:00:00 GMT https://geelaw.blog/entries/atypical-translations/?utm_source=feed&utm_medium=rss 本篇收录作者在拒绝欧式汉语硬译甚至不译一些词汇时遇到的一些搞笑又（自认为）贴切的谜之翻译。 Jots https://geelaw.blog/entries/atypical-translations/?utm_source=feed&utm_medium=rss#disqus_thread csharp-generics-duck-typing Tue, 11 Aug 2020 10:00:00 GMT https://geelaw.blog/entries/csharp-generics-duck-typing/?utm_source=feed&utm_medium=rss POD (Performance-Obsessive Disorder) is an intended pun for Plain Old Data. This entry imagines how IEnumerable<T> of .NET could be upgraded for better performance, featuring duck typing with generics. Programming Microsoft https://geelaw.blog/entries/csharp-generics-duck-typing/?utm_source=feed&utm_medium=rss#disqus_thread meta-blog Tue, 30 Jun 2020 10:00:00 GMT https://geelaw.blog/entries/meta-blog/?utm_source=feed&utm_medium=rss A meta-blog that keeps the trace of my blog site. The latest update reinforces the design goal of the website. Miscellaneous https://geelaw.blog/entries/meta-blog/?utm_source=feed&utm_medium=rss#disqus_thread ll20a-pcwssec-more Fri, 26 Jun 2020 10:00:00 GMT https://geelaw.blog/entries/ll20a-pcwssec-more/?utm_source=feed&utm_medium=rss 这一篇是我的 2019 年科研“属性加密”系列番外篇，记录一些关于（特殊）分段安全性的故事。这一篇的风格相较主系列更轻松活泼（肯定有人要吐槽我对“轻松活泼”的定义），比如去掉了繁复的导航按钮，减少了公式。另外这一篇也加上了“数学”的标签，大概是因为很多这里考虑的问题的密码学价值不大，更像是线性代数的游戏？ Computer Science Cryptography Maths https://geelaw.blog/entries/ll20a-pcwssec-more/?utm_source=feed&utm_medium=rss#disqus_thread ll20a-piecewise-security Tue, 23 Jun 2020 10:00:00 GMT https://geelaw.blog/entries/ll20a-piecewise-security/?utm_source=feed&utm_medium=rss 千呼万唤始出来！本文是我的 2019 年科研“属性加密”系列博文第五篇。之前一套“增加编程空间、递归模拟、树平衡化”组合拳，针对算术公式证明了 1-ABE 的适应性安全性，在这之后，我跌跌撞撞发现了最终记录在 [LL20] 里的一个关键性质：AKGS 分段安全性。这个性质大大简化了证明过程。 Computer Science Cryptography https://geelaw.blog/entries/ll20a-piecewise-security/?utm_source=feed&utm_medium=rss#disqus_thread ll20a-initial-fix Mon, 22 Jun 2020 10:00:00 GMT https://geelaw.blog/entries/ll20a-initial-fix/?utm_source=feed&utm_medium=rss 本文是我的 2019 年科研“属性加密”系列博文第四篇。这次揭晓上回的小悬念：解释上次的证明怎么错了，然后讨论针对算术公式的一个自然的修复思路。这个思路最终启发我发掘出了 [LL20] 中的一个关键概念，但这段故事本身并未记载在文献中，因此这一篇也肩负着重要使命：讲述文献“冰冷的美丽”背后“火热的思考”。 Computer Science Cryptography https://geelaw.blog/entries/ll20a-initial-fix/?utm_source=feed&utm_medium=rss#disqus_thread ll20a-1-abe Wed, 17 Jun 2020 10:00:00 GMT https://geelaw.blog/entries/ll20a-1-abe/?utm_source=feed&utm_medium=rss 本文是我的 2019 年科研“属性加密”系列博文第三篇。在这一篇里，我将介绍 [LL20] 里构造一次性安全的属性加密方案（叫做 1-ABE）的思路——使用内积加密计算算术密钥乱码化方案的标签。本文有彩蛋！ Computer Science Cryptography https://geelaw.blog/entries/ll20a-1-abe/?utm_source=feed&utm_medium=rss#disqus_thread ll20a-akgs Sun, 14 Jun 2020 10:00:00 GMT https://geelaw.blog/entries/ll20a-akgs/?utm_source=feed&utm_medium=rss 本文是我的 2019 年科研“属性加密”系列博文第二篇。在这一篇里，我将引入 [LL20] 中建立信息论意义下安全性的核心工具——算术密钥乱码化方案 (AKGS)——并给出适用于算术公式的构造。 Computer Science Cryptography https://geelaw.blog/entries/ll20a-akgs/?utm_source=feed&utm_medium=rss#disqus_thread msedge-heading-level Sun, 14 Jun 2020 10:00:00 GMT https://geelaw.blog/entries/msedge-heading-level/?utm_source=feed&utm_medium=rss Brain-dead application of the default aria-level value (two). This problem reproduces in Microsoft Edge 44.18362.449.0 (EdgeHTML 18.18363) and Narrator for Windows 10, version 1909. Troubleshooting Microsoft Embarrassingly Bad https://geelaw.blog/entries/msedge-heading-level/?utm_source=feed&utm_medium=rss#disqus_thread ll20a-intro Fri, 12 Jun 2020 10:00:00 GMT https://geelaw.blog/entries/ll20a-intro/?utm_source=feed&utm_medium=rss 本文是我的 2019 年科研“属性加密”系列博文的首篇，该系列博文旨在用汉语介绍我和我导师的合作论文 Compact Adaptively Secure ABE from 𝑘-Lin: Beyond NC¹ and Towards NL [LL20]。在这一篇里，我将介绍属性加密的基本概念并定下一个“小目标”。 Computer Science Cryptography https://geelaw.blog/entries/ll20a-intro/?utm_source=feed&utm_medium=rss#disqus_thread lesmiz1980-paroles-20 Sat, 23 May 2020 10:00:00 GMT https://geelaw.blog/entries/lesmiz1980-paroles-20/?utm_source=feed&utm_medium=rss 本系列旨在忠实提供 1980 版的《悲惨世界》概念版音乐剧的歌词。第二十篇也是最后一篇，记录的是 L'aveu de Valjean、Marchandage et révélation、Épilogue 的歌词。完结撒花！🎉 Les Misérables https://geelaw.blog/entries/lesmiz1980-paroles-20/?utm_source=feed&utm_medium=rss#disqus_thread powerpnt-tricks-ec20 Wed, 06 May 2020 10:00:00 GMT https://geelaw.blog/entries/powerpnt-tricks-ec20/?utm_source=feed&utm_medium=rss Some PowerPoint trick I used for preparing my Eurocrypt 2020 talk, plus a bonus. Microsoft Programming Embarrassingly Bad https://geelaw.blog/entries/powerpnt-tricks-ec20/?utm_source=feed&utm_medium=rss#disqus_thread ppsplit Sun, 19 Apr 2020 10:00:00 GMT https://geelaw.blog/entries/ppsplit/?utm_source=feed&utm_medium=rss 最近在思考到底用 PowerPoint 还是 Beamer 制作我的讲座演示文稿，这里的主要顾虑是 Beamer 编写起来很累（尤其是复杂动画），而 PowerPoint 不能方便地导出根据动画分割的 PDF、幻灯片截图。网上搜索的时候在 SuperUser StackExchange 问答里发现了 PPspliT 这款神器，所以就决定是你了——PowerPoint！ Microsoft https://geelaw.blog/entries/ppsplit/?utm_source=feed&utm_medium=rss#disqus_thread it-is-now-safe-to-power-off-the-system Fri, 17 Apr 2020 10:00:00 GMT https://geelaw.blog/entries/it-is-now-safe-to-power-off-the-system/?utm_source=feed&utm_medium=rss Today I learnt from @Libre盖子 (Tom Li) that Windows still has the ability to not turn off the power after a system shutdown. This is so nostalgic! I haven’t seen this screen since the beginning of this century. Microsoft https://geelaw.blog/entries/it-is-now-safe-to-power-off-the-system/?utm_source=feed&utm_medium=rss#disqus_thread lv16-ipfe-slotted Mon, 13 Apr 2020 10:00:00 GMT https://geelaw.blog/entries/lv16-ipfe-slotted/?utm_source=feed&utm_medium=rss 欢迎来到“内积加密”系列文章的后半部分，这部分科普 Lin 与 Vaikuntanathan 在 2016 年提出的内积加密算法。终于是最后一篇了，我们说说双槽内积加密。 Computer Science Cryptography https://geelaw.blog/entries/lv16-ipfe-slotted/?utm_source=feed&utm_medium=rss#disqus_thread lv16-ipfe-fh Mon, 06 Apr 2020 10:00:00 GMT https://geelaw.blog/entries/lv16-ipfe-fh/?utm_source=feed&utm_medium=rss 欢迎来到“内积加密”系列文章的后半部分，这部分科普 Lin 与 Vaikuntanathan 在 2016 年提出的内积加密算法。在第二篇里，我们说说如何构造具有泛函保密性的私钥 IPFE 以及它的安全性证明。（本来计划的双槽内积加密推到第三篇了。） Computer Science Cryptography https://geelaw.blog/entries/lv16-ipfe-fh/?utm_source=feed&utm_medium=rss#disqus_thread lv16-ipfe-intro Sun, 29 Mar 2020 10:00:00 GMT https://geelaw.blog/entries/lv16-ipfe-intro/?utm_source=feed&utm_medium=rss 欢迎来到“内积加密”系列文章的后半部分，这部分科普 Lin 与 Vaikuntanathan 在 2016 年提出的内积加密算法。这一篇我们开始讨论前半部分未解的一个疑问：如何保护密钥里的向量？延续之前的习惯，我们先定义泛函保密性。为了构造这样的方案，我们要引入另一个工具——配对（即双线性映射）。 Computer Science Cryptography https://geelaw.blog/entries/lv16-ipfe-intro/?utm_source=feed&utm_medium=rss#disqus_thread als16-ipfe-als16 Sun, 15 Mar 2020 10:00:00 GMT https://geelaw.blog/entries/als16-ipfe-als16/?utm_source=feed&utm_medium=rss “内积加密”系列文章的前半部分旨在总结和科普 Agrawal、Libert、Stehlé 在 2016 年提出，Wee 在 2017 年改进，Agrawal、Libert、Monosij、Titiu 在 2020 年完善的内积加密算法。本篇是前半部分的最后一篇，叙述 ALS 公钥内积加密方案并证明它的 SIM-CPA 安全性。它的构造思想既可以理解为光滑投影哈希（也叫“哈希证明系统”）加换元法，也可以理解为双系统加密。 Computer Science Cryptography https://geelaw.blog/entries/als16-ipfe-als16/?utm_source=feed&utm_medium=rss#disqus_thread lesmiz1980-paroles-19 Thu, 12 Mar 2020 10:00:00 GMT https://geelaw.blog/entries/lesmiz1980-paroles-19/?utm_source=feed&utm_medium=rss 本系列旨在忠实提供 1980 版的《悲惨世界》概念版音乐剧的歌词。第十九篇开启第四幕（最后一幕），本篇包含 Il vivra、Marius et Monsieur Gillenormand、Le mariage 的歌词。 Les Misérables https://geelaw.blog/entries/lesmiz1980-paroles-19/?utm_source=feed&utm_medium=rss#disqus_thread lesmiz1980-paroles-18 Sun, 08 Mar 2020 10:00:00 GMT https://geelaw.blog/entries/lesmiz1980-paroles-18/?utm_source=feed&utm_medium=rss 本系列旨在忠实提供 1980 版的《悲惨世界》概念版音乐剧的歌词。三个月后，我们迎来了久违的第十八篇，记录 Noir ou blanc 和 La mort de Gavroche 的歌词。至此，第三幕结束。 Les Misérables https://geelaw.blog/entries/lesmiz1980-paroles-18/?utm_source=feed&utm_medium=rss#disqus_thread als16-ipfe-mddh Thu, 27 Feb 2020 10:00:00 GMT https://geelaw.blog/entries/als16-ipfe-mddh/?utm_source=feed&utm_medium=rss “内积加密”系列文章的前半部分旨在总结和科普 Agrawal、Libert、Stehlé 在 2016 年提出，Wee 在 2017 年改进，Agrawal、Libert、Monosij、Titiu 在 2020 年完善的内积加密算法。在这一篇里我们讨论一些针对 ALS 方案的准备知识：循环群、MDDH 假设。 Computer Science Cryptography https://geelaw.blog/entries/als16-ipfe-mddh/?utm_source=feed&utm_medium=rss#disqus_thread html-css-word-boundaries Mon, 24 Feb 2020 10:00:00 GMT https://geelaw.blog/entries/html-css-word-boundaries/?utm_source=feed&utm_medium=rss Whitespace on its own does not entail a word boundary! Programming https://geelaw.blog/entries/html-css-word-boundaries/?utm_source=feed&utm_medium=rss#disqus_thread als16-ipfe-pk-defn Sun, 23 Feb 2020 10:00:00 GMT https://geelaw.blog/entries/als16-ipfe-pk-defn/?utm_source=feed&utm_medium=rss “内积加密”系列文章的前半部分旨在总结和科普 Agrawal、Libert、Stehlé 在 2016 年提出，Wee 在 2017 年改进，Agrawal、Libert、Monosij、Titiu 在 2020 年完善的内积加密算法。在这一篇里我们讨论公钥 IPFE 的语法、语义、安全性，为此我们需要引入计算意义下的不可区分性，并练习多项式时间归约和过渡证明法。 Computer Science Cryptography https://geelaw.blog/entries/als16-ipfe-pk-defn/?utm_source=feed&utm_medium=rss#disqus_thread als16-ipfe-otp Wed, 19 Feb 2020 10:00:00 GMT https://geelaw.blog/entries/als16-ipfe-otp/?utm_source=feed&utm_medium=rss “内积加密”系列文章的前半部分旨在总结和科普 Agrawal、Libert、Stehlé 在 2016 年提出，Wee 在 2017 年改进，Agrawal、Libert、Monosij、Titiu 在 2020 年完善的内积加密算法。在这一篇里我们讨论如何用一次一密构造完美一次性模拟安全的（私钥）内积加密。 Computer Science Cryptography https://geelaw.blog/entries/als16-ipfe-otp/?utm_source=feed&utm_medium=rss#disqus_thread als16-ipfe-intro Wed, 19 Feb 2020 10:00:00 GMT https://geelaw.blog/entries/als16-ipfe-intro/?utm_source=feed&utm_medium=rss 本篇博文是一系列关于内积加密的科普文章的首篇。该系列文章的前半部分旨在总结和科普 Agrawal、Libert、Stehlé 在 2016 年提出，Wee 在 2017 年改进，Agrawal、Libert、Monosij、Titiu 在 2020 年完善的内积加密算法。在这一篇里我们讨论内积加密、完美保密性和完美模拟安全性的定义，并初步讨论这两种安全性之间的关系。 Computer Science Cryptography https://geelaw.blog/entries/als16-ipfe-intro/?utm_source=feed&utm_medium=rss#disqus_thread bibtex-for-blog Thu, 13 Feb 2020 10:00:00 GMT https://geelaw.blog/entries/bibtex-for-blog/?utm_source=feed&utm_medium=rss 在博客中使用 BibTeX 的需求起源于一些需要引用文献的博文。例如之前的 NC¹ 属性加密 [KW19]，那时候我是手工格式化参考文献的。当然，能自动化就不要手工去做，于是几个月前我开始了 BibTeX-TS——TypeScript 写的 BibTeX 解析器。现在设施已经足够完备，我可以把 alpha.bst 的实现近似翻译到 JavaScript 里，成为博客构建系统的一部分。 Jots Programming https://geelaw.blog/entries/bibtex-for-blog/?utm_source=feed&utm_medium=rss#disqus_thread planar-curve-crossing-cells Wed, 12 Feb 2020 10:00:00 GMT https://geelaw.blog/entries/planar-curve-crossing-cells/?utm_source=feed&utm_medium=rss The obvious answer to this little geometry puzzle is 3/√2, but can you prove it? Maths https://geelaw.blog/entries/planar-curve-crossing-cells/?utm_source=feed&utm_medium=rss#disqus_thread msedge-pins Thu, 23 Jan 2020 10:00:00 GMT https://geelaw.blog/entries/msedge-pins/?utm_source=feed&utm_medium=rss Microsoft Edge (Chromium) can pin websites to Taskbar in an undocumented way. I did some observation fun and this entry tells you how to programmatically pin/unpin Shortcuts to/from Taskbar (as of 1909). You should not abuse this knowledge. Microsoft Design Programming https://geelaw.blog/entries/msedge-pins/?utm_source=feed&utm_medium=rss#disqus_thread fxxk-edge-chromium-stable Sun, 19 Jan 2020 10:00:00 GMT https://geelaw.blog/entries/fxxk-edge-chromium-stable/?utm_source=feed&utm_medium=rss Since Edge (Chromium) has its first stable release available, I decided to give it a try, and I am particularly interested in how it behaves under High Contrast mode and what its Live Tiles look like. Aside from being unsatisfied by the current implementation of the two, I got into much larger trouble by installing the stable version of Edge (Chromium), especially via MSI! Microsoft Embarrassingly Bad https://geelaw.blog/entries/fxxk-edge-chromium-stable/?utm_source=feed&utm_medium=rss#disqus_thread iterated-cosine Sat, 18 Jan 2020 10:00:00 GMT https://geelaw.blog/entries/iterated-cosine/?utm_source=feed&utm_medium=rss Just some random proposition found on Twitter. Maths Jots https://geelaw.blog/entries/iterated-cosine/?utm_source=feed&utm_medium=rss#disqus_thread isolate-app Wed, 15 Jan 2020 10:00:00 GMT https://geelaw.blog/entries/isolate-app/?utm_source=feed&utm_medium=rss 最近有网友发现自己的 Windows 锁屏壁纸被修改成了百度云管家的广告。（一开始大家觉得是百度云管家乱搞，后来发现实际上是联想的 OEM 软件乱搞。）无论怎样，这说明一些软件用正常方式运行总让人不够放心，采取措施隔离一些 app 很有必要。一些网友提出可以给 app 准备一个专门的虚拟机，不过这有点大炮打蚊子了，其实可以用 Windows 的多用户和“以其他用户身份运行”解决。这个方法适用于很多 Windows 桌面 app。 Programming Microsoft https://geelaw.blog/entries/isolate-app/?utm_source=feed&utm_medium=rss#disqus_thread cpeikert-lic15-cleanup Mon, 13 Jan 2020 10:00:00 GMT https://geelaw.blog/entries/cpeikert-lic15-cleanup/?utm_source=feed&utm_medium=rss Notes for UMich EECS 598 (2015) are for Lattices in Cryptography virtually instructed by Chris Peikert (i.e., I taught myself using resources made available by him). This entry is for homework 3, homework 4 and lecture note 5. Reading Computer Science Cryptography https://geelaw.blog/entries/cpeikert-lic15-cleanup/?utm_source=feed&utm_medium=rss#disqus_thread star-session-cred Fri, 10 Jan 2020 10:00:00 GMT https://geelaw.blog/entries/star-session-cred/?utm_source=feed&utm_medium=rss I was on eduroam (or any WPA2-Enterprise Wi-Fi network). I wanted to install UW CSE printers (or access any other domain resources). I got ‘Logon failure: the user has not been granted the requested logon type at this computer.’ Here’s why it happens and how to avoid it. Microsoft Embarrassingly Bad https://geelaw.blog/entries/star-session-cred/?utm_source=feed&utm_medium=rss#disqus_thread cpeikert-lic15-hw2 Sun, 05 Jan 2020 10:00:00 GMT https://geelaw.blog/entries/cpeikert-lic15-hw2/?utm_source=feed&utm_medium=rss Notes for UMich EECS 598 (2015) are for Lattices in Cryptography virtually instructed by Chris Peikert (i.e., I taught myself using resources made available by him). This entry is for homework 2. Reading Computer Science Maths Cryptography https://geelaw.blog/entries/cpeikert-lic15-hw2/?utm_source=feed&utm_medium=rss#disqus_thread cpeikert-lic15-lec04 Sun, 05 Jan 2020 10:00:00 GMT https://geelaw.blog/entries/cpeikert-lic15-lec04/?utm_source=feed&utm_medium=rss Notes for UMich EECS 598 (2015) are for Lattices in Cryptography virtually instructed by Chris Peikert (i.e., I taught myself using resources made available by him). This entry is for lecture 4, Coppersmith, cryptanalysis. Reading Computer Science Cryptography https://geelaw.blog/entries/cpeikert-lic15-lec04/?utm_source=feed&utm_medium=rss#disqus_thread cpeikert-lic15-hw1 Sun, 05 Jan 2020 10:00:00 GMT https://geelaw.blog/entries/cpeikert-lic15-hw1/?utm_source=feed&utm_medium=rss Notes for UMich EECS 598 (2015) are for Lattices in Cryptography virtually instructed by Chris Peikert (i.e., I taught myself using resources made available by him). This entry is for homework 1. Reading Computer Science Maths Cryptography https://geelaw.blog/entries/cpeikert-lic15-hw1/?utm_source=feed&utm_medium=rss#disqus_thread cpeikert-lic15-lec03 Fri, 03 Jan 2020 10:00:00 GMT https://geelaw.blog/entries/cpeikert-lic15-lec03/?utm_source=feed&utm_medium=rss Notes for UMich EECS 598 (2015) are for Lattices in Cryptography virtually instructed by Chris Peikert (i.e., I taught myself using resources made available by him). This entry is for lecture 3, LLL, Coppersmith. Reading Computer Science Cryptography https://geelaw.blog/entries/cpeikert-lic15-lec03/?utm_source=feed&utm_medium=rss#disqus_thread cpeikert-lic15-lec02 Mon, 30 Dec 2019 10:00:00 GMT https://geelaw.blog/entries/cpeikert-lic15-lec02/?utm_source=feed&utm_medium=rss Notes for UMich EECS 598 (2015) are for Lattices in Cryptography virtually instructed by Chris Peikert (i.e., I taught myself using resources made available by him). This entry is for lecture 2, SVP, Gram–Schmidt, LLL. Reading Computer Science Cryptography https://geelaw.blog/entries/cpeikert-lic15-lec02/?utm_source=feed&utm_medium=rss#disqus_thread cpeikert-lic15-lec01 Sun, 29 Dec 2019 10:00:00 GMT https://geelaw.blog/entries/cpeikert-lic15-lec01/?utm_source=feed&utm_medium=rss Notes for UMich EECS 598 (2015) are for Lattices in Cryptography virtually instructed by Chris Peikert (i.e., I taught myself using resources made available by him). This entry is for lecture 1, mathematical background. Reading Computer Science Maths Cryptography https://geelaw.blog/entries/cpeikert-lic15-lec01/?utm_source=feed&utm_medium=rss#disqus_thread recovering-from-rm-rf-tilde Sat, 28 Dec 2019 10:00:00 GMT https://geelaw.blog/entries/recovering-from-rm-rf-tilde/?utm_source=feed&utm_medium=rss Finally, this happened to me… I ran something close to ‘rm -rf ~’ by accident, and pressed Ctrl+C as soon as I realised something wrong was going on. This blog entry is about how I recovered from this mistake. Embarrassingly Bad https://geelaw.blog/entries/recovering-from-rm-rf-tilde/?utm_source=feed&utm_medium=rss#disqus_thread lesmiz1980-paroles-17 Sat, 14 Dec 2019 10:00:00 GMT https://geelaw.blog/entries/lesmiz1980-paroles-17/?utm_source=feed&utm_medium=rss 本系列旨在忠实提供 1980 版的《悲惨世界》概念版音乐剧的歌词。第十七篇记录了 La nuit de l'angoisse 和 Valjean à la barricade 的歌词。此外，我还发现 ina.fr 有一段 Valjean chez les Thénardier 和 La valse de la fourberie 的录像（可免费观看），以及一个付费视频可能包含更多现场录像。 Les Misérables https://geelaw.blog/entries/lesmiz1980-paroles-17/?utm_source=feed&utm_medium=rss#disqus_thread ps-json-roundtrip Fri, 29 Nov 2019 10:00:00 GMT https://geelaw.blog/entries/ps-json-roundtrip/?utm_source=feed&utm_medium=rss You might expect PowerShell ConvertTo-Json cmdlet produce a JSON representation of a ‘POD’ that can be parsed (in particular, by ConvertFrom-Json cmdlet) into a POD object that equals to the previously serialised one. However, this is not true for many cases, the most surprising among which are double-precision numbers. Microsoft Programming https://geelaw.blog/entries/ps-json-roundtrip/?utm_source=feed&utm_medium=rss#disqus_thread lesmiz1980-paroles-16 Wed, 30 Oct 2019 10:00:00 GMT https://geelaw.blog/entries/lesmiz1980-paroles-16/?utm_source=feed&utm_medium=rss 本系列旨在忠实提供 1980 版的《悲惨世界》概念版音乐剧的歌词。第十六篇记录了 Javert démasqué、Le retour d'Éponine 和 Ce n'est rien 的歌词，情节跌宕起伏，先是革命者捉住了间谍 Javert，紧接着就是 Éponine 为爱牺牲。 Les Misérables https://geelaw.blog/entries/lesmiz1980-paroles-16/?utm_source=feed&utm_medium=rss#disqus_thread np-verify-style-solutions Thu, 17 Oct 2019 10:00:00 GMT https://geelaw.blog/entries/np-verify-style-solutions/?utm_source=feed&utm_medium=rss 神来之笔一般的答案背后是草稿纸上的一通狂算，考试要看的是神来之笔，但其实一通狂算里的思路更有价值。关键词：十一学校、抄答案、“注意到”、“草稿”。 Maths Computer Science Jots https://geelaw.blog/entries/np-verify-style-solutions/?utm_source=feed&utm_medium=rss#disqus_thread lesmiz1980-paroles-15 Mon, 14 Oct 2019 10:00:00 GMT https://geelaw.blog/entries/lesmiz1980-paroles-15/?utm_source=feed&utm_medium=rss 本系列旨在忠实提供 1980 版的《悲惨世界》概念版音乐剧的歌词。第十五篇起是第三幕，这一篇记录了 Construction de la barricade 和 La faute à Voltaire 的歌词。另外，系列中本篇首次启用新注解模式。 Les Misérables https://geelaw.blog/entries/lesmiz1980-paroles-15/?utm_source=feed&utm_medium=rss#disqus_thread