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