将 Base64 编码的数据快速转换为 Uint8Array

2024-08-04

为了方便节省请求数，有时我们会将二进制数据以 Base64 编码的形式嵌入 HTML 或 JavaScript 中，再于运行时解码成 Uint8Array，进行后续运算。然而浏览器没有提供直接的 API 来完成这种解码转换，需要我们自己实现。本文介绍两种快速的解码方法。

阅读更多
阅读更多
阅读更多

新增域名 monad.run

2024-04-29

本站将新增一个域名 monad.run，此后旧域名 i.hsfzxjy.site 也将继续保留，与新域名共存，二者皆可用于访问。

新增一个辅助域名，主要考虑到旧域名没有元音不好拼读，不利于读者记忆与传播。此前一位 Reddit 用户 u/Aliics 曾就“hsfzxjy”一名评论道：

So many people have problems remembering “xkcd”, but you’ve ramped that up to another level with your username.

就是说，我的用户名如著名的漫画网站“xkcd”一样难记。这当然是戏谑之言，但事实确如此。除了不方便记忆，原域名甚至可能让杀软产生误报。如另一位 Reddit 用户 u/sheepdog69 所说，hsfzxjy.site 被 Bitdefender 列为了钓鱼网站。下面有人追评认为此种行为与域名直接相关，但也只是推测。无论如何，这种潜在的影响也是不利的。

那新域名 monad.run 是怎么选取的呢？我有两方面的考虑。其一当然是经济性。域名说到底只是一个工具，为一个自用的域名花太多钱，有些本末倒置。.run 域名价格普遍在每年100元左右，相对较合理。其二是与站点主题相关。本站发布的多是技术内容，域名多少也要和技术相关。而 Monad 是函数式编程中的一个重要概念，了解 Haskell 的读者应该较为熟悉。run 又有“运行”之意，monad.run 便是一个不错的选择。哪怕是不熟悉 Haskell 或是非技术领域的读者，monad 的拼写也与其预期读音高度一致，从而易于记忆，其也不算过于常见的单词，不致落入俗套。

在部署方面，目前仅是将 monad.run 302 跳转为 i.hsfzxjy.site。本来最理想的情况是将二者皆 CNAME 到 GitHub Pages，奈何 GitHub Pages 不支持多重 CNAME，只好用此折衷方案。未来若有更好的解决方案，将会更新这一架构。

CSS 中为特定字符设置不同字体

2024-04-15

为追求更好的阅读体验，本站的中文文章采用了混合字体的排版方式。例如在 Windows 环境中，中文字符以 Microsoft Yahei 渲染，而英文字符则使用 Open Sans 渲染。由于 Microsoft Yahei 中也包含英文字符的字形，其在 font-family 中的优先级需排在 Open Sans 后面，从而保证 Open Sans 能够正确渲染英文字符。大致的代码如下：

[lang="zh"] {
  font-family: "Open Sans", "Microsoft Yahei", var(--font-fallback);
}

但这种方式有一个问题，即标点符号的字形比较难看。具体而言是弯引号 U+201C “ 和 U+201D ”，它们的字形无论在 Microsoft Yahei 或是 Open Sans 中都是半角宽度，且头部和尾部粗细区分不明显，难以辨别前后。反观宋体 SimSun 的呈现则更为清晰，更符合中文排版的习惯。

阅读更多

Arbitary Lifetime Transmutation via Rust Unsoundness

2024-02-11

Do you believe that one can write a function in safe Rust which can arbitrarily change the lifetime of a reference? For clarity, try to implement the following function without using unsafe:

fn transmute_lifetime<'a, 'b>(x: &'a u64) -> &'b u64 { todo!() }

Such intention seems to violate the fundamental principle of Rust’s lifetime system, which is to prevent dangling references and data. However, it is possible to write such a function in safe Rust, and it is not even that hard:

trait Trait {
    type Output;
}

impl<T: ?Sized> Trait for T {
    type Output = &'static u64;
}

fn foo<'a, T: ?Sized>(x: <T as Trait>::Output) -> &'a u64 { x }

fn transmute_lifetime<'a, 'b>(x: &'a u64) -> &'b u64 {
    foo::<dyn Trait<Output=&'a u64>>(x)
}
阅读更多

Dijkstra 算法的延伸

2024-01-22

我们知道 Dijkstra 算法是一个高效的单源最短路径（SSSP）算法，本文将不再赘述他的细节。但同时，Dijkstra 也是一个动态规划算法。Dijkstra 算法的正确性源自无负边权图的若干性质。如果一个问题本身也满足这些性质，那么即使它不是一个图论最短路径问题，也可以使用 Dijkstra 算法解决。那么，这些性质是什么呢？

阅读更多

Manacher 回文计数算法

2024-01-16

以下假设字符串下标从 $0$ 开始，子串记号 $s[i..j]$ 左闭右闭。

给定长度为 $n$ 的字符串 $s$，Manacher 算法可以在 $O(n)$ 的时间复杂度内找到 $s$ 的所有回文子串。

我们先以寻找长度为奇数的子串为例。首先需要明确的是，如果 $s$ 中以第 $i$ 个字符为中心的最长回文子串长度为 $d=2p+1$，则以下皆为 $s$ 的回文子串：

$$s[i-(p-1)..i+(p-1)],\ldots, s[i-1..i+1], s[i..i]$$

因此，我们只需对所有下标 $i$ 求解出以 $s[i]$ 为中心的最长回文子串长度 $2p_i+1$，即可知道 $s$ 的所有回文子串。

阅读更多

Go Fact: Zero-sized Field at the Rear of a Struct Has Non-zero Size

2023-11-04

There’s a concept in Golang called zero-sized type (or ZST), namely, a type whose variables take up zero bit of memory. One of them is the famous struct{}. People often use map[string]struct{} to efficiently emulate a set structure. Others include zero-length arrays such as [0]int, albeit not very common, are adopted to enforce some properties of a customized type.

阅读更多

Display *big.Rat Losslessly and Smartly in Golang

2023-10-10

Floating-point numbers, as we know, are notorious for losing precision when their values become too large or too small. They are also bad at representing decimals accurately, yielding confusions like 0.1 + 0.2 != 0.3 for every beginner in their programming 101.

Albeit being imprecise, floats are good enough for most daily scenarios. For those not, however, Golang provides *big.Rat to the rescue. Rats are designed to represent rational numbers with arbitary precision, addressing most flaws of floats, yet at a cost of much slower computation speed and bigger memory footprint. For example, we are confident to compare 0.1 + 0.2 to 0.3 using Rats without caring about tolerance:

阅读更多