Zotero,我的跨平台文献管理解决方案

选择 Zotero 的原因 最早使用的文献管理软件是 Mendeley,虽然读的文献不多,但也逐渐发现它的几个关键问题:同步很慢,非常慢,特别是遇到那种图片多的大长篇总要折腾好久;此外,Mendeley 的 PDF 标注功能不是基于标准 PDF 格式,无法在其他平台上浏览;最后,跨平台的同步并不方便。 明确自己的需求之后,经过一些横向比较,最终选择了 Zotero,其优势在于:开源、轻巧;Chrome/Firefox 插件非常非常便捷;简单折腾即可实现跨平台文献管理;官方论坛活跃。存在的缺陷:需要一定的学习成本;不内置 PDF 阅读器(这可能也是优点)。 迁移与安装 从 Mendeley 中导出数据的时候发现其 PDF 上的标注格式全乱了,而且 Mendeley 从 1.19 版本开始加密本地数据库了,无法用其他方式读取,在 GitHub 找到不少从 Mendeley 到 Zotero 的导出工具都需要降级到 1.18,相当复杂。不过好在之前的笔记也不算多,干脆直接丢弃了,保留 PDF 文件重新导入 Zotero,这次换到开源软件应该能规避这类潜在的问题。 Zotero 的安装可以参考官网,最权威的学习资料一定是 官方文档。 掌握基本使用方式之后,这里重点提一下 Zotero 的同步逻辑,主要分为两部分: 数据同步(包括文献库的条目、笔记、链接、标签) 免费无限制 文件同步(包括 PDF 文档、音频文件、视频文件、图片等) 免费 300MB 空间或使用第三方 WebDAV 网盘 在“编辑>首选项>同步”中注册并登陆 Zotero 账号后即可实现数据同步,下文主要介绍下文件同步的方案。 使用坚果云实现文件同步 这里可以任选一种网盘用来同步论文 PDF 等文件,坚果云的优势在于国内网络下速度不错、支持 WebDAV、不限容量限流量、增量备份很适合做笔记,关键是在 iPad 上同步比 Onedrive 快很多。 具体步骤如下:首先将“文件同步”选项下的两个复选框取消勾选,即不使用 Zotero 同步 PDF 文件;注册并安装坚果云,在 Zotero “高级>文件和文件夹”中把“链接附件的根目录”改为坚果云中同步的文件夹。类似地在其他 PC 上配置就可以实现多台 PC 之间同步了。...

June 14, 2021

短路、字典、浅拷贝、驻留,Python 的一些奇妙特性

最近刷题的时候遇到的几个奇妙特性。 短路特性 Python有一种短路特性,意思就是只要能确定与或非表达式的结果,后面的运算就会被忽略。更多例子可以参考如下,来自 python 的“短路”,Python(二手博客,找不到出处了)。 False or 5 # 输出 5 #False 删除线格式 为假,在 or 中,x 为假—>输出 y 5 or False # 输出 5 #5 为真,在 or 中,x 为真—>输出 x 0 or False # 输出 False # 0 是假 True or 3 # 输出 True #True 为真 2 or True # 输出 2 #2 为真 0 or True # 输出 True #0 为假 True or False # 输出 True #True 为真 True and 4 # 输出 4 #True 为真,在 and 中,x 为真—>输出 y 1 and True # 输出 True #1 为真 False and 1 # 输出 False #False 为假,在 and 中,x 为假—>输出 x 1 and False # 输出 False 0 and True # 输出 0 not 3 # 输出 False #3 为真,在 not 中,x 为真—>输出 False not 0 # 输出 True 写代码的时候,某一处需要进行两个条件的“与”判断,其中一个是非常耗时的in判断,一开始没有在意and前后的顺序,而回头再看的时候想起了这个特性。...

May 24, 2021

EE364a 凸优化学习笔记

