mxrwz retweeted
せっかくなのでOrigin Trialを申し込んでGitHub Pagesでデモページとして公開してみた。ChromeでGPUがちゃんとしている端末で開くと動くかも。AndroidのChromeとかだとGPUの描画負荷で厳しいかも。
HTML-in-CanvasとWebGPUのデモページとして楽しんでもらえれば。
matchachoco010.github.io/dem…
mxrwz retweeted
In laymans terms,
Titanium implants are strong and the body accepts them, but they’re way too stiff
because the metal takes almost all the pressure, the real bone next to it gets lazy and starts to weaken over time (like a muscle that doesn’t get used).
This was the issue with earlier titanium implants and joint replacements
the new implant though are made from a special zinc alloy shaped like a lightweight, sponge-like lattice
it is flexible and almost like real bone, so it shares the load properly and doesn’t cause that weakening problem
Whats REALLY fucking cool is that its also designed to dissolve over time
So its a temporary implant, and as it dissolves, it releases minerals and ions that actually promote your new, healthy bone in its place
When the job is done, the implant is mostly gone and your own bone has taken over and is the proper strength
-medical engineering is a marvel
today while talkin to my friend (who’s a doctor) I learned something really crazy
That the titanium implants don't just sit in bone they actually bone grows into them
the oxide layer on titanium surface is chemically close enough to biological tissue that cells can't find the boundary so they erase it
osseointegration isn't the implant holding on it's biology deciding the metal belongs there
the skeleton adopts the foreign object as its own
Cyborg vibes
mxrwz retweeted
おい、始まったな！！！！！！
「モデル内部に存在する知識の非対称性を活かして学習信号に応用すると、強力な外部教師に依存することなく、基盤モデルの事後学習が可能となる」
arxiv.org/abs/2610.32770
mxrwz retweeted
情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました！
たぶん世界初です。
Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。
昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。
開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。
Nyxisは大部分がLean言語で記述されており、形式検証によって
「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」
という認可安全性定理を機械的に証明しています。
認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。
形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。
先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。
こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。
Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。
もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。
この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。
一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。
本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。
世界をセキュアにする一助になれば嬉しいです。
github.com/NyxFoundation/nyx…
mxrwz retweeted
まさか定理証明支援系が実用レベルで使われるようになるとは
情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました！
たぶん世界初です。
Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。
昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。
開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。
Nyxisは大部分がLean言語で記述されており、形式検証によって
「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」
という認可安全性定理を機械的に証明しています。
認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。
形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。
先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。
こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。
Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。
もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。
この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。
一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。
本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。
世界をセキュアにする一助になれば嬉しいです。
github.com/NyxFoundation/nyx…
mxrwz retweeted
I was the opening act for a family of ducks.
Thank you, Berlin. What a GTC.
Europe is building its AI ecosystem and economy, from AI factories to agents to robots.
DSX POD: Vera Rubin modular factories built, cabled and tested in the factory, then delivered ready to produce intelligence.
Agents: models, harnesses, sandboxes, knowledge and tools. NVIDIA Agent Toolkit brings the pieces together so companies control what their agents know, access and do. NVIDIA OpenShell enhances safety.
Physical AI: new customers across AI-RAN, robotaxis and robotics.
Personal AI: after four years building with Microsoft, RTX Spark brings personal agents to the Windows PC.
Thank you to President @EmmanuelMacron, Prime Minister @andyburnham and Chancellor @bundeskanzler for hosting me. Great to celebrate Sferical One with Sweden’s technology leaders. And thank you to President @TokayevKZ for the warm welcome.
And to our partners and NVIDIA teams: thank you for making it happen.
The keynote is here: youtu.be/rF1EsryCAwc
mxrwz retweeted
LLM一切なしの音声対話モデル？？？？？？？？？？
しかもオープンにするって宣言しててヤバいんだけどw
これローカルで動かせたら革命すぎる....
リプで詐欺電話は次のレベルに到達しようとしているとか言われてるのも草
GPT-Live以来の音声モデルの革命...
We believe voice is the most natural way to interact with intelligence, so we created Dessa, the most authentic full-duplex speech model ever built. Talking with it feels like talking with a person…full of emotion, nuance, pauses, and a natural cadence.
block.xyz/dessa
mxrwz retweeted
モデルは大体どこもある程度賢くなったから、そこにコンテキストとかツールをいかにユーザーの認知負荷を下げたUI/UXで上手に渡して価値ある成果物やアクションに繋げるかの勝負、つまりプロダクトとしての勝負がより顕著になってきてて、相対的に見てOpenAIは『プロダクト』に軸足を移すという意味では遅れてる気がする。『賢さ』だけではジリ貧だから急いだほうがいい。
mxrwz retweeted
Tailscale を使って、スマホから Mac や Ubuntu に ssh 接続するアプリ、今まで Termius とか使ってたんだけどなんか使いづらいのが気になってたんだけど
昨日、800円 買い切りの 「SSH Term」というアプリを購入して使ってみたら、想像以上に使いやすくて感動したので簡単に紹介する。参考までに1日使って良いと思った点を列挙しておく
①日本語入力ができるTerminalアプリ
→他のアプリだと日本語入力がうまくできなかったのでこの機能目当てで購入した
②SFTPファイラー機能もついている
→これも地味に便利
③スマホからエージェントの操作がしやすい
→複数のハーネスに対応
④エージェントの通知がスマホに届くようにするためのntfy 連携が簡単にできる
⑤800円買いきりで、Google アカウントに紐付いているので複数の端末にインストールが可能。追加費用無し
今までストレスに感じていた部分が解消され、さらに体験も良くなったのでもっと早く買っておけばよかった。他にもおそらく色々便利機能があると思うけど、とりあえず一旦ここまで
mxrwz retweeted
【速報】PHP級以上の重大な欠陥の公表を予告、米クラウドフレアCEO
・今後数週間〜数カ月に複数公表されるのは「ほぼ確実」と説明
・別ソフトの欠陥について、すでに事前情報を把握
Readers added context they thought people might want to know
Cloudflare CEOの発言はReutersインタビューで他の重要ソフトの深刻脆弱性を認識しAIで今後多発予測した一般論で、PHP級以上の特定欠陥公表を予告したものではありません。
thehindubusinessline.com/info-tech/ai-d…
secnews.gr/en/743113/clou…
mxrwz retweeted
💥我靠！Kimi K3.1 自行车骑鹈鹕实测炸了，效果直接比肩 Opus 5.5！
这波不是普通的鹈鹕骑车，而是自行车骑鹈鹕的荒诞堆叠，画面完成度、配色和设计感直接拉满，前端/视觉生成能力已进入第一梯队。
细节满满：
🔹夜空：新月+星点+远处山丘轮廓，右侧暖橙落日余晖与海平线呼应。
🔹左侧灯塔：红白条纹+发光灯室，光束射出，背景小屋有窗户亮灯。
🔹核心主体：白色鹈鹕戴红围巾、喙含鱼，身体与自行车深度融合，上青下红双车架。
🔹顶部：Xbox风格白色手柄直接“骑”在自行车上，按键细节清晰。
🔹底部：灰白鳄鱼/短吻鳄头戴锅/碗，眼神呆萌，站在木栈道上。
🔹环境：海浪、木码头、小蟹、帆船剪影，整体童话感+轻微赛博荒诞。
这种堆叠构图+光影层次+物体关系理解，已经不是简单SVG能随便糊弄的水平。
国产模型在视觉/前端这块继续追平甚至局部反超闭源旗舰，后续正式发布后值得重点盯。
#Kimi #KimiK31 #鹈鹕骑车 #自行车骑鹈鹕 #AI #Opus55 #MoonshotAI #前端生成 #SVG #Kibitz
xitter.cf/NFT_Chen/status/211346…
mxrwz retweeted
DeepSeek(深度求索)はどうもArditi et al. 2406.11717からなるAbliteration系の無検閲化に対する一定の対抗策を見つけたらしい
これまでは単純に拒否する時に発火している内部表現を使ってウェイトに対して単一のベクトル介入で無検閲化できたんだが，
どうやらその際に判断系のウェイトを巻き込むように学習されている可能性がある
結果として著しく性能が落ちたり，ループに陥るため，これを回復するために元のモデル出力を使って追加のSFTが必要となってしまって，結局拒否しないようFTやRLHFするように莫大なコストがかかるようになってしまうので，これまでのようにコミュニティの演算資源やクラウドGPUを用いた無検閲化モデルは少なくなる可能性が高いんじゃないのかな
mxrwz retweeted
そうそう。皆さんこれまでお疲れ様でした。もう次のステップに移行しましょう！
🤖 Made with AI
違うんです。みんなが気にしていなかっただけで、ウェブサーバやその上で動くウェブアプリケーションに携わる人達は、これまでずっと脆弱性と戦ってきたんです。
日々、脆弱性が報告され、そのたびに自分達のシステムへの影響の有無を判定し、影響があればパッチを当ててアップデートする。ログを監視し、アタックがあればブロックし、バグがあれば修正し、そしてまた次の報告が来る。何も起きない日は誰にも気付かれないし、褒められもしない。それでもインターネットが動き続けてきたのは、完璧なプログラムがあったからじゃなくて、壊れるそばから直し続けてきた人達がいたからなんです。
ただ AI の登場で、脆弱性を見つけて突くスピードが一気に上がって、直すスピードより壊すスピードの方が速くなってしまっただけなんです。
これからは、サーバアプリケーションを作る人達も AI を使って直すスピードを上げ、先を予見して穴を塞いでいかなければなりません。今はちょうどその過渡期なのです。