タグ

slashdotに関するikd9684のブックマーク (3)

  • MITが「システムクラッシュしてもデータ損失が発生しないことを数学的に証明した」というファイルシステムを開発 | スラド IT

    データの損失がほぼ起きないファイルシステムを開発したとMITが発表している(MITNews、Slashdot)。 一般的なファイルシステムではデータを書き込んでいる際にコンピュータがクラッシュした場合、そのデータは正常に書き込まれない。データ保護のためのジャーナリング機構を持つファイルシステムもあるが、これはあくまでファイルシステム全体の破損を防ぐことを目的としており、個々のファイルについては正常に書き込めない場合もある。 このファイルシステムについての詳細は明らかにされていないが、「クラッシュの際にデータを失わないことが数学的に保証された初のファイルシステム」だという。詳しくは10月のACM Symposiumでで公開される予定で、コードを含んだファイルシステムの立証環境を提供するとしている。

    ikd9684
    ikd9684 2015/08/28
    “ただし書き込みはできない”
  • 「イワシに活を入れるためマグロ投入」はマスコミの創作? 名古屋港水族館に真相を聞いてみた

    水族館イワシに迫る危機 「緊張感を」マグロ軍団投入へ(朝日新聞デジタル) 朝日新聞が3月26日に掲載した「水族館イワシに迫る危機 『緊張感を』マグロ軍団投入へ」という記事が一部で話題になっています。 群れから離れてしまう“はぐれイワシ”に活を入れるため、名古屋港水族館がクロマグロ15匹をイワシの水槽に投入する――というニュース。この記事自体もかなり注目されたのですが、その後「当水族館の飼育係です」と名乗る人から、Slashdotの掲示板にこんなコメントが寄せられました。 実は連日の報道の目的の部分「イワシに喝を入れるためにマグロ投入」はマスコミの創作です。最初に記事を見て職員はみんな驚きました。そのような話はしていなかったからです。 要約すると、以前から水槽内にマグロはおり、今回は数が減ったマグロを補充するために入れたのであって、イワシたちに活を入れる目的はなかった、という内容。たちまち書

    「イワシに活を入れるためマグロ投入」はマスコミの創作? 名古屋港水族館に真相を聞いてみた
    ikd9684
    ikd9684 2013/04/02
    嘘を嘘と見抜けないと云々。
  • 「こっそりインストールして位置情報を追跡」というAndroidアプリ「カレログ」 | スラド セキュリティ

    家族やパートナーが現在どこにいるかを把握するスマートフォンのGPS機能を用いた位置情報通知サービスです。あらかじめ彼氏や家族の持つAndroid携帯電話に、カレログアプリをインストールしておけば、彼氏の現在のGPS位置情報を常にチェックすることが可能です。 というもので、一日であっと言う間にTL(Twitterのタイムライン)を埋め尽くし、総理大臣指名よりも大ニュースになってしまった。インターネット時代のストーカーかという着目点が多かったが、まぁその通りですな。 かの虚構新聞も「カレログ」女子、海岸の落とし穴に落ち軽傷 湘南との記事を掲載し応援している。 一方、我らの高木先生もさっそく注目、Twitterでの発言がひろみちゅ先生による「カレログ」の違法性検証にまとめられている。

  • 1