Happy Shark

2025年可证明安全理论课程的课程大作业，撰写的时候感觉对整个安全证明理论的背景、方式有了更深入的了解，放在这里供以后的入门新人阅读啦

latex和word的区别还是挺大的，总结一下论文大修的时候既要满足编辑保留修订痕迹的要求，又要满足审稿人高亮修改地方的要求，尝试了两种方法，单栏论文推荐changes，其他的还是推荐latexdiff+acrobat手工土法高亮。

dblp默认的前100条只有xml和json格式，zotero识别不了，github上有个开源项目可以将DBLP的api返回结果转换成RSS格式，方便zotero识别。

想用windows正常办公，又想用Ubuntu部署docker然后调用gpu，比来比去wsl2应该是最优解了

记录一下论文路上各种奇怪的语法问题，少壮不学习，老来两行泪。

思源笔记的docker最新版增加了accessAuthCode检查需要增加新的启动命令，群晖的webUI没法修改已经配置好的容器，只能通过ssh修改容器的config来修改执行命令

介绍一下miracl库在x86，树莓派4B，安卓手机上的环境配置过程，希望读者借此篇文章把更多的精力放在代码本身而不是环境配置上

服务器小水管每月只有183G流量，对ubuntu有了流量统计有了需求，google之后选择vnstat作为流量统计工具，备份一下配置过程

　2021年7月1日，庆祝中国共产党成立100周年大会在北京天安门广场隆重举行。中共中央总书记、国家主席、中央军委主席习近平发表重要讲话。

2021年底jsdelivr被取消备案，2022年5月份开始出现dns污染的情况，为了保险起见防止博客的图片全部裂开决定修改图片访问方式，使用自己的备案域名解析到github图片仓库防止被dns污染。