Even G2、技術的制約なのだろうけど、緑の文字でドットも粗そうだから、確かに SF っぽさがすごい。というか、そのもとになった初期のコンピュータの画面に立ち返ってきているのかな
あすたーいずむ
npub15glt...k87e
超解像度
math
すごそう
【“通訳するAIメガネ”日本上陸】元Apple Watch開発者のスマートグラス「Even G2」／英語ダメでも“日本語字幕”で解決／プレゼンの“カンペ”に変身／スマホ超える体験【1on1 Tech】 - YouTube
午前中に生産的なことに着手できた試しがない
起きる
印象が真逆でした。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. 「人間には想像もつかないようなふるまいをするかもしれない」）を続けられると、むむむとなってしまう。社会的な取り決めの話をするならわかるのだけれど
他者に意識があるにせよないにせよ、どうあがいても〈私〉に固有なもの（現実の世界の開き）はここに存在してしまうというのに、私に物理的に似ているというだけの他者が、現実性によって存在が担保されるところの意識を持っていると考える理由がどこにあるのか。私と似ているからという理由だけで、他者にも意識（世界の開き）があると仮定したところで、哲学的問題（私と他者の差異）はなにも解消せず、不要なレイヤーが一つ増えるだけではないか。むしろこの〈私〉に固有なものこそを意識と呼ぶべきではないのか。
「石に意識がない」としても同様なのだけど、それらは社会や言語の問題で、形而上学的な問題ではないと思う。別の言い方をすれば、他我問題の見かけ上の不思議さは、すべて〈私〉の問題に押し付けることができるし、そうすべきではないか
「AI に意識はない」という言説にあまり納得がいかない
数学よ型を持て
私って思春期すぎる
どう考えても一人暮らしをすべきだ (n)
お、chocolatey に Zotero の 64-bit 版が来ている