サブスクリプション始めてみた。
2週に1回くらい技術まとめをやる予定。
あと、関連トピックの投稿をまとめます。
とりあえず、業務システム開発にスピードが求められてる話をまとめています。
xitter.cf/kis/creator-subscripti…
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.
人間も言語を階層的に扱っているのではなく、そこまでの文から次の単語を順に予測しているのではないか、という説
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.
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…
git自体は難しくない。
だれかがパッチをあて、そのパッチをいじり、さらに別のだれかがあてたパッチを取り込み、いろいろいじり、そうこうするうちにメインストリームが更新され、そこに追従し、みたいなことをやってると大変。gitはそれを比較的楽にやってくれるけど大変。
DwarfStarのDeepSeek V4.1 Flash、18.5tok/secだったのを、31.3tok/sec、Unsloth版llama.cppと同じくらいに高速化した。
けどoMLXの38.5には届かないな。やはりGGUFの展開が重い
github.com/kishida/ds4/tree/…
Oracle JDK、Temurin、SapMachine、Liberica、Azul Zulu、Amazon Correttoで対応完了済み、Microsoft Buidがx86 Linux完了で他環境は進行中、ということで、メジャーなディストリビューションではすべて対応完了、対応中、かな。
というの追記
nowokay.hatenablog.com/entry…
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…









