lizyのブックマーク / 2018年7月8日 - はてなブックマーク

lizy id:lizy

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

AbemaTVはただのSSR じゃねぇんだよ
2018/07/06 Frontrend Vol.12 - サービスの誕生と成長発表者: - SSRについて @kubosho - CDNについて @ktknest https://frontrend.connpass.com/event/90107/
lizy 2018/07/08
ssr

cdn

fastly
リンク
F*(F Star)の複雑な型システムの何が嬉しいのか？ - Amosapientiam
マイクロソフトが開発中のF* という依存型プログラミング言語を少し触ってみました。この言語には強力で複雑な型システムが組み込まれています。現状、依存型言語は世間にはあまり広まっていませんので F*とは？複雑な型ってなんだろう？複雑な型システムを組み込んで何が嬉しいんだろう？何が嬉しくないんだろう？と疑問をお持ちになる方も多いだろうと思います。この記事ではF*で使われている複雑な型の一部と、複雑な型を持つことの利点・欠点の一部を述べ、それを簡単なコード例を通じて体感してみます。疑問に対する答え F*とは？マイクロソフトと Inria が開発中のプログラミング言語です。依存型や monadic effect などが組み込まれており、複雑な仕様が型で表現できます。構文は OCaml や F#などのML系関数型言語に似ています。詳しくは下記のリンクたちを参照。 F* (プログ
lizy 2018/07/08
language

f*
リンク
Lambda@Edge で CloudFront キャッシュヒット率を向上させるんや！ | DevelopersIO
CloudFront はクエリ文字列毎のキャッシュが可能ですが、パラメータの順序、大文字小文字の違いによって、別のキャッシュと判断されます。Lambda@Edge でクエリ文字列を標準化し、キャッシュヒット率を向上させる方法をご紹介します。みなさん、Lambda@Edge 使ってますか！？「いまいち使い所がわからない・・・」という方も少なくないのではないでしょうか？今回はユースケースの一例として、クエリ文字列を標準化することでキャッシュヒット率を向上させる方法についてご紹介したいと思います。クエリ文字列のキャッシュについて理解する CloudFront では Query String Forwarding and Caching の設定により、クエリ文字列パラメータに基づいて個別にキャッシュすることが可能ですが、ここで注意したいポイントは、パラメータの順番や、大文字小文字のレベルで別の
lizy 2018/07/08
aws

aws lambda
リンク
【ラストピリオド】第11話感想壁の内外で超大型巨スパイラル出現 : あにこ便｜アニメ感想サイト
今度の報酬はいつもの100倍！喜ぶエーリカとカンパネルラに送り出されたハルたちを待っていたのは、傍若無人に振る舞うカッテ村の連中をどうにかしろというハザマ村、イバリ村の依頼だった。スパイラルを飼い慣らすカッテ村の相手はさすがに無理と諦めたハルたち。そこに現れたワイズマンは……。脚本：白根秀樹　絵コンテ：二瓶勇一、小林孝志　演出：野上良之作画監督：冷水由紀絵、佐野はるか、坂本哲也、上田みねこ、中西愛、中田久美子、玩拓ｶﾝﾊﾟﾈﾙﾗ「すごい以来が来ましたよ！ハザマ村というところからの仕事なのですが…なんと！」ｴｰﾘｶ『報酬がいつもの100倍だ！』ｶﾝﾊﾟﾈﾙﾗ「イエーイ！」
lizy 2018/07/08
あー、元ネタそういうことだったのか……「喜びグミ」で気にはなってたけど

anime
リンク
- 2018年7月9日
- 2018年7月8日
- 2018年7月6日