eban (@eban) profile picture
Japan
Joined April 2007
Photo by eban (@eban)Photo by eban (@eban)Photo by eban (@eban)Photo by eban (@eban)Photo by eban (@eban)Photo by eban (@eban)Photo by eban (@eban)Photo by eban (@eban)Photo by eban (@eban)Photo by eban (@eban)
"将棋AIのアルゴリズムの正しさをLeanで証明した話 | やねうら王 公式サイトやねうら王 公式サイト" yaneuraou.yaneu.com/2026/11/…
22
Wordle 1,969 4/6 ⬜⬜🟨⬜🟩 🟨⬜⬜⬜⬜ 🟨🟨⬜⬜⬜ 🟩🟩🟩🟩🟩
2
いつもClaudeくんに音楽を頼んだ時は、 「ぼくには音が聴こえない」ってよく返事される。 じゃあどうやって音楽を作るの?と疑問を持った。 「動画で説明するよ」と作られたものを見て、 正直驚いた。プログラムと数学で音楽を作ることも、この動画の演出も全部凄かった。 #ゲーム制作 #音楽
78
1,891
468
9,915
774,664
Mathler #1740 — Solved in 3 guesses ⬜⬜🟨⬜🟨🟨 🟨⬜🟨🟨🟨🟨 🟩🟩🟩🟩🟩🟩 Can you beat me? mathler.com
1
28
Wordle 1,968 3/6 🟨🟨⬜🟨⬜ ⬜⬜🟨⬜⬜ 🟩🟩🟩🟩🟩
1
5
【最近判明】桐谷健太、7年水をやり続けた多肉植物が「造花」だった news.livedoor.com/article/de… 桐谷は7年前に引っ越しをしたときに「ガラスに入った多肉植物を買った」という。その植物をかわいがり「水をちょこちょこあげた。7年育てた。本当に強いなって」と感心していたが、造花だったそう。
1,475
61,564
16,951
536,754
28,745,224
Mathler #1739 — Solved in 3 guesses ⬜⬜🟩⬜🟩⬜ 🟩🟨🟩⬜🟩⬜ 🟩🟩🟩🟩🟩🟩 Can you beat me? mathler.com
1
34
Wordle 1,967 6/6 ⬜🟨⬜🟨⬜ 🟨⬜⬜🟨⬜ 🟨🟨🟨🟩⬜ ⬜🟩🟩🟩🟩 ⬜🟩🟩🟩🟩 🟩🟩🟩🟩🟩
1
11
この子の自由研究すごすぎる…
74
696
144
24,572
4,660,775
オニヤンマを蒸留するとトラロープとダブルクリップになるのか。見事
スズメバチ対策として、疑似オニヤンマを製作・設置しました。 昨年の試験設置(4箇所)では営巣は確認されず、一定の効果が見られました。 今年は鵡川・沙流川の樋門すべてに展開予定です。 簡易な対策ですが、効果を検証しながら継続していきます。 #鵡川 #沙流川 #河川管理
2
1,087
23
2,601
136,489
Wordle 1,966 4/6 ⬜⬜⬜🟨⬜ ⬜🟨⬜🟨⬜ ⬜⬜⬜⬜⬜ 🟩🟩🟩🟩🟩
1
14
*sshole脆弱性。これはひどい。歴史的経緯も酷い。 sshhole.com/
2
146
15
501
86,397
eban retweeted
?「go-sqlite3 にスポンサーしたい」 僕「いいね、ありがとう」 ?「まずはウチの商品を見てくれ」 僕「GitHub からスポンサーできるよ」 ?「つきましては打ち合わせを」 僕「GitHub からスポンサーできるよ」 ?「最後のチャンスだ」 僕「GitHub からスポンサーできるよ」
18
2
161
13,631
Wordle 1,965 5/6 ⬜⬜⬜🟨⬜ 🟨⬜⬜⬜⬜ ⬜⬜⬜🟨⬜ ⬜🟨🟨🟨🟩 🟩🟩🟩🟩🟩
1
11
年末調整忘れてた
1
64