どこにでもいるよわよわプログラマー_狐と鹿[email protected]

icon: by @tiki_Apple_1
/*͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏

͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
͏
*/
そろそろプロフ更新しないとな

[どこにでもいるよわよわプログラマー_狐と鹿[email protected] @codebydeer]

【ゆるぼ】
https://t.co/teCoqp0EJaの使い道

6(ドット含め7)文字ドメインだからなんか楽しいことに使いたいと思ってるんだけど、なかなか思いつかない

ちなみに短縮URLはなしの方向で
データベース提供してくれるなら全然やるよ

[すきえんてぃあ@書け @cicada3301_kig]

体に回すべき栄養を脳に回す異常戦略で繁栄した人類が、食糧に回すべき水と電力をAIに回しているのは繁栄の道

一理ある

[雑魚PD @leanyaritai]

数学が分かるということ

[broiler @broiler_u]

感覚遮断

[猛禽 @m1______9]

別冊付き参考書のここ嫌いすぎるんだけれどどうすればいいの

[Beaver 🦁 @beaverd]

"you're absolutely right! I shouldn't have launched those nukes -- that's on me."

[Math Lady Hazel 🇦🇷 @mathladyhazel]

The Fibonacci elephant.

[なかざん @Nkzn]

二刀流勢という悲しきモンスターをこれ以上生み出さないためにも分割HHKBが待たれます。

[tomo makabe @mkbtm]

計算間違いの問題。巻き回数をチェックしたら設定よりも少ない回数になってた。設定7700で実際には7256。この誤差の原因はマイコン内部の処理で回転数をfloatで処理をしてた影響。stepをint32でカウントする方法に変更して解決。

[山本拓人@速習大学数学(YouTube) @TKT_Yamamoto]

たとえば

「列ベクトルa₁,a₂,……,aₙに対して，
dim span(a₁,a₂,……,aₙ)=rank[a₁,a₂,……,aₙ]
が成り立つ」

と

「列ベクトルa₁,a₂,……,aₙに対して，U=span(a₁,a₂,……,aₙ), A=[a₁,a₂,……,aₙ]とおくと
dim U=rank A
が成り立つ」

は全く同じ意味やけど，その人の学習段階と

[たけ @TakeTakaAway]

同一IPかつ同一時間帯にチェックインすることの多かったアカウントを無差別にBANしてるなこれ

同一IP (ゲーセンのWi-Fi) かつ同一時間帯 (友達や兄弟) にチェックインしたアカウントがみんな誤BANされてる

複アカでもIPアドレスとチェックインの時間帯がズレているものは1つもBANされてない

この対応は改めるべき

[shadcn @shadcn]

No model survives the "are you sure?" They all fold instantly.

[筒井.xls@エクセル関数擬人化本著者 @Tsutsui0524]

条件付き書式の感動した使い方
日付の月が変わるところで罫線入るやつ

[Gyroid @shutoito]

普通に使えますね！ヤケヤスデが一撃でクリアしたり、TAが崩れやすいポイントがあるところに注目！

[べにとら @r3dtg]

@livedoornews ※パスワードには、ハッシュ化・暗号化されたものも含みます。

→「も」って…。まさかパスワード平文保存とか幼稚園児でもやらないことしてないよな…

[おいしいたまごII(凍結🧊) @oitamagocchii]

@livedoornews 個人情報なんてどれだけ自分自身が気をつけていようとこうやって企業がやらかすんだよな
niftyとか普段使いのやつだからこれでスパム来るようになったら確実にKDDIのせいだわ
エイリアスで登録できるサイトは1つずつ全部エイリアスで分けたほうがいいかもしれんね
そうすれば多少被害減らせる

[情報の灯台 @joho_no_todai]

Firefoxがzlib-rsを採用した直後、Intel Raptor Lake CPUでクラッシュが続出した。
zlib-rsはRust製のzlib互換実装だ。

原因はハードウェアバグで、特定の命令が1バイトの値を無言で書き換える。
C言語のzlibなら壊れたデータはそのまま流れる。
Rustの境界チェックが不正な値を捕まえ、クラッシュとして表面化させた。

開発者は「C言語なら黙ってデータが壊れるだけだった」と振り返っている。
https://t.co/uO2OiOcQBI

[管四 @guansi]

最近发现了一个特别有意思的用法。我把 GPT 和 DeepSeek V4 Pro 当高级工程师用，负责写 SOP、写 CI/CD 流程、设计方案。然后把这些东西一股脑丢给 Hermes Agent 里的 Minimax M3 去执行。

正常情况下，ChatGPT 一个小时能搞定，DeepSeek 两个小时也差不多了。M3 呢？已经干了一上午，四个小时过去了，还在和 CI 测试死磕。日志刷得飞快，错误改了一轮又一轮，就是过不了。

但神奇的是，我居然没有生气，反而越来越期待。

因为我突然意识到，M3 最有价值的地方可能不是干活，而是验收文档。

如果 GPT 写的 SOP，DeepSeek 写的流程，最后连 M3 这种级别的“小白员工”都能一步一步照着执行成功，那说明这个文档是真的写明白了。反过来，如果 M3 卡住了，大概率不是它一个人的问题，而是流程里还有默认知识、隐藏前提和作者自己都没意识到的经验依赖。

以前测试用户手册，要找新人。

现在测试用户手册，直接找最笨的 Agent。

某种意义上说，M3 已经从生产工具变成了质检工具。

它就像公司刚入职的新同事。能力可能一般，效率可能不高，但凡是文档里写得不清楚的地方，它一定能精准踩坑给你看。

AI 时代最好的测试工程师，未必是最聪明的模型。

有时候恰恰是最笨的那个。

[どこにでもいるよわよわプログラマー_狐と鹿[email protected] @codebydeer]

最近のGeminiとかのAIとか特にですが、単なる予測にとどまらず、組み合わせて(例えば全体の筋を扱うレイヤーと具体的な理論を辿るレイヤーなどを分けたり、ツールを使わせることで計算等をさせたりして)提供されていることも多いので、賢いです

[ロキ@院死 @letsintegra1]

LLMってただの文字予測なのにここまで賢くなるの普通に意味わからんすぎるけど

[どこにでもいるよわよわプログラマー_狐と鹿[email protected] @codebydeer]

さっきテレビでブラックサンダーの工場の工程を紹介してて、
検品が「良品(不良品じゃないやつ)を選別して次のラインに流す」方式で、
ブラックなのにホワイトリスト方式だーってなってた

[myth @happymythyeah]

「実数しか知らない人は、iと-iの区別がつかない」みたいな話はよく言われるけれど「有理数しか知らない人は、√2と-√2が区別できない」みたいな話ってされないよね