はじめてのにき

_ 批判なき政治を目指す

https://anond.hatelabo.jp/20170624022831

おもしろいなあ。。。

(02:30)

_ 殺人整数オーバーフロー、レースコンディションをそえて

なんか前に概要見たことある気がするけど、 Therac-25 というのが、4人かな、殺したというのの話を斜め読みしてみた

色々あるけど、 PDF だと文字列検索できないのでテキストになってるこれがわかりやすそうだった

http://courses.cs.vt.edu/~cs3604/lib/Therac_25/Therac_2.html

http://courses.cs.vt.edu/~cs3604/lib/Therac_25/Therac_3.html

別々のバグが2つあった感じかな。整数オーバーフローの方は、 setTimeout(SetUp) みたいな感じで自分を再スケジュールしまくる子がぐるぐる回ってて、この子は SetUp 中ですよーみたいなフラグを flag++ みたいな感じでセットしてると。しかし flag は 8bit なので簡単に整数オーバーフローしてしまい、たまたま flag が 0 になってる時に実行しちゃうとこのチェックが無くて、なんか全力で撃つ時は必ず動いてなきゃな装置がまだ動いてない段階で撃っちゃう、て感じかな

このバージョンより前のバージョンだと、ハードウェア的にそれはやらない、てチェックが入ってたけど、「なんかソフトウェアでチェックするからいいやん」と外した結果こうなった…と

安全のためには2レイヤ目が必要、てのがよくわかるというか

(00:40)

_ 訃報を見て

周回遅れですいませんが、なんということもない

http://www.asj.or.jp/tennet/archives/msg07622.html

なんとなく故人に思いはあるものの、お会いしたことあるかといえば1度あるか無いかあやしいくらい、というか脳味噌がスポンジでできてるんでさっぱりわからないよ、てことでなんともかんともだった。正味のとこ僕ごときがなんか言っていいのか

まあでもそんな気難しいキャラでもなかった気がするし、個々人が適当なことを言ったとして怒るような人ではなかったと感じる。なんか僕ごときが語ってよいのかとかは知らない。まあ気にしないとして直近で一番印象に残ってるのはこれ

https://photos.app.goo.gl/9r1h4PhscO2tpoKz2

2016年のICFPCの問題、「えっこれプログラムで鶴を折るとか難しすぎない？鶴が折れる前に心が折れちゃうよ？？」みたいなくだらない、冗談混じりの会話をしたのであった。

まあでも真に自分のかのひとへの印象を言えと言われると、そんな最近のことはすっとんで、というかあまり物事を覚えていないので覚えていなくて…… icfp のコンテストで特に 2004,2005 年あたりで尋常じゃなく優秀な成績を収めていたあたりに行くような気がする。 id:tanakh さんのはてなへの記述で、なるほどこのたなかっていうとんでもない人にさらに優秀な人がくっついてるのだな……

とかそんなことをぼんやり思ったように思う。その時は僕は明らかに彼らに嫉妬していた。今はどうだろうな

(23:14)

_ ディフェンシブ

https://twitter.com/kosaki55tea/status/889776876020826112

おもしろ

こういうのは文化によって色々あるんだろうけど、僕の感覚に近いのは

https://twitter.com/n_soda/status/889780736001064960

だなあ

(19:46)

_ ど田舎うまれ、ポケモンGOをつくる

https://www.amazon.co.jp/dp/4796877037/

すごくいい本だった。パワーがある人ってのはパワーがあるなぁ、とかいうことを思う。なんとなく聞いてたことも多かった気もするんだけど、なんとなく忘れてたかそもそも知らなかったことも多かった。なんとなくパワーあるなあと思ってたけど思ってた以上だったというか。この人も Hack the Cell やってたんだなあ…とか。いやこれはなんとなく会社で話したような気がするので、単に忘れてただけぽいんだけど。

小学生くらいの時にポケモンGOを遊んだ子が中学くらいでこの本を読んで、さらに次に続く…とかなると本当にいい話だと思う。

閑話休題でパッとしない子

https://www.amazon.co.jp/dp/B073P4MN3X

面白い短編だった。芸能人として大成功した元生徒について、先生は「実はパッとしない子だったわねえ、でも優しくしてあげたわよ」とか語っていたが、実はその元生徒からは憎まれていたというような話。

最近ことあるごとに、「あのポケGO作った人ねえ、ホラあの人昔同僚だったんだよねえ」とか調子に乗って喋っているわけだが……

(14:56)

_ DW_LANG_Python

http://www.dwarfstd.org/ShowIssue.php?issue=090720.1

はて…なんで DWARF4 に Python 入れたの……？しかもこれ弊社の人なんだよねえ

(23:43)