この記事は以下のページに移転しました. blog.ryota-ka.me この記事は CAMPHOR- Advent Calendar 2017 の21日目の記事です. @ryota-ka です.普段は HERP という会社でリードエンジニアとして働いています.一昨日19日にサービスのティザーサイトを公開したばかりなので見てください. herp.cloud さて,12月といえば,万人受けしなさそうなネタでブログを書いては「はてブが付かねえ」と文句を言う季節ですが,今年もそういう方針で,TypeScript での型レベル計算について書きます.型レベルでの自然数などが定義できると,リストに型レベルで長さを付けることができて,空リストの先頭の要素を取ろうとしてランタイムで落ちる,という悲劇が生じる可能性をコンパイル時に排除できてとても嬉しいですね. なお,使用している TypeScript のバ
Redux Zero is a lightweight state container based on Redux with a single store and no reducers, 100% written in TypeScript. Less than 1kb (gzip). Made for (p)react ⚛️ By Concrete 💙 We all love Redux. It’s probably one of the few things that are adopted by React, Angular and Vue people. (Thanks, ) But for some cases, Redux is way too much. Maybe you don’t want to add all of that boilerplate to you
英Raspberry Pi財団は、小型コンピューティングボードの新モデル「Raspberry Pi Zero W」を発表した。Wi-FiとBluetooth機能が追加され、価格は10ドル。 2015年11月には、エントリーレベルの「Raspberry Pi」として「Raspberry Pi Zero」が5ドルで発売された。あまりに低価格だったことから、Raspberry Pi財団のオフィシャルマガジン「MagPi」の付録として無料で配布されたほどだった(ただし部数に限りがあったので早い者勝ち)。それ以来、この小型基板は小型アーケードキャビネットから電動スケートボードにいたるまでのあらゆるプロジェクトに使用されている。しかし、このようなプロジェクトの多くで無線接続が必要なため、無線ドングルを追加しなければならず、それがRaspberry Pi Zeroよりも高くつく可能性がある。 新しいRa
映画『Zero Days』より 現在開催中の第66回ベルリン国際映画祭で、アメリカとイスラエルが共同でイランの核施設を破壊するために開発したコンピューター・ウイルス「スタックスネット」を巡るアレックス・ギブニー監督によるドキュメンタリー『Zero Days』がプレミア上映。2月17日には、本作の予告編も「Hollywood Reporter」などのメディアで公開された。 ▼アレックス・ギブニー監督『Zero Days』予告編 『Zero Days』が題材とする「スタックスネット」は、二重スパイを用いイランのナタンズ核施設に導入。しかし途中で制御不能となり、同施設の一部を機能停止させただけでなく、世界中に拡散されたことが2010年に明らかになった。さらに、このサイバー攻撃は就任直後のオバマ大統領が秘密裏に命じていたことも報道されている。 このドキュメンタリーでは、「オリンピック・ゲームス」と
図●スプラウトが提供予定のハッカーと企業を結ぶマッチングプラットフォーム「THE ZERO/ONE - Bug Bounty」(画面は開発中のもの) セキュリティ企業のスプラウトは2015年11月下旬をめどに、ハッカーと企業を結ぶクラウドソーシング事業「THE ZERO/ONE - Bug Bounty(以下、バグバウンティ)」を開始する(図)。Webサービスやアプリケーションの脆弱性を発見したい企業と、善意のハッカーをマッチングする。ハッカーが脆弱性を発見した場合、企業が指定した報奨金が支払われる仕組み。 米国では脆弱性情報の公開とハッカーへの報奨金支払いプログラムを提供する米ハッカー・ワン(HackerOne)が急成長を続けており、同社のプラットフォームには米ヤフー、米アドビシステムズ、米ドロップボックス、米ツイッターなどが参加している。国内で同様のサービスは珍しい。 バグバウンティは
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く