merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング(書く)、アニメ(みる)、将棋(指す)、数学・漫画(ちょっとだけ好きだけど最近やってない)、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
2017年05月29日(月)

非公開
タグ:
posted at xx:xx:xx

Rustは
・大きな変更点はRFCという形で提案して議論してから実装される
・破壊的な変更点はまず警告を出してある程度待ってからエラーにする
・破壊的かわからない時は既存のライブラリに対して大規模なテストを回す
・全てのPRはマージ前にテストされる
あたりがすごい
タグ:
posted at 22:21:22

非公開
タグ:
posted at xx:xx:xx


実はx86の拡張命令に半精度・単精度の相互変換命令はあったり。(F16C)
IntelではIvyBridge以降AMDではPiledriver以降ならば対応している。
残念ながら1要素用の命令はないみたいだけど。 twitter.com/yaneuraou/stat...
タグ:
posted at 19:56:29

未解決問題というと世界にドラゴンボールと同数あって解くと100万ドルで幾人もの数学者が人生をかけて解けずに死んでいったイメージがあるかもしれない。しかし、ある分野内ではそこそこ有名な問題で、色々な人が暇つぶしに考えてみたけどまだ解けてない、くらいでも未解決問題というのである
タグ:
posted at 19:02:04

どちゃ楽数学bot(再稼働準備中) @solove_math
[問題募集]
「強い定理からクソみたいな命題を示す」問題の寄せ集めを作りたいと思っています。良い案があればください!
以下はサンプルです。 pic.twitter.com/mDGMW3GgFI
タグ:
posted at 17:39:42

use ubnt_intrepid::p @ubnt_intrepid
C++17の進化を見ていても「もっと早く来ていれば…」と思ってしまうし心がすさんでいる
タグ:
posted at 16:05:06

今気付いた。。。
人間と碁を打つのはこんなにも楽で楽しいことだったのか。。。
碁っていいな。。。
AlphaGoから受けたダメージからの回復はまだまだ先とはいえ、LG杯1回戦で楽勝した直後に早速上記Weiboを投稿し大口をたたき始めた柯潔九段(笑) pic.twitter.com/bJWElFHlZJ
タグ:
posted at 15:05:18

真面目な話、15歳以上くらいで18歳以下な男性は、「性的コンテンツを見てはいけないってことになってるけど、見ない人はあんまりいない」という状態で、規則を破って見てしまうのが常習化するので、現代の制度マジでよくないと個人的には思ってるよ。
タグ:
posted at 13:02:44

詰将棋は時間をかけても良い作品が出来るか分からない。指将棋はやればやる分だけ強くなる。指将棋にハマる詰キストの気持ちは良く分かるが、いずれ詰将棋に戻る事になりますよ。
タグ:
posted at 12:17:00



未来の碁サミット。www.youtube.com/watch?v=wvAkGg... ペア碁。序盤で黒勝率75%まで上昇するも古力九段が2回間違えて逆転されてしまったようです。「ペア碁女流棋士の気持ちが分かった?」と言われてしまいました。と局後に古力九段が自虐ネタを披露。
タグ:
posted at 10:49:46


壁登り、もし3級が登れるようになったら、自分のようなセンスない人間でも3級になれるということで、『猿でも登れる3級』という本を書こうと思ったけど、猿が登れるのはそりゃそうだった。
タグ:
posted at 10:26:29

さっきのミーティングでされた質問に対して、"Yes, but Japanese yes."と答えたところ笑ってもらえたので、おそらく「前向きに検討していきたいと思います」のニュアンスは正しく伝わったと思われる。
タグ:
posted at 10:22:18

常識とか人間性とかそういうの、決して内面化することは求められていなくて、「単に知識として持っておいてさもそれを内面化しているように振る舞っておくと波風が立たない」という生存テクに過ぎないということに最近やっと気づいた
タグ:
posted at 01:10:27