Automated Conjecture Resolution with Formal Verification

この1993年の「フォン・ノイマン」事件については自分のブログで書いたな ja.mhatta.org/blog/2016/10...

Rarely does @wired.com solve mysteries with book excerpts. This one, which reveals how a disguised man with a mysterious buzzing bulge calling himself “John von Neumann” played a grandmaster to a draw, is an exception. It was fun to edit. Hope you enjoy reading it. www.wired.com/story/book-e...

>若者が服を店で買わなくなったという点も指摘できるだろうが、それ以上に「観光客が増加する街に付いていっていたのか？」ということが気になった。 インバウンドに適応できなかったことに理由を帰結させようとしているけど、日本人もとい若年女性層の購買力が落ちているって最大の傷みから目を背ける麻酔みたいな記事って思った。日本のギャル文化のひとつが潰えた事実が何を意味するのか、それと向き合わないことが経済誌と経済評論することなのかなって意地の悪いこと思った RP 閉店発表｢心斎橋OPA｣ジリ貧→衰退の本質理由 toyokeizai.net/articles/-/8...

A Primer on Data Centers

Post-Quantum Decentralized Policy Enforcement for Large Language Models

Meta spins up AI version of Mark Zuckerberg to engage with employees

近所の冴えないイオンモールの本屋でなぜか王谷晶がサイン会をやるらしい。行くか

ダガー賞受賞🗡️『ババヤガの夜』 の王谷晶さん トークイベント＆サイン会が開催されます。 日時：4/25（土）13:00〜 場所：未来屋書店 東久留米店 なんとトークイベントは20名さま限定✨ 協力する我々も謎なくらいレアで豪華な会💐が実現しました。 予約はお電話☎でも👌。 www.kawade.co.jp/news/2026/04...

A New Computer Chip Could Finally Withstand The Hellscape of Venus

そういえば以前チャッピーに「1～10のうち好きな番号を選べ」というとなぜか7を選ぶということがあり、これでは人間にじゃんけんで勝てねえんじゃないかと思ったな

トランプ大統領が「2週間」「48時間」を連発するって話、自分もちょっと心当たりがあって、テンパってる時に急に話しかけられたら「20秒」あるいは「2分」待ってもらうことが多いし、ざっくりと未来の話をするとき「2日」「2週間」と答えがち。人間、「『ちょっと』と言いたいけど『ちょっと』ではアバウトすぎるので数字で答えたい場合、つい『2』と言ってしまう」という性質があるのではないか。n=2だけど。

日本のアニメ見ると好戦派になるんじゃねえか　慶應大、アニメを通じて平和を学ぶ「アニメ平和学」　Netflix支援で開講へ ascii.jp/elem/000/004...

「Linux」カーネルでAI支援コードに関する新ルールを導入 japan.zdnet.com/article/3524...

薬はなぜ効かなくなるのか。原因タンパク質を分解する「CANDDY」という試み ascii.jp/elem/000/004...

ほぼ見放題じゃん！ 社内情報にアクセス規制がない企業がなんと25％、3人に1人が「業務外の情報を覗き見」してるヤバい実態 (1/2) ascii.jp/elem/000/004...

「1日の長さ」が数百万年ぶりの規模で増加 gendai.media/articles/-/1...

さんま塩焼定食 #lunch

自民党のとんでもニュースに、「高市さんになってから物事がどんどん進むなぁ！」って引用つけてる人のアカウントを見に行ったら、スパムの「DMください」ってリプライに、「ちょっと待ってね！パスコード忘れてしまって」とDMを返そうとしてて、なんか全部が悲しくなった

Harvesting easter eggs: An exploratory study of enjoying transnarrative media

How does Agentic AI ensure compliance in healthcare?

Why Trump Mishandled Iran

2026 is the new 2016 - Wikipedia

The Business Case for Vanilla JS

豪州の若者の大多数、禁止令にもかかわらずソーシャルメディアを使用し続けている、研究者が発見 12月に実施された禁止令にもかかわらず、16歳未満のオーストラリアの子どもたちの大多数がソーシャルメディアアプリを引き続き使用していることが、新しい研究によって明らかになった。有名なイギリス財団とオーストラリアの青少年研究機関の研究者に、12～15歳のオーストラリアの児童の61%が、禁止令が実施される前と同じように大規

All elementary functions from a single binary operator

Anthropic Mythos AI Model Strikes Fear in Trump Administration, U.S. Banks

@adlrocha - How the "AI Loser" may end up winning

Going Beyond World Models & VLAs - Generalist AI

Overcoming Informational Risk | Ben Cornia

カリフラワーのアンチョビガーリックソテー

日本のナフサ供給の「目詰まり」という言葉を読み解く | プラスチックパレットの企画・販売 プラスチックパレット株式会社 https://plastic-pallet.co.jp/supply-imbalances-and-bottlenecks-in-naphtha-related-products2026/

📅 "Bluesky Meetup in Tokyo Vol.4 〜初Meetup3周年記念〜 https://428lab.connpass.com/event/387582/ 会場からの生配信！" Bluecast Events #bluecast https://www.bluecast.app/user/@event.bluecast.app/schedule/YfJUJWoF5phHnORK5x6S?tz=Asia%2FTokyo

文藝別冊でディアンジェロなのか diskunion.net/clubh/ct/new...

string strNewLeader = "Magyar"; とかでいいのかしら

そういうロジスティクスがあったのか…。 「オルバン与党が敗北し、世界の右派勢力に大きな打撃となる。 一つは政治資金の調達だ。スペインの極右政党ボックス（VOX）や英国のリフォームUK（改革党）の議員は、ハンガリーの大手銀行経由でハンガリーの支援を受けていたとされる。ロシアもハンガリーの銀行を制裁逃れの金融取引に活用していた」 www.nikkei.com/article/DGXZ...

Let's use the Hungarian notation tonight to celebrate the democracy in Hungary

サランラップ値上げへ 旭化成会長、原油高騰で

「おつかれさま」の研究して論文書いた人がいるんだな cir.nii.ac.jp/crid/1522543...

打ち合わせとかで合っていきなり「おつかれさまです」って言うけど、「こんにちは」みたいに「おつかれさま」を言うのって昔からだっけ？ この10～20年ぐらいじゃない？

この教条主義と権威主義の特徴はフランス革命のジャコバンにまさに合致していておもしろい。 ダントンがつい私腹を肥やして（権威主義）、ロベスピエールが原則論でギロチン送り（教条主義）、あとに残るはテルミドール。

【読書感想】「推し」という病 ☆☆☆☆ - 琥珀色の戯言 fujipon.hatenadiary.com/entry/2026/0...

報道部門のリストラ後、 ワシントンポスト がクリエイター主導の動画を公開 | DIGIDAY［日本版］ digiday.jp/publishers/a...

右派は特に、まあ歴史的には左派もそうだったけど、権威主義的な政権がだいたい腐敗するのは、そもそも権威に逆らえないというのに加えて、「俺は偉いんだからこれくらいズルしたっていいじゃないか」と権力者が自分やお友達にに甘くなるんでグズグズになるんだろうな。にんげんだものという感じか。腐敗しない権威主義というのは原理的にありうるのかねえ。プラトンの哲人君主か？（わらい

「ハンガリーは午前1時過ぎ。原稿がまだまだあるので寝られないのですが、車はクラクションを鳴らしながら爆走、人びとはフィデスの悪口を叫びながら爆笑で、どっちにしろ寝られなさそうでした。 16年ですもんね。赤んぼうが高校生になるんですから。月曜は有給を申請している会社員も多いんだとか。」 https://twitter.com/fujiwara_g1/status/2043470717698584641?t=_0UWVOi8hME9PTPYW9K4aw&s=19 ハンガリー、さすがにロシアに近すぎすぎだったしなあ。あと藤原記者は文章が上手い

TOTO、ユニットバスの受注停止へ　中東情勢で材料ナフサが不足 www.nikkei.com/article/DGXZQO... #ニュース

Gemma 4 26bの翻訳能力 - 井出草平の研究ノート ides.hatenablog.com/entry/2026/0...

チャールズ・ステップニー（Charles Stepney）の名仕事を追体験!　EW&F、マディ・ウォーターズ、ミニー・リパートン、マリーナ・ショウらの作品で発揮された革新的な音世界 | Mikiki by TOWER RECORDS mikiki.tokyo.jp/articles/-/4...

Kindle users in uproar over latest update — rendering oldest devices virtually unusable: ‘F–k You!’ nypost.com/2026/04/09/t...

オストリッチピローのアイマスクはまばたきすらできて良い 元来新幹線や飛行機の中では寝られないたちなのだが、アイマスクと耳栓をすれば寝られることもある。多くのアイマスクは眼に圧迫感があるので苦手だが、テンピュールのアイマスクはそうでもないので愛用していた。それでも目玉には触れるので多少の圧迫感はあるし、かさばるのが難点だった。 最近買ったオストリッチピローのアイマスクは目玉のところが3Dでカップ状になっているので眼に圧迫感がなく、まばたきすらできるのが良い。テンピュールほどかさがある素材ではないので、収納袋に入れると良くあるアイマスク程度のサイズになる。Amazon.co.jp…