又到一年清华开学典礼时

曾几何时,我再也记不得我有过一个清华梦。

去年是邓俊辉教授

今年是电路课的老师,都是熟悉的面孔

当年的高中教师只有一个人有幸在园子里生活,而那个人不是我。

最大的遗憾或许就是数学那张卷子,抑或是自招那最后的一道题。

我从没有风光过,一切的一切都在为下一次的爬坡做准备。

也罢。埋头苦干,学出新天地,不到博士不罢休。

pygraphviz在windows10 上的安装失利

虽然早有听闻这个库在windows10上之难装,我还是欣然地玩了玩这个东西。

http://www.mamicode.com/info-detail-2422004.html

第一个问题

开始想了想这一定和那两个位置有关系, 于是就看了看,果然不在lib里,而在lib/library/lib里面,果断改掉library_dir,然后就跳过。

第二个问题

果断百度,解决方法就是把xx.i和xx.lib复制到里面去。

https://github.com/Kagami/pygraphviz/commit/fe442dc16accb629c3feaf157af75f67ccabbd6e

妈的太坑。

第三个问题

废话不多说直接上解决方法

pip3 install  http://www.asplos.dev/pygraphviz-1.5-cp37-cp37m-win_amd64.whl 

[Algorithm] Hash Overflow

就Hash Function越界的时候有很多种处理方法,普遍的是找一个XOR based 硬件友好的函数。对Probing而言,有Linear Probing,也有Quadratic Probing, 也有Cuckoo这种双表做rehash的。

上科大逻辑与形式化验证讲座2

讲的是GPU kernel的形式化验证。

大概意思就是形式化生成工具利用kernel给出的漏洞,生成barrier。由于gpu会有很多的并发程序,导致data race ,在cpu中有死锁机制,而gpu就是barrier。

原子化步骤的概念还是很清晰的。这个概念真的和量子纠缠很有关系,就是一个黑盒,只知道原子步骤的

关于最近看到的很多新加坡人

细数现在我身边和远在天边的新加坡人,让我对新加坡这个地方变了一个态度。
之前确实就只是觉得这是一个没有未来的地方。
但当我看到他们当中的强者,我自叹不如。
第一个人是创今元讲DT的一个老师,出生在新加坡,来中国已经8年有余。

不是这两位(是陆初杰,我是忘记拍了。)

第二个是我最近看到的paper,Xiaoning_Du来自浙大和新加坡国立。