2017年1月2日のブックマーク (5件)

  • 2017 is not just another prime number

    Good bye year 2016. Hello year 2017. We all know that 2017 is a prime number, but it is more than just another prime number. 2017π (rounds to nearest integer) is a prime 2017e (rounds to nearest integer ) is a prime. The sum of all odd primes up to 2017 is a prime number, i.e. 3+5+7+11+...+2017 is a prime number. The sum of the cube of gap of primes up to 2017 is a prime number. That is (3-2)^3 +

    tmatsuu
    tmatsuu 2017/01/02
    お、おう
  • doesgoogleexecutejavascript.com

    tmatsuu
    tmatsuu 2017/01/02
    Microsoft Bingはjavascript実行結果をキャッシュしてくれないことを確認。YahooJapanはまだクローリングしてないのか検索にひっかからず
  • Coming Soon

    We're under construction. Please check back for an update soon.

    tmatsuu
    tmatsuu 2017/01/02
    javascriptやajaxでコンテンツを書き換えた場合にGoogleのクローラーがどのタイミングをキャッシュしてるか確認。現在はajax後も読んでる模様。これ様々なクローラーの動作チェックにいいね。
  • RSpecを並列実行するgemを作っている話 - Qiita

    これは Ruby アドベントカレンダー 24 日目の記事です。 Railsを長く開発していると機能を追加していくにつれてテストコードも肥大化し、初めのうちは一瞬で終わっていたrspecも気がつけば数十分かかるようになっていたということも多いと思います。テストをCIで回していると、結果が得られるまで作業が止まることになるので、テスト時間の肥大化は結構大きなインパクトを持ってきます。 テストの中にボトルネックがある場合それを解消することである程度の高速化ができますが、純粋にテストの数が多いということになると、全てのテストを実行するのを諦めないのであれば、テストを並列に実行するのが高速化のアプローチとなります。 テストを並列実行するgem テストを並列に実行するgemはすでに世の中にいくつもあります。 rrrspec Cookpad社が作っているrrrspecはRSpecを複数サーバで分散実行し

    RSpecを並列実行するgemを作っている話 - Qiita
    tmatsuu
    tmatsuu 2017/01/02
    ほほう
  • CakeML

    About CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself. The CakeML project consists of the following components, all of which are free software. Language definition. The CakeML language is based on a substantial subset of Standard ML. Its formal semantics is specifi

    tmatsuu
    tmatsuu 2017/01/02
    ほう