我有一个绝妙的证明，但这里太小，我写不下了。

三百多年前，费马在《算术》的空白处写道。一直以来，我对费马的了解几乎只限于这句话，知道他是一个十分聪明的数学家。但当我终于读完了这本书，我才明白他的才智是如此的令人难以理解。 高斯被誉为数学之王，以至于很多人用这样的梗来表达他们对他的敬意：

去看了《新哥斯拉》。

很特摄，很庵野秀明，很EVA。甚至有段EVA中的音乐直接在片中使用。

和好莱坞有明显的不同，这部电影里面对哥斯拉的正面冲突表现不多，更多的是在面对灾难时的政府应对。

借助Pokemon GO的号召力，AR终于有了一次重归大众视野的机会。AR(Augmented Reality)，中文译作增强现实，并非从未风光过。早在VR的大潮肆虐之前，Google眼镜就曾经尝试将AR推向热点。可惜的是事到如今，眼镜还是眼镜，但A却被V取代。

前文介绍过一个在海外如何翻墙回国内的代理配置方法。然后又写了一个自动抓取免费代理服务器地址的脚本。
这个脚本是有测速的，但是之前用的是ping测速，这就有两个问题

其实这个问题很早之前就想过，大概也有一个答案。但是前些日子忽然又想起来点别的事情，最近五月病又重的厉害，索性拿出来写写好了。

这个问题乍一听还挺唬人的，我初中的时候第一次遇到这个问题，首先想到的是小孔成像的视觉原理，当然了其实并没有什么关系。而答案其实意外的很简单（？）。一言以蔽之：

读完《众病之王》陆陆续续花费了我两个半月的时间。虽然大都是在地铁上的零散空闲，但对一本书来说，这也是一段相当长的过程了。读完最后两章，在豆瓣阅读的末页打上五星之后，我不自觉地长舒了一口气。我对自己的记忆力十分不满，书中很多细节在脑中都已模糊不清，但这一刻却依然有一种经历过漫长的历史，终于从另一个世界中抽身出来的错觉。如同见证过朝代更迭的老人，也许很多往事都已消散如烟，但历史的车轮已经在皮肤和灵魂上都碾下无法抚平的辙痕。

今天最大的收获是，扭蛋真是个坑。 嗯不过先从柯南20周年纪念展说起。

展会在アニメイト举办，这里就是个罪恶之地。 在2楼是卖场，里面是各种柯南的周边。徽章，挂件，T-shirt，漫画，贴纸等等。都不便宜，买了一个怪盗柯南的挂件。

终于去看了《蝙蝠侠VS超人：正义黎明》。之前看网络上的评价毁誉参半，今天真正看过之后也算理解了背后的原因。

和漫威的电影宇宙相比，DC明显走了一条更加粉丝向的路。作为DC电影宇宙的第二部作品，这部电影的信息量足够丰富，有一些镜头选择去暗示重要的剧情而不是明示，这导致不了解背景的观众很可能觉得很多剧情细节有些莫名其妙。这可能是DC有意为之，但也可能是因为电影市场被漫威抢了先机，已经没有时间像复仇者联盟一样先拍个七八部单独的电影来铺垫剧情了，只能在一部电影中尽量埋下草蛇灰线。

小佐藤毕业了。临行前跟他出来吃了个晚饭。 这家店在B1，从一个不起眼的门进来，穿过阴暗仄仄的楼梯，在入口处的头顶摆着一台超级古老的电视机，里面播放的是六七十年代的摇滚乐。巨大的管道就在天花板下，一股蒸汽朋克的味道。

亲爱的 欧德·西蕬特 女士

你最近拿下了一座伟大的城池，这让我回忆起我们相识不久时的事情。

似乎是26年前，我从一场计划性围剿中侥幸逃生，被分配到了你的麾下。现在想来，你那时应该并没有做好成为一名长官的准备，又没办法对我痛下杀手，所以只能无奈接受你的部下。

撸了一张新头像

老白对年关已经没什么观念了。

在外这些年，每年的春节几乎都是一个人过。再加上他这个年纪的人几乎不看电视，几乎感受不到全国人民的热情。反而越是年底，他所在的城市就越是空旷，落得比平时还要清静。所以现在走在这座小城市的街道上，身边熙熙攘攘的人群和路旁店铺播放的聒噪而喜庆的音乐，都意外地带给他不少新奇感。

这算是一年的总结么？

也许不是。只是因为2016近在咫尺，手表上的12点方向如同一道死线，对着我步步逼近。所以这更像是一种抵抗，一种尝试说服自己没有虚度一年光阴的挣扎，一种没办法漂亮胜出，又不甘心漂亮地失败，而堕落到丑陋的困兽之斗。

前面写了一个用代理翻回国内的指南，需要从proxy-list.org这里找免费代理IP。
这里拿到的IP不稳定，所以总要去重新查询，回来更新pac文件。于是写了个脚本：

Outline

• 背景
• 获得免费代理地址
• 在网易云音乐PC客户端中使用代理
• 在chrome中使用代理
• 在OSX中使用系统全局代理

背景

这篇指南其实说白了就是一个翻墙教程。众所周知，由于版权所限，海外用户是无法自由使用国内大部分的在线流媒体服务的，包括网易云音乐，QQ音乐，豆瓣FM，以及包括优酷土豆，B站，搜狐视频等一些涉及到正版视频的在线服务。这篇指南的起因是因为这篇blog。博主给了一些方法，主要是基于JS脚本，但是适用范围有限，而且评论里面也出现各种人反馈问题，我才发现原来对很多人来说这是个问题。不过，

实验室小姑娘参加的仙台市市民交响乐团今天有一场演出，所以去看了。人生第一次去现场听交响乐。

日本平时的周末也经常在车站、公园的地方看到有小的管弦乐团在表演，很多都是市民乐团。和国内相比，这里的年轻人虽然也是喜欢流行和摇滚居多，但是成年人，或者所谓的“大人”对于古典乐和爵士乐的接受程度似乎更高。反映在文化产品里面，无论是动画，小说还是漫画，都会受到经典音乐的影响。而这些文化产品本身又会反作用到音乐文化的推广上。估计喜欢经典作品的老家伙们会喜欢这个氛围的。