弃显卡选择GPU服务器

近些日子,一直测试AutoDL的GPU服务器上运行katago。

无论是katago程序还是网络都非常稳定。目前性价比最高的是2080Ti服务器,1.24元一个小时,运行katago的速度甚至高于新贵rtx3090,价格却只有其一半多一点。性能低一半的rtx3060价格9毛9一小时,运行sabaki对弈,速度有些慢,但如果运行lizzie进行棋谱分析,配合文字录入,倒也合适。

目前显卡降价是遥遥无期,我也已经断了这个念头。因为按照3060显卡的价格,即便每天运行十个小时服务器,也足够使用一年了,而且还没有噪音的烦恼。

每次急匆匆开机,急匆匆关机,都有当年在财院花钱上机房的感觉。不过那时候486机房一个小时还要1块5呢,现在价格已经算是很便宜了,只是说相对价格,下降更多的,还是热情。

同编剧延续同名角色

昨天球赛转播中场休息时候切换频道,看到某频道正在播放电视剧《对手》
偶尔看了几眼,男主角的名字叫李唐,女主角名字叫丁美兮。第一反应就是这不是电视剧《面具》里面孩子的名字吗。
今天顺手浏览了一下《对手》的资料,真看出现在编剧地位不行了,查了好几个网站,才查到本片的编剧,果然跟《面具》是同一个人。
现在似乎编剧也懒得换名字了,《新世界》里面,无论是三个男主角金爷、铁林、徐天,还是女主角田丹,都是延续着编剧上一部作品《红色》的名字。
除了懒,当然也有感情成分在里面。

不联系有不联系的好处

昨晚10点多,儿子结束高数补习后,主动视频过来,有些意外。
原来是冬至,儿子嫌学校食堂水饺不好吃,专门点的外卖,结果还是不好吃——北京的水饺只能是算是水饺皮包馅子糊弄人而已。
估计是看到我发的水饺图片,回想起以往的幸福时光,动了思念之情。
都说没有消息是最好的消息。同样,孩子在外,不联系是因为过的还好,该联系的时候自然会联系。
挺好挺好。

搬家半年第一次包水饺

搬家半年多了,终于在冬至这天第一次包水饺。
也不只是因为家里少了一位,也不是没有心情懒得包,主要是搬家的时候,无论面板还是盖垫,包括擀面杖全都被抛弃了。
跟第一次搬家不一样,虽然知道只是临时租住三年而已,但还是恨不得把磨刀石都带上。这次搬家,搬到最后,连一本书、一张纸都不想再带了。
新买的能卷起来的胶垫,盆盖当盖垫,冬至的饺子味道还是原先的味道,不免又开始计划购买高粱杆的盖垫,因为小子快回来了,也快过年了。
慢慢又回到原先的轨道。

无语的锁文原因

前天简书提示我一篇文章被锁。一看是写了有段时间的,关于小说《小妹妹》的读后感。看了一遍,除了说好莱坞里无好人,人心险恶,也没有什么违规的。
今天在看一个网友同样发牢骚的简文时,才知道为了何事被锁:原来我在文末顺带提到了前段时间大火的《鱿鱼游戏》。
本来对简书这种挖坟式的锁文,已经很无语了,也懒得申诉。而因为这个原因锁文,更是感觉滑稽,根本谈不上什么AI,就是最原始的一刀切而已。
如果说前几天视频剪辑新规,对视频网站冲击很大,但作为文字网站的简书,是不是神经过于敏感了?

好客服的标准

最近几日测试AutoDL的GPU实例,运行稳定正常没有发现问题,倒是在计费上发现了一个bug。

系统计费是按照整点计费与到时计费相结合。昨天巧了,正好刚过10点关机,结果系统出现计算bug,不知道这不到一分钟该怎么计算,直接重复上一次计费按一小时收费了。

把情况反应到客服,客服很干脆地直接给了10块钱的代金券。

当时感觉可能客服感觉系统调整复杂,又怕投诉,直接给钱了事。

结果今天更巧,关机的时候,又是过整点不到一分钟。

当时心里那个囧啊,不知道的还以为我卡bug蹭红包呢。

还好,进入系统查看费用,计费正常,应该是已经修正那个计算错误了。

这倒符合我对客服的理解:对外联系快捷,处理迅速;对内权限分明,反馈及时。

京城求学第一次大考

早上起床调试机器的时候,发现右下角出现Steam登录的提示,把我吓了一跳:这个点应该是小子参加考试的点。跟他妈确认考试时间,他妈更紧张,担心儿子是不是玩游戏忘记考试了。
这倒还不至于,应该是同学登录他的账号了。
果然11点半,小子回信说考完了。
他老妈给转了200块钱,美其名曰:考试营养费,孤独火锅钱。
这财迷居然很久没有收钱,又让我们瞎猜测了半天,等收钱时候才知道,他们同学已经走在外出吃饭的路上了。
前几天视频的时候,在吃过一次孤独石锅鱼后,儿子算又找上了同吃的伙伴,并对一家重庆火锅赞不绝口,虽然辣的不轻。
结束视频,我还有些奇怪,儿子很少吃这种火锅的,看来是真的在学校憋坏了。
孩子他妈说:什么憋坏了,是原先吃火锅吃伤着了。
想想也是,8岁那年暑假在北京,大夏天烈日炎炎,从北体大走到华联,连着吃了不少天的火锅涮肉,心理阴影面积肯定不小。
国庆节假期最后一天,送儿子返校的公交车上,途径这段路线时,我指给他看,他脸上的夸张表情,表明他对这段“美食之旅”还是记忆犹新的。
时过境迁,希望这四年会是不一样的记忆。

katago在AutoDL几款GPU实例下benchmark测试

前几天误打误撞注册了AutoDL后果然有些停不下来,算上折扣,要比阿里云、腾讯云的gpu服务器更为合适,同时AutoDL是容器化实例,这样初始化在几秒内完成,而阿里云等初始化过程中的GPU驱动、框架搭建时间有些过于漫长了。如果把时间考虑在内,AutoDL性别比就更高了。

但AutoDL受实例限制,暂时无法编译TensorRT Backend版本,编译的是cuda11.2版本。在不同GPU实例下简单测试了一下katago的benchmark,权重为kata1-b40c256-s10359230464-d2525387336。

使用阿里云最低端的Tesla T4,4核cpu,15G内存服务器作为参考。

在使用sabaki对弈感觉速度尚可,但经过测试,NVIDIA RTX 3060 / 12GB的成绩与阿里云的Tesla T4比想象中要差不少。

作为TeslaT4的替代者,NVIDIA RTX A4000 / 16GB成绩相比TeslaT4略好一点,也符合AutoDL首页算力排名。AutoDL北京地区实例均使用RTX A4000。

NVIDIA RTX 3090 / 24GB成绩两倍于NVIDIA RTX A4000 / 16GB,同样符合算力排名。

最令人吃惊的是NVIDIA RTX 2080Ti / 11GB,成绩直逼阿里云TeslaV100 16G。katago测试过程中,

第一次测试居然认为成绩出现误差,提示“Optimal number of threads is fairly high, increasing the search limit and trying again.”自动重新测试了一遍。

不愧为显卡核弹。难怪黄厂长严令禁止数据商将游戏显卡用于数据服务器上。其价格居然还要低于NVIDIA RTX A4000 / 16GB,这也是性价比最高的GPU实例。

AutoDL注册链接

大竹英雄隐退,再次错过好年代的棋士

今天看新闻看到大竹英雄隐退的新闻。
虽然大竹英雄名位日本六超之列,但在国内唯战绩、头衔论为主流的年代,大竹是被低估的,甚至曾在一本主流刊物上看到过一篇文章,对所谓的竹林时代颇为不屑。
这主要是年代差的问题。
在江崎诚致的《昭和的棋》中,作者对大竹英雄评价颇高。他承接了昭和战前战后两代棋手,他是俊杰辈出新木谷道场的大师兄,无论是棋艺上,还是在生活上。
因为年代差,因擂台赛而起的国内围棋热潮中,大竹英雄的棋艺与辉煌历史,被三位师弟的耀眼光芒掩盖。
其实,现在就连六超,甚至一代王者李昌镐也沦落如此。
大竹英雄在发布会上谈到了AI,他很尊敬AI,很欣赏AI,而AI的棋,棋型其实很漂亮,只不过用的人不懂而已。
可惜,美学棋士,龟步大竹英雄,又错过了好的年代。

不一样的区域,不一样的年代

上午倒腾数据,不觉到了中午感觉饿了,惦记超意兴把子肉很久了,便出门解决肚子问题。
以前这个点出门少了点,也可能是今天暖和一点,感觉院子里到处都是孩子,和看孩子的老人。
出了小区门,门口台阶上还背靠背坐着两位,一个是倍精神的小丫头,另一个从年龄看,看起来应该是爷爷或者姥爷。
以往在超意兴吃饭的,多是工作一族,还有就是以后估计再也没有看不到的培训机构的老师,或者学生。
今天进了超意兴,估计也是到了饭点,里面不少是老人带着小家伙在里面吃饭,好家伙,那叫一个热闹。
今日看着新鲜热闹,可能是因为身处不一样的区域,也许到了不一样的年代。