Tweet

这是我的Tweet,用来记录简短的生活片段和想法:)


终于把auth2写好了一个大致的框架,完善一下,就可以开始做我的博客app了,虽然慢了点,但是也在坚持做,fight

2018-12-05 13:02:31


准备做个排序的总结文,从各个排序的算法到各自在工业上的实现细节,然后实验测试和并行化之类的

2018-11-27 09:24:47


今天去面试,效果也是超级差。果然记忆力越来越差了,再加上也是自己怠惰了,这些日子搞东搞西的,这次就算不过我也觉得是值得的,让我知道了自己很多问题,这两天复习翻出自己一大堆的笔记可能有六七厘米高了,乱七八糟的,我觉的是时候整理成电子版放进博客了,这样也不用搬家怕弄丢了,虽然这搞起来肯定算个大工程,只是用业余时间写的话估计没半年是搞不定了,不过我觉得这些事应该是值得做的,就这么说不上愉快的决定吧,也多谢面试官花时间和我聊了那么久

2018-11-23 00:25:07


做了个测试,写了三种不同写法的用来生成一千万内偶数的list的速度对比,速度如下,看来lambda真的很快,内部机制是怎么回事呢,有空看看

2018-11-09 11:42:02


好难受,我觉得自己快抑郁了,身边全是傻逼,呜呜呜

2018-11-01 16:38:23


之前做了一个乐感测试,得分太低了。找个时间再测试过

2018-09-27 14:22:00


昨天中午做了个音高测试误以为自己是失歌症,吓死自己了,然后继续做了tone deaf test误操作选错一题后仍然得分是97%,结果完全正常除开误操作就是满分,后来今晚看到作者回复我,我回去重新看了,恍然大悟是自己搞错了第一个测试,原来自己完全是乐感正常并且我觉得很棒的那种,重新喜欢自己了 )

2018-09-12 02:08:51


最近看的中文太多了,导致各种被误导,现在看回去python的encoding declare,那些乱七八糟的blog都是瞎说一通没说清楚,查了下pep才清楚,那个声明其实只是告诉了parser怎么去解读那些源代码字符而已,另外关于encode和decode的理解也搞清楚了,他们之间的关系无非就是

a X encode string----(decode('X encode'))---->Unicode string----(encode('Y encode'))---->a Y encode string

2018-08-21 14:53:14


今天听了一期一席往期的演讲,嘉宾是曹天元,然后演讲中讲到了一些之前不知道的东西和没有想到的思考视角,例如作为费米悖论的一种解释的大过滤理论,还有那个有点类似学习理论中pac理论那样从概率角度去思考人类终极命运和大理论的猜想,这期可以说是很inspire了

2018-08-11 22:25:24


装了一天,终于把cuda装好了,下载的文件老是出现crc错误,还有版本又各种问题,真是蛋疼,截图纪念一下一天的成果吧,这过程坑太多了唉QQ截图20180804104549

2018-08-05 01:48:45


最近看了一些美第奇家族的相关介绍,然后现在一直脑补他们家族的fate设定,好想自己写一部fate同人呀

2018-07-11 09:43:38


今晚听了点CUHK的information theory课程,都是些proof,虽然很美,但是没有学习deep learning期间那种总能从一个新的model或者说新方法里面得到很好的intuition,emmm,娇养惯了果然可怕

2018-07-02 01:20:57


最近产生了好多有趣的想法,不过都没怎么及时登录记录,好可惜,不行,我必须写个程序可以手机用的来发布心情的

2018-06-03 23:04:08


看了篇洋洋晒晒的科普文,记录下,可能以后给人解释用得上

2018-05-23 23:42:44


终于也把course3做完了,现在感觉没那么吃力了哈哈,剩下的就是弄完course4,主业也算差不多,准备看些副业课,然后以后听课也是辅助为主,准备进入大量读论文和实践阶段啦,无论这几天的面试怎么样我都至少对自己信心比较大了,也算是不枉这几天的辛苦吧

2018-05-19 23:23:59


翻了下算导,然后自己尝试手算了一遍4bit RSA,还挺好玩

2018-05-05 02:57:44


周末看了下yinwang很久之前写的那篇博客,照着写了个解释器,才35行,不过还是感觉挺有趣的,对于他给出的思考题我也想到了答案

思考题:可能有些人看过 lambda calculus,这些人可能知道 (let ([x e1]) e2) 其实等价于一个函数调用:((lambda (x) e2) e1)。现在问题来了,我们在讨论函数和调用的时候,很深入的讨论了关于 lexical scoping 和 dynamic scoping 的差别。既然 let 绑定等价于一个函数定义和调用,为什么之前我们讨论对绑定的时候,没有讨论过 lexical scoping 和 dynamic scoping 的问题,也没有制造过闭包呢?

我的答案是因为let的body,也就是e2,是直接在他对应的lambda定义后立刻执行的,所以函数定义时候的环境和执行时候的其实是一样的,换言之,只有在函数定义和调用的环境不一致的时候才会体现出dynamic和lexical scope的区别

2018-04-22 03:02:10


用racket写的linear regression终于今天有空把错误改完能跑了,画了个图,还不错,啧啧啧QQ截图20180419111041

2018-04-20 02:13:25


关于generative model和discriminative model的一篇文章,最重要的结论就是××判别模型拥有更低的错误率,生成模型能更快的收敛到目标××

2018-04-10 23:19:52


