fcicqのブックマーク / 2016年10月26日

GitHub - facebook/infer: A static analyzer for Java, C, C++, and Objective-C
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
fcicq 2016/10/26
see http://fbinfer.com/docs/racerd.html for race detector (java only)

compiler

debug

concurrency

java

ocaml

facebook
リンク
http://i-satoh.sakura.ne.jp/download/presentation/QCON20161024-Satoh.pdf
fcicq 2016/10/26
have read. http://www.publickey1.jp/blog/16/qcon_tokyo_2016_3.html

event

hardware

presentation
リンク
GitHub - baidu/ins: iNexus, coordinate large scale services
fcicq 2016/10/26
chubby / zookeeper in raft

distributed
リンク
List of fallacies - Wikipedia
A fallacy is an error in reasoning that undermines an argument's support for its conclusion.[1] In academic usage, the term usually applies to arguments, although it is sometimes used more broadly for errors in reasoning in explanations, definitions, questions, or other forms of discourse.[2] A fallacious argument may nevertheless have a true conclusion; the defect lies in the inadequate reasoning
fcicq 2016/10/26
informal logic. see also cognitive biases
リンク
- 2016年10月27日
- 2016年10月26日
- 2016年10月25日

はてなブックマーク