Hegwin.me

光刻机的极限--读《代码的未来》产生的疑问

The Limits of Photolithography - Questions from reading The Future of Computing by Matz

Hardware Photolithography Optics Excerpt

2023年5月9日

最近读完了松本行弘（Matz）的一本书《代码的未来》；这是 Matz 在2012年出版的一本书，虽然距离出版过去了十年，书里面提到的技术有的已经消失，有的“未来”已经实现，但在这个年代读来依然还是颇有收获的。《代码的未来》主要讨论的是20年后、100年后的编程会是什么样子？要回答这个问题，计算机硬件的更新是必须要考虑到的一个因素。在过去的40年中，摩尔定律一直在发挥着作用。但是芯片集...

关于衰老与老年生活质量，以及《最好的告别》

A Thought-Provoking Exploration of Aging and End-of-Life Care and A Review of Being Mortal by Atul Gawande

Life Aging Book Review Excerpt

2023年4月6日

你得做好“那样”的准备，我父亲的医生把我单独从病房里叫出来，对我这样说。在2022年5月，我的父亲因中风住院，我回到他的城市照顾了他四个月，这是这十几年来我呆在老家最久的一次。父亲的出院诊断的项目有十多条，多发性脑梗死和左侧偏瘫是这次住院主要原因，另外也做了颈动脉支架，希望藉此疏通狭窄的颈动脉防止之后再度中风，除此之外还有高血压3级（极高危）、动脉粥样硬化、II型糖尿病、高尿酸血症、...

Rails 7升级过程中针对cookie一系列变化的应对策略

Rotate cookies when upgrading to Rails 7

2023年4月2日

最近在进行Rails项目从 6.1 到 7 的升级，这个过程并非一蹴，而是分了好几次部署才完成最终的设置。Rails 7在带来一些新功能的同时，也带来不少 breaking changes，使得这一次的版本升级比之前的都要麻烦一些。这其中比较折腾人的就是关于 cookie的一些变化，Rails修改了默认的cookie serilaizer，以及默认的加密方式，造成了新旧cookie的不兼容，...

关于阅读《君主论》和翻译工具的比较

On Reading the Prince and Comparison on Translation Services

English Business Solution Excerpt

2023年3月30日

最近考虑更换手机的云服务商，所以在清理相册，减少迁移的成本，也算是“和过去说再见”，“不被回忆所累”。其中发现我在2017年读英文版的《君主论》The Prince时留下的一些截图，我并不能准确记忆截下那些句子的原因，是因为它们有哲理可以学习，还是作为英语的长难句可以分析。但时至今日，我发现依旧无法顺利阅读它们，就算我可以习惯倒装的虚拟语气，我也并不能连贯理解，所以也尝试了一些翻译工具，看看...

Stirling公式的证明

The Proof of Stirling's approximation

2023年3月9日

在描述算法的时间复杂度时，我们常用大O记法（Big O notation）来描述计算量随问题规模增长的情况。对于正整数的阶乘$n!$，如果使用一般的递归实现，这个时间复杂度是 $O(n)$，它代表计算量随着$n$的增长呈线性增加。当$n$较大时，计算量也相当可观，如果不需要特别精确的结果，那就可以使用Sterling公式进行近似计算，它可以将时间复杂降为 $O(\log{n})$ ，这是一个...

Wallis公式的证明

The Proof of Wallis' formula

2023年2月23日

之前在知乎上有遇到一个问题“有没有结果含有“π”但是与圆完全无关的问题？”，于是便想到Wallis公式，它是由John Wallis（1616-1703）提出，主要的应用还是在于证明Sterling公式。虽然Wallis公式本身看起来是个普通的无穷乘积，但是他的结果却表达了圆周率 π。如果你高数教材用的是同济大学的版本，其实你已经在课本上学到了Wallis公式的证明：课本上有一道例题是讲定积...

关于HTTPS证书和CAA

HTTPS Certificate and CAA

2022年12月30日

上回说到用 Caddy 做 HTTP server + 反向代理，不用自己操心 HTTPS 证书比较省心，今天就遇到一个不省心的事情。我除了 blog 这个 web app之外，还有一些其他小玩意挂在次级域名上，比如 wow.hegwin.me 是一个魔兽的战斗宠物工具，我把他添加到 Caddy的配置的时候，出现几行错误：注意其中的 “DNS problem: query t...

使用Caddy作为反向代理服务并获取HTTPS证书

Use Caddy as reverse proxy server with free HTTPS certificate

2022年12月28日

因为之前更换服务器OS镜像，数据丢失，我的 blog 服务停了几个月，中间又遇到我父亲中风，在老家照顾了4个多月，一直没时间打理个人博客。今天终于把它修回来了。在这中间我做了不少更新，Ruby的版本从1.9更新到了2.7，Rails也从3.2更新到了5.2，很多手动部署的过程，也改成了自动部署。另外比较新的一点尝试就是，我用 Caddy 代替了 Nginx 做反向代理服务器，并且利用...

Windows7 + Ubuntu 双系统下，如何升级到 Windows 10

Windows 10 upgrade from Windows 7 dual boot with Ubuntu

2022年10月30日

我有一台台式电脑，购买于2014年。它是 Windows 7 + Ubuntu 14.04 的双系统，我考虑很久要把 Windows 7 升级到 Windows 10，但这个过程存在潜在的问题，让我迟迟没有下手。我最近终于下定决心，对他进行升级，这里分享一下我升级的过程。在购买这台电脑时，微软已经发布了 Windows 8，但是 Win 8 由于一些激进的修改，在国内并不太流行，所以...

Ruby命令行格式化输出

Format Your Output in Terminal with Ruby

2019年12月27日

在命令行输出内容，一般而言Ruby基本的方法都是够用的，比如 puts、print、sprintf系列；但如果要在terminal输出颜色，表格进度条等，就会比较难以实现了。这里小节下自己探索后感觉好用的gems：彩色输出（基于ANSI）：rainbow；表格输出：terminal-table；大综合（包含彩色、表格和进度条）：formatador。 R...