Caprice
鸡头学(Gitalogy)
鸡头学源自于一句俗语，“宁做鸡头，不做凤尾”。本学科的基础理论基本来自于作者对于身边的鸡头，鸡屁股，以及想要成为鸡头的各种人和事情的观察。 阅读更多 →
摄影和科研
最近重新拾起了相机，惊觉摄影和科研（至少在计算机领域）简直相似地过分。强烈建议学术民工尝试一下摄影，或者摄影师尝试一下科研（？）。 阅读更多 →
简记割裂的2022
最近几年发生的事情真是一年比一年离谱了。时常在网上冲浪的我对于这种离谱的事情已经不感觉到离谱的时候，人就已经出问题了。 拖延癌发作的我终于得空在飞机上吧这个未完成的博文完成（虽然此时2023已经过去一大半了，然而只要我把date设置成2022就大概不会有人发现它是2023写的吧）。这个博文就是想到哪里写到哪里，毫无组织纪律。 阅读更多 →
符号和解释
在被Coq折磨了快一个月后，终于我终于看完了Logic Foundation。作为Software Foundations系列书籍中的第一员大将，它还是有点东西的。这里只浅谈一下我对于符号和解释这两个概念所产生的更深的理解。正文部分基本不涉及任何与编程本身相关的问题。 阅读更多 →
待在加州的一段时间
刚刚从加州回来，迫不及待地想要把将见闻和体验稍做记录。 拖了一个多月再回来把这个blog完成。 阅读更多 →
记2020
谨记前无古人，魔幻现实的2020。也总结一下我的2020，以及对2021的憧憬。此文逻辑不通，狗屁乱放，想哪写哪，从2020写到2021总算是写完了！ 阅读更多 →
脑机、人和计算
简单的想象一下脑机在可预见的未来的存在形式以及可能成为topic的一些idea。 引 BCI这一技术以及与脑子相关的各种科技，出现了在众多经典的影视作品里。 从 The Matrix 的脑后插管，到Cloud Atlas的培养仓；从 Ghost in The Shell中一系列人的义体脑，到Psycho Pass中由几百个脑子构成的，以人脑智能来判定犯罪指数的西比拉System，都在某种意义上为我 … 阅读更多 →
《反脆弱》读书随思
这段时间在抽空读《反脆弱》一书。其作者是纽约大学Tandon工程学院的教授，Nassim Nicholas Taleb。早有耳闻其所作的不确定性三部曲（最近看他网站上好像是又更新了一部？），之后在读到剩下的几本的时候我大抵会把本文的标题改掉吧:) 虽然在经济和商业领域这本书大受推崇，但是我任务反脆弱这一概念在无论是在自然界还是工程领域都存在很高的价值，甚至对于Cyber Security也是如此。 … 阅读更多 →
摄影小记
为什么要写它 提醒自己，分享经验。 为什么摄影 技术上讲，为了日后能够再次观测曾经的某一时刻的视觉影像； 艺术上讲，为了记录日常看不到的东西 摄影师应该拍出来什么样的照片 摄影师拍出来的照片是遵守美学规则的 牛逼的摄影师拍出来的照片可能会打破传统的美学规则 阅读更多 →