午前中に生産的なことに着手できた試しがない
起きる
印象が真逆でした。Agda の方が単純で、Haskell の方が幅広く使えるぶん複雑で難しいと思い込んでた。Haskell はまったくやったことがないのでただのイメージというか偏見ですが。
Agda からプログラミングに入門するの今の自分には最適な気がする。PLFA を使って講義した人の一覧に名前を知っている数学者がごろごろいるし。
Gemini に「Agda を学べば Haskell のコードは 8 割方読めるし、逆もまた同様」と言われたのだけど、本当かしら
読みたい Programming Language Foundations in Agda – Table of Contents
Programming Language Foundations in Agda – Table of Contents
「プログラミング言語は厳密にはパイソンではありませんが、パイソンIntelliSenseが利用できる程度には似ています。」
みんなが農家って言ってるのこれか Steamで20% OFF：農家は Replace() されました
Save 20% on The Farmer Was Replaced on Steam
Program and optimize a drone to automate a farm and watch it do the work for you. Collect resources to unlock better technology and become the most...
Hao Wang ってそんなに昔の人だったのか（そして指導教員が Quine だったのか）
……というのは純粋に哲学的な話なのでよいのだけれど、「AI に意識はないから～」という口上のあとに、実際に検証可能な AI の挙動についての主張（e.g. 「人間には想像もつかないようなふるまいをするかもしれない」）を続けられると、むむむとなってしまう。社会的な取り決めの話をするならわかるのだけれど