课程介绍 EE364a 课程主页:提供了教材和 slides、往年试卷等资料 Convex Optimization edX 课程页面:可以跳转 YouTube 用双语字幕插件学习,同时提供了课程讨论区 CVXPY:一个基于 Python 的凸优化库 Lecture 1 Introduction Mathematical optimization 最优化 优化问题:在一些约束的情况下,最小化一个目标函数 记法:$f_0(x) → min\ s.t.; f_i(x) \le b_i$ 把 min 和 s.t. 当做 attribute 属性名而不是单词 $x$:优化变量/决策变量 $f_0$:目标函数 决策如何 irritate 刺激 $f_i$:约束 另一种 interpretation 就是资源 $b_i$就是 budget 举三个例子: 投资 约束:预算、最大最小份额 目标:风险或者回报 电路设计 约束:制造工艺、频率、空间 目标:最小功率 机器学习 约束:先验知识、参数之间的耦合 目标:优秀的模型 一般的最优化问题,不是导数为零那么简单,方法都有些妥协(时间复杂度、不是总能找到解) 例外:一些经典问题,如最小二乘、线性规划、凸优化 Quiz The symbol x* usually denotes a solution Least-squares and linear programming 最小二乘和线性规划 最小二乘也叫 regression 回归 时间复杂度和$n^2k$成正比,$k$可以是案例数量、数据数量,$n$可以是特征、回归量 一个成熟的算法,200 年了...

March 30, 2021

《塞尔达传说 荒野之息》:游戏背后的艺术

