タグ

2014年9月17日のブックマーク (5件)

  • Kindle Voyage leaks on Amazon with a new way to turn pages

    By Tom Warren, a senior editor covering Microsoft, PC gaming, console, and tech. He founded WinRumors, a site dedicated to Microsoft news, before joining The Verge in 2012. Source Amazon Germany and Amazon Japan (Google cache) | Via Caschys Blog Amazon appears to be preparing to launch new Kindles. Several listings spotted on the German version of Amazon show a new "Kindle Voyage" e-reader with a

    Kindle Voyage leaks on Amazon with a new way to turn pages
    udzura
    udzura 2014/09/17
    値段がユーロでよくわからん…
  • Communicating Sequential Processes - Wikipedia

    Communicating Sequential Processes(CSP)とは、並行性に関するプロセス計算の理論のひとつである[1]。プログラミング言語Occamにも影響を与えた[2][1]。 CSPは1978年、アントニー・ホーアが最初に考案し[3]、その後かなり改良されていった。CSPは様々なシステムにおける並行性を記述し検証する、形式仕様記述ツールとして産業で利用されてきた。たとえば、T9000トランスピュータ[4]やセキュアな電子商取引システム[5]などの例がある。理論としても、応用範囲を広げる(より大規模なシステムの解析に使えるようにする[6])などの研究が行われている。 ホーアの1978年の論文で提示されたCSPは、プロセス計算というよりも質的には並行プログラミング言語であった。後のCSPとは構文が著しく異なり、数学的に定義された意味論を持っておらず[7]、無制限の非決定

  • Goroutine Synchronization : D-7 <altijd in beweging>

    (以下はgo 1.2.x時点での話です。将来的に仕様がかわるかどうかはわかりません) これを読んでいて、こういうの気にしてない人多いんだろうなーと思って、書いてみます。元のポストはdeferの挙動について語っているように見受けられるけれども、これは要は複数スレッドで実行されるコードについて、プログラム終了時に同期とか取りたくない、という話だと思ったので、このポストのdeferを正しく動かすには…というところからどういう形でgoroutine同士で同期を取る方法があるのか、一例を書き出していきます。 TL;DR; goでいくらgoroutineが気軽にかけるからと言って、複数スレッドで処理が行われているので同期はキチンとやらないとダメですよ。 deferの基 goではLLのノリでコードを書けるのが売りの一つですが、メモリ管理はしてくれるものの、様々なリソース解放も全て自動というわけではあり

    Goroutine Synchronization : D-7 <altijd in beweging>
  • tenpu | ファイル転送サービス|note

    株式会社イノベーター・ジャパンが運営するファイル転送サービス |【セキュリティ実績】10年間無事故 | tenpuのプラン比較はこちら ▶︎ tenpu.me/pricing

    tenpu | ファイル転送サービス|note
    udzura
    udzura 2014/09/17
    お疲れさまでした! そういえばヌーラボさんのSwarmに事故で東亜飯店の画像を登録してしまった...
  • Amazon RDS における MySQL 5.6 のパラメータ設計例 - bekkou68 の日記

    (最終更新日: 2017/9/25) はじめに production 環境で MySQL 5.6 動かすためのパラメータ設計についてまとめました。この記事がカバーする内容は次のとおりです。 パラメータを設定するスクリプト。 各パラメータにおける変更するかどうかの判断基準。 想定されるメモリの消費サイズを算出してパラメータが妥当かどうか確認する方法。 サービスの状況に応じててきぎ読みかえてください。 【結論】パラメータグループ作成・パラメータ設定のスクリプト 結論として、パラメータグループを作成し、パラメータを設定する aws-cli のスクリプトを置きます。Amazon AWS の Web Console から設定することもできます。 #!/bin/sh # == パラメータグループ作成 aws rds create-db-parameter-group --db-parameter-gr