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

Bard、まさかの回答に震えたわ。

まあでも、AI の応答を取捨選択して使っている時点で現時点で実際の教師を越えているわけがないか。

私を学習者として私がある程度知っている分野について、高いパフォーマンスが出せているだけかもしれない。
(知らないけど、たぶんこうだろうと思える程度の領域)

前提が二つあって、
a. 行動科学的な観点から、学習者の行動の原因は教師によるフィードバックそのものとしていい(行動の原因は様々あるけど教師の立場からしたらこれが一番重要)
b. 現代の人間の教師が a について知っているとも理解してるとも出来ているとも思えない、と私が思っている

よって、 b なので a がうまくできる AI ができたら AI に置きかわってくれた方が嬉しいなあという気持ちがもともとある。
で、私が使った感じ既にうまくいってそうなので、人間を越えているケースもあるなといった。
本音を押さえないでいえば、もう既に多くのケースで越えていると思ったという感じ。

検討に検討を重ねた結果、Raspberry Pi 4 で生活するのはやめることにした。理由はソフトウェアをビルドするのが大変なため。仕方がない。Raspberry Pi 4 生活をやめるとしても、Web ブラウザ依存は断ち切っていく構えでいく。色々な GUI のソフトウェア(Emacs 以外も)を使って豊かな生活をしたいと考えている。

McCLIME いまも開発続いているじゃん。モチベ上がってきた。McCLIM で開発しよ。

https://mcclim.common-lisp.dev/1.html
https://codeberg.org/McCLIM/McCLIM

ええな

YouTube を見るなら Chrome よりも Firefox をおすすめする理由 - YouTube
https://www.youtube.com/watch?v=HCBTRpVW7Z4

チョムスキー、かつてスキナーの言語行動を徹底的に批判したことを ChatGPT の登場により自身の誤ちに気付いてごめんなさいしてるかなとか思ってたら ChatGPT ディスりまくってて草。

Noam Chomsky explains the difference between ChatGPT and "True Intelligence" | Boing Boing
https://boingboing.net/2023/03/09/noam-chomsky-explains-the-difference-between-chatgpt-and-true-intelligence.html

以前、ロジックはストアドで全部書いたらいいんじゃね？っていう風に思って実際に趣味で試してたんだけど、Sqitch を使っているのでバージョン管理とかはとくに問題なかったけど開発が単純に面倒なのでストアドで書くのはやめた方がいいという結論になった。

ただ、いまも世間で言われているようなデメリットは適切なツールを使えばある程度は解消可能かとは思ってはいる。

イソソルビド飲んだ。これはまずいという評価も美味しいという評価も理解可能だった。自分としてはこの薬以外に感じる機会のない複雑かつ独特な味であることに注目したい感じで正直割と楽しめた。こういうことを言える時点で、私は比較的美味しいよりの評価をしていると思う。実際、一切工夫とかしないで直で飲めていける。
元々薬っぽい味が好きな人にはそこまでまずくないと思う。まったくきつさがないかというとウソにはなるけど、まずいというほどでもない感じ。

まずいことで有名な薬を飲むことになったんだけど、逆に楽しみになってきた。まれに美味しいと供述している方もいるので実は美味しい可能性もまだある。

こんにゃくのゲル化について研究している方の YouTube のチャンネルを発見した。
https://www.youtube.com/watch?v=e-8wa-dI_8w

force 超重要じゃん。これで、あれなんでこの定理使われないん？ってやつの多くが解決しそう。

ACL2 の force の使い方ようやく分かった気がする。いままで証明に書いてたヒント減らせそう。

多くのプログラマがネスト構造を忌避していると仮定すれば、実際に起きている様々な現象を説明できるんだよな。

再帰が嫌い → ネストを避けたいから
リストとか木じゃなくて配列でインデックスアクセスしたい → ネストを避けたいから
関数適用の組み合せじゃなくて命令列がいい → ネストを避けたいから
Lisp が読めない → ネストを避けたいから

全部ネストを避けたいからで説明ができてしまう。
人々はネストを避けようとして命令型の地獄から抜け出せないんじゃないだろうか。

BEM のちょっと違うものみたいのが生まれてるのなぞい。BEM でいいと思うのになんでちょっと変えるみたいなことするんだろう。

統一することに意味があるみたいなやつで派生が生まれているの、うまくいっていない感じがするんだが。

普通に current directory だと思ってた

結局のところ私は慣れている UI に対してよいって言っているだけで、UI の善し悪しについて判断できているわけではないのだろうか。

常にカラム表示にしていればいいいんだろうか。でもカラム表示ってアイコンが小さくなっちゃって満足感？がないじゃん。
普通の表示＋パンくずリストが欲しいのでは。

まあ Xfce4 でファイル操作をしているのかっていうとしてない。コマンドで操作しちゃうことの方が多い。でも、ブラウザからファイルをアップロードするときのようにファイルを探す状況は普通にあるんだけどそのときに困ることは全然ない。

それに対して Mac の Finder だと普通に困るので何かおかしいのではないかと思う。

最近は Xfce4 を使ってるんだけど、これはだいたい Windows の UI と同じだと思うんで Windows の UI でいいのではないかと思ってる。
まあでもこれは結局慣れたのがいいって言っているだけな気がするが……。