タグ

2018年7月14日のブックマーク (7件)

  • Haskell入門のサンプルコードのLTS-12.0対応 - Pixel Pedals of Tomakomai

    つい半年前に最新のLTSへ対応したばかりなのに、気がつくと LTS-12.0 が出て、 ghc-8.4 を Stack から使えるようになった。コミュニティが活発で、非常にありがたいことである。 ということで、 Haskell入門 のサンプルもLTS-12.0に対応させたブランチを用意した。と言っても、いくつか Stackge の管理下から外れてしまったパッケージが出てきたのを調整したくらいで、コードは何も変更していない。 github.com さらに素晴らしいことに、これらのコードはすべてWindows 10の最新の WSL 上で動くことを確認できた。macOS上で試すのと同様に、 Windows 上でも書籍上のコードをそのまま試せる のだ。10章の Spock を使ったWEBサーバも起動して localhost へアクセスして動かすことができる。Windowsが頑張ったのかGHCが頑張

    Haskell入門のサンプルコードのLTS-12.0対応 - Pixel Pedals of Tomakomai
  • SecureMemを使用することのセキュリティ上の利点について

    Basic HTTP auth with Scottyを読んで、Data.SecureMemというモジュールを使うと、タイミング攻撃を防止(軽減?)できることを知りました。 その後SecureMemについて調査してみたのですが、あまり情報がなく、唯一参考になりそうなのがData.SecureMemのドキュメントの次の記述でした。 SecureMem is a memory chunk which have the properties of: ● Being scrubbed after its goes out of scope. ● A Show instance that doesn't actually show any content ● A Eq instance that is constant time そこで質問なのですが、これら3つの性質が一般的にはどのようなセキュリテ

    SecureMemを使用することのセキュリティ上の利点について
    igrep
    igrep 2018/07/14
    難しそうな質問が来たなぁ。ちょっと気になる。
  • COMP Drink TB v.2.0|COMP ドリンクタイプ トータルバランスドモデル

    ※COMP Powder400kcalではシェーカーのみお届けします ※COMP Powder 製品のみ付属となります。 ■定期購入の初回配送日は、「最短発送」もしくは「希望日指定」を行うことが出来ます ■定期購入のお届けサイクルは、二回目の発送から適用となります ■お好きなタイミングをご指定いただけます ご希望の日付でお届け  例) 毎月18日午前中 日数の間隔指定でお届け  例) 30日ごと午前中 ■次回お届け予定日の変更をご希望の場合は、お問い合わせ窓口までご連絡お願いします

    COMP Drink TB v.2.0|COMP ドリンクタイプ トータルバランスドモデル
    igrep
    igrep 2018/07/14
  • Cloud Haskellについて調べてみた - Qiita

    Cloud Haskellは"Towards Haskell in the Cloud" by Jeff Epstein, Andrew Black, and Simon Peyton Jones という論文で提案された、Haskellで分散環境で動くプログラムを書くためのDSLです。その実装としてdistributed-processというライブラリがあります。論文の著者であるJeffを中心に今も活発に開発が続けられており、歴史については公式によくまとまっています。 Cloud Haskell 公式サイト Basic messaging Cloud Haskellが採用しているのはErlangに影響されたメッセージパッシング型の通信モデルです。Erlangとの大きな違いはメッセージに型がついているところでしょう。 ping :: Process () ping = do Pong par

    Cloud Haskellについて調べてみた - Qiita
  • コロンビア 設計ミスで山あいの巨大な橋を爆破 | NHKニュース

    コロンビアの山あいで建設が進められていた巨大なつり橋に設計ミスがあることがわかり、安全を確保するため、橋を爆破する作業が行われ、およそ300メートル下の谷底に崩れ落ちていきました。 11日に行われた作業には、100キロ以上の爆薬が使われたということで、橋が爆破されると、ごう音とともに煙を上げながら、わずか5秒ほどで粉々になって、およそ300メートル下の谷底に崩れ落ちていきました。 この橋は、完成すればおよそ450メートルもの長さになる予定でしたが、ことし1月、建設中の橋の一部が落下し、作業員10人が死亡する事故が起きたため、工事が中断されていました。 地元当局が事故の原因を調べた結果、設計ミスがあることがわかり安全を確保するため、爆破することを決めたということです。 この橋は、首都につながる新たな道路として期待されていたことから、地元当局では今後、同じ場所に再び橋を建設することにしています

    コロンビア 設計ミスで山あいの巨大な橋を爆破 | NHKニュース
    igrep
    igrep 2018/07/14
    こわい
  •   :日本経済新聞

    igrep
    igrep 2018/07/14
    マジか…
  • 駅の券売機、スマホで現金引き出し 東急で19年度から - 日本経済新聞

    東京急行電鉄やゆうちょ銀行、横浜銀行などは13日、駅の券売機から現金を引き出せる日初のサービスを始めると発表した。スマートフォン(スマホ)の画面を券売機にかざすと利用でき、2019年春にも東急線の各駅での提供開始を目指す。将来的には東急以外の沿線にも広げたい考えだ。横浜銀がGMOペイメントゲートウェイと共同で開発したスマホ決済サービス「銀行Pay」の仕組みを活用する。スマホ画面に表示したQR

    駅の券売機、スマホで現金引き出し 東急で19年度から - 日本経済新聞
    igrep
    igrep 2018/07/14
    手数料も高いしめったに使わなさそうだけど、どうなんだろう。コンビニのATMもほぼ使ったことないしなぁ。