Dumbo Faster Asynchronous BFT Protocols 翻译
微博上看到篇论文介绍:
原文是这个https://eprint.iacr.org/2020/841.pdf
很有意思。TODO
《山海情》观感
周末把山海情刷完了。非常值得看,从里面能体会到主旋律电影电视剧的长足进步,从主题上看,这也确实是一部让人信服的命题作文。而且可贵之处在于,这部剧里面没有一点狗血的地方,情节让人觉得合理,不是为了表现而设置,也没有为了吸引观众而增加戏剧性。总的来说,真实就是最大的力量。尤其里面很多细节让人有二刷的想法。
最近一直在想不同的社会形态下不同阶层的人会有什么体验上的不同。中间遇到缅甸政变的事情,顺便也去看了下电影《昂山素季》。人到一定年纪会变得客观很多,翻之前的博客明显还是有那种愤青的感觉在,这几年就明显不会冲动的去想一些事情了。客观的讲,在中国或者新加坡的政体下,社会均衡相对要好很多,高福利社会相对不利于财富积累,但是利于社会公平,低福利社会有利于社会创新,但是必然影响社会公平。目前看,社...
clubhouse体验
最近试用了一下clubhouse,算是凑个热闹。
体验clubhouse之前觉得似乎就是个聊天室的翻版,相当于村头无所事事老大爷谈天的地方,但加了几个讨论感觉确实是一个给背景不同的人提供了不错的交流途径,尤其是加了几个政治局,听了之后你才会觉得其实他们是这样想的哦。疫情实际上给用户普及了在线会议的使用,而音频更大的拉近了沟通的距离,clubhouse这种聊天室也降低了参与的门槛,避免了单向的你说我听。让我想起多年前T大梁博的西瓜大会。
当然仔细想一下其实有很多现象值得玩味。clubhouse也不是一个很新颖的东西,何况国内也有一款app递爪非常类似,而一直不瘟不火。所以到底是什么催生了clubhouse的现象级火热呢?一致的好评是因为clubhouse确实促进了沟通提供了革命性的交...
c++11的不定参数
不定参数之前其实用的比较少,一个项目里面能用到的大概只有log函数什么的。C++11支持了新的不定参数定义,之前也看过,但是毕竟使用的场景少,也没怎么研究。最近看了一下,感觉还是挺有意思的,至少比C++11之前方便了非常多,可以灵活的应用到很多场景里面,特别是模板。
之前C++ 或者C语言里面经常会看到这种写法:
#define log(...) \
printf(__VA_ARGS__);
// tuple example
template<typename ... T>
void f(T ... args)
{
cout << sizeof...(args) << endl; //打印变参的个数
l...
总结下最近的生活
房子终于落定了,经历了北京这魔幻的一年,该上车还是上车了。2016-2017发生了太多事情,感觉很多时候是被现实推到了这个状态,很多时候没有什么选择。晚上听高晓松和郁可唯的《一叶知秋》,突然想起大学的那些日夜。时间的流逝,生活的匆忙,偶尔想想曾经的那些简单美好的日子,觉得怅然若失。小时候盼着长大,上学的时候盼着工作,真的工作了,买房了买车了,又感念之前那些一无所有的日子。骑自行车穿梭在校园的时候,从来没想过以后会怎样,自习室老旧的座椅,后花园参天的大树,静谧的日子里,翘课看阳光投过树叶的缝隙落到校园的青石路上。曾经觉得平淡的东西,现在回想起来,似乎再也找不回来了,回想起来仿佛上天的恩赐,封存在记忆的深处,再也不会打开了。
之前很喜欢收藏这些记忆的东西,老照片,曾经的笔记本,以至上学时...
gcc的格式化字符串检查
之前很好奇为什么printf参数类型跟格式化字符串不匹配的时候为啥有时候可以报错,有时候不能报错。printf的时候如果不匹配经常会看到这种错误:
format ‘%s’ expects type ‘char *’, but argument 12 has type ‘struct S3ListHead * const’
很多core是因为这种问题导致的,所以能放到编译期检查的话,确实有助于提高代码质量。后来白哥指点gcc有单独的attribute来指定检查匹配。作为一个编译器,真是良心啊。
format (archetype, string-index, first-to-check)
The format attribute specifies that a f...
506 post articles, 64 pages.