masterqのブックマーク / 2011年9月16日

masterq id:masterq

2011年9月16日のブックマーク (7件)

クラウド時代はDNS Pinningが落とし穴になる | 水無月ばけらのえび日記
公開: 2011年9月3日19時50分頃モバツイ (www.movatwi.jp)の作者えふしんさんと、Twitterでこんなやりとりをしました。 OperaってDNSのTTL考慮してない？！多くのブラウザは安全性のために短すぎるTTLを無視したりしますが (DNS Pinning)、それとはまた違う話でしょうか?AWSのElastic Load Balancingで、動的にロードバランサーのサーバが増えたり減ったりするようで、夜明けのOperaがよく全然違うサービスに繋がってしまうことがあるんですよね。少なくともクッキーは送っちゃってますよね...あー、なるほど。それはまずいですね。これは盲点でした……。 OperaやIEなどは、DNSのTTLが短く設定されていても無視してキャッシュし続ける事があります。これはDNSの負荷を減らすというだけはでなく、セキュリティ上の意味もあり、「DNS
masterq 2011/09/16
これは。。。誰が対策すべきなの、、、？

security

dns
リンク
Eventbrite
masterq 2011/09/16
atndみたいなやつ？チケットを印刷してもってくみたい。

event
リンク
GitHub - jgoerzen/twidge: Command-line twitter/identica client [Haskell]
Twidge Welcome to Twidge. Twidge is a tool for interacting with microblogging sites such as Twitter and StatusNet. Twidge is a full command-line client. It is designed to be useful when you're sitting at a shell prompt. It's also designed to work well with the Unix/POSIX/Linux shell scripting environment. It produces output in well-formed and easily-parsed ways, and has various features for workin
masterq 2011/09/16
単体アプリだけど、まともそう

haskell

twitter
リンク
Why: asoftware verification platform
Overview Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. (See the list of supported provers below.) Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, s
masterq 2011/09/16
なんですかこれは。。。

proof
リンク
「Frama-Cによるソースコード検証」 (mzp)
Pythonの処理系はどのように実装され，どのように動いているのか？我々はその実態を調査すべくアマゾンへと飛んだ．kiki utagawa
masterq 2011/09/16
なにこれ。すげーわかりやすい

proof

frama-c
リンク
haskeline - Trac
Haskeline The Haskeline library provides a user interface for line input in command-line programs. This library is similar in purpose to readline, but since it is written in Haskell it is (hopefully) more easily used in other Haskell programs. Features: Provides a rich line editing interface. A ~/.haskeline file allows customization of preferences and custom key bindings. Runs on POSIX-compatible
masterq 2011/09/16
readlineよりおすすめだそうです

haskell

command
リンク
はてなブログ | 無料ブログを作成しよう
超絶品！死ぬまでに一度は食べてほしい煮込み10選ああ。いかにもインターネット！みたいなタイトルをつけてしまった。「超絶品！死ぬまでに一度は食べてほしい煮込み10選」て。読んでほしすぎて大仰な形容詞をつけて数字を入れて読み手の注意を引くタイトル、もうネット記事まるだしである。でも、わかってほしい。…
masterq 2011/09/16
business
リンク
- 2011年9月17日
- 2011年9月16日
- 2011年9月15日