Proof Market
This is a proof market for Coq. The list of all problems Create a new problem Recent answers How to get proofs done for bitcoins Create a new problem wait for somebody to solve the problem on recent entries pay bitcoins see the proof How to get bitcoins for proving find a problem on the list of all problems (optional) contact possible payers solve the problem post your solution with a price and yo
「交通テロ」が現実に？ 制御装置の脆弱性突く攻撃を実証
テロリストが信号機を操る映画「ダイ・ハード4」さながらに、大都市の交通を混乱に陥れることも可能だという。 セキュリティ企業IOActiveの研究者が4月30日、世界の主要都市で交通管制システムに使われている装置のハッキングに成功したと発表した。装置の脆弱性を突いて攻撃を仕掛ければ、テロリストが信号機を操る映画「ダイ・ハード4」さながらに、大都市の交通を混乱に陥れることも可能だとしている。 IOActiveのブログによると、問題の装置は米国や中国など世界10カ国で採用され、米首都ワシントンやニューヨーク、英ロンドンなどの主要都市の交通システムに使われているという。 研究者はこの装置に複数の脆弱性を発見したと報告。悪用すれば装置を完全に制御して、交通管制システムに不正なデータを送信できてしまうとしている。信号機を操作したり、電光掲示板に表示される制限速度を操作したりして、交通渋滞を引き起こした
「Evernote の中で暮らす」と決めると楽だという話 - higepon blog
この記事は Evernote すばらしい！というものではない。面倒くさがりやが最終的にたどりついたのは2周半くらいして Evernote だったという話。 何か欲しい情報があったらどうするだろうか？多分 Google で検索する。何かメモをしたい場合は？ChangeLog メモ？howm? Simplenote?。もう Evernote でいいよ。消極的な意味で。設定とかほとんどいらない。マルチデバイス対応も簡単。(Dropbox とか組み合わせなくて良いんだぜ！） メモと一緒に図をくっつけて保存したい。plain text 以上に構造化してメモを取りたい。もう Evernote でいいよ。消極的な意味で。 何か保存したいときは Evernote でやれば、探すときも Evernote の中だけを探せば良い 例 旅行する。飛行機チケットの情報は Gmail に届いた予約確認メールを Web
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