用racket写一整晚写个linear regression写不出来,也许这就是绝望吧,:-(mmexport1523025587767

2018-04-06 23:51:47


cons是单词'construct'的缩写。car是短语'Contents of the Address part of the Register';cdr('could-er')是短语'Contents of the Decrement part of the Register',这些缩写实在是莫名其妙:(

2018-04-05 12:16:43


之前发现Java不支持TRO(tail recursion optimize),见这里,还以为就Java奇葩没实现这个,昨晚又发现python也不支持,听说Guido说过不会支持TRO。。。,在发现这些之前我还一直认为这些这已经是现代语言不可缺少的特性,看来是我想多了,有空测试下js支不支持

2018-04-04 19:56:56


越来越觉得自己不过是他们挣钱的一个工具而已

2018-03-28 18:22:20


fate apocrypha剧情烂到爆炸,但配乐却很好,音乐比extra好上太多了

2018-03-25 10:34:56


前几天Uber在亚利桑那州撞死了人之后,搞得动静非常大,,关于AI为什么会错误决策,在NN还没具备很好的可解释性之前估计也是得不出什么答案了,只能期待更重视NN的理论补充和可解释性的工作吧,当然也希望相关的法律逐步完善,毕竟也自己也算半个AI人啦,希望社会不要因噎废食吧(,刚好最近也了解到DARPA(美国国防部)在做一些AI的可解释性(Explainable AI)方面的工作

2018-03-21 12:41:20


记第一次使用打字机-13ceac3df3941341

2018-03-07 23:12:53


今晚有童鞋提了个问题,我觉得挺好,记录一下,如何判断数据在当前维度下是否可分,查了下,是检查当前维度下各个类别的数据的convex hull是不是相交,如果相交则不可分,参考了这篇文章这篇回答,用qhull快速找出对应的convex hull,然后用sweepline快速判断是否相交

2018-03-07 01:11:29


在别人家里,睡不着:-(

2018-03-04 02:17:19


最近笔荒,然后翻出了樱花的勾线笔用来写字,好难用。。。

2018-02-26 01:04:59


冬天对于我就是折磨,上刑,摧残,天呀,要是我以后写一部关于四季的书那冬天肯定是个虐待狂

2018-02-04 04:47:57


这里能写字的纸都给我写满了,今晚买了一大叠草稿纸回来

2018-02-03 02:06:46


在这里记下一个网站,以便以后复习用上,是关于ml基础的那门课的总结

2018-01-28 21:57:12


上星期看回了些乐理介绍,终于算是搞清楚了唱名和音名的区别,唱名就是do re mi fa sol la xi,1234567是他们的一种简写法,而CDEFGAB是音名,对应钢琴上各个键位,表示的绝对音高,说的C大调就是将1以C的音发出来,G大调就是将原来C大调对应的音乐提高4度唱出来,原来的用C发的1(do)现在换成用G发1(do),例如

小星星C大调:1 1 5 5 6 6 5 4 4 3 3 2 2 1

小星星G大调:5 5 2 2 3 3 2 1 1 7 7 6 6 5
maxresdefault

2018-01-27 16:37:37


最近整个人都很暴躁,要慢慢安静下来。。。

2018-01-26 00:45:59


昨晚因为tf写的一个lr跑出来的参数和loss全是nan,最后发现是learning rate调的太大了,不过还是不太清楚原理,今天问了下,但是还没看回复,ml群隔三差五就满人,略烦心,问问题的又多,根本没精力去回答,:(

2018-01-24 00:11:24


昨晚误用np_array.any()导致找了两个多种bug,(,我不管,就是numpy的错,一直都认为numpy设计非常糟糕

2018-01-22 22:46:35


开始写了一点啦

早上听了一节林老师的课程,反正又是听不懂,又睡着了

然今为音名和唱名纠结了大半天,还找到个在线的piano

一些简单的乐理知识,每次很快又忘了,看看找个时间写个memo记在博客里面

CS224还没看完一节,明早要加把劲了,还有天杀的手写NN和pla没做完

洗澡后继续肝。。。

2018-01-20 23:54:54


都计划着是周六写那篇计算机科学家八卦的,要说到做到,零食都买好了,开肝

2018-01-20 20:36:51


一直说要写cs版的heroes in my heart,没意外,周末就要开始动笔写了,自己曾经想做的事,都需要一步一步行动起来去实现,fight

2018-01-19 16:38:31


最近在补一些概率的基础,今晚忽然有个人来问我三门问题,然后毫不费力解答出来了,以前大学看到那问题看的解释完全看不懂,现在看是看得懂了,但是我还是认为我的解释更简洁,而且我认为我是有了自己的理解后才明白那份解释的

2018-01-19 00:49:51


今天写代码写到一半,有个逻辑上很紧凑的小功能想包起来,顺手就写个((param)->{...})(var),然并卵,Java并不支持这种写法,发现自己居然还得先去建个Functional interface。。。在python里面写一个加1的匿名函数(anonymous function)并且立刻调用你可以这么写(lambda x:x+1)(10),在scheme里面你可以这么写((lambda(x)(+ x 1)) 10),java?呵呵呵呵,你想用啊,那你得先建个Functional interface,然后还要知道他的方法名叫什么,因为你只能通过((FunctionalInterface)(x)->{ return x+1;}).fun(10)来实现,所以你在Java里面想现场写个lambda函数,1:先建个接口,2:你还得知道接口的方法名是什么,这样用起来感觉Java的lambda存在的意义简直大打折扣

2018-01-18 01:32:18


一整下午都在听空境的音乐,真的超喜欢大妈风格,当然也是超喜欢我女神两仪式

2018-01-15 17:39:07


最近连tweet都少发了,实在懒到忍无可忍了,其实每天都有许多值得记录下来的事情,(,对不写tweet的自己表示强烈的不满

今天终于认真的看懂了林老师在ml foundation里面讲的关于shatter,break point,effective number,growth function等等的内容了,开心,这周就努力看看能不能把这门课刷完,然后尽量在sequence model开课前刷掉概率的一半,然后还要自己手写一个nn,感觉任务不少,想不了那么多了,fightfightfight,生命不止,折腾不息

2018-01-15 15:17:57


今天忽然想着总结半年来的见闻:没有什么烂设计是不能通过加表加字段解决的,有的话,那就加多几个 P

2018-01-11 21:31:03


最近在上NTU的ML foundation,讲到了VC dimension,找到篇不错的总结,大略的看了一下,vc维这个东西似乎在NN界不太待见,在传统的ML界似乎用的比较多,我这种NN厨就先做个简单的了解就好了

2018-01-01 18:29:01


讲起deep learning的历史,不得不提percetron和logistic regression,打算看多一些这条路发展下来涉及的东西,可能会写多一些这方面的东西,为了写PLA(pwrcetron learning algorithm)昨晚翻视频翻书折腾到两点

2017-12-28 09:35:17


前几天写的multi variable linear regression出错一直找不到原因,今天才想起来自己傻傻的带着y也normalizee了(

2017-12-21 01:45:40


最近上NTU那门课程,讲到了一些证明,不过有些地方死活看不懂,还在折腾PLA和用hoeffding inequality证明一些bound的问题,还发现自己依旧几何直觉差到爆炸,非常郁闷

2017-12-17 23:59:37


Capture
落下不知道多久了的Hinton的课(

2017-12-07 01:59:59


很少用java的lambda,刚好前几天有空就复习了下,找到一篇文章讲的还不错,java的函数式风格,有妖气有妖气 P

public class HelloWorld{

     public static void main(String []args){

        CustomizedAdd addNum2 = (x)->{ return (y)->{ 
            System.out.println(y+x); 
            return null;
            };
        };
        CusomizedAdd addNum1 = addNum2.add(10);
        addNum1.add(5);
     }
}

interface CustomizedAdd{
    CustomizedAdd add(int x);
}

2017-11-24 13:52:18


下年要么考研去读书要么就决定出国远离他们,我是怕了这些人,长在了不适合的土壤里的花朵(

2017-11-19 01:27:38


ng都说了

Maybe one common guideline is to actually not try to invent your own settings of hyperparameters, but to look in the literature to see what hyperparameters you work for others. And to just choose an architecture that has worked well for someone else, and there's a chance that will work for your application as well.

怎么听起来就是让你玩ML/DL就是practice first,(,果然要重新度量下我这种偏爱理论的生物和ML的相性么

2017-11-15 02:06:34


最近开始捡起弃了半年的西语,明年要把日语和西语都拿下,不能再懒下去了

2017-11-11 02:32:03


RWBY好看,校园日常,搞笑,非恋爱型,友情,超能力,角色多,世界观独立,梦想,有机战有武打29c5031aeba03214

2017-11-06 02:11:19


昨天一天刷完了Ng的course3,终于能上正片了,不过course2还没有上完,hinton那门也落下来了:-(

2017-11-05 11:29:55


今晚花了点时间在这里练习使用Morse code,刚好看到Wiki在募捐,顺手就拿他的募捐声明练,不过还没码完,等明天继续码,好玩,新技能get,使用的Morsecode对照表是这张17f086c52d6e29f450708218dd729969_720x4096

2017-11-02 02:53:16


今天很不开心很不开心

2017-10-31 18:57:25


从上次遇到有点气的事之后,我思考了一段时间,决定还是保持使用朋友圈的频率吧,因为我本来就和亲友们的交流很少很少以至于他们对我几乎没有什么了解,或者说对我的认识还保持在五年或者十年前的我,这给我在许多事上带来了不便,我当然是不愿意逐个去向他们展示现在的我,那么朋友圈这种广播式的工具也许是改善这种情况最经济的一种手段了,尽可能让他们知道我目前的状态以及纠正一些他们以往的看法,这个就是我决定继续使用朋友圈的原因

2017-10-30 01:19:47


不用朋友圈了,用着好心累

2017-10-22 02:52:04


这两天诸事不顺,心情很差

2017-10-18 12:18:05


买个显示器搞的心情差到爆炸,坏心情还延续到了第二天

2017-10-12 08:15:30


这一集贞德小莫和阿福简直要萌破天际了ớ ₃ờ

2017-10-08 04:52:12


自己推了一遍bp,看看下午有木有空写上博客

2017-10-07 11:32:04


累死了,果然一天刷完一周的课还是很累的,还要吐槽下ng的啰嗦,随便一个科学计算工具都有的broadcasting都要拿出来讲二十几分钟Orz

2017-10-03 01:13:46


第一天就这样过去了,(,趁着这长假,计划把亨利六世看了

2017-10-02 00:56:51


hinton的课讲的好晦涩啊

2017-09-21 09:50:13


终于完成ML课程了,证书也出来了,哈哈,这也算是对我这段时间付出的承认吧9806772804C5E3F7EEC352C44F25D3A2

2017-09-16 21:48:10


这次的任务终于快要结束了,也要准备将换工作的事提上日程了

2017-09-13 21:59:40


今天趁着周末,天气又很晴朗,让身体出去晒晒,促进促进维D吸收看看还能不能长高点。去的地方好大,跑到我累死了,最可惜的是自然博物馆没开,而且还断续下了两场雨(

2017-09-09 18:24:42


昨晚被这里的运营商恶心到了,莫名其妙在博客上有广告,趁着周末配置了证书,全站走https,这下干净了Capture

2017-09-09 02:31:01


本来想弄个vps自动续费失败,不知他们家怎么搞的,我还以为我的博客被墙了,结果上去一看是欠费被关了:-(

2017-09-08 01:18:40


在回老家的路上,这次回去是为了参加同学的婚礼,顺便处理一些其他事,希望是个顺利的旅程

2017-09-01 01:30:11


Geoffrey Hinton的课听得我昏昏欲睡

2017-08-28 00:55:54


当你不再用“有用”或者“无用”去判定一个东西价值的时候,不会因为他的实用性而增加或者减少对他的热情的时候,那才是真正的心中所求之物了。于我而言,例如数学、语言

2017-08-26 02:48:48


学习ML以来,一直没思考过linear和nonlinear模型中的linear是什么意思,今晚查了一下资料,在这里顿时茅塞顿开,根据回答中的说法,一般严谨点应该说a model is linear / nonlinear with respect to the features,一言以蔽之就是能表达为 wx 这种方式的就可以理解为是可以用linear model解决的问题,当然这里的 wx 可以使向量或者矩阵,查阅的过程还参考了这里这里

2017-08-23 01:12:03


最近记忆力严重衰退,可能是因为睡太少了,(,从今晚开始早睡

2017-08-21 20:21:54


有个同学因为和女朋友两个家庭的宗教信仰不同所以有了很大的家庭阻力,一个佛教一个基督教,刚好今天开始读《罗密欧与朱丽叶》,这对简直就是现实版的,啧啧啧,忍不住改编一下:Tom啊Tom,你为什么偏偏是Tom呢,否认你的神明,抛弃你的信仰吧,也许你不愿意这么做,那么只要你宣誓做我的爱人,我也不愿再信基督教了。

2017-08-20 02:34:48


本来就是想看《亨利六世》和《罗密欧与朱丽叶》的,结果我买的是comedy,而这两部是history和tragedy,今天准备看了才发现自己完全买错了615978561B887D7ACC1960551045EB58D5DBB17DB

2017-08-19 17:13:07


听说莎士比亚在《亨利六世》里面黑贞德,这成功引起了我的注意,刚好前段时间趁着降价活动买了本他的喜剧全集,那就让我来看看你到底是个什么人吧,昨晚看完了《错误的喜剧》,接下来看那部大名鼎鼎的《仲夏夜之梦》,然后就看那部历史剧《亨利六世》,为了我贞╯^╰

2017-08-18 01:42:32


今天出去逛了一下,虽然累到脚现在都还在痛,不过感觉也还好,拍了一些照片,在博物馆,俄罗斯区的画中的天使都好好看啊P70813-173239

2017-08-14 03:10:13


昨晚调个向量化的代码调了几个钟,看来还是实践少了些

2017-08-13 11:35:08


11周的ML课程终于完结了,虽然落下了几周的编程作业,周末应该可以补完,有时间把quiz重做一遍做到100%理解,这个时候要喊几句标语给自己打打鸡血吗啧啧

2017-08-11 01:49:52


Ng发布了一批新的课程

2017-08-10 00:55:58


虽然今天没去到CD20,不过想了下在过几个小时fate就更了,还是忍不住一直自个儿开心

2017-08-05 19:54:21


决定了,十月份就辞了这份工作,原因很简单,这里的人实在是差我太远了

2017-08-05 14:09:37


来到这边非常的不开心,我与这些人的相性完全不合

2017-08-05 12:37:01


fa中的黑rider阿斯托尔福(アストルフォ, Astolfo)是法兰克国王查理曼大帝(Charlemagne)麾下十二勇士之一,而这查理曼大帝就是红桃k的原型:D,卡哇伊阿福RiderAstolfoStage1

2017-08-04 23:23:05


终于到了week11,回深圳之前务必完成这门课Screen Shot 2017-08-04 at 00.53.22

2017-08-04 00:57:53


这里的打印店打印东西那么贵,干脆不打了,选了本书在路上看,等到了那边再x打印好了,看来是要考虑要不要买台打印机了

2017-08-02 11:27:20


想到个在飞机上打发时间的办法啦,明天去打印一份r6rs在路上看,回来的时候应该可以看完啦

2017-08-01 01:32:31


昨晚尝试用define重新定义if的语义看看成不成,实验结果居然可以,⊙∀⊙!lisp对语义重载的支持那么强

2017-07-31 00:47:30


忽然想明白一件事了,拉丁语作为学术语言从古代到近代长期垄断欧洲学术界,而现代的主要学科基础都在欧洲搭起来的,这样那么多专业术语都是拉丁语也就说得通了,哈

2017-07-26 07:35:36


写完一篇回答,感觉好累T﹏T身体被掏空的感觉

2017-07-23 20:31:40


终于弄好了Capture

2017-07-23 02:20:19


最近的工作需要对一个项目的函数调用关系进行分析,把那些没有人用到的孤岛函数从项目中去掉,为了做这个事,开始写一个简单的分析php的class和function的parser

2017-07-20 23:53:43


这几天应该就能刷碗w8的课程,w10和w11都没有assignment,这门课应该能很快刷完,不过这门课确实讲的太简单了,准备重新看看CS229,昨晚又作死enroll了一门新的课程Neural Networks for Machine Learning搭配CS229来看,看来没闲日子过了

2017-07-20 10:13:35


这网易,老给我推些未知语言的歌,这让我怎么办呢,大半夜听了总激动个不行,啊天明天起不来怎么办

2017-07-19 01:45:25


从雪のひとひら这首曲认识黒石ひとみ,虽然早就听过她的作品不过那时候还不知道她,挺喜欢她的风格

2017-07-18 00:23:57


橙子:所为何求?
荒耶:真正的智慧。
橙子:荒耶,何处求之?
荒耶:仅于自身之内。
橙子:所向何方?
荒耶:这矛盾的世界——螺旋之尽头。

空境未来福音中荒耶和橙子的对话,在我看来是整部剧场版的思想高潮,面对一个从未放弃过“真正的智慧”的魔法师,怎么能不为之所感动?

2017-07-16 11:04:56


前段时间知道了一部番,叫黑塔利亚,今天中午吃饭的时候看了看,简直笑死了,萌爆了,这种方式讲历史也很不错啊

2017-07-15 14:23:15


发现朋友圈充满各种傻货,充斥着各种无脑的转发,肤浅的感想和广告,还是不用了

2017-07-15 10:26:12


Ng在课上提到不要一开始就想着弄多复杂多好的model,而应该从一些简单的model开始着手实现,不要犯premature optimization的错误,我自己确实经常会犯这种傻,然后结果就是很多东西迟迟不动手,停留在idea的阶段导致啥也干不成,以后得改

2017-07-14 00:32:01


mit-scheme这退出提示...

1 ]=> (exit)


Kill Scheme (y or n)? Yes
Moriturus te saluto.

欺负不懂Latin咯?

2017-07-13 01:16:17


今天早上起来终于看到了Leviticus,然后下午继续看ng课程,刷完了week5的课程视频,最后提到CMU用三层BPNN,以30x32像素input unit实现了不错的self-driving,简洁程度让我惊呆了,没想到三层都能实现,实在太棒了,仿佛接触到了黑魔法O(∩_∩)O~

2017-07-09 00:20:03


感受下prefix expression,啧啧啧, \frac{5+4+(2-(3-(6+\frac{4}{5})))}{3(6-2)(2-7)} 用scheme写如下

(/ (+ 5 4 (- 2 (- 3 (+ 6 (/ 4 5)))))
     (* 3 (- 6 2) (- 2 7)))

呐,其实只是想发发心情顺带写写matjax和markdown,不然估计语法都得忘记了%>_<%

2017-07-08 01:05:52


最近开始看钱乘旦的宏篇巨作《英国通史》(咦,怎么还没讲到吾王),都说看历史要结合当时的地图来看比较好,合适的地图没找到,倒是发现了个好东西,可以根据右上角填入的年份看文明的分布,用了这个东西以后,就想着如果当年自己的历史老师能用上这么形象的东西来教学那该是多有趣的事啊,也不会那么多学生觉得厌烦枯燥了吧

2017-07-02 16:05:02


昨晚找历史地图册找到一个不错的东西,能根据用户输入的年份在地图上呈现文明的分布,打算开始自己整理一些年表

2017-06-30 10:54:09


忽然想起来一些事情,非常郁闷,我不能接受现在这种处境,这里会毁了我的,我要开始做些事了

2017-06-30 09:15:35


看ng的课程看到睡着:-(还是赶快洗洗睡吧

2017-06-27 22:51:06


自从来了这边,人变得浮躁了许多

2017-06-26 18:50:35


在等巨人的熟肉,:-(,果然还是要会日语,不然很被动啊吾的看番之路

2017-06-18 02:51:45


这破房子不能住了

2017-06-12 04:43:44


不想和ta说话了,╯^╰,果然又是不行呢

2017-06-12 00:53:07


想学西语,像弹尤克里里,想画画,想随心的做对话机器人,想充裕的时间上ML和PL的课程,想漫无目的的同时看很多本书,想DIY树莓派产品

2017-06-11 01:41:36


每当我告诉自己就这样吧,就接受这样的现实吧,总有那么一些人会让我不放弃不妥协,明天起来继续奋斗fight fight fight

2017-06-07 01:18:55


好闷热,做啥都没干劲,心情也很down

2017-06-06 20:02:35


The Second Bit of Advice:

When writing a function over a datatype, place a method in each of the variants that make up the datatype. If a field of a variant belongs to the same datatype, the method may call the corresponding method of the field in computing the function.

2017-06-03 12:16:23


知识的工具性只是在某种场合下有条件的展示的属性,而并非知识本身的属性,我探求的只是知识的本身,而这探求的结果如果导致了什么工具性的话那么也只是悠探求知识本身的副产品而已,我所向往的是更抽象更普遍,更本质更为持久的东西

2017-05-31 01:16:04


现在就能预见在我的未来,忙碌将肯定是我的大敌,我喜欢闲暇的生活,因为闲暇我才有时间思考,才能更多的看清各事各物的本质,更加的接近我最为崇尚的真理,同样是闲暇的生活,大多人却从中得到的是空虚和迷茫,原因很简单,因为他们已经不再愿意思考了,至少是不愿意再认真深入的思考了,这些人大概会赞赏“忙碌”,因为忙碌使得他们无暇思考,与他们不愿思考的目标一致所以对于他们来说”忙碌"自然是值得赞赏的,我厌恶的并不是他们赞赏“忙碌”这件事,而是厌恶用“忙碌”的原因得到“充实”的结论从而误导后生让后生们也趋之若鹜般追求忙碌的生活,而把追求闲暇当作是不思进取,懒惰的表现,这样使得追求闲暇的人似乎是做什么亏心事似的,我对于这样的社会风气是非常厌恶的,一个人人都忙碌的社会是没有希望的,没有前途的,这样的社会也不会有未来

2017-05-30 13:17:49


人因为各种目的去探索知识,最开始是因为追求知识的有效性,有用性,例如造一辆汽车,写一段程序,然后是因为兴趣去探求,因为喜欢某件事所以去探索它,最高层次的是为了求知而求知,纯粹是出于好奇,是为了响应自身的无知去探索

2017-05-29 13:57:30


矩阵原来是作为简写法发明的啊,看矩阵乘法就能体现它能将大量的运算打包的能力

2017-05-29 01:26:01


经过一些考虑后决定开始用elementary工作Screenshot from 2017-05-27 03-24-55

2017-05-27 04:52:00


这几天开始看下那套声名卓著的Andrew Ng的ML课程复习下,现在还在看week1的课程,感觉挺不错的,特别各种intuition说的很是通俗形象

2017-05-25 23:10:30


每次因为GFW导致无法及时获取到需要的资料的时候我就会感到无比的因出生在这个国家的悲哀

2017-05-25 20:31:24


遇上个不懂装懂,还喜欢强词夺理的人,非常恶心,理亏了立刻开始说他在日本读研时候的实验室怎么样怎么样,然后路人一看到留日的学生立刻各种赞扬,恶心,这就好像“我是错了,但是我有的是钱”这种恶心的话,当然他拥有的还不是钱财这种东西,只是个小小的留日学生,呵呵呵呵,这有啥好炫耀的,真是不明白了,那群人也是low,就一个这样的level的学生也值得跪舔也是醉了,对于这种人我决定还是远离他们了,为免继续将自己的心情搞坏,我干脆quit那个组,屏蔽掉那群,不quit群是因为我觉得那个群里还是有些不错的人

2017-05-24 23:14:34


今天开始重新读Friedman的A Little Java, A Few Patterns,感觉还不错呐,要不是看这书都不会去注意到abstract class这东西,里面写到

When specifying a collection of data, use abstract classes for data types and extended classes for variants.

用abstract class来定义一个datatype确实清晰很多

2017-05-23 18:52:07


最近因为毕设的原因经历了一些非常不愉快的事情,希望这些事确实已经完结了,我一点都不想再和某些这个学校的员工(我说的是员工而不是老师是因为我不承认他们老师的身份,用老师这个词在他们身上简直侮辱了“老师”这个词)打交道了,实在是恶心的很

2017-05-20 00:28:00


人生真是坎坷啊,结果还是得自己一个人承受,sad

2017-05-13 06:52:44


被deadline逼出来的东西像屎一样

2017-05-03 01:39:06


同学送了书给我,开心,可以将TAOCP还给图书馆了啧啧啧P70502-005518

2017-05-02 00:57:07


我曾经因为出身和成绩以及奖项等等问题遭受某些团队或者个人的轻视,然而我现在却是完全不在乎的,因为第一,所有这些外在的东西都不足于去作为judge我价值的标准,实质上我也是非常不屑于去用那些东西为我”镀金”的,因为我的价值,我的学问是远超那些东西的。第二,这些团体或者人只能凭借这些东西去判断一个人的话那么就表示这个团体或者人是非常无能的,如此的团体或者人一定不会是我愿意打交道的,所以我认为没有加入到一些平庸的滥竽充数的人里面是相当幸运的

2017-04-29 03:35:31


现在很烦躁,读不了书了......(;′⌒`)

2017-04-25 20:04:50


我以前就在我的tweet提起Sapir-Whorf Hypothesis,我是这个弱假说的支持者,难道你所使用的编程语言没有对你使用过程中的数据结构,算法,控制结构,抽象能力有所制约?

2017-04-25 03:09:02


这半个月准备一边做毕设,一边写那篇我打算探讨从数学,哲学,科学到宗教等领域的文章,这几天先决定探讨的论题范围

2017-04-21 16:44:02


昨晚被某不懂装懂的人坑了,看来真的要小心这类人了

2017-04-21 11:39:06


接下来有半个月假期能继续在学校玩,不过我实在很讨厌那些打扰我假期的家伙

2017-04-21 01:43:42


看了下一些期刊,准备投一家试试先

2017-04-17 09:24:23


明天中午回校几天,虽然好多事,不过想到有几天自然醒和自由的日子好开心

2017-04-13 00:39:01


拖延症发作,反应过来的时候刚想着准备发外刊然而老师就和我说要结题了/(ㄒoㄒ)/~~

2017-04-12 01:52:29


Turing在Cambridge的时候居然上过Hardy和Eddington的课,真羡慕那个时代的大牛们

2017-04-09 14:40:19


上班的这两周,很少有空闲时间看书,写博客和学习了,想想人生就要在这样忙碌的日子里跑完真的很不开心

2017-04-09 00:35:54


昨天过HK出庭,感觉其实法官也挺主观的嘛,希望以后不要再遇到这类事了

2017-04-06 19:06:15


I am destroyed

2017-03-27 20:41:50


虽然没有学过game theory不过似乎我已经多次应用到了conflicting self的思想啦

2017-03-25 02:04:35


昨天去体检,抽血之后和隔壁的老医生聊了起来,老医生估计是发现我会粤语就多了兴致,问我是不是来读研究生入学体检:)看来我长得挺有书生样

2017-03-22 20:35:59


写完哲学作业已经凌晨两点半Orz

2017-03-19 02:26:22


最近几天晚上做一些machine learning的review,这几天看decision tree,这里做下归纳简单记录,ID3是用information gain来决定最佳的分裂feature,而使用information gain来算的缺点是往往选取的feature是值域大的feature,但往往值域大的feature却不是最优feature,例如ID之类的,所以C4.5使用information gain radio来算,C4.5的缺点是有时候会发生除0的情况,所以另外还有一种方法使用gini系数来算的,这就是CART(classification and regression tree)了,所以这三种算法的区别就是用来计算的指标不一样,另外说下random forest和bagging,random forest重点就是在训练集里面放回采样取得多个不一样的样本集,然后再在所有的features里面随机选一些features来生成多个不一样的tree,分类的时候按照投票的方式决定类别,bagging的区别就是第一步也是随机放回采样,但是使用全部的features去算,random forest据说效果很好,两次随机极大保证了效果(表示怀疑)

2017-03-18 22:36:30


今晚继续读NLP那本老书,讲到了大名鼎鼎的the Zipf's law,即 f \infty \frac{1}{r} 或者 \exists k, f \cdot r  \infty  kf 是频率, r 是排名,这个law是啥意思?就是说一门language中,一个使用频率在rank10的词的频率是处于rank20的词的频率的2倍,当然这是个很粗糙的law,后来被Mandelbrot修正后的公式能更好的反映现实情况,不过我也不知道Zipf当年统计分析用的是什么语言的什么语料库,这个law的真正价值其实是揭示了一门语言中常用词占了总词汇很小一部分,半常用词占一定数量,而不常用词占了大部分,这也间接说明了用统计学来处理好一些非常见词汇或语句是很困难的

2017-03-14 00:42:10


away from someone

2017-03-13 20:08:54


我是个狂生,我有家学渊源,但我漠视天元术(宋元代数学),讨厌那种市侩的徽商算术(明代商业数学),而偏爱墨家及欧氏几何。我选择了使名理与数理相合的“名数学”,将名实之理,仿作象、数的演算。我知道每一名都有阴阳虚实,而同一名可以只在大、小故(即充分、必要条件)同一,在其余的关系中一阴一阳、一虚一实,由此建立起来的一整套造术算法,是奇特而又美妙的,它使得楚人所卖的无不陷之矛和不可陷之盾可以同世而立,自相矛盾不再矛盾。这是我积十数年心血研究的结果,绝对可靠和完善,它好比我最疼爱的并对其未来前程寄予厚望的独子,今天我将看着它夭折。
  “数百年后,必有用我此说者!”我在心里悲怆地喊出,回答我的是无边的暗夜和沉默。

2017-03-13 02:35:50


好好好,别担心,孤独可能真是我一辈子的事,想到这点其实还觉得挺开心和轻松:)

2017-03-11 19:02:28


我状态的转换总是需要一场睡眠,:-(,好低效啊

2017-03-08 15:45:56


今天开始看一本很老的NLP的书Foundations of Statistical Natural Language Processing,一开篇作者就大谈特谈用统计和概率的方法来分析和处理自然语言比起理性主义/Chomsky学派/绝对规则有多大多大的优势......另一个意外发现有些术语来自拉丁or希腊语这些罗马时代的欧洲主流语言,例如corpus(语料库)来自拉丁语,hapax legomena(罕见词)来自希腊语,语言学里面是不是普遍存在这种情况呢?

2017-03-07 00:02:19


毫不客气地说,我现在收到的offer都是和我的能力应得的回报是不匹配的

2017-03-06 18:22:06


实在是没心思去学那些哲学课程了,我感兴趣的只是部分能用上的那部分科学哲学和知识论理论,扯那么多玄学我听着好烦,哲学于我都从来都是方便则取之,无用则弃之

2017-03-06 14:17:48


今早一醒来就想起前段时间和HIT的基础数学教授和该校的学生讨论的有关数学实用性的问题,其实我在很多场合下都曾和别人讨论过,不过这是最近的一次所以比较有印象,那次讨论也表达了我一贯的对数学推崇的态度,其实数学从历史上去回顾,某些数学定理的实用性可能需要一段时间(有时候可能跨越千年)才能体现出来,而不是短期内可以预见的,因此就会有人认为数学是无用的这一结论,殊不知若干(百这个单位更适合现代情况)年以后打脸了,在量子物理史话里面作者说数学的发展总会先于其他科学,我也觉得是如此,例如黎曼几何之于相对论,矩阵之于矩阵力学,质数之于现代密码学等,第三个例子就是跨越千年的案例,尽管我能列举的例子不多,但是我觉得数学里面应该是很多这种事的

2017-03-06 12:57:10


昨天有个recommended system岗位叫我去面试,以前没怎么专门看过这方面的东西,昨天看了下概览,大概常见点就三种,简单记录下

  • 基于内容推荐(Content-based Recommendation):采用决策树或者向量距离这类办法得到用户历史数据和需要预测样本的分类或者相似度来决定推荐,这种办法不用其他用户的数据,只需要得到待分析用户的历史数据就行,缺点是用户间推荐都是单独计算,细想了下,这种办法只能用在待预测样本和历史样本是同类的内容才行,例如同是电影或同是音乐,然而协同过滤却可以在不同的内容类别推荐中使用
  • 协同过滤推荐(Collaborative Filtering Recommendation):听说是目前最为成功的推荐办法,不过我是还没看论文不知道这说的是不是确实如此,协同过滤基于对用户的分类,表现为同一类用户更倾向有相同的喜好,根据用户最相近的一些用户的喜好的内容加权计算来决定推荐,这个办法相比基于内容推荐好在可以同时推荐不同类别的内容,具有发现新内容(可以发现内容上完全不相似的信息)的能力,总结下这两种,基于内容是面向内容分析,协同过滤是基于用户去分析的,侧重点不同
  • 基于关联规则的推荐(Association Rule-based Recommendation):数据挖掘里面有个经典例子:买尿布的人很可能会买啤酒,例如100个买尿布的人里面有70个买了啤酒这件事,哈哈,这里又想到了贝叶斯,以后就可以在知道用户经常购买尿布这件事上,投放啤酒的推荐,这就是基于关联规则推荐了,这个前提得通过一定的历史数据获取这个关啦规则

网上流传的一份讲的很不好,而且搜推荐系统百度出来基本都只是那篇文章......从这里就体现出该领域中文优质资源的稀缺性

2017-03-04 14:33:29


有着一颗独来独往的心却长着具不争气的身体

2017-03-03 20:53:59


昨晚去图书馆借了几本书,其中就有programming pearls,开篇就是上次面试的时候被问到的问题:P,所谓一美遮百丑,看来一个漂亮的回答在面试这种场合下真的是胜负关键

2017-03-03 02:02:54


在学吉他和尤克里里的过程中涉及到了一点乐理,然后觉得音乐和作为人类主要交流手段的语言有太多的相似之处了,然后突发奇想,有木有音乐语言学这门东西呢,一搜索,还真有,这几天计划看下这门东西的简介看看好不好玩先,似乎与乔姆斯基又扯上关系了,-_-||,今天还发现了一个"十二周入门语言学"系列,不知道质量怎样,打算找个时间看看

2017-03-02 02:52:18


今天凌晨看了Arrival,对于我这种科技迷及语言爱好者来说是非常非常非常惊喜,继Interstellar之后看的让我感到最惊喜且没硬伤的电影了
里面有一段对话让我想起了Dijkstra的一句话,查到的原话应该出自How do we tell truths that might hurt?是这样的(真的不是Dutch?)

The tools we use have a profound (and devious!) influence on our thinking habits, and, therefore, on our thinking abilities.

自然这里说的tools他当时说的是程序语言了,然后勾起我记忆的电影的对话是这样的

Ian: You know, I was doing some reading about this idea that if you immerse youself into a foreign language, that you can actually rewrite your brain
Louise: Yeah, the Sapir-Whorf Hypothesis
Louise: The theory that... It's the theory that the language you speak determines how you think and...
Ian: Yeah, It affects you see everything, it was...

2017-03-01 22:59:32


论文在我和导师之间传来传去不知道修改了多少次,:-(,发表一篇好麻烦啊,而且wps老是出一些让人头疼的问题,明明行距设置为单倍行距,却会因为某些包含公式的行出现行距扩大的情况,有些又不会......
20170301210057
没用MS word,不知道什么情况,不过感觉wps也只能用在日常普通场合用用了,出版物之类的用起它来还是很不好用

2017-03-01 21:09:26


旧坑不填,又开新坑了,:-(,对自己有点无语了P70301-023856

2017-03-01 02:42:54


java的单例模式按照加载时机的不同分为eager init和lazy init,按照是否线程安全又分为线程安全和线程不安全的写法
其对应的写法分别如下

public class Singleton{
    //eager init 线程安全,但程序运行过程全程占用空间
    private static final Singleton singleton = new Singleton();

    private Singleton(){

    }
    public static Singleton getInstance(){
        return singleton; 
    }
}
public class Singleton{
    //lazy init 线程不安全,但有延迟初始化的效果,使用时才会被分配内存
    private static Singleton singleton;

    private Singleton(){

    }
    public static Singleton getInstance(){
        if (singleton == null)   
            singleton = new Singleton();   
        return singleton;
    }
}

一般加上synchronized块来保证线程安全就行了,改为下面

        if (singleton == null) {
            synchronized (Singleton.class) {
                if (singleton == null) {
                    singleton = new Singleton();   
                }   
            }   
        }   
        return singleton;  

单例模式当然还存在例如反射破坏单例机制这种问题,一般通过添加一个isInitialized的成员变量计数,超过2就throw exception就行了

2017-02-25 13:56:30


现在还躺在床上咧,看着枕边的书,到毕业都不知道能不能看到利末记,想想去年买的书都没看完:-(P70225-111459

2017-02-25 11:17:14


这几天都在忙找工作,很不喜欢自己现在的状态,感觉好浮躁:-(

2017-02-25 10:19:36


java提供了两种主要的同步手段,synchronized语句和synchronized方法,本质上我认为是一样的,java里面每个对象都和一个监视器(monitor)关联,锁的操作对象就是这个监视器,因为一个对象就一个监视器,一个监视器就一个锁,所以一个对象中如果包含多个synchronized,但同时只会有一个线程在执行其synchronized块,但注意非synchronized不受影响,关于synchronized的使用有几个地方要注意,1为了使代码更大程度的并发应该尽量选取synchronized语句缩写同步代码范围;2实现全局锁(锁对应类的Class对象,注意Class对象并不是日常说的类的实例)是常见的用法,synchronized(Deal.class)或者synchronized(deal.getClass()),static synchronized也是类似这样的作用;3是一个线程可以多次获得一个对象的锁,可以假想一种情况,同步代码码直接或间接地调用一个方法,该方法也包含的同步代码,如果同一个线程不能多次获取同一个对象锁将导致阻塞自己,形成了死锁

2017-02-22 15:12:11


一般认为初始化块(Initialization Block)的作用就是执行一些在多个重载的构造方法中重复的代码,例如

class Test{
    public String name;
    public Test(){
        init()
    }
    public Test(String name){
        init()
    }
    public void init(){
        // do something...
    }
}

使用初始化块就能这样写

class Test{
    public String name;
    {
        // do something
    }
    public Test(){

    }
    public Test(String name){

    }
}

但似乎这还是不足于说明这东西的必要性,今天发现原来在匿名内部类里面大有用场

interface Animal{
    public void eat();
}
class Test{
    public void test(Animal animal){
        // do something
    }
    public static void main(String... agrv){
        Test t = new Test();
        t.test(new Animal{
            {
                //do something
            }
            public void eat(){
                // eat something
            }
        });
    }
}

如果没有初始化块,你首先要建一个类,实现Animal接口,写构造方法,在构造方法中进行初始化的操作然后才可以new,想想这有多蛋疼,这样匿名内部类的优势完全就丢失了

2017-02-21 16:44:50


今天去参加了一个公司的面试,结果应该是过了,不过对自己的表现十分的十分的不满意,感觉完全没体现出水平,:-(连HMM的原理都讲不清楚了,真是过完年啥都丢了,我想了下,以后还是要多写读书心得,不然自己读过都忘记了,以前总觉得自己初读理解不够透彻,写出来会产生误解就不好了毕竟互联网不缺质量低下的文章,改变主意是因为感觉自己不去写根本就很快忘了,还有不去尝试梳理知识,也不会有高效的知识积累,所以我决定明天起,多写文章多记录

2017-02-16 00:54:30


在家闲着本来应该是更多的写blog和在tweet发发唠叨的,可是因为回老家木有带电脑,用手机登陆后台写东西实在是太不方便了,所以就没写什么呢,今天回到学校立刻觉得元气满满QQ图片20170211220603

2017-02-11 22:07:30


现在看到某些招聘信息实在是搞笑,也不看看自己有没有实力招到满足自己招聘要求的人,呵呵哒,用奥拓的预算还想买到布加迪呢?怎么不说无薪招聘MIT高材生?看来写出那些离谱招聘要求的人是脑部发育不全啊

2017-02-01 23:05:24


这几天真的累困啊,嘛,在大学的末班车参加了一次MCM比赛,无论结果怎样都算是去做了,尽管队友并非完全相性符合,但是还是不错的,第一次对合作有了积极的想法,还算愉快的体验

2017-01-21 02:05:22


最近在看Martin Davis的一本书,中译名叫逻辑的引擎,其实就是一本从Leibnitz开始讲的CS的理论方面的历史,在Kantor发展set theory的篇章上写的尤为精彩,看的好爽:)

2017-01-13 16:44:45


新的一年开始了,听着外面学生们的欢呼然而没有半点激动和开心,有的只是焦虑和郁闷,17年的十二月自己会坐在什么地方?看的又是怎么样一番景象?走出自己熟悉的环境对于我来说还是不太容易呐,还是离开我活到当下为止最为依赖的大学环境就更加的不容易了。最近看书都觉得心很烦躁,这是病了么

2017-01-01 00:20:06


其实呢,人只要能够进行独立思考,就可以抛掉绝大多数那些好像很有道理的别人的人生劝言/人生经验,例如数学对程序员的发展有多重要,例如如何处理和三观不合的宿友的关系,等等

2016-12-31 01:46:48


终于考完试了,接下来大概有半个月准备MCM,充分利用应该可以赶上,虽然这几天浪费了不少时间在一些无关痛痒的事情上,接下来要回归正规,继续学习西语,看书,coding,O(∩_∩)O~

2016-12-24 03:21:12


今晚心情不太好...

2016-12-15 23:56:14


昨天我的毕业照终于拍完了,一天下来都累成狗了,如果未来还读master的话,不想再像这样搞了。因为整天都是充斥着拍照,啤酒,喧哗,K歌,待客之道这些我不喜欢又不擅长的东西,而且我几乎和我的大学同学没拍到什么照片,时间都用来陪我的家人和初高中同学了,明明大学毕业照就应该是和自己的大学同学拍照,记录的也应该是大学四年最真实的那个你而不是为了这场照片而盛装打扮的不真实的你,我对这种风气是很不满的,纪念大学变成了纪念拍照日,邀请同学拍照变成了攀比谁的同学朋友来的更多。不过话说回来,真的快毕业了,四年来却没有非常值得提及的成果,:-(img_2739(逗逼水王弄的卡片:D)

2016-12-09 16:56:42


我的某些行为和中国一些所谓的传统的“美德”有冲突,然后可能导致一些其他人的不可接受,例如关于今天对某教师的教学工作评价,本来我是打算完全按照自己真实想法去评价的;例如今晚MCM队伍选leader的时候,我出于效益最大化的角度去决定让我来挂名,然而可能还是会导致一些人不能很好的接受吧,我凡事都尽量比较客观的去对待,如果世界上的人都是简单些就好了,然后我就不用为这些事烦恼了

2016-12-02 00:01:09


经过这几天的折腾,终于可以开始写代码了,在这次的小组合作中确实踩到不少坑,也注意到了一些新视角,算是一点收获吧,争取两天完成工作然后开始回归正轨,继续学西语,看Bible,折腾自己的东西qq%e5%9b%be%e7%89%8720161129232724

2016-11-29 23:28:05


终于就搞定了,虽然为mathjax莫名其妙的在公式中嵌入中文后就问号的问题折腾了大半天还木有解决,大概是因为字体问题?但是轻松实现了一个tweet功能虽然挺蹩脚不过也算是目前够用了,看起来比以前的博客也舒服多了用着也舒心(*^__^*) ……,明天又要关机房了,暂时就先这样吧

2016-11-27 21:48:24