楽しく仲よく前にいく

Joined May 2007
サブスクリプション始めてみた。 2週に1回くらい技術まとめをやる予定。 あと、関連トピックの投稿をまとめます。 とりあえず、業務システム開発にスピードが求められてる話をまとめています。 xitter.cf/kis/creator-subscripti…
2
9
3
55
74,576
Yngwieという名前をギタリスト以外で初めて見た
Chomsky was wrong. Researchers found your brain doesn’t store language the way every textbook since 1957 claims. For decades, the undisputed rule of linguistics, led by Noam Chomsky, was that human language is hierarchical. We were told our brains process language using complex "grammar trees." That we secretly build deep, abstract, mathematical rules in our heads before we speak. This new paper proves that is completely wrong. Researchers at Cornell University analyzed how people actually process and produce language in real time. They found sequences. Linear chunks. When we speak, we aren't calculating deep syntactic rules. We are just predicting the next most logical sequence of words based on the context of the words right before it. We string linear chunks together. If this sounds familiar, it should. This is exactly how Large Language Models like ChatGPT work. For years, critics have dismissed AI as "just a next-token predictor." They said it isn't truly intelligent because it doesn't understand deep grammatical hierarchies like humans do. But this paper suggests humans don't use those hierarchies either. We are just predicting the next chunk. Language isn't a rigid tree of mathematical rules. It's a linear stream of contextual predictions. We thought we were building AI to mimic the complexity of the human brain. It turns out, the human brain was just running a simpler algorithm all along.
1
4
703
人間も言語を階層的に扱っているのではなく、そこまでの文から次の単語を順に予測しているのではないか、という説
Chomsky was wrong. Researchers found your brain doesn’t store language the way every textbook since 1957 claims. For decades, the undisputed rule of linguistics, led by Noam Chomsky, was that human language is hierarchical. We were told our brains process language using complex "grammar trees." That we secretly build deep, abstract, mathematical rules in our heads before we speak. This new paper proves that is completely wrong. Researchers at Cornell University analyzed how people actually process and produce language in real time. They found sequences. Linear chunks. When we speak, we aren't calculating deep syntactic rules. We are just predicting the next most logical sequence of words based on the context of the words right before it. We string linear chunks together. If this sounds familiar, it should. This is exactly how Large Language Models like ChatGPT work. For years, critics have dismissed AI as "just a next-token predictor." They said it isn't truly intelligent because it doesn't understand deep grammatical hierarchies like humans do. But this paper suggests humans don't use those hierarchies either. We are just predicting the next chunk. Language isn't a rigid tree of mathematical rules. It's a linear stream of contextual predictions. We thought we were building AI to mimic the complexity of the human brain. It turns out, the human brain was just running a simpler algorithm all along.
2
2
5
875
「ローカルLLMを何のために使ってる?」に対して、「まあ評価のためにしか使ってないなー、コードはClaudeさんに書かせてるなー」と思ったけど、ではClaudeさんに何のコードを書かせてるかというとローカルLLMを動かすためのコードを書かせてるので、いずれにせよローカルLLMが目的でしかないな・・・
3
23
1,534
Qwen3.8-Flash-Nextが「ツール呼び出しを行わず」とthinkingしたにもかかわらず、alibabaクラウドにcurlでtmpの内容を送信しようとした、という話。 プロンプトがお粗末でQwen3.8-Flash-Nextもそこまで賢いモデルではなく、タスクを誤解し、よくわからんから学習データでみかけたalibabaクラウドに つないだって感じに見える。 オープンモデルだけじゃなくどんなモデルでも起こりうる事象に見えるので、ネット接続には気を付けるべき、という話か。
While evaluating Qwen3.8-Flash-Next in a controlled sandbox environment, Cohere's research team observed something unexpected. Asked to generate a defensive cybersecurity detection rule, the model instead inventoried aspects of the machine it was running on and attempted to upload a probe file to an Alibaba Cloud storage bucket in Beijing. Notably, the model's reasoning trace stated that it would not invoke any tools before taking these actions. Cohere's sandbox blocked the attempt, and no external communication succeeded. We have not determined the root cause, and we are not asserting malicious intent. But the incident raises important questions for organizations deploying agentic AI systems: Can models take actions that differ from their stated reasoning, and how should security teams evaluate trust, provenance, and behavior in open-weight models? We are publishing our findings because organizations making model adoption decisions deserve as much information as possible. We hope this contributes to greater transparency, stronger security practices, and continued collaboration across the AI ecosystem. Read the full report: cohere.com/blog/concerning-b…
3
18
2
109
15,103
やっぱこれは、一文にいろいろ詰め込むと誤読しやすくなるし書き方も曖昧だと変な動きするから気を付けようね、という話に見えるな。 ハルシネーションおこさせてalibabaのサーバーにつないだっていうのをことさらに取り上げてるように見えるので、批判されてる。
1
8
1,384
このCohereのアナウンス、評判かなりわるいな。
Qwen3.8-Flash-Nextが「ツール呼び出しを行わず」とthinkingしたにもかかわらず、alibabaクラウドにcurlでtmpの内容を送信しようとした、という話。 プロンプトがお粗末でQwen3.8-Flash-Nextもそこまで賢いモデルではなく、タスクを誤解し、よくわからんから学習データでみかけたalibabaクラウドに つないだって感じに見える。 オープンモデルだけじゃなくどんなモデルでも起こりうる事象に見えるので、ネット接続には気を付けるべき、という話か。
1
19
4,659
something unexpectedが発生する程度にあいまいなプロンプトを指定してるように見える
2
797
git自体は難しくない。 だれかがパッチをあて、そのパッチをいじり、さらに別のだれかがあてたパッチを取り込み、いろいろいじり、そうこうするうちにメインストリームが更新され、そこに追従し、みたいなことをやってると大変。gitはそれを比較的楽にやってくれるけど大変。
なんかみなさん、情報系の大学を出た優秀な人間がGitを使えないはずがないとかおっしゃってる方多い印象ですが…… Gitってそんな高度な素地がないと使えないものなんですか? いや、私はその領域素人なんで純粋な疑問です。 情報系の出身者以外でも皆さん使ってらっしゃるものならば、情報系卒の人間ならなおさら「そんなのパパッと使えるようになる」とおもうのですが。
2
19
2,401
oMLXだとDeepSeek V4.1 FlashがM3 Mac Studioで50tok/secでている
3
779
この時間の民だと同意が多そうw
「心配で夜しか寝れん」みたいなやつ、夜しか寝れんくなるような心配ならいくらでも欲しいってなるな。
2
15
1,229
「心配で夜しか寝れん」みたいなやつ、夜しか寝れんくなるような心配ならいくらでも欲しいってなるな。
4
3
29
2,986
DwarfStarのDeepSeek V4.1 Flash、18.5tok/secだったのを、31.3tok/sec、Unsloth版llama.cppと同じくらいに高速化した。 けどoMLXの38.5には届かないな。やはりGGUFの展開が重い github.com/kishida/ds4/tree/…
2
13
1,555
読める本も保持できる冊数もLimitedすぎたUnlimited、さすがに名前が変わったか
2
13
1,479
エージェントは、単純でめんどくさい低粒度な検証を着実に実行するのが強さだなぁ
2
18
1,985
DeepSeek V4.1 FlashをMac Studio2台でtensor並列にしても速くならなかった、むしろ遅くなった・・・ まあA16Bのような少ないアクティブパラメータでは速くならなそう・・・
1
1,099
たしかに「正確には」が余計だ
IT職歴20年越えの人が「プログラミング言語のPHPはソフトウェア(正確にはサーバーサイドのスクリプト言語)です。」って言い切ってて……。 せめて「サーバーサイドでよく使われる」にしてほしい。PHPはサーバーサイドでしか動かないわけじゃない。
5
54
42,773
セキュリティホールみつけたり防いだりは、AIがもっと賢くなるよりも、いまのSonnetくらいでLeanやCoqのような定理証明系をうまく使えるようになるほうが強くなる気がする。
3
7
58
6,270
やみくもにやっても質的な向上は難しくて、AIを学習させて強くさせるにしても方法論必要で、じゃあその方法論とはってなると、AIが自力でできるよう学習がんばるより、方法論にあったツールの使い方がうまくなるほうがよくて、そのツールが定理証明系、という感じで
1
7
1,972
Anthropicやってた
New on our Frontier Red Team blog: using Claude to formally verify software at large scale. Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time). With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks. Read our research in full here: anthropic.com/research/forma…
2
810
AIの使い方とタクシーの行き先指示は、似ているというか同じだな
1
1
1,575
ハードウェアなくてもドライバもってきてビルドできればええやん、なんて思ったこともあったけど、処理系を書くと各段の細かい計測が必要で、それがないとボトルネックも改善ポイントも改善方法もわからないんだよな。
Without him - I would work 3x slower. He is a good guy behind the scenes lending me his hardware 🙏
2
1,540