ミラノ風ドリアの冷凍食品を見ると、「ミラノ風ドリア」ってサイゼリヤの商標とかじゃないんだ……となる

フォント頑張れ！（日本人、中国語フォントにかなり敏感そう） Even Realities | スマートグラス & ウェアラブル技術

Even Realities | スマートグラス & ウェアラブル技術

日常生活のために設計されたウェアラブル技術。あなたの能力を高めながら、自然に日々に溶け込むスマート...

Even G2、技術的制約なのだろうけど、緑の文字でドットも粗そうだから、確かに SF っぽさがすごい。というか、そのもとになった初期のコンピュータの画面に立ち返ってきているのかな

math

すごそう 【“通訳するAIメガネ”日本上陸】元Apple Watch開発者のスマートグラス「Even G2」／英語ダメでも“日本語字幕”で解決／プレゼンの“カンペ”に変身／スマホ超える体験【1on1 Tech】 - YouTube

午前中に生産的なことに着手できた試しがない

起きる

印象が真逆でした。Agda の方が単純で、Haskell の方が幅広く使えるぶん複雑で難しいと思い込んでた。Haskell はまったくやったことがないのでただのイメージというか偏見ですが。

Agda からプログラミングに入門するの今の自分には最適な気がする。PLFA を使って講義した人の一覧に名前を知っている数学者がごろごろいるし。

Gemini に「Agda を学べば Haskell のコードは 8 割方読めるし、逆もまた同様」と言われたのだけど、本当かしら