FreshRSS完全に理解した(XPathスクレイピング
FreshRSS完全に理解した(XPathスクレイピング
最初にページ開いたら日本列島全体が表示される小縮尺の地図に大量のアイコンが表示されてて、これだけで転送量やばそうだなと思ったら、アイコンをラスタライズした静的な透過画像のタイルで表現されてたのだいぶ賢い
2030 年代、旧暦が 2033 年、GPS が 2036 年、32bit unixtime が 2038 年に問題が起きるので厄 decade 感あるな
2038 年は 16 ビットの修正ユリウス日も溢れるので、何も対策してない TV だと電子番組表とかが壊れる(たぶん
一応、受信機の出荷年などと比べて過去の日付だった場合には 17 ビット目を 1 として解釈するという workaround が ARIB の規定で示されているらしい