Notices by きゅーけー (tojoqk@mastodon.tojo.tokyo), page 11

まず一つ目に Lisp ってインデントの仕方がかなり独特なところがあって適切にインデントするのが難しいっていうところがある。

次にこれは Emacs ユーザーがおかしいのかもしれないだけど、REPL はエディタの中で起動したがというのがある。

まあ後者はどうでもいいんだけど前者が問題。

bash 依存避けたい人は CI で checkbashisms とか走らせればいいんだろうな。

pipefail が POSIX shell にあればいいんだけどなあってすごく思う。

さいきんは Org-mode の文書から Org-mode の文書を生成するというよく分からん作業を何故かしていて、そのために Emacs Lisp 書いているんだけど正直つらい。

言語が悪いというよりかはエディタをコントロールするということが本質的に難しいっていう感じなんかなあってなってる。

無駄に bash 依存にならないようにしている。

たた、ちょっとコマンド呼ぶだけ〜みたいなスクリプトはだいたい POSIX shell で書けてると思う。

AWS やってるときは無限実行が無限課金(まあ人が気づいたときに停止するので有限だけど……)に繋がるのが本当に怖かった。
いくらプロになったってそのリスクはなくならないし、やっぱりクラウドエンジニアには戻りたくないな……。

私も Web エンジニアっぽくなってきて人様のサイトを覗いて、「なるほどー、これがほぼ div で構成された HTML なのかー」みたいなことを思えるようになってきた。

はあ、いったいいつ Vultr に入金するのがいいんだ……。もうタイミング逃したのだろうか。

負の新規サイクルか。良い表現だ。

美容師が脱ホットペッパーできない“たった一つの理由” | 美容室の顧客管理ならLiME(ライム)
https://limehair.jp/archives/33883

熱い記事だ

ホットペッパービューテイー掲載を止めて半年経ってわかったこと
https://stylist-h.com/hpp-stop/

GNU Shepherd ユーザーなので systemd と違って知見が少なくてわりと大変な思いをしている。そろそろデーモンの定義の仕方とか覚えたいところだがあんまりそこに割くモチベ(仮説的構成概念)ないんだよなあ。

とくに「やる気ペン」で勉強できるようになった人は、後から自分を振り替えって自分の「実力」で勉強したのではなくて、「やる気ペン」が作り上げた家族の関係に支えられて勉強ができたということに気づける可能性があるよな。

そうなれば、社会は今よりもまともな方向に進んでいく可能性があるしあの製品の貢献は大きい……。

@nacika 不幸体質のようなものは実在しないと思った方がいいと思います。なんとかするのには、そう感じる出来事の原因を分析して状況を操作するくらいしかありません。それぞれの状況によって何をすればいのかは変わるので特効薬みたいなものはありません。

私からはこれくらいのことしか言えないですね……。

固定プロフから哲学的な主張の強いのを外して、本当に価値のある投稿だけ残した。

社会から不幸を減らすにはそうした方がいい。

きゅーけーから Nintendo Switch をお子さまに買ってあげた全ての保護者の方への個人的なお願いです。

「Nintendo みまもり Switch」アプリの導入をご検討ください。

理由は次の3つです。

1. ゲームをやめられないお子さまに対して怒りにまかせて叱らないようにするため
2. お子さまのゲーム以外のことをする時間を守るため
3. 罰による教育からご褒美による教育に切り替えれるようにするため

詳細については Nintendo が公開している下記の動画を参照してください。保護者であるクッパがアプリによるサポートによって「理想的な保護者」に近づいていることに注目してください。お子さまをみまもるためのシステムであることはもちろん、あなたを理想的な保護者に近づけるためのシステムでもあります。

Nintendo みまもり Switch 紹介映像 - YouTube
https://www.youtube.com/watch?v=AVS9Dqgpo3g

あー、iOS ってアプリ入れるのになんかアカウント要るんか。そういえば Google Play もそうだけど F-Droid 使ってたからそこらへんは忘れてた。

Coq とか Agda だったらまず大丈夫だというのに ACL2 はどうなっているんだ……。

ACL2の話をしただけで特定可能まであるので、みんな ACL2 をやってくれ。私のプライバシーを守るために……。

今この瞬間ﾂｲｯﾃｰが潰れてくれれば、新しい職場でのアカウント特定リスクを考慮してマイルドな発言を続ける活動をしなくてすむから助かる。