2020年8月31日月曜日
2020年8月30日日曜日
2020年8月28日金曜日
nth
しかしある言語では簡単な表現が別言語では困難ということも実際にあって、例えば理工学的には受け入れられているnthという表現は正統な英語表現とは言い難いし、ましてや「それ何番目?」というのを How manyth? とは言えない
— Dan Kogai (@dankogai) August 21, 2020
え?
ええ?
CL-USER> (setf wrk '(1 2 3)) (1 2 3) CL-USER> (nth 1 wrk) 2 CL-USER>
そうだったのか!
2020年8月27日木曜日
2020年8月26日水曜日
RaspberryPiへ接続
FreeBSD on RaspberryPiへは「 ssh -Y ほげほげ emacs」を使って接続しているのだけど
キー操作が若干、粘る。
これはやはり、ターミナルから使うべきか。どうせEmacsひきこもりなのだから。
metaキーに違和感はあるけれど、 Windows10でMagic Keyboardを使うと、optionキーがmetaキーになるってしまうから昔ほど違和は感じないかもしれない。
2020年8月25日火曜日
BとB+
Raspberry PiのFreeBSDを128Gにしたので、連続稼働にしてみようと試してみたら放熱がひどい。何、これ。手をかざすと、不安になるほど熱い。CPUの熱で目玉焼きができるのではないか。
ところが Raspberry Pi 3 Model B+から Raspberry Pi 3 Model Bへ換えてみると、全然、熱くない。
CPUの温度を調べてみると、10度ぐらい差がある。
たしかにクロック数は1.4GHzと1.2GHzと違いがあるけど、これほどとは思わなかった。
消費電力のこともあるし、これはBで運用すべきなのだろうなぁ。
2020年8月24日月曜日
第34週
ツナと玉ねぎの卵とじトマト添え pic.twitter.com/qUJjDpr6gV
— 山田 (@yamada1961) August 17, 2020
ステーキ pic.twitter.com/zi5WQfJPmX
— 山田 (@yamada1961) August 18, 2020
野菜炒めと目玉焼き pic.twitter.com/i7Evos8xXo
— 山田 (@yamada1961) August 19, 2020
野菜炒め pic.twitter.com/YZkikeyob7
— 山田 (@yamada1961) August 20, 2020
シャケと納豆プラスごはん pic.twitter.com/05RTqVdMN9
— 山田 (@yamada1961) August 21, 2020
チキンバジルともやしとプレーンオムレツ pic.twitter.com/kN7ds1ix3J
— 山田 (@yamada1961) August 22, 2020
牛豚ひき肉とにがうりの炒めもの、玉ねぎオムレツ pic.twitter.com/kQwRwof1AX
— 山田 (@yamada1961) August 23, 2020
2020年8月21日金曜日
2020年8月20日木曜日
歩道橋
とてもひさしぶりに歩道橋を上った。
息はあがるわ、筋肉がぷるぷるするわ、ひと苦労した。
ここまで体力が落ちているとは思わなかった。
なるほど。定年退職すると、こうやってあっという間に身体が動かなくなるのだな。
やばいわ。
2020年8月19日水曜日
ヒートシンク
RaspberryPiは壁に画鋲で止めているのだけど、ひさしぶりにケースを開いてみた。
あれ? ヒートシンクの位置がずれている。
どうやら熱で接着剤が溶けて重さでずり下がったらしい。
普段、使わない方がこの状態ということは——。
もうひとつを確認したところ、完全、外れて落ちてしまっていた。
そうか。横置きはまずいのか。いい方法だと思ったんだけどなぁ。また、どこに置くか、考えなきゃいかんな。
2020年8月18日火曜日
2020年8月17日月曜日
第33週
毎日、同じ器だとずいぶん味気ない食事に見えるもんだなぁ。
サバと小松菜の炒めもの+プレーンオムレツ pic.twitter.com/r1Z9NXj8yy
— 山田 (@yamada1961) August 10, 2020
トマトと玉ねぎのオムレツ pic.twitter.com/8rcsRXze4C
— 山田 (@yamada1961) August 11, 2020
豚肉のもやし炒めトマト添え pic.twitter.com/hvhB1FuOp4
— 山田 (@yamada1961) August 12, 2020
豚肉の鶏ガラスープ pic.twitter.com/bSrJpycCfJ
— 山田 (@yamada1961) August 13, 2020
鳥ささみオムレツトマト添え pic.twitter.com/EJW2r20Gbc
— 山田 (@yamada1961) August 14, 2020
鶏とジャガイモと玉ねぎの炒めもの pic.twitter.com/Ky8yCoXhL2
— 山田 (@yamada1961) August 15, 2020
鶏ひき肉と玉ねぎのカレー炒め pic.twitter.com/xFy1bagRlv
— 山田 (@yamada1961) August 16, 2020
2020年8月16日日曜日
2020年8月14日金曜日
RaspberryPiのFreeBSDをrebuild(2)とmicroSDの拡張
連休ということもあったひさしぶりに RaspberryPiのFreeBSDをrebuildした。
エラーがでた。
kernelのlinkのときに落ちた。
device not spaceなんたらかんたら——ああ、これはあれだ。デバイスの容量が足りないというやつだ。
で、どのデバイスが?
/tmpだろうとあたりをつけた。
/tmpはtmpfsでメモリ上にマップされているので、50Mほどしか、ない。
めずらしく正解で、うまくrebuildできたのだけれど、ふとAmazonでmicroSDカードで調べてみたら128Gが3,000円を切っていた。うそん。何がショックかって 先代のMacBook Airの内蔵ディスクが128Gだったのだ。
ということは何?
FreeBSD on RaspberryPiは128Gにできるってこと?
そう思ったらAmazonでポチってしまっていた。
そのあとに、 microSDカードの書き込み上限はモノによっては1000回程度だということを知る。
あわててtmpfsを有効にする。swapも殺しておいた方がいいかもしれない。
それにしても128Gが書き込み上限1000回だったら泣けるな。
とりあえず、FreeBSD入りの32Gを128GのmicroSDにコピる。
$ sudo dd if=/dev/mmcsd0 of=/dev/da0 bs=1m
3時間以上、かかった。4時間かもしれない。
ちゃんとbootした。
growfsをYESにしていたので自動で拡張されるか、と思ったけれど、そんなことはなかった。
$ df -h Filesystem Size Used Avail Capacity Mounted on /dev/ufs/rootfs 28G 19G 6.9G 74% / devfs 1.0K 1.0K 0B 100% /dev /dev/msdosfs/MSDOSBOOT 50M 14M 36M 28% /boot/msdos tmpfs 50M 8.0K 50M 0% /tmp $
試行錯誤とマニュアルと首っ引きで、拡張する方法を探す。
growfsコマンドでいきそうなのだけど、gpartを使う必要があるようだ。
$ gpart show => 63 250560449 mmcsd0 MBR (119G) 63 2016 - free - (1.0M) 2079 102312 1 fat32lba [active] (50M) 104391 61335609 2 freebsd (29G) 61440000 189120512 - free - (90G) => 0 61335609 mmcsd0s2 BSD (29G) 0 57 - free - (29K) 57 61335552 1 freebsd-ufs (29G) $ sudo gpart resize -i 2 mmcsd0 mmcsd0s2 resized $ gpart show => 63 250560449 mmcsd0 MBR (119G) 63 2016 - free - (1.0M) 2079 102312 1 fat32lba [active] (50M) 104391 250456121 2 freebsd (119G) => 0 250456121 mmcsd0s2 BSD (119G) 0 57 - free - (29K) 57 61335552 1 freebsd-ufs (29G) 61335609 189120512 - free - (90G) $ sudo gpart resize -i 1 mmcsd0s2 mmcsd0s2a resized $ gpart show => 63 250560449 mmcsd0 MBR (119G) 63 2016 - free - (1.0M) 2079 102312 1 fat32lba [active] (50M) 104391 250456121 2 freebsd (119G) => 0 250456121 mmcsd0s2 BSD (119G) 0 57 - free - (29K) 57 250456064 1 freebsd-ufs (119G) $ sudo growfs / Device is mounted read-write; resizing will result in temporary write suspension for /. It 's strongly recommended to make a backup before growing the file system. OK to grow filesystem on /dev/ufs/rootfs, mounted on /, from 29GB to 119GB? [yes/no] yes super-block backups (for fsck_ffs -b #) at: 61547712, 62829952, 64112192, 65394432, 66676672, 67958912, 69241152, 70523392, 71805632, 73087872, 74370112, 75652352, 76934592, 78216832, 79499072, 80781312, 82063552, 83345792, 84628032, 85910272, 87192512, 88474752, 89756992, 91039232, 92321472, 93603712, 94885952, 96168192, 97450432, 98732672, 100014912, 101297152, 102579392, 103861632, 105143872, 106426112, 107708352, 108990592, 110272832, 111555072, 112837312, 114119552, 115401792, 116684032, 117966272, 119248512, 120530752, 121812992, 123095232, 124377472, 125659712, 126941952, 128224192, 129506432, 130788672, 132070912, 133353152, 134635392, 135917632, 137199872, 138482112, 139764352, 141046592, 142328832, 143611072, 144893312, 146175552, 147457792, 148740032, 150022272, 151304512, 152586752, 153868992, 155151232, 156433472, 157715712, 158997952, 160280192, 161562432, 162844672, 164126912, 165409152, 166691392, 167973632, 169255872, 170538112, 171820352, 173102592, 174384832, 175667072, 176949312, 178231552, 179513792, 180796032, 182078272, 183360512, 184642752, 185924992, 187207232, 188489472, 189771712, 191053952, 192336192, 193618432, 194900672, 196182912, 197465152, 198747392, 200029632, 201311872, 202594112, 203876352, 205158592, 206440832, 207723072, 209005312, 210287552, 211569792, 212852032, 214134272, 215416512, 216698752, 217980992, 219263232, 220545472, 221827712, 223109952, 224392192, 225674432, 226956672, 228238912, 229521152, 230803392, 232085632, 233367872, 234650112, 235932352, 237214592, 238496832, 239779072, 241061312, 242343552, 243625792, 244908032, 246190272, 247472512, 248754752, 250036992 $ $ df -h Filesystem Size Used Avail Capacity Mounted on /dev/ufs/rootfs 116G 19G 87G 18% / devfs 1.0K 1.0K 0B 100% /dev /dev/msdosfs/MSDOSBOOT 50M 14M 36M 28% /boot/msdos tmpfs 50M 24K 50M 0% /tmp $
なんとか、なった。
そもそも128GということはBeelinkS1にインストールしてあるFreeBSDよりも大きい。
それだったらBeelinkS1にmicroSDカードをセットしてそこから使えばいいじゃん——と思ったのだけれど、どういうわけか、うちのBeelinkS1はmicroSDカードが挿しこめないのだった。なんと不良品だったのか。今さらだが。
2020年8月13日木曜日
AFN Pacific
iPadにAFN Pacificのアプリをインストールして利用していたのだけれど、ふとパソコンでも聞けるんじゃないか、と気づいた。だってただのインターネットラジオじゃん。
あった。
いちおうGravityがお気に入り。
2020年8月12日水曜日
iPad ProとApple pencil(2)
もう所有している iPad Proは売られていないし、 Apple pencilも新しいバージョンがでてしまった。
なのに今さらながら気づいた。
こうすれば、pencilがくっつくじゃん。
四年目の夏。
2020年8月11日火曜日
SBCL on ARM64
SBCLってARM64——RaspberryPiで動かないんだよなぁ。Linuxでならサポートされていることは知っているけれど。
今はどういうサポート状況なんだろう、と思って SBCLのサイトを見たら驚いた。
OpenBSDではサポートされている。しかもバージョンがほぼ最新の2.0.5。
ARM64のLinuxですら1.4.2だというのに。
あわてて OpenBSDのRaspberryPiへのインスール方法を見たら動かすのにひと手間、いる感じだ。
うーむ。
でも
802.11 wireless
bwfm(4) on Raspberry Pi 3 and Pinebook Pro
ということはWiFiが使えるってことかな?
2020年8月10日月曜日
第32週
だいぶん飽きてきた。玉ねぎと肉とピーマンぐらいではバリエーションが限られてしまう。マンネリだ。そう考えると、炭水化物は偉大だ。ごはんなんて毎日食っても飽きないもんな。
そんなこともあって寝る前に稲荷ずしを食ったら体重が80kg台にもどってしまった。
鳥もも肉とピーマン玉ねぎのナンプラー炒め pic.twitter.com/J7JBik3dWq
— 山田 (@yamada1961) August 3, 2020
豚肉のナンプラー炒めとトマト pic.twitter.com/ltsqg3FF24
— 山田 (@yamada1961) August 4, 2020
豚肉ともやしの鶏ガラスープ pic.twitter.com/iUsaxKP9Xx
— 山田 (@yamada1961) August 5, 2020
ツナともやしとキュウリとワカメの酢の物 pic.twitter.com/AQvkpzyYbG
— 山田 (@yamada1961) August 6, 2020
牛肉と小松菜の炒めものとキュウリとワカメの酢のもの pic.twitter.com/KPIKw48rUg
— 山田 (@yamada1961) August 7, 2020
牛肉炒めとキュウリとワカメ pic.twitter.com/KzLcYceHlU
— 山田 (@yamada1961) August 8, 2020
ゴーヤ炒め pic.twitter.com/InhB1y1Hgu
— 山田 (@yamada1961) August 9, 2020
2020年8月4日火曜日
2020年8月3日月曜日
第31週
先週、 80kgを切ったのはよかったけれど、今週はずっと79.0kgで足踏みだった。なんとか、週末に78.0kg台に突入したけれど、体脂肪率は33%、という。その数値の通り腹まわりは81kgぐらいの感じ。以前、このくらいの体重だったらけっこうつまめなくなっていたのだが。
ツナとキャベツともやしのナンプラー炒めとオムレツ pic.twitter.com/G68XVFwSTp
— 山田 (@yamada1961) July 27, 2020
鶏の挽肉のナンプラー炒めのトマト添え pic.twitter.com/EArC5hfNxR
— 山田 (@yamada1961) July 28, 2020
鶏の挽肉の鶏ガラスープに生卵2個 pic.twitter.com/Rf0q66kVhV
— 山田 (@yamada1961) July 29, 2020
もうかさめのバターソテーと、もやし炒めに納豆 pic.twitter.com/yGnrdhzooy
— 山田 (@yamada1961) July 30, 2020
牛焼き肉 pic.twitter.com/9eDmwzXi1r
— 山田 (@yamada1961) July 31, 2020
— 山田 (@yamada1961) August 1, 2020
鳥もも肉のカレー炒め pic.twitter.com/ZLD597Ah53
— 山田 (@yamada1961) August 2, 2020