Pokémon GO のバージョン0.79.3 (Android / iOS) へのアップデートを開始しました。※iOSは App Store上では1.49.3 と表示されます。 すべての方へ行き渡るにはお時間がかかりますことをご了承ください。
— Pokémon GO Japan (@PokemonGOAppJP) 2017年10月16日 - 07:48
度々すみません．トラ技11月号付録基板について補足致します．
— トランジスタ技術 (@toragiCQ) 2017年10月15日 - 12:28
・付録基板関連の記事はp.101以降の「特設記事 付録基板ではじめてのIoTづくり！IoT Express」に載っています．
・プログラムの書き込み方法はp.109で紹… twitter.com/i/web/status/9…
WPA2の脆弱性の件。
— Sim (@Sim0000) 2017年10月16日 - 13:02
blackhatのは12月にロンドンで発表される予定。実装ではなくプロトコルの脆弱性なので特定のメーカーとかという話ではないみたい。タイトルには鍵再インストール攻撃とある。
blackhat.com/eu-17/briefing…
Sim0000は『4、4、4、0』をつかって10にしてください。
— Sim (@Sim0000) 2017年10月16日 - 13:16
shindanmaker.com/217387
4! / 4 + 4 + 0
なんていうのかなあ。最近のスマホ時代に教育が追いついてない感じ。
— Sim (@Sim0000) 2017年10月16日 - 14:04
Wi-Fiを暗号化するWPA2に脆弱性発見～対応のあらゆる機器が影響 pc.watch.impress.co.jp/docs/news/1086… pic.twitter.com/wXPSzIsfGr
— PC Watch (@pc_watch) 2017年10月16日 - 13:50
何の事かと思ったら、無線LANのアンテナだったｗｗｗ twitter.com/yu_tkb/status/…
— Sim (@Sim0000) 2017年10月16日 - 14:05
優秀な社員は退職するとき「素晴らしい仕事のオファーが思いがけず舞い込んできた」と言い訳するが、これを信じる人は、とんでもないお人よしだ。 優秀な社員が辞めてしまう本当の理由（Forbes JAPAN） headlines.yahoo.co.jp/article?a=2017…
— ゆな でぃじっく (@yuna_digick) 2017年10月15日 - 21:03
Take your #FPGA development to the next level with the Intel HLS Compiler — shipping November 6.… twitter.com/i/web/status/9…
— Intel FPGA (@IntelFPGA) 2017年10月6日 - 06:31
Intelの高位合成ツールはなぜARMのコードを吐かないのか?!
— Sim (@Sim0000) 2017年10月16日 - 14:11
プロトコルのformal verificationという分野の研究があるけど、実際には応用されてないということなのかな。標準化されたプロトコルは検証できるような形式記述も同時に公表すべきだと思う。
— Sim (@Sim0000) 2017年10月16日 - 14:20
メモ。プログラミング Coq
— Sim (@Sim0000) 2017年10月16日 - 14:29
iij-ii.co.jp/lab/techdoc/co…
formal verificationというと、フランスのINRIA。
— Sim (@Sim0000) 2017年10月16日 - 14:32
INRIAはmiTLSなんかにも関わっている。
— Sim (@Sim0000) 2017年10月16日 - 14:33
miTLS: A Verified Reference Implementation of TLS
mitls.org
日本だとNICTってことになるのかな。
— Sim (@Sim0000) 2017年10月16日 - 14:35
Cryptographic Protocol Verification Portal (CPVP)
crypto-protocol.nict.go.jp