killnowのアンテナ

おとなりアンテナ | おすすめページ

1. 2019/11/12 11:52:48 まぁ、そんなもんでしょう。

   できる！並列・並行プログラミング by Preferred Networks 37428 views
2. 2019/11/12 02:00:28 みずぴー日記

   Gallinaによる証明駆動開発の魅力 by Hiroki Mizuno 6226 views

3. 2019/10/21 13:43:32 にわとり小屋でのプログラミング日記

   2019-10-21
   (株)proof ninjaが(株)ドワンゴから資金調達を実施
   proofninja Coq OCaml
   この度、株式会社proof ninja (本社: 東京都板橋区、代表取締役: 今井宜洋、以下「当社」)は、2019年10月に新規株主となる株式会社ドワンゴを引受先として、第三者割当増資による資金調達を実施したことをおしらせします。資金調達額は1000万円です。
   当社は形式

4. 2019/10/07 17:01:52 Faith and Brave - C++で遊ぼう

   2019-10-07
   C++ MIX #6 開催案内
   C++
   C++ MIX #6 (2019/11/20 19:00〜)
   「C++ MIX」は、C++周辺の勉強会です。 標準C++、標準外のライブラリやツールの紹介はもちろんですが、RustやGoなどの後継言語のように、C++プログラマに知ってもらいたい話を広く扱っていきます。 この勉強会では、発表者によるプレゼンテーションだけでなく、参加者のみ

5. 2019/09/21 08:15:01 あどけない話

   Closing connections gracefully is an old and new problem in network programming.In the HTTP/1.1 days, this did not get attention since HTTP/1.1 is a synchronous protocol. However, as Niklas Hambüchen

6. 2019/08/26 02:06:09 純粋関数型雑記帳

   この広告は、90日以上更新していないブログに表示しています。

7. 2019/08/16 04:18:22 取り急ぎブログです

   この広告は、90日以上更新していないブログに表示しています。

8. 2019/08/08 05:17:37 nobu-qの日記

   この広告は、90日以上更新していないブログに表示しています。

9. 2019/08/06 05:33:33 はてなポイント３万を使い切るまで死なない日記

   この広告は、90日以上更新していないブログに表示しています。

10. 2019/07/20 01:26:03 Yet Another Ranha

    この広告は、90日以上更新していないブログに表示しています。

11. 2019/06/27 18:06:21 Oh, you `re no (fun _ → more)

    この広告は、90日以上更新していないブログに表示しています。

12. 2019/06/24 21:01:41 route150の日記

    スマートフォン用の表示で見る
    Forbidden
    https://route150.hatenadiary.org/ は非公開に設定されています。
    はてなブログ
    はてなブログとは
    はてなブログPro
    アプリ
    テーマ ストア
    旬のトピック
    グループ
    著名人ブログ
    はてなブログの目指す場所
    今週のお題
    機能変更・お知らせ・ヘルプ
    はてなブログ開発ブログ
    週刊はてなブログ
    ヘルプ
    障害情報
    お問い合わせ

13. 2019/05/14 06:33:39 oto-oto-oto日記

    スマートフォン用の表示で見る
    oto-oto-oto’s diary
    この広告は、90日以上更新していないブログに表示しています。
    2012-09-23
    桐島、部活やめるってよ
    oto-oto-oto 2012-09-23 00:00
    桐島、部活やめるってよ
    Tweet
    広告を非表示にする
    もっと読む
    コメントを書く
    2012-09-21
    kusotare
    今週の活動はこ̈

14. 2019/05/13 20:51:06 Haskell卒業! - haskell

    route150さんはhaskellグループで日記を書いていません。
    route150さんがご利用中のサービス
    このグループについて
    Copyright (C) 2004 - 2019 hatena. All Rights Reserved.

15. 2019/05/13 17:46:06 iorateの日記

    スマートフォン用の表示で見る
    iorate's blog
    この広告は、90日以上更新していないブログに表示しています。
    Generic Lambdas で has_xxx を実装する
    C++
    本の虫: C++11におけるモダンなhas_x

16. 2019/05/13 16:24:02 古橋貞之の日記

    スマートフォン用の表示で見る
    Blog by Sadayuki Furuhashi
    Treasure Data MessagePack Embulk Fluentd @twitter
    この広告は、90日以上更新していないブログに表示しています。
    2017-08-10
    MessagePackフォーマット仕様にTimestamp型を追加
    MessagePackフォーマット仕様のPull Request

17. 2019/01/01 04:54:51 d.y.d.

    22:47 18/12/31
    競技プログラミング歴20年になった
    1998年に SuperCon ’98に参加したのが始めだったので、今年で20年になったことになります。「コンテスト風景」のリンクを辿ると20年前の私の写真があります。若い…。というわけで、なんとなく記憶をたどりつつメモを残してみようかと思いました。当時は情報オリンピック(IOI)に日本は出ていなかったので（1997〓2004の間休

18. 2011/10/29 13:34:11 Inemuri nezumi diary

    そこで、下書きみたいな気持ちで書いた文章を 不思議の国のイネムリネズミ(Tumblr) に書くことにしました。(追記:URLのスペル変えました、ブックマークしたひとは変えてください、すみません)
    位置付けは次のように考えています: