ほとけ🐶

ブルスカではなくmixi2を根城にしようと思います schwmtlからの #mixi2 招待🎟️ 一緒にはじめよう！🚀 @schwmtl/A6bGfKF82u9K9JrYccK6g6" target="_blank" rel="nofollow noopener">mixi.social/invitations/@s…

Iron Maiden来日、ご用意されてた

ベースマキナのリリースノートをお届けします！ ジョブの実行結果に閲覧制限をつけることで、機密性の高いデータをジョブでも適切に扱えるようになりました！ その他ビジュアルエディターにも改善が入っております🔥 about.basemachina.com/news/feature-u…

96か……そんなもんか……

【速報】ドイツの哲学者ハーバーマス氏死去 47news.jp/13997755.html?…

この擬人化できているのか正直よくわからない例がとても好きです

どんな分野であれ教員の研究を適切に評価できるレベルの学部生なんてほとんどおらんだろうと思っているのだがどうなんですか

@nagato0209 いわゆる「キョロ充」のような揶揄を受けるタイプの振る舞いだと思ったけど、まあそれも陽キャ扱いする人はいそうではありますね

正直なところ「男子同士で気楽に話してるように見えて実は女子に聞こえていて欲しいと願ってる」みたいな人たちを陰気くさいと思っていたので、これらを陽キャだと思ってる人がいるのに驚いてしまった。

今日のDream Theaterのアンコールで使われていた映画はDead Poets Societyのはず

Dream Theater at Ex Theater Roppongi堪能した！Metropolis pt.1で始まるライブでぶち上がらないわけがない。実は初の生Portnoyだったけど、やつの手癖が体に馴染みすぎている

いやー、A Change of Seasonsか！ありがてぇありがてぇ

Iron Maiden!!!

IRON MAIDEN RUN FOR YOUR LIVES WORLD TOUR 2026 FROM IRON MAIDEN TO FEAR OF THE DARK 【アイアン・メイデン来日公演決定！】 バンド結成50周年を祝う“RUN FOR YOUR LIVES”ワールド・ツアー！ 2年間に及ぶツアーの最終公演として待望の日本開催が決定！！ 「鋼鉄の処女」から「フィア・オブ・ザ・ダーク」までの初期のヒット曲をフィーチャーしたセットリストで贈る、バンド史上最も壮大なステージが 遂にここ日本にやってくる！！ creativeman.co.jp/artist/2026/11…

ロッカーに入らないカバンで来るという素人ムーブをかましてしまった

またEX THEATERに来てしまった

全部plain textにしておけば、以前の定義・定理を書き溜めておいて、参照しながら新しい証明を書かせるのがはちゃめちゃに楽になるはず

Notionに数式をぽちぽち書くのが耐え難いのでClaude Code使って普通にWebアプリ立てていいのではと思ったのだが、勉強会中にリアルタイムでいじって話すのにはまあ便利なんだよなぁ

AIの文脈でdeterministicが「決定論的」と訳されるのを見かけるが、単に「決定的」あるいは「決定性」あたりが適切な場合がほとんどではないか

AIに証明の方針を相談できるので勉強会の準備もかなり楽になった

🏴󠁧󠁢󠁳󠁣󠁴󠁿のクラフトビール大手BrewDogが売却へ。世界72店舗のバーと4つの醸造所、3つのホテルを展開していますが、厳しい経済環境と5年連続で約315億円の赤字を計上するなど、転換点を迎えています。分社売却、共同創業者ワット氏による買い戻しの可能性も theguardian.com/business/2026/… 🍺

Dream Theaterの今のツアー、このセトリはすごい…… setlist.fm/setlist/dream-…