Notices by Q (masterq@pawoo.net), page 48

#数学に裏付けられたモデルです と聞いても、 #ただのモデル上の話でしょう とか感じるようになってきていてもう何もかも闇にのみこまれそうです、、、

ということなので #ハードシングス 本読むの楽しいです

なんか #上手く行ったデータ を見ても何の納得感も得られない体になってしまっていて #失敗したデータ や #絶望した話 からしか何も学べなくなってしまったのです。。。

うーん。debフォーマットのままロールバック/サンドボックスを作ることは本当にできないんだろうか。。。

ちなみに僕は #数式読まずに数学の本を読んでわかった気になる人 です。。。

ものごとに入門するの文字読む量が多すぎる、、、小さい階段を登るように学習できるツールを自分の分野では作りたいです、、、

うーん。。。
$ snapcraft plugins
ant catkin cmake dotnet go gradle kernel maven nil plainbox-provider qmake rust waf
autotools catkin-tools colcon dump godeps kbuild make meson nodejs python ruby scons

なるほど。。。classicがついてる。。。
Name Version Publisher Notes Summary
emacs 26.2 alexmurray classic GNU Emacs is the extensible self-documenting text editor

snapはパッケージが1000を超えるあたりから問題が起きそう。。。

結局snapってsnapパッケージ同士に依存関係がなくて、依存するライブラリはパッケージというかsquashfs内に重複して持つんですか。。。これはスケールしないのでは。。。

うーん。Ubuntu CoreはつまるところHaskell Stackと似ているのでは。。。

ATS-Temptoryはmallocヒープ前提で進化していってしまっているので、poolでメモリ管理したい僕は別途自作Preludeを書かなければならない。。。それからやっぱり健全なマクロが欲しい。。。

これ、もうちょっとマクロのような何かを導入すればHaskellみたいな見た目になれるのでは、、、それが #ATS3 なのか。。。 / "ReadFromSTDIN (2) · Temptory" https://sparverius.github.io/tmplats-doc/docs/ReadFromSTDIN2

Git社内勉強会とかそのあたりから始めればよかったんだよな。。。なぜいつも僕は大手術を提案してしまうのか。。。

別のとき元上司に #VCSをGitにする必要がある #でも僕が導入するには今の仕事の何割かを削減して時間を作る必要がある と切り出したら #その方法では会社は変わらない #君は君がやりたいことを自分で時間を作らなければならない と言われて、業務を効率化させるためには #まず自分自身を効率化して時間を作る しかないのか。。。

新興国株式インデックスを買う価値がないことがわかった

セキュリティはサンドボックス作るんじゃなくてOpenBSDのpledgeの方がスジが良いんじゃないでしょうか。。。 #snap

究極の #シンクライアント 。 #ThinkPad #X220

もうレノボは #ThinkPad #X220 だけ50年生産とかしてほしいです。。。

今のところ、このPCが壊れても #ThinkPad X220 を買うと思うから、画面解像度に合わせて動画も小さくすればいいかなと。。。S3の容量削減にもなりますし。。。