はじめてのにき

_ nethack タイムアタック

https://pellsson.github.io/

サーバとRNGを同期させて、7分15秒。楽しすぎる

nethack 覚えてないので、

https://nethackwiki.com/wiki/Wiki

を見て手順を解読

• Find non-magic fountain next to a wall (manually)
• →とりあえず壁際にある泉まで行く手順をローカルで手動で発見、それを再生。壁際使うのは壁にぶつかるとターン数使わず乱数調整できるかららしい。これに6分かかった
• 90 wishes. Eyes to phase-jump through walls. 60 c!oGL. ~+100 MB
• →90回 #wish 。 https://nethackwiki.com/wiki/The_Eyes_of_the_Overworld で透視、呪われたレベルアップの薬を60個(魔除けとってからの地上への脱出のため)、 +100 マジックベーン(他の武器じゃないのは特殊効果のためなのかな？)、あと書いてないけど瞬間移動の巻物を10枚くらい確保してる
• Genocide LcPUn (due to lazy bot code ;))
• →リッチコカトリスプリンアンバーハルクニンフを虐殺(ログ見ると巨人も殺してるように見えるが？)
• Tele Vlad, phase-jump tower, get candelabrum.
• →ブラド殺して燭台拾う
• h-strats to provoke Rodney (who is not allowed to return by RNG)
• →よくわからない。 h-strats てなんだろ？単に体当たりでイエンダー殺したってだけかな
• Wait for quest
• →クエスト。待つてどういうことだろうか？
• Level-tele to jumping distance from quest leader (save realtime over landing next to).
• →瞬間移動でクエストリーダーの近くへ
• Go to end
• →最下層へ
• Land jumping distance from square
• →瞬間移動で祭壇のとこへ
• Phase-jump to priest
• →僧侶殺して魔除け
• c!oGL to top (Mysterious force not allowed. Lovely.)
• →呪われたレベルアップの薬で脱出
• Hallu for RNG manip without walls (just press space)
• →混乱してRNG調整しやすくする
• Force portals relatively close on Earth, Air, Fire.
• →乱数調整でポータルを近くする
• Ascend.
• →昇天

(10:54)

_ コインハイブ裁判

なかなかのひどさだな…この様子ならたぶん勝つと考えて良いのかなあ

https://twitter.com/shonen_mochi/status/1085103069933666304

(20:54)

_ Grenade! Dependently Typed Neural Networks

https://mmhaskell.com/blog/2017/9/25/grenade-dependently-typed-neural-networks

(00:30)

_ 三角関数

https://twitter.com/jun_makino/status/1082311642950455297

https://twitter.com/jun_makino/status/1082311645802618887

なんか少しうれしい

http://shinh.skr.jp/m/?date=20190106#p02

(01:34)

_ matz on reddit

https://twitter.com/yukihiro_matz/status/1082418360501948416

名文だと思う

以下のへの反論だと思う

https://www.reddit.com/r/ruby/comments/ad46f9/whining_ruby_evolution_is_taking_too_long/

(21:39)

_ 神

https://twitter.com/fuongomachima/status/1082123744397516800

すご

(21:07)

_ 福祉

https://togetter.com/li/1305625

の話がとても面白くて、特に、

https://twitter.com/syakkin_dama/status/1081731649832857601

以降の話になるほどなあ、と色々わかった気になった

(21:43)

_ 三角関数

優先順位とかは考えて良いよなあと思う。微分積分は他の色々を遅らせてでも早く教える価値があると思う、とか

(21:45)

_ TypeScript 不要論

https://qiita.com/standard-software/items/0b2617062b2e4c7f1abb

びじねすろじっくーという感じのコードだと、割と、テストカバレージ100%なら型チェック不要！てのそれなりに説得力ある気もするんだよな

相互に理解が足りてない感があるやりとりに見え、実際は理解はあるんだけどスルーしてるくらいのなにかに感じた

(13:00)

_ TODO

TVM について

再建について

(13:01)

_ 今年

なんか近年になく色々あったなー

良いこと楽しいことがとても多かったのが良かったことで、ただひとつ悪いことがあった

(16:50)

_ コント

https://ken-horimoto.com/20181228115315

ブログ自体はすごく面白く(funnyという意味で)読んだ。

