02:20:38
icon

昨日1日を死んだように寝て過ごしたらかなり調子よくなった

03:28:26
icon

iced latteを頼んだのに温かいのが来た。まあ室内だしいいけど……

04:01:18
icon

中野

04:23:58
icon

型検査とか検査例外とか事前/事後条件とかユニットテストとかは全てバグを排除するためになんらかの「保証」をプログラムに追加しているものと見られるけど、それぞれの手法が提供できる「保証」の質的な差異を定義した言葉とか研究とかってないのかな

04:26:23
icon

型書けやとかPrecondition書けやみたいなことをチームに啓蒙したいんだけど、書くと何が嬉しくて書かないと何が嬉しくないのかを他人を説得できるレベルで正確に理解できてない感がありつらい

04:31:04
icon

そもそもプログラムを書くと何が嬉しいのか

06:41:58
icon

npmってもしかして何をpeer dependencyに持っているかを知るには実際にパッケージを落としてくるしかない?

07:15:08
icon

mikutter丼、終わってる表示名の人しかいなくてふぁぼられたとき誰にふぁぼられたのか分からん

07:16:10
icon

@toshi_a mikutter丼のミラーはないですね……

07:16:52
icon

@toshi_a 鏡はあるけど表示名は出ない

07:18:16
icon

鏡を見たときに表示名を出すためには寿命の半分払ってておくれの神と契約とかする必要がありそう

09:52:14
icon

他人の給与を知ってしまうと、会社が決めた一次元の数値で人間を評価するバイアスが無意識下でかかり、かつそれを回避できないから知りたくない、と言ってる人はいた

09:57:02
icon

個人的にはナンセンスな主張だと思うけど世の中にはこういう人間もいる、社会……

10:43:25
icon

あずにゃんの給与

12:08:44
icon

QoLが少し上がった

14:55:25
icon

turami

16:15:53
icon

アズサ