はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

[hisasann]

すげぇ・・・

[ysk_lucky-star]

ここまで圧縮できるのか

[kurumigi]

『gzip するので、id を a, b, c, d, ... と振るより a, aa, aaa, aaaa, ... と振ったほうが小さくなるというおもしろいことに。』

[miya2000]

「gzip するので、id を a, b, c, d, ... と振るより a, aa, aaa, aaaa, ... と振ったほうが小さくなるというおもしろいことに。」/ブックマークURIの間違いをidコールを使って巧みに指摘されたｗ

[yshl]

SVGゴルフ

[as365n2]

“Safari と Chromium で色が違う不思議”

[itochan]

idを #aaaaaaaaaaaa よりも #ｉｄ とか #stop とか #x1 のようにしたら（既出の定義語を使ったら）どうなのかな　　aa+ の方がいいのかな　/　aaaをFFF（ないしfff）にしたら（略　　疑問だけ。

[edvakf]

id:miya2000 ちなみに YUI の JS Comprssor などでは gzip することを考えてローカル変数を小文字だけにするそうです。