很久之前买了一个 CMCC RAX3000M 算力版[1]路由器放在工位当作内网接入隧道对端（因为工位偷电放了一台共享龙芯 3A6000，从家宽打了个 Socat SSH 出去）。这台路由器正好还有一...
2025年5月24日
上周末去跑了银川马拉松的半程马拉松项目！虽然成绩不是很好，不过整个出行体验还是很刺激的。
赛事
首先说一说赛事本身。最终枪声成绩 1:29:40 左右，当天气温实在是太热了，状态也不太好，跑了 3k...
2025年5月23日
昨天 前天 上周的文章最后的命题伪证了：
这是一个错误结论：SeqCst ld/st/AMO 存在全序 + 所有 SeqCst 操作等待/阻拦前后所有类型其他访存 \implies C++11 Seq...
考虑典中典 Store buffering litmus test，在 C++ 中的实现。
x.store(1, relaxed) | y.store(1, relaxed)
a = y.load...
之前关于硬件 Fences的文章中简单提及了丢失 Multi-copy atomicity 之后可能带来的麻烦，本文具体讨论一下 Multi-copy atomicity，其硬件实现及后果。
定义
...
2025年5月4日
最近在研究小栅栏。本文简单介绍一下注意到的普通的小栅栏的硬件实现注意事项。
这里普通的小栅栏指普通的 Acquire / Release Fences，暂时先不考虑 SeqCst，将后续有文章具体讨论...
为啥半个月没更新博客呢？很想说我在科研，但是其实并没有科出来多少，只是动了很多嘴皮子。反而是玩游戏进展很多，例如最近玩完了 The Entropy Center。以下是一些简评/笔记。
本游戏形式上是...
今天跑完了 25 年小马杯参加的最后一个项目 10k，算是总算赶在毕业之前在马杯个人项目里拿了点分，算是零的突破。两分也是两分！
成绩单图片
相比于 PB 还是有一分钟差距，最近状态不是很好（缺练了）...
2025年4月26日
由于最近 Tunight 会议软件换成了腾讯会议，已经很久没办法直接推 YouTube 流了，十分头疼。在一个腾讯会议服务器可以摸到的服务器上设置一个 RTMP Proxy，既可以解决推流问题，这样以...
2025年4月11日
出于多设备共享、偷 NAS 上的存储空间等原因，最近折腾了一下 Android 挂载 NFS，简单做一下记录。
由于 Android 默认的内核没编译 NFS，所以需要自己编译一下内核，并且有一些额外...
还记得在 20 年的时候，第一次坐 S2 线到延庆去跑比赛。回来的路上碰巧天气刚好，经过八达岭长城的时候，太阳正好落山，整片天空都染成金色，山的剪影边缘上又是一条金边。可能是因为平时我起床的时候天都黑...
2025年4月5日
最近灵车 Libvirt GPU Passthrough 爆炸了，记录一下踩到的坑。
Unknown PCI header type ‘127’
According to 有能群友 127 是 PC...
2025年4月3日
TUNA April fools 写了一段小脚本来扔番茄。使用 Tempermonkey 或者类似的脚本注入插件应该可以让任何页面都可以扔番茄。Alternatively, 直接在 Devtools ...
前几天和群友一起学习了一下 Type-in-type 可能导致的问题。作为一个能够勉强背诵 ZFC 公理的工科🐖，感觉 Girard’s paradox 的构造十分神奇，遂做学习笔记，尝试在 Lea...
最近给 TUNA 画了新的贴纸和 TUNAive。
TUNAive 正面图案.jpg
经常会遇到的一个操作是需要给贴纸添加一个白边。TUNA 贴纸使用的操作如下：
- 选中对象，复制一份，打开 Pat...
2025年3月19日
JSX 语法实在是太香了。不过常见的方式要用上的话，必须得有一个 MVVM 框架，或者至少得有一个 VDOM 库（e.g. snabbdom）。如果不想用这些库的话，Vanilla JS 对应的 do...
2025年3月18日
正经写博客的人会每天都在写文章，不正经写博客的人每天都把表达欲用在“搞博客”上——修改主题，更新框架，等等。这一慢性病的终极症状就是完全重写。很遗憾，喵喵病得挺深的，这个从之前的博客站点迭代上就可以看...
春节几天狂玩阿育罐头，和 AC Mirage 跨年了。以下是一些感想。
Some Context:
- Steam 24 冬促不到 100 买的，原价这罐头是真不值
- 最高难度，没开 perma-d...
自从去年十一月从美国回来以后，一直没有什么时间收拾东西，甚至旅行箱还原样摆在地上。今天花了半天时间打扫屋子，拆了两包马拉松的物资包，竟然发现了好多小零嘴，很开心。最大的成就是把吃灰的扫地机器人插上电了...
新标签：胡说八道 = 有 99% 的可能性有错 = 今天工科猪喵喵又和群友学了什么
---
今天前几天跟 @Sharzy 和 @Lancern 学了 C 语言的指针转换什么时候是安全的。具体而言，X ...
Edit TL;DR: Lean4 有 Definitional proof irrelevance，所以本篇内容纯瞎搞。不过还有一部分没瞎搞的，所以留着。
---
上上次被 Heterogeneou...
本来信心满满地在一月一号晚上留了充足的时间写点东西，结果博客后端爆炸了，一边读自己快十年前的 C++ 代码修理了两个小时，感觉代码复杂超出我的理解，节目效果非常好。
重新阅读了两年前的年初展望，感觉到...
因为懒得倒垃圾，现在 Restic 里面一共有快 40k 个 snapshot
> ~ ls /srv/restic/snapshots | wc -l
39236
之前 restic 是放在 Mi...
LEGO Bonsai Tree 10281
三年前就想买的 LEGO Set 10281，在元旦和家人一起逛街的时候，忽然就觉得必须要买。花了一个上午拼了起来，套装给的花瓣比标定的多了一倍还多，让樱...
最近和川川杰哥一起写了 JieLabs，在线进行数电实验。板子上的川川写的，我完全看不懂，后端和前端算法部分全靠杰哥，喵喵就写了几千行 CSS，基本没干活。虽然只写了 UI 有点内疚，但是摸鱼真爽啊。...
到了31号晚上忽然想起来还要写 Year in Review / New year resolution，甚至得翻到去年的才能想起来标题到底写 2020 还是 2019，实在是丢人。 But here...
简单记一下最近写 Chisel3 遇到的各种各样玄学问题，作为参考。
- Verilator 是唯一一个可以正常仿真 SyncReadMem 而且可以输出波形图的后端，而且跑得很快，问题是 print...
array.sort((a, b) => a.localeCompare(b, 'zh-Hans-CN-u-co-pinyin'));
… which does not work all the t...
大家好，又到了每月一次的小学生读后感环节。这次给大家带来的是和《半分の月がのぼる空》完全无关的口胡。虽然只看完了前六卷也就是本篇，但是还是有造一些垃圾数据的冲动，大概是我对这种题材毫无免疫力。于是尽管...
躺在床上忽然想做个作品页。于是做了。CSS 真好玩。
https://meow.plus
没有 JS 和 SVG Clip，应该是确保了没有任何动画导致的 DOM repaint，所以在各种机子上都可...
百度不太行，为了用离线下载还要购买大会员。自己摸一个
TL;DR
- rTorrent: 下载后台
- flood: 下载前台
- filebrowser: 高端版本 Nginx autoindex...
进入中二末期，认识到了自己没有初中时候那样写读后感的水平，因此以后这种 Post 都打标签“瞎读”。因为确实是瞎读，而且是瞎写，并且带剧透。
「砕け散るところを見せてあげる」by 竹宮ゆゆこ 刷新了我...
勘误 @ 2019-4-26
模拟时的参数值用等号连接
---
我们终于有了认真学习这个 Tag。
事情的起因是我不想在台式机上装 Quartus。SO 和 Google 告诉我：GHDL
安装
...
终于受不了 Windows Insider 隔三差五推更新了。Fast Ring 也不能一周三个更新啊…然后晚上一睡觉起来一看微信没了，服了。
wechatircd 放在服务器上
yay -S wec...
为了顺利在 Telegram 上传教，决定打开一年没动的 Repo，重新挑战了一下 Vue 1 和 Webpack 1
It was a tough one.
What is Open Graph
...
其实是因为 CNAME 和别的记录不兼容。是我肤浅了，伤害了大家的感情，对不起
---
如果使用 DNSPod 或者腾讯云解析的时候，ACME 遇到了
DNS problem: SERVFAIL lo...
Source: https://intoli.com/blog/not-possible-to-block-chrome-headless/
TL;DR
Object.defineProperty...
你知道吗，blob 有四种读法
TL;DR
async function blobToDataURI(blob) {
const reader = new FileReader();
co...
TL;DR
autoindex on;
autoindex_format json;
Who needs a backend?
Motivation
在写白嫖文库，希望能够完全静态也不需要有 b...
https://playlist.meow.plus/meow
是一个从 B 站上扒歌然后提供各种播放器功能的东西。
Motivation
因为 B 站没有 mylist 类似物，虽然很久之前有过，...
又到了每年一度的 Year in review / New year resolution 时间了，虽然之前只有两次？总之新习惯是好习惯。
这垃圾网站我也是写了两年半没改过，现在来看还 Decent，...
最新版的 mingw-w64-configure 不知道出了什么锅，不会自动设置 CC，所以要改一下 PKGBUILD. 对于 1.0.6-8 版本:
--- PKGBUILD.old ...
今天要迁移服务器，重新搭了个 Minio 的服务器，记一下踩的坑。
Nginx 代理配置
一定要写上 Host Header 的代理，否则请求签名两边对不上。
proxy_set_header Ho...
最近总有喘不过气的感觉，夜晚盖着被子躺好仔细思考一下，感觉肯定是自己博客拖了两年还没写好的原因。翻个身，想了想，要是写完了，以后就在也不用更新了，于是奋起，决定终于把它搞完。
现在主要缺少三个功能：
...
读的是小说，读完了正好看到 Steam 上在卖游戏，于是连带着把 雨的边缘 一起买了。
也许这么说挺奇怪的，但我觉得是很温柔的一个故事。温柔的濑津美在她最后的旅途当中收获了来自大半个世界的温暖，挺幸运...
当你调不出来为什么一个 server_name 匹配不上的时候，请关注是否有另一个 server 块直接听了某个 IP，而不是 0.0.0.0
因为 Nginx 对 server 块的匹配是先找符合的...
希望能够给算协的系统弄一个稳定可复现的构建过程，于是：
发现 Ubuntu 的仓库没有过去版本的包
这个其实是可以理解的，因为如果加上过去的包，Index 就要无限大了。不过为什么连过去某一天的 S...
持续更新 as long as 我还在写前端，因为前端的坑是踩不完的
Vue
- Component 只有一个 Root，附带 transition 不生成 node，所以这样会爆炸:
文明网络环境，一共就那么多个IPv4，有话好好说。
一言不合 DDoS 是几个意思啊？你以为我们都是吃素的啊？
话就说这一次，大家好自为之。我以为我们是个小站，每日 PV 算下来也就几百，但是还是被打...
看到狂吹 KPTI 造成 5% ~ 30% 的性能损失，自己测试了一下。环境如下:
- 服务器: Aliyun 计算型 c5.large
- 操作系统: Ubuntu 16.04.3 LTS
- 内核...
2018 到了，虽然决定写点什么，但是实际上没什么特别想说的。毕竟去年有高考，今年还不一定需要参加今年或明年的高考，于是毫不紧张。但是刚刚发了一篇以后，忽然意识到已经新一年了，于是一定要写点什么。
说...
赶紧停下来，千万别这么想
因为你（很）可能会（依次）遇到以下问题：
- 很大可能 Host 在用 OpenVZ 6，内核 2.6，只有 RHEL 才在 backport 一些内核补丁到 2.6，导致你...
从今天开始，你们不要说我在清华附中高等研究实验室待过的。
很惭愧，给母校和实验室丢人了。
Guilty
---
解释一下
由于我的认知被证明与现实有所偏差，而且我本人在实验室没有做出什么成果，为了不产...
最近关于三种颜色，听到一种说法是众人讨论某些人的无为而使舆论被压制，最后反而害了孩子。
反驳倒是没什么可以反驳的，毕竟非常客观。只是想起一段话，来自著名社会活动家：
愿中国青年都摆脱冷气，只是向上走，...
去日本待了两周，回来了都不会过马路了。在东京马路正中心站定，四周车主都会立即踩下刹车，投向你的目光中饱含敬畏。而日本城区路网密到了十米一个红绿灯，好几次闯了红灯都设有发现，不知道私家车在日本城市的存在...
就这样，起码我还活着呢，故事也要接着进行下去。
下完雨的晚霞真漂亮，今天找个时间去拍一下。
今天飘点毛毛雨，把手里的书都打湿了。
从某 Top3 大学的北门走出，遇到了附中接待处老师和她女儿。小姑娘一身粉色的连衣裙，转一下，再转一下，裙摆飘得高高的，对我笑咪咪。
她看着我：“你是二楼实验室的...
想起个故事。
忘了什么时候，大概两三年以前吧，就在这个季节，坐地铁 10 号线，并秉持着孩童的心态，在第一节车厢透过玻璃看驾驶舱的面板。话说现在还能看到驾驶舱的也就只有 10 号和 13 号了吧。
北...
今天把 WD 硬盘插上，直接 Fail 了。已经坏了两个 WD 的硬盘了，一个 Element，一个 Passport，Element 还被砸了下，这次这个 Passport 连动都没动，放着半个月插...
嗯，这显然有剧透。
清明假期把 INSIDE 通关了。简单说下我的理解，恩。以下假设游戏中的一切细节都是为剧情设计的，而不是为了操作方便或者只是彩蛋。
为了自圆其说，我只能假设 INSIDE 是个 M...
其实是第二遍，第一次看的时候太困了，所以再来一次。
故事挺可爱的，我很喜欢，感觉挺适合我的。孤单一个人的时候看一看，有奇效。
想起当时刷 名学 的时候在贵乎上看到的一段话，大概意思就是，日本的动画、漫...
由于无法承受 .io 域名一年 400 CNY 的高价，换成了 .moe 域名，虽然说过程十分蛋疼，但是至少萌了起来。
同时发现了 Godaddy 的阴谋：GoDaddy 一个 .moe 域名卖 17...
北京下雪了，这是好的，并且是今年最大的一场。
没想到这么暖和的一个冬天，到了春天门口来这么一场雪。只是没人跟我一块打雪仗就是了。
嗯，还是这种天气好，空气清新，没有太阳暴晒或是大风凛冽，天上远远的蒙着...
这几天放假，给博客加了个 ServiceWorker，现在可以离线访问了。
最大一个坑是数据库连接。按照传统服务端的习性，DB 连接是要共享的。所以本来用 IDB 的时候是在 Install 的时候把...
把君名的外传看完了，感觉新海诚监督这个人啊，简直没有变，夹杂的私货太含蓄。
我要客观
君名的问题很显著，看了很多遍以后愈发的明显：人物塑造挺失败的，看完漫画和外传之后才丰满起来。再者剧情也没什么新意...
刚刚跑去看了本年最后一场《你的名字》（沉迷三叶不能自拔），看着电影院都纷纷把它下线了，应该是我最后一次在电影院里看了，于是把你是谁？结了尾。顺便提一句，双安对面的 UME 音响不错。
于是又是一年过去...
月考过后去看了《你的名字。》，全程气喘吁吁，面色潮红，心跳加速，走出电影院还晕晕乎乎的，简直比看动作大片还刺激，十分的奇怪。虽然刚看完就想写点东西，无奈身上只带了一个 Kindle，等到公交车到了家，...
花了一个周末的时间从 JsonCpp 换到了 RapidJSON，后端的 RPS 飙升，增加了大概 40%（其实主要是因为换成了 SAX 风格的序列化），以列出帖子为例，大概从 50K 升到了 70K...
最近更新了一下博客，成功把并发弄到 10k+，还把 Sitemap 给搞好了。中间遇到了很多坑：
- C++ 标准库不要求容器的写操作是原子的，所以开多线程的时候 Session 存储瞬间崩
- At...
放假了，南下几百米到清华大学旅游参观了几圈，感觉十分不错。以此为记录，用于备忘。
学姐真可爱
嘻嘻
衣食住行
报道第一天发了两件衣服，不透气，穿着跟塑料布一样，保温保水节约能源，不能不说清华不愧为...
为了在Chrome上支持Add to homescreen，花了整整一个下午做了个Logo。各位，请欣赏：
---
有没有感受到震撼?
这还是矢量的
翻找硬盘过程中发现了这个视频，不能多说，只能拿来互相伤害一波。
看不来的人可以点我下载
前几天业界良心(毒瘤)Freenom把我的主域名给吊销了，我只能称赞一下他们认真负责的工作态度。还记得当时我把dot.tk的域名转到freenom的时候，两边的密码过滤策略不一样，结果我的账户登不上去...
最近看到了一些年轻人的博客，感觉我已经是个苟延残喘，勉强续命的人了。
真是长江后浪推前浪，看看我自己，一没实力，二没运气，三没女朋友，说到这里
---
朋友，为什么不来盘守望先锋呢？
有的时候，我们必须放手。
在这金灿灿的季节，又有一群猛士永远地离开了我们。同志们的信仰，将与我们永远同在。
使用指北
将Mods分别复制到 Client/.minecraft/mods 和 Server/mods 即可启动客户端和服务端。其中服务端需要删除 Optifine 和 JourneyMap 。
...
于是，在前任博客突然死亡近三年以后，我的新博客终于搭起来了。
虽说这是个博客，但是很显然，这只是我的一个玩具，目前来看和那些成熟的西方博客平台差到不知道哪里去：没有评论，没有媒体寄存，用户体验颓的要命...