ブロックチェーンちょっとわかったけど手を動かしてないから実質なんもわからん

少し前にここで話題になっていたZen、Fstarを検証に使っているらしくてつよい

FstarとかMSRと言語オタクしか名前を知らないまであると思っていた（偏見）

ブロックチェーン技術入門 | 岸上 順一, 藤村 滋, 渡邊 大喜, 大橋 盛徳, 中平 篤 |本 | 通販 | Amazon https://www.amazon.co.jp/dp/4627871716

オンラインに最新のコードとドキュメントがあるのでコードの解説に重点を置いた本は避けて、「一般向け」の本も避けて、ましてや「今更聞けないビットコインのすべて！」的な本は全力で避けた結果、これを読んだ。
この分野の基礎的な用語の意味と最新より少し前辺りまでの動向が簡潔に要約されていて、私にとってちょうどよかった。

これを読んですぐコードを書けるわけでもないけど、私はすぐコードを書く予定がないので問題ない

とはいえ https://www.zenprotocol.com/ja/learn を読んで言ってることが概ね分かる程度の知識はつく

Zenという名前のその手のシステム、 https://zensystem.io/ と https://www.zenprotocol.com/ の2つあるらしくて厳しい気持ちになってきた

校正支援、ツール化が進みつつある分野ではある

意味的なものは難しいけれど、文法的なものはtextlint、prh、redpenなど、自動化する試みがあれこれ見つかる

プロジェクトでRust書きまくってる人が書いた「Rustでこういうコード書きたいんだけどうまいやり方なくない？」みたいなペーパーがカンファレンス通ってRustのコミュニティで延長戦が始まる事例あり

ひむてんアニメ化マジ

イベントが始まり、終わっていた（完）

wiki.js、LDAP使えるのか

GitHub - miiton/Cica: プログラミング用日本語等幅フォント Cica(シカ) https://github.com/miiton/Cica

Cicaフォントv2.0.0をリリースしました | tmnm.tech https://tmnm.tech/2017/10/09/cica-v-2/

done.
https://mstdn.maud.io/media/YYPO8Za15iPC54eEa60

公式サイトにアップロードされている8.0.0 Dec 2017 full OTA imageだとなぜか12/5ではなく12/1になっている

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

オッ

（8.1.0 full OTAしたら勝てないんだよなぁ）

done.
https://mstdn.maud.io/media/m99iBTLzmULxcvIHlUo

8.1.0に上げてみたら12/5になったんですが、8.1.0ってまだリリースアナウンスされてないですよね……？

このアカウントは、notestockで公開設定になっていません。

@hota ありがとうございます。知らなかった……

このアカウントは、notestockで公開設定になっていません。

AL: A new declarative language for detecting bugs with Infer | Engineering Blog | Facebook Code | Facebook https://code.facebook.com/posts/277643589367408/al-a-new-declarative-language-for-detecting-bugs-with-infer/

5Mbpsだぞ、道を開けろ（？）

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

Q. えらいっ
A. かなりえらいよ（えらくない）
#quesdon https://quesdon.rinsuki.tk/@omasanori@mstdn.maud.io

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

Android 4.4.4（セキュリティパッチレベル2017-11-01）、謎の存在すぎる……

このアカウントは、notestockで公開設定になっていません。

ヴァリサすき

ヴァリサこと的場梨沙さん、U149の連載が続けば有限時間で声がつくことが理論的に証明されている（？？）

茜ちゃんが10万10歳くらいになりそう

キリがいいからです（？）

先程は10万じゃなくて10歳の方に疑問を投げかけられたと解釈しました

ディープラーニングを用いた藍川茜の年齢推定手法の提案, in proceedings of International Conference on Matsudai and Teokure 2018

親の顔より見た論文タイトル頻出キーワード

フランス語は国際共通語派かな？

このアカウントは、notestockで公開設定になっていません。

身長を用いた年齢推定手法は藍川茜の年齢推定における古典的な手法だが、この手法には身長データがないと適用できないという課題があり、本稿では漫画やアニメの画像と年齢情報のデータベースを元に顔から年齢を推定する手法を〜

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

GNOME Tweaks（UnityからGNOMEの移行を踏まえると妥当）の次がmikutterなの笑う

ほたさんの性的嗜好は別にやばくないんだよなぁ（FTL比）

さっききららファンタジアリリースの通知が来てちょっと笑った（以前話題になっていたのでPlayストアを見たら事前登録のボタンがあって、これまで事前登録したことがなかったのでどうなるのか見たくて登録していた）

サンプルの偏りを感じる表だ

このアカウントは、notestockで公開設定になっていません。

人類、CPUにもGPUにもそれほどうまくフィットしない計算を大量にやっていくようになってきたので、ある意味面白くなってきた

質問のみで投稿されるとじゃあくな用途が出てきますからね……

このアカウントは、notestockで公開設定になっていません。

無限とつけるだけで2010年代後半オタク感が無限に高まる

このアカウントは、notestockで公開設定になっていません。

CPUにもGPUにもあまりうまくフィットしない計算をやっていく流れになってきた結果、FPGAやASICに対する注目も多少高まってきている一方、CPUやGPUをどのくらいやっていくのかというのが難しくなってきた感もある

まあ、近い将来にOSを凄まじい速さで動かすためのプロセッサ（とは）が出てきて既存のCPUを置き換える可能性はそう高くないし、既存のGPUよりも高速に画像処理ができるプロセッサが生まれたらそれが次世代のGPUと呼ばれるだけなのだろうから、CPUとGPUもしっかりやっていくのが良さそう

FPGA、ASIC、フルカスタムLSIによるSoCの3つの中では個人でやり始めるコストはFPGAが圧倒的に安いので、つよい何らかの資金源が背後に控えていない人々がCPUとGPUに加えて何かやり始めるならやはりFPGAかなとなってくる

ASICとかゲートアレイとかあのへんのやつでも、メルセデス・ベンツのSクラスをポンと買えるくらいのキャッシュがあれば作れるという噂を聞きました

（先端プロセスではない）

（フルカスタムLSIなSoCを作るのにはSクラスをダース単位で買えるキャッシュが必要らしいのを踏まえると）そこまで高くはない

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

日経Linux強く推薦mikutterのMastodonインスタンスマジ？

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

日経Linuxがレギュレーション違反マジか……

サービスがバズった感

ほたを直接狙えるとかいうスナイパーめいたフレーズ

このアカウントは、notestockで公開設定になっていません。

APに対応してないことが問題なんだよな（クソザコイキリ標準化オタク）

🎊

ひなビタ♪ライン、思い出しては忘れてしまう

開発者がクラスタ的にim@stodonに近いのでそれはそうですね

大型新人（DJ TOTTO）