中でも特に（:don:でよくやり取りする人達にとって）面白いと思うのは第2部の「違った考え：中国の知的財産について」で、ここではハードウェアスタートアップを立ち上げ、深圳に暮らしたこともある著者が中国の「ニセモノ」事情について冷静かつ公平に、体験談を交えながら分かりやすく伝えています。

ハードウェアハッカー ～新しいモノをつくる破壊と創造の冒険：書籍案内｜技術評論社 https://gihyo.jp/book/2018/978-4-297-10106-0

『ハードウェアハッカー』という本を読んでいるのですが、この本は非常に面白いので機会があれば是非読んでみてください

The FunnelWeb Literate Programming Tool http://www.ross.net/funnelweb/

これすき

Symantecの証明書に関するエラー内容が分かりやすくなっている（これは私が自ら設定を有効にしているだけで、Firefox 63はSymantecの証明書をデフォルトで許容します。当初63で予定されていたSymantecの証明書拒否は影響の大きさから64に延期されました）

tz-announceメーリングリストは年に10回前後と程々の頻度で世界中のタイムゾーンの様子に関する情報が届くので購読おすすめです

先日話題になったモロッコのタイムゾーン変更に対応したtzdata 2018gがリリースされてますね

これ私も気になる

AWSにおける形式手法 - masateruk’s blog https://masateruk.hatenablog.com/entry/2018/10/23/094048

「AWSにおける形式手法の記事（ https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf ）を読んだ。特に重要だと思われる示唆を3つあげると以下の通り。

・産業界では長年形式手法は多大な工数をかけて比較的容易なコードの断片を検証するというイメージがあったが、これはまったくの誤り。現実の問題に適用可能である
・アマゾンでは10の現実のシステムに適用して、すべてで効果が得られた。難解なバグの発見したり、正当性を犠牲にすることなく確信を持って最適化を施せた
・7つのチームでTLA+を使用。エンジニアは2−3週間で学習することができる」

私がなぜかPlayストアからアトリエオンラインを勧められ続けてるのもしかしてmikutterをインストールしているからでは

あー、UCもそういわれればそうか