banner
绘素

绘素的Blog

twitter
github
email
Typst 相关资源
Typst 是一个 Latex 的替代品,相比 Latex 的最大优势是简洁快速。比较适合一些输出 pdf 的写作场景,如一些作业、文档和 slides。 以下一些最近使用过程中有用的资源,涉及文档、CV 模版、Slides 模版格式转换。 文档 Typst Documents…
个人的电子笔记软件使用历程
Onenote OneNote 是我用的第一个电子笔记软件,刚上大学的时候就开始用。当时主要是用于记录一些课堂的笔记,比如一些文科的课和数学课。它自由排列和手写功能都很方便。记得一开始还为了在电脑上使用 OneNote 的手写,专门买过一个手绘板。最后因为在 Mac…
cover

Notes on zk-SNARK

A study notes on zk-SNARK, mainly focusing on the equations in zk-SNARK. ZK-SNARK stands for Zero-Knowledge Succinct Non-Interactive…
创建Electron应用并使用Github Action构建全平台应用
Electron 本地构建只能构建当前系统的程序,可以使用 Github Action 自动构建全平台的程序。这里记录一下流程。 安装 create-electron-app Copy npm install -g create-electron-app 创建项目 Copy cre…
使用油猴脚本解决 ChatGPT 网页版需要刷新的问题
使用 ChatGPT 网页版的最大问题是经常遇到 “Something went wrong.” 错误。一般遇到这个问题时,只有重新刷新才能解决。之前 Plus 用户可以幸免于难,但是最近 Openai 更新了风控策略后即使是 Plus 用户也会遇到同样的问题。 这个报错主要是因…
使用 honkit 将 Markdown 文件转换成 pdf/epub 电子书
起因 在 Github 上有许多电子书是以 Markdown 文件形式编写的,它们通常是由若干个文件夹包括若干个 md 文件构成的。这种 Repo 可以使用 GitBook 构建成网页,可供在线浏览。我想将这些文件转换成 epub 格式并导入到自己的阅读器中阅读…
2022 数字生活回顾
写于 2023 年 1 月 分享我在 2022 年使用过的各种软件和服务以及使用感受。 软件 Dropbox 在文件同步方面,我今年仍经常使用 Dropbox,它一直非常可靠,没有出现 iCloud 和 Google Drive 上的同步错误问题。 Heptabase…
《AI:梦境档案 涅槃肇始》
AI:梦境档案 涅槃肇始 前作是两年前打的,虽然具体剧情忘得差不多了,但是现在还能回想起当时揭晓谜底时的“原来如此”的感叹。不过本作揭晓谜底时的感觉虽然类似,但是没上一部强烈。本作故事上的谜题并不复杂,悬疑的氛围主要靠构思精巧的叙事方式来体现…
《日本沉没》书评
今天看完了小松左京的《日本沉没》,感觉小说本身在叙事上挺一般的,有种混乱的感觉,几个主要人物的特性也并不鲜明,不过这也不是以描写人物为买点的小说了。本书的剧情是几章人物故事和几章群像剧切换,有好几次在人物故事没告一段落的时候就切换到宏观视角、群像剧情…
《艾尔登法环》
80 小时二周目完成了艾尔登法环的 steam 全成就。 游戏是三月底打完的,文件是四月底新建的,感想是五月底写完的。 感觉本作的沉浸感好强,能让我坐下来连续几个小时打游戏,上一次这么玩这么有沉浸感的游戏还是旷野之息。只需要进入游戏,拿起手柄,就不用思考其他的。 以及…
Windows使用bat脚本更改网络设置
设置 ip、dns 获取方式为手动 Copy netsh interface ip set address name="以太网" source=static addr=192.168.50.138 mask=255.255.255.0 gateway=192.168.50.100…
《Blue Reflection 帝》
有剧透 一周目感想 今天上午打完一周目了呢,因为最后赶进度,诗的几个请求就没做,最终 Boss 有三条命感觉有点烦😡。 感觉最后的结局有种淡淡的哀伤,原来爱央是来自未来的人,回到过去就是为了创造新的未来,这样就形成一个轮回,为了创造新的未来就必须继续进行这个轮回…
docker安装openwrt作网关
前期准备 开启网卡混合模式 Copy sudo ip link set enx00e04c6800fa promisc on 创建macvlan网络 Copy docker network create -d macvlan --subnet=192.168.50.0/24 --g…
Ownership of this blog data is guaranteed by blockchain and smart contracts to the creator alone.