「Haxerから見たJSX」という感想文を書いてみた。 - Qiita
HaxeからJSXをスパイ活動してきました@nobkzです Haxerから見たJSXについて。 そもそもなぜHaxerなのにJSXのAdvent Calendarに参加したか? 12月7にきしださんが主催していたイベントに参加したときのことでした。言語パフォーマンスについてのイベントで、いろいろと勉強になったのですが、それで、JSXの人(@kazuhoさん )が来ていました。普段AltJSとして、CoffeeScriptや、Haxe(AltJS以外でもですが。)、TypeScriptなどは書いたことがありましが、JSXは一番疎いところであり、また、「JSXは速い」って散々言われてそれに疑問を抱いていたので、丁度良い機会でした。 それで、いろいろとJSXの高速化の話しを聞き、なるほど納得して、じゃあ家に帰って実際にJSXでコードを書いてみようと思いました。んで何を思ったか、 「せっかくだしJ
キャッシュレス社会のスウェーデン、現金は近い将来消えるか
スウェーデン・ストックホルム（Stockholm）郊外のAspuddenで、カルチャー雑誌「Situation Stockholm」を販売するNina Galataさん。手にしているスマートフォンには雑誌の代金と寄付を受け付けるカードリーダー機能がある（2013年10月29日撮影）。(c)AFP/TT NEWS AGENCY/JONAS EKSTROMER 【12月21日 AFP】スウェーデンの首都ストックホルム（Stockholm）で路上生活をしているペータ(Peter)さん（55）は食べていくのに必要な2つの物──雑誌とデビットカード読み取り機──を携えてスーパーの前に立っている。 「Situation Stockholm」は貧しい人が収入を得ることを目的に販売されている雑誌だが、ペータさんを含め、この雑誌の販売者はここ数年、ある問題に直面している。現金が使われる頻度が減ったため、雑誌
パソコンの電源鳴きから4096ビットのRSA秘密鍵が解析される | スラド セキュリティ
イスラエル・テルアビブ大学の研究チームが、GnuPGが暗号文を処理する際に変化するパソコンの「電源鳴き」を取り込んで処理することで、4096ビットのRSA秘密鍵を1時間以内に解析できたそうだ(RSA Key Extraction via Low-Bandwidth Acoustic Cryptanalysis、 論文PDF、 Hack a Dayの記事、 本家/.)。 多くのCPUでは与える命令や結果によって消費電力、発熱、発するノイズなどが変化し、これを観察することで実行中の命令やデータを外部から推測することができる(サイドチャネル攻撃と呼ばれる)。通常この攻撃はスマートカードや小さなセキュリティチップなどに対して行われるが、このチームでは過去に処理するRSAキーによってPCの発する音が変化することを発見していた。 今回の実験では主に高感度マイクを標的PCの排気口に向け、アンプやデータ収
定理証明系 Haskell
この記事は Haskell Advent Calendar 2013 および Theorem Prover Advent Calendar 2013 二十日目の記事であり、更にTCUGの新刊「Coqによる定理証明」の販促記事でもある。 型システム再考 Haskell は静的型付き言語だ。それだけでなく、強力な型推論や表現力の高い型システムを備えている。 型とは何だろうか。 こうした質問に対してよくある答えは、「値の種類を区別するためのタグ」になるだろうか。Int型は整数だし、Bool型は真偽値で、[Int]型は整数値リストを表す型だ。なるほど、値の種類を区別するものに見える。 しかし、この答えは間違ってはいないが、もっと相応しい云い方が出来るだろう。それは、「型は不変条件である」というものだ1。この言明は別に私固有の見方というわけではなく、ある程度の型レベルプログラミングをやった事のある人
リバーシのビットボードの操作アルゴリズムのDiagramsを使った可視化
作成日時 2013年12月22日 06:06 JST 最終更新日時 2015年09月08日 22:27 JST タグ Haskellアルゴリズム この記事は Haskell Advenct Calender の17日目の記事です。遅れてしまって申し訳ありません。svg画像が表示できるブラウザで閲覧してください。 学科の課題で夏休みにHaskellで リバーシAIの実装 を行ったのですが、その際に考えた盤面処理のアルゴリズムを画像として可視化したいなと思っていたので、Haskellで図形描画をするライブラリである Diagrams を使って行いました。 ビット演算を駆使してビットを並び替えるようなアルゴリズムは好きなのですが、そうしたアルゴリズムは概して暗号じみています（ビット反転 などが例）。その手のアルゴリズムを上手く画像で表現する、めずらしい試みかと思います。 ビットボードとは リバー
元カレの評判をみんなで共有！ 女性専用の男性格付けアプリ「Lulu」が怖すぎる｜ウートピ
今、アメリカで女性が男性を格付けして、女性同士で情報を共有する「Lulu」という女性限定のアプリが話題を呼んでいる。こちらのアプリは、ワーナーブラザーズで働くキャリアウーマン、アレキサンダーさんが立ち上げたもの。きっかけは、彼女が一年付き合っていた彼と別れた際に、友人が「無料の新しい女性のソーシャルネットワーク・アプリがあれば、女性の間だけで男のレビュー情報が見られるのに」と言ったことだという。このアプリを使えば、「あの男はこんなに最低！」という風に、女性同士でfacebook上の男たちをタグ付けできるというのだ。 Facebookでつながっている男性から”犠牲者”を選ぼう さっそくダウンロードして試してみた。（アメリカのiTuneストアのみダウンロード可） アプリを立ち上げると、自動的に自分のFacebook上の男性画像一覧が現れる。なかなかの圧巻。 まずは、評価をつけたい男性、言ってみ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
