Caprice
鸡头学(Gitalogy)
鸡头学 Gitalogy 鸡头学源自于一句俗语，“宁做鸡头，不做凤尾”。本学科的基础理论基本来自于作者对于身边的鸡头，鸡屁股，以及想要成为鸡头的各种人和事情的观察。 摘要 作者的博士生涯和博士之前的生涯的顺利程度有着较大的区别。具体来说，作者在博士之前的求学以及升学过程相对比较顺利(i.e., 是鸡头)，然而在博士期间发表文章的经历非常坎坷曲折(i.e., 成为了鸡头的反面，鸡屁股, a.k.a … 阅读更多 →
摄影和科研
最近重新拾起了相机，惊觉摄影和科研（至少在计算机领域）简直相似地过分。强烈建议学术民工尝试一下摄影，或者摄影师尝试一下科研（？）。 从创新开始 首先要强调的就是创新。摄影创新的角度和科研简直不要太像了。 当下我们习以为常的造物，若是能置于历史的车轮下，我们即刻就能发现它的伟大。 选题和时代 简单地说，选题就是去找一些历史上真就没人拍过的东西。在Duchamp的小便池（Fountain）成为艺术之 … 阅读更多 →
简记割裂的2022
最近几年发生的事情真是一年比一年离谱了。时常在网上冲浪的我对于这种离谱的事情已经不感觉到离谱的时候，人就已经出问题了。 拖延癌发作的我终于得空在飞机上吧这个未完成的博文完成（虽然此时2023已经过去一大半了，然而只要我把date设置成2022就大概不会有人发现它是2023写的吧）。这个博文就是想到哪里写到哪里，毫无组织纪律。 割裂 当一群人完全不能理解另一群人，乃至于产生敌视、甚至攻击等行为时，便 … 阅读更多 →
符号和解释
在被Coq折磨了快一个月后，终于我终于看完了Logic Foundation。作为Software Foundations系列书籍中的第一员大将，它还是有点东西的。这里只浅谈一下我对于符号和解释这两个概念所产生的更深的理解。正文部分基本不涉及任何与编程本身相关的问题。 Preface 我并不打算对书的中知识概括总结，而是希望浅谈自己在读书过程中对于两个重要的概念，符号与解释的一些理解和思考。 在这 … 阅读更多 →
待在加州的一段时间
刚刚从加州回来，迫不及待地想要把将见闻和体验稍做记录。 拖了一个多月再回来把这个blog完成。 楔子 今年暑期有幸找到了一个国内大牌但是ownership属于美国的公司的公司的实习。虽然对于实习生并没有要求onsite办公，但碰上了公司的活动，恰巧有机会能够去往加州体验不一样的时光。 客观事实 在回到我的大学所在的城中村（or村中城）里之后，才意识到加州究竟是一个怎样的风水宝地。 每天都能够拥抱阳 … 阅读更多 →
记2020
谨记前无古人，魔幻现实的2020。也总结一下我的2020，以及对2021的憧憬。此文逻辑不通，狗屁乱放，想哪写哪，从2020写到2021总算是写完了！ 楔子 2019年冬日某一天的我一如既往地在学校工位附近的discussion room吃着晚饭时，来自国内关于武汉因不明病毒封城的新闻还刚刚成为饭桌上的主题。对那一日印象十分模糊的早已记不得究竟吃的是廉价汉堡王工作餐还是前一日做好的便当，只晓得说说 … 阅读更多 →
脑机、人和计算
简单的想象一下脑机在可预见的未来的存在形式以及可能成为topic的一些idea。 引 BCI这一技术以及与脑子相关的各种科技，出现了在众多经典的影视作品里。 从 The Matrix 的脑后插管，到Cloud Atlas的培养仓；从 Ghost in The Shell中一系列人的义体脑，到Psycho Pass中由几百个脑子构成的，以人脑智能来判定犯罪指数的西比拉System，都在某种意义上为我 … 阅读更多 →
《反脆弱》读书随思
这段时间在抽空读《反脆弱》一书。其作者是纽约大学Tandon工程学院的教授，Nassim Nicholas Taleb。早有耳闻其所作的不确定性三部曲（最近看他网站上好像是又更新了一部？），之后在读到剩下的几本的时候我大抵会把本文的标题改掉吧:) 虽然在经济和商业领域这本书大受推崇，但是我任务反脆弱这一概念在无论是在自然界还是工程领域都存在很高的价值，甚至对于Cyber Security也是如此。 … 阅读更多 →
摄影小记
为什么要写它 提醒自己，分享经验。 为什么摄影 技术上讲，为了日后能够再次观测曾经的某一时刻的视觉影像； 艺术上讲，为了记录日常看不到的东西 摄影师应该拍出来什么样的照片 摄影师拍出来的照片是遵守美学规则的 牛逼的摄影师拍出来的照片可能会打破传统的美学规则 阅读更多 →