はまやんはまやんはまやん

hamayanhamayan's blog

Japan Tech News #030 2020/06/29

hamayanhamayanがインターネットを巡回して得た情報まとめ。 "Japan"と言うには主語が大きすぎる。

Hottest

  • Dropbox での同期のテスト 確信を持って同期の中核コードを書き換えるまで
    • 効果的なテストのためにシステムをまずモデル化するというのは別の所でも使えそうな発想
    • 不変条件を持ってくるところに形式手法を感じる。アカデミックな人がいたのかな?
    • 一般にテスティングはレグレッションが目的であるが、ランダムテストによって探索的にバグを発見できる
    • ランダムテストの再現性担保は当然であるが、エラー発生の最小構成を自動で見つけてくれるのはすごい
      • 再現性を確認しながら、条件を消していって本当に必要なものだけ取ってくる
      • とても人間らしい感じ。モデル化の恩恵も感じる
    • モッキングの恩恵は速度にも表れてくる(デイリービルドしたいのにテストに3日かかるようでは間に合わない)

競技プログラミング

セキュリティ / CTF

☕ 技術 / 雑多

[emoji:813] 音楽 / エンタメ / デザイン

[emoji:190] 流し見