kashi (@mkashi) header
kashi (@mkashi) profile picture

精度保証 / プログラミング / 囲碁 / 自転車 / 山 / スキー

Joined January 2009
Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)
LLM登場以降に出てきたとても厄介な問題は、これまではエンジニアによって自然に形成された小さなコミュニティでの議論が、投資や起業、ただ単にバズらせることが目的で集まってきた人たちによるポストに大きく振り回されていること。RAGとかループとかソフトウェアファクトリとかのバズワードを毎週見つけては、Xのアルゴリズムをハックしてバズらせる。そうしたバズワードの中には本質的な議論も混ざり込んでいて、この2つをより分けるのが本当に面倒。
6
125
24
595
87,825
『復刊 数値解析の基礎 偏微分方程式の初期値問題』山口昌哉 野木達夫(共立出版) 1 序論 2 発展系の初期値問題(空間1次元) 3 典型的な差分法の収束性(空間1次元) 4 差分法と発展方程式の一般論 5 差分法と微分方程式系の初期値問題 6 双曲系の初期値問題を解く差分法の安定性 7 非線型波動の方程式の初期値問題
3
19
1,153
kashi retweeted
「Leanでこれ見つけられるの希望ありすぎるだろ」 vs 「えっ、これからのAIはこういうところを足がかりに攻撃してくるかもってこと!?ヤバい世界だ……」
Replying to @broyojo42
One of the bugs: five lines of plain Python that segfault Python 3.15. Instances of a class share one table of attribute names. dict.setdefault on an instance's __dict__ misses the case "this name exists, but not on this object", and dereferences a null pointer.
1
69
3
364
47,272
最近、大学生と話して大変だなと思ったのが、AIに月に2万円くらい(Maxプラン相当)は課金していないと、周りに差がつけられる/おいていかれる+生活費も上がっている、のでさらに関係ないものも含めてバイトを増やさなければならないという事情。 圧倒的な格差の拡大が見えないところにある。
28
251
143
1,858
212,389
マジか、Claude Fable 5.2 今までずっとできなかった折り紙ができるようになってる・・・
Introducing Claude Fable 5.2 and Claude Mythos 5.2, designed to tackle the most daunting technical challenges. They’re capable collaborators on ambitious projects in many fields, and show improvements in areas like coding, reasoning, and vision.
20
163
32
1,713
114,355
また日本だけ、「世界とちょっと違うハードウェアを搭載したスマホ」を要求するわけ? そういうの止めようよ。
1
128
Replying to @rioriost
メモリやNVME-SSDを節約しないと予算に収まらないという話は聞きますね・・・。
1
67
1
192
16,024
kashi retweeted
MicrosoftがAIで脆弱性探索、Windowsの10月更新はCVE修正千件超 pc.watch.impress.co.jp/docs/…
25
1
24
9,294
『ゼルダの伝説 時のオカリナ』リメイク版を「iPhone Duoに“勝手移植”」したGoogleのAI開発者、非難浴びて投稿削除。問われる技術者倫理 automaton-media.com/articles…
123
1,870
394
5,485
1,469,365
会議資料なんかが置いてある「理工系教職員ページ」、php問題の余波なのか今学外からのアクセスを遮断しているらしく、地味に不便。
139
AIポン出汁、いろいろな料理に使えて便利です
🤖 Made with AI
AIポン出汁、煮物やおでんに入れるとうまい
1
195
10
622
21,286
C++26 DISの否決は、Bjarneさんが反対側に回ったことが事実上の拒否権になった、とのこと isocpp.org/files/papers/P445…
20
52
4,676
The x86 Ecosystem Advisory Group released the #AVX10_3 and #ACE v2 (AI Compute Extensions) specifications: x86ecosystem.org/wp-content/… #EAG #Intel #AMD #Zen7 #CoralRapids #AVX512 #AVX10 #AMX
The x86 Ecosystem Advisory Group has updated the #ACE (AI Compute Extensions) specification to v1.16.2: x86ecosystem.org/wp-content/… #EAG #Intel #AMD #Zen7 #CoralRapids #AVX512 #AVX10 #AMX
1
12
2
58
3,877
いつもClaudeくんに音楽を頼んだ時は、 「ぼくには音が聴こえない」ってよく返事される。 じゃあどうやって音楽を作るの?と疑問を持った。 「動画で説明するよ」と作られたものを見て、 正直驚いた。プログラムと数学で音楽を作ることも、この動画の演出も全部凄かった。 #ゲーム制作 #音楽
90
2,235
559
12,401
1,074,784
丹沢でバリエーションルートを歩き回る経験があったり、地図読みの基礎くらいは知っていたりしたから助かったけど、それらが欠けていたら遭難する人だっているだろうと思うんですよね。
8
13
18
92
81,323
ゆ?
108