2019 年 7 月入手了《塞尔达传说 荒野之息》卡带,到现在游戏时间断断续续 100+h 却一直没有去挑战最终 boss——冒险如此引人入胜,以至于我刻意回避主线剧情,不愿意让这场旅行结束。塞尔达传说也确实没有让我失望,每一次打开游戏都会给我新的惊喜。 前天下午,我在海拉鲁平原驯马的时候,意外触发了主线,找到了塞尔达公主的最后一段回忆——《绝望》。 公主的回忆——绝望 这一次我没忍住眼泪,丢下滑稽的怪物头套,换上最正式的装备,带上四英杰武器,直奔城堡。一路屠杀,打败盖侬,解救公主,是的就是这么快,盖侬城堡的谜题对于这位身经百战的勇者来说早已不是难题,紧接着就是片尾、鸣谢…… 而在这个时候,我发现游戏进度并不能保存,重开游戏发现唯一的变化只是附在存档页面上的一个小小的白色五角星。再次跑进城堡,盖侬还在,四英杰仍然在神兽体内,公主还是没有被拯救。 我好像突然失去了继续游戏的动力。曾经以为,通关之后可以在二周目去看看修复后城堡的辉煌,到公主房间里偷看日记,在没有守护者的大草原上骑马,去宁静和谐的一始村看看到底有没有我的房子,去找那些沉迷于勇者神话的 NPC 夸夸我。但这些期待原来只是幻想,一次次试炼都是徒劳,游戏的结局已经无法改变。 THE END 于是就这样,意外地结束了海拉鲁大地上的旅行。 为什么会喜欢《塞尔达传说》 终于放下剧情之后,我开始思考塞尔达这款游戏究竟有什么魔力。 看了 【中字】塞尔达传说 荒野之息 开发纪录片全三部合集,我尝试跟着开发者的思路,开始解剖这款游戏。 自由 “开放世界”这个概念好像有点烂大街,但《塞尔达传说 荒野之息》真的不一样。 如 游戏开发方式的改变,造就了《塞尔达传说 荒野之息》 这篇文章提到的,在 CEDEC 2017 游戏开发者大会演讲中,来自任天堂的藤林秀麿和米津真抛出“引力”、“大地图三角形法则”、“3 把尺”三大概念。 首先介绍的是“因为大所以显眼”,也就是基于尺寸的引力。 远远就能看到的独特地形,刺激着玩家的探索欲望,让他们觉得“也许有什么东西在那”,所以具有很强的引力。同样地,塔也是从远处就能看到的设施,因为对获取游戏世界广范围信息来说非常有用,所以也会吸引喜欢探索的玩家。 尺寸产生的引力的大小 另一方面,对于一心想要“提升自己在游戏世界里的体力”的玩家来说,打通后能够得到心之碎片的祠或许有着更强的引力。而想要“得到更强力的战斗装备”的玩家,则会认为得到稀有武器机会较高的怪物要塞(敌人基地)具有更强的引力。 对于一心想变强的玩家来说,引力的大小大致如图 此外在游戏世界进入夜晚之后,会发光的设施会变得更加显眼,因此引力也会有所变化。 晚上会发光的东西更加显眼。从“被光线所吸引”这层意思上看,玩家或许跟虫子类似!? 地图中的地形起伏基本都参考了三角法则,大概这就是常常让我感到“柳暗花明又一村”的奥秘;“3 把尺”指的是距离感、密度感、时间感,为了设计一个合理的“世界”,开发者参考了真实地图中便利店、邮筒的密度,各种旅游景点的游玩时间,好像真的能想象到他们拿着地图在京都四处测绘的样子。 关于关卡流程的设计,还找到了另一篇更专业的文章——运用关卡结构图分析《旷野之息》的关卡设计。 游戏其实和解决问题是密不可分的,Jesse Schell 在《游戏设计艺术》一书中就把游戏定义为“以一种嬉戏态度进行的解决问题的活动”。所有游戏里面都包含着许多问题让玩家去解决。如果问题只能按照设计者预设的答案来解决,玩家其实只是在被动地寻找唯一的解,这就可能会让获得成就感变得困难。甚至玩家会一直失败,造成了卡关。《旷野之息》的制作人藤林秀麿在 2017 的 GDC 的演讲上就提出: 希望把一直以来的被动游戏模式,转变为玩家自己的主动的游戏方式。 玩家尝试着使用自己思考得出的答案去解决问题,只要游戏给予积极的反馈,那无疑是对玩家努力的肯定,所以玩家获得的成就感也就更为强烈。而玩家获得了成就感后,也会主动去寻找下一个问题并继续思考解决。 就像《旷野之息》的技术导演堂田卓宏在 2017 的 GDC 上说的: 希望大家可以靠想象力享受各种解谜,希望大家能够享受“啊啊,我真是天才!”的瞬间。 这就是《旷野之息》带给玩家的解决问题的快感。 交互 交互,元素与元素之间的交互,我觉得是塞尔达最核心的部分。这些交互一方面充满游戏魔幻色彩,“冰箭”“法杖”“古代科技”,很多操作逻辑都从此展开,很多游戏乐趣也来源于此;另一方面这些交互细节又很真实,偶尔会蹦出一些创造性的想法,随手一试却发现真的可以实现。 简单列举一些元素交互: 火:点燃草地制造上升气流、通过火把的火焰判断风向、用金属武器和打火石制造篝火、一觉醒来篝火被雨水浇熄、点燃木制武器制造伤害加成、火山的高温岩石可以烤熟食物。 电:手持金属武器会被雷劈、把金属武器丢在怪物脚下大喊雷公助我、电属性箭在雨天能产生范围伤害、用属性武器在河里电鱼。 水:下雨天 NPC 都会抱着头跑回屋里、雪山顶上推下去的石头会滚成大雪球、火属性攻击在雪山上能产生更高伤害、裸泳比穿着普通衣服速度会更快。...

February 21, 2021

2020 | 庚子鼠年

相比元旦,更喜欢在农历新年给自己做个总结——大人们总有忙不完的事,表弟表妹们则有手机照顾;我早已过了写寒假作业的年龄,于是就可以顺理成章摸鱼了。 生活剪贴 升学 上半年的情绪或许就是那两个字——焦虑,peer pressure 非常有效,日常在“这背景也太强了我不想学了”和“他这样都过了我还能再努力一下”之间反复横跳。大半年过去,很多事的印象都模糊了,一些当初的抉择现在也有了不同的看法。不过,1 月份坐高铁回家时又怎么会想到 2019-20.03 学期会变成这个样子呢? 感谢那段时间互相鼓励的朋友们,大家带来的 peer relaxation 很关键。也要感谢我的父母,虽然他们的消息可能会有些滞后,会带有一些年代色彩,但出发点永远都是我。 不管怎么说,结果还是幸运的。升学的故事后来还改成了鸡汤,灌给了不少人。「局部最优解,放在一生来看,也不一定是全局最优。」还挺有道理的。 四牌楼 从湖区搬到牌区大约是八月底九月初,想着自己终于成为城里人了,我激动地开了好几个文档——《四牌楼觅食指南》、《南京旅游笔记》,一学期下来也写了不少内容,很欣慰。 游客穿过四牌楼校区正大门,拍下的第一张照片一定是中央大道的梧桐树。以前一直觉得牌区的梧桐很神秘,和别的地方相比,那片梧桐主干分叉的位置特别低,但又特别整齐。听小轩说“顶端优势”、“生长素”之类的才恍然大悟,后来再看这些梧桐时,就会去幻想他们分叉时的那个年代。 逸夫楼 14 层的厕所可能是牌区视野最好的地方之一,西面北面都有窗口,能看到近处大礼堂的绿顶、远处的紫峰大厦,能一直看着梧桐树从绿变黄再变白。除此之外还有交通学院楼顶、吴健雄实验室楼顶……是的还是这么喜欢爬楼。 疫情影响,普通市民都没法进校园,一下子少了很多锻炼的身影,而我原本计划的参观南京各大校园也只能作罢,遗憾。 生活体验派 曾经以为遥不可及的“线上社会”,比想象中来得早了不少。这给我带来的最大感触并非科技的力量,相反,而是重新发现“面对面”的重要性。 情绪始终是难以数字化的,显示器和音响只是承包了你的视觉(还是平面的)、听觉,而嗅觉、触觉、味觉之间的交互也是体验的重要一环。以前觉得放弃温暖被窝、冒着寒风爬山只为了等着太阳升起真的没意思;但当我真的站在山顶,俯瞰城市的灯光,天空的颜色肉眼可见地变化,耳边的欢呼声祝福声响起,才知道“看日出”的重量。 “生活体验派”这个词是小寇提的,这半年自己做得还算不错——做饭,健身,学羽毛球,看小原的演出,学吉他,在闲鱼当个卖家,给车换备胎,上大舞台演讲……不同的角色为生活增加了很多新奇体验,也确实帮助我在思考时多了一些维度。遇到一些神秘的人物、习惯,更多次发出“原来如此”的声音;看《观视频工作室》点评的社会现象时偶尔也能跟上思维的脚步。 金榜题名 Best Buy AirPods 为了 AirPods 买了 iPhone,结果就是忍不住还想买全家桶。当年那个高喊“索尼大法好”的同学,怎么转手就把索尼降噪豆卖了,怪了。 3D 打印机 拥有一台 3D 打印机是怎样的体验 NR200 人生第一台 ITX 主机,白色太美了 李宁 WS72 羽毛球拍 又菜又爱玩,希望明年能找到新的球友 DJI Mavic AIR 2(租借) 项目做得越多越能理解这些产品背后的技术含量;攒了很多素材没剪,下次一定 棱镜「我想以世纪和你在一起」2020 年度演唱会 感谢棱镜乐队的伴奏「在自己的路上 义无反顾地狂奔吧」 招商中证白酒指数 酱香型科技,不说了,卖得太早了 Best Watch 《切尔诺贝利》 《寄生虫》 《调音师》 《暴裂无声》 《半泽直树》 Best Play 健身环大冒险 两只 JOY-CON 的数据采集和判定很巧妙,热身、放松等剧情细节也很丰富,后来真正走进健身房也有他的一份功劳。可能是继《塞尔达传说》之后又一个入手 Switch 的理由,记得当时还一度被炒成理财产品。“任天堂就是世界的主宰!”...

February 11, 2021