で実際聞いてみた、ら、やはり事前の解説通りすごく面白い(funnyという意味で)。

ただなんか、後半まで聞いていくと、これなんか、CS関係のことで、コイツわかってないだろ、くらいに思うくらい、適当に喋っているというか、いい加減なことを言ってるような気がするところがところどころ。本当にわかってないかどうかはわからないが

なんにせよ、わかりやすく説明できるならするし、できないならなるべく頑張る、というのが良いことだと思ってるので、良くないな、笑ってる場合でもないのだろうか、とか思う

(02:49)

_ 輪るピングドラム

dアニメストアというのが無料体験できるということだったので、仕事しながら横目で見てたのだけど、よくわからなかった

http://blog.livedoor.jp/kottori/archives/51934222.html

こんなにマジメな話だったのか…

(11:19)

_ char8_t

https://naruse.hateblo.jp/entry/2018/12/24/013446

なるせさんが書いてた内容が、ずいぶんとしっくりきた

(01:57)

_ これが

https://twitter.com/ttuusskk/status/1076904199323971584

見たかったよね

(01:58)

_ 我らコンタクティ

をすすめてもらって、読んで、その後、これ好きならハックスとか映像研とかも好きですかねーとか言ってた

よく考えるまでもなくあまり似てないけど、どういう分類の仕方してるんだろう。なんか主人公が趣味に没頭してる感？

(02:01)

_ to_h

https://techlife.cookpad.com/entry/2018/12/25/110240

の

["Foo", "Bar"].to_h {|x| [x.upcase, x.downcase] }

を見て、これがアリなら to_s もブロック取っちゃダメなのかな、と思った

[1,2].map{|x|x**x}.join('')

が

[1,2].to_s{|x|x**x}

になるというような

(11:58)

_ glog

pytorch も TVM も glog 使うモードあるのか…

https://github.com/pytorch/pytorch/blob/cca247635c6edb323176eeac7a18d3e9ab71c558/cmake/public/glog.cmake

https://github.com/dmlc/dmlc-core/blob/master/include/dmlc/logging.h#L38

(16:44)

_ 12x + 1 = 13

https://www.quora.com/If-12x-1-13-what-is-x

自明に見える問題でも、ちゃんと手順踏んで解いてないと、困るよ、て話かな。確かに一見で答えがわからないと答えられないという人がいる気がして、なるほどという感じ。

(22:12)

_ マンガ

マイホームヒーローが面白すぎた

のでそれ以外で今年読んで面白かったマンガを思い出すと、波よ聞いてくれ、卯月妙子全部、ミステリと言う勿れ、薫の秘話、あたり

あと引き続きヒストリエレイリとダンジョン飯とひなまつりは面白い。レッドとハイスコアガール終わったのはまだ今年か…

(03:38)

_ char8_t

https://qiita.com/yumetodo/items/54e1a8230dbf513ea85b

文字列ライブラリはあった方が良いと思うけど、プリミティブはchar型でいいじゃん、 ASCII 以外は2級市民でいいし、 Ruby 1.9 も Python 3 もバイナリ扱いにくくなった、と意識低い人間ですが

なんか絶賛されてる雰囲気だったのだけど、正直あんま論旨にピンと来なかったかなあ

欧米がーみたいな論調に違和感を覚えるからまともに読めないというのもあるのかもしれない。 wchar_t とか日本の人が多大な貢献をしてると K&R 日本語版の前書きに書いてあるわけで。。今となっては wchar_t とか黒歴史なのでしょうけど、それが欧米だけのせいかというとたぶん違うし、昔の誰かが間違ってたことをもって、現在も断罪してる感があって、ちょっとな

僕としては basic_string と wstring を捨てて、何からも継承せず byte 文字列しか扱えない string が欲しいです。あと iostream とかできれば全ての strxxx はデフォルトで全ての locale を無視してほしい。その上で気が向いたら国際化文字列クラスとかあったらいいと思うかな……いやなくてもいいかもしれない。よくわからないので、知らない

(04:02)

_ TVM / Halide

どうもこれ、基本的なとこは自分で作れるレベルな気がするんだよなあ。作りたくなる……が、やめた方がいいのだろうなあ

誰かマジメに一緒にやってくれる人がいたらいいんだけど

(04:04)