Home

I am Rong “Mantle” Bao, a third-year Computer Science undergraduate at Hangzhou Dianzi University. Welcome to my blog, where I bake all my potatoes.

About me

My GPG keys

Skills

  • Polyglot, enjoy C/Rust/TypeScript most
  • Reverse engineering, messing around with OS and ISA. Member of Vidar-Team
  • Bare-metal, desktop native, single-page WebApps development
  • Interested in x86-64 assembly, RISC-V/LoongArch ISAs and microarch implementation
  • Mozilla Level 3 Commit Access, active maintainer of SpiderMonkey’s RV64 JIT backend
My attitudes towards AI
  • Machine learning problems are analytical and statistical problems.
  • Neural networks are good at discovering patterns not obvious to traditional approaches.
  • LLMs are probabilistic token predictors. They often intrinsically hallucinate.
  • Garbage in, garbage out. Observation in, imitation out.
  • I do use LLMs to brainstorm ideas.
  • I do use LLMs to perform repetitive clerical work and typographical proofreading.
  • I do chat with LLMs to have fun in my spare time.
  • I do use generative models to craft images for hobby use.
  • I do not use LLMs to write code beyond my own capability or without careful scrutiny.
  • I do not use LLMs to write casual articles, like blogs.
  • I do not use LLMs to write academic articles or carry out research in place of myself.
  • I do not use LLMs as a search engine.
  • I do not trust LLMs as a sole source of information.
  • I do not accept responses from LLMs without verification.
  • I believe the loopholes and waivers in LLM hosting companies' EULA put much personal information at risk.
  • I believe LLMs are energy hogs that should be used with conservation in mind.
  • I believe LLMs are becoming more performant as theories and technologies evolve.

Recent 10 Posts

Archive | RSS Feed

  • User-Agent drama of coding agents

    History repeats itself once more.

  • Jujutsu templates and jj-revert(1) are Turing complete

    Jujutsu is an ergonomic DVCS interoperable with Git. I first became aware of it when working on the Firefox codebase, where I needed to juggle with multiple stacks of patches simultaneously. Mozilla has an excellent Introduction to Jujutsu available on their docs site. Jujutsu has a templating language primarily for customization and theming of almost all human-oriented TUI parts, including jj-log(1), jj-show(1), etc. I daily-drive the default, built-in theme. The templating language supports a plethora of operations, which made me think whether it’s possible to build something more than themes out of it. In Jira is Turing-Complete by Nicolas Seriot,...

  • Making a Loongnix 25 container with systemd-nspawn on Arch Linux for Loong64

    Loongnix is LoongArch’s reference Linux distribution. Since it’s derived from Debian, it should not be hard to make a rootfs using debootstrap(8). However, it turns out to be less straightforward than expected. There is a paragraph in Loongnix’s official documentation about how to make a rootfs. However, it’s outdated and contains bad practices. Since we’re using systemd-nspawn(1) in this post, we create the rootfs at /var/lib/machines/loongnix, thus naming the container “loongnix”. $ sudo pacman -S debootstrap $ sudo ln -s sid /usr/share/debootstrap/scripts/loongnix-stable $ sudo cd /var/lib/machines $ sudo debootstrap –no-check-gpg –variant=minbase –components=main,non-free,contrib –include=dbus,libpam-systemd –arch=loong64 –foreign –verbose loongnix-stable ./loongnix <link> $...

  • 用龙架构 QEMU 启动自编译 Linux 内核与 Alpine rootfs

    0.动机 上个月，学校的操作系统实验课要求在自行编译的 Linux kernel上添加系统调用并进行验证。教案与教材上推荐的方法是购买一台 Linux云服务器或创建虚拟机，在修改启动配置后用于实验。这种方法存在诸多缺点。替换实机启动内核...

  • 在龙架构上“养龙虾”

    近期以 *Claw为代表的智能体非常流行，其中不乏 Rust语言的实现。因此，我试着在运行 Arch Linux for Loong64的龙芯 3B6000上“养”了一只龙虾，达到了不错的效果 。 0.前置条件 这是一篇笔记式博客，包含了多种仅适用于我本人系统环境的操作与考虑...

  • A POSIX-compliant rewrite of reresolve-dns.sh

    The script Please be careful with line endings if you’re copy-pasting the script from below. If you’re interested in the story behind it, please scroll down to #background-story. #!/bin/sh # <link> GPL-2.0 # # POSIX sh-compliant rewrite of reresolve-dns.sh. # # Notes for BusyBox-based coreutils: # * A POSIX-compliant tr(1) is expected for [:upper:] and [:lower:]. # # Copyright (C) 2015-2020 Jason A. Donenfeld <Jason@zx2c4.com>. All Rights Reserved. # Copyright (C) 2025 Rong Bao <webmaster@csmantle.top>. # # Link: <link> # Link: <link> set -e export LC_ALL=C trim() { echo “$1” | sed ‘s/^[[:space:]]*//;s/[[:space:]]*$//’ } lower() { echo “$1” | tr...

  • 求解 DES 弱密钥

    DES加密算法存在四个弱密钥，分别为 ： 0x0101010101010101； 0xFEFEFEFEFEFEFEFE； 0xE0E0E0E0F1F1F1F1； 0x1F1F1F1F0E0E0E0E。 它们均满足 $\forall x.\ \mathrm{DESEncrypt}(x, K_w) = \mathrm{DESDecrypt}(x, K_w)$。 在记住结论之外，我们也可以使用 Z3证明弱密钥的存在性，并借此求出所有 $K_w$。 针对完整的 DES网络直接使用符号求解是不现实的，因此证明的第一步是将弱...

  • “To delete your account, chat with our bot.”

    TL;DR: I didn’t succeed in deleting my account as of this writing. Recently, I received an email from Groq titled “Updates to Groq’s Terms & Policies”. I registered on Groq quite a while ago with my Google account, and I didn’t use it ever since. So, I decided to delete my account. I logged in on their “Console” at console[.]groq[.]com and went to the “Settings” page. I scoured for a button like “Delete Account”, but in vain. Basically, the available tabs on the left were: Organization General Billing Team Profile Limits Usage Model Terms Projects Data Controls Project General Limits...

  • WSL2 上使用 Canokeys 踩坑

    本文可供大多数需要将USB设备直通至WSL2虚拟机内的场景参考，并不局限于Canokeys或USB智能卡等话题 。 WSL2支持使用usbipd-win实现USB设备直通，可以较为方便地将OpenPGP智能卡直通至虚拟机内供GPG使用，配置方法推荐阅读微软的文章。一般而言，出...

  • JavaScript usage on csmantle.top

    The main blog site does not use JavaScript for any critical functions. Features that requires JavaScript: Comments by https://utteranc.es/ Broken link converter on 404.html Web apps deployed under their own path prefixes If you don’t need them, feel free to disable JavaScript entirely when browsing through my site.

Archive | RSS Feed