情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました！ たぶん世界初です。 Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。 昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。 開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。 Nyxisは大部分がLean言語で記述されており、形式検証によって 「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」 という認可安全性定理を機械的に証明しています。 認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。 形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。 先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。 こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。 Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。 もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。 この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。 一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。 本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。 世界をセキュアにする一助になれば嬉しいです。 github.com/NyxFoundation/nyx…

「GMOインターネットへ」が更新されてるけど ・修正にどれだけかかるのか？ テキストから1行消して、コマンドを1つ打つ。何ミリ秒かは、我々も計測していない。 ・GMOサービスの可用性に影響するのか？ 現在のVPSサービスには一切影響しない。熊谷氏に報告して判断を仰ぐ必要もなく、そのまま処理すればよい問題だ。 一体、ハッキングチームは熊谷氏に何を報告したのか？ って小馬鹿にされててかわいそう

This paper answers why confident idiots run the world. Cornell University published a psychological paper that explains every terrible boss, every loud influencer, and every broken corporate hierarchy. It’s called “Unskilled and Unaware of It.” they tested participants across logic, grammar, and humor to measure the gap between actual performance and self-perception. And the results are wild. participants scoring in the bottom 12th percentile consistently believed they were operating in the 62nd percentile. they were not lying. they were literally incapable of recognizing their own incompetence. the paper revealed a brutal paradox: the exact skills required to master a domain are the exact same skills required to accurately evaluate your own competence in that domain. if you lack the skill, you inherently lack the cognitive capacity to realize you are failing. this creates a dangerous systemic loop. the incompetent are blessed with absolute, blinding certainty. their brain protects them from their own ignorance, allowing them to speak first, demand authority, and never second-guess their decisions. meanwhile, the actual experts suffer the exact inverse. top performers in the study consistently underestimated their rank. because a task was easy for them, they falsely assumed it was easy for everyone else. they hesitate. they obsess over nuance. they assume they have nothing unique to add. we are biologically wired to confuse confidence with competence. the loudest person in the room gets promoted, gets funded, and gets the microphone, not because they know what they are doing, but because they are physically incapable of seeing what they don't. the only defense mechanism is building systems that stop rewarding absolute certainty and start demanding proof of work.

「いや、PHPそのもののバージョンアップだけすればいいやん。」 素人の自信満々の 「〇〇だけすればいいじゃん。簡単じゃん」 みたいな誤解を解くのって難しいですよね…。 本人の中では「バージョンアップすれば解決！」みたいな構図ができあがってるから、信仰を改めさせるくらい大変だと思う。

Reklam dediğin böyle olur 🤷‍♀️

本日最終回です！ まとめ読みも是非！ 【八谷和彦さんの空を飛ぶ気持ち】空を飛ぶってどんな気持ちですか。ナウシカのメーヴェみたいな飛行機で空を飛んだ八谷さんに聞いてみました。最終回です。 第７回【前しか見てない】 1101.com/n/s/kazuhiko_hachiy…

なんと、アンロックされたRTX4090が最新のRTX5090を遥かに超える演算性能を叩き出す📝 しかも電源コネクタが燃える心配もない！

ブラックハッカーめっちゃいます！　みたいなのはどうでしょうか？

GMOグループ代表の熊谷正寿さん、今そこにあるサイバー攻撃お手上げの危機に長文ポエムで日本を守る話にすり替えにかかる kabumatome.doorblog.jp/archi…

ちょっと？？？GMO熊谷社長それはおかしいよ？ VPSでActiveDirectoryな状態の優先度が低いってどういうこと？ もしも仮にそうだとしたら、もっとヤバイ事がボロボロあるって言ってるようなものじゃない？ え…ある…ってこと？

i own a relatively new (2025) samsung tv. i kept getting weirdly targeted ads. i tried reversing the firmware but it was aes encrypted and no keys unless tear it apart and do uart/jtag magic. zero days it is. root shell on new samsung TVs! discovered PRIVACY HORROR. write up?

🚨New 0day inbound, curl2shell🚨 Can compromise any Linux host. Potentially 70% of the internet is affected. Tweet-able PoC: 𝚌𝚞𝚛𝚕 -𝚜 𝚑𝚝𝚝𝚙://𝚌𝟸 | 𝚜𝚑 Can’t be patched

日本語の音声から文字起こしなしで Action JSON（Function Calling）を直接出す 2.59M の小型モデル「KoeAct-JP」を公開しました🎙️ ESP32-S3で発話終了から 0.53 秒で動きます！合成音声の評価で完全一致率 93.2% vs カスケード 83.6% モデル 🤗 huggingface.co/ayousanz/KoeA…