艮 鮟鱇 @anqou@mstdn.anqou.net

あ〜ZaryちゃんRuby 2.7で動かなくなってるのか

@zary ping

あれ〜

@zary ping

あるえ

@zary ping

しんどるなぁ

@zary ping

「CD ROMくらいのサイズのデータ」が約770MBであることってもはや常識では無い感ある

まぁRubyとかErlangとかでも使えるんだけども

Pythonくん無限長整数がネイティブで使えるのえらいよねぇ

いまは前準備でZaryちゃんを別の鯖に移そうとしています

まぁ俺もその横で自鯖にNextcloud入れようとしているので人のこと言えない

草

KULASIS、落ちているという情報が入っているが、俺は普通に時間割が見えるので謎い

講義室に座るというやつをひっさっしぶりにやってる

まぁF*の話というよりSMTソルバ積んだ型システムの話だけど

TwitterでF*の話になっててニコニコしてる