【PHPはオワコン】AIが書いたコードをなぜ信用できるのか？数学的証明で守る新しいサーバーサイド言語「QED Script」を作った

いつまで人類はPHPを使い続けるのかいきなり身内に喧嘩を売るようで恐縮だが、このWirelessWire NewsはWordPressで動いている。 WordPressといえばPHPである。筆者はもう10年以上前からPHPを使うのをやめている。別にPHPで作られたWebサイトが即座に危険というわけではないし、適切に管理すれば安全に運用できる。しか...

【PHPはオワコン】AIが書いたコードをなぜ信用できるのか？数学的証明で守る新しいサーバーサイド言語「QED Script」を作った

この記事のキーワード

同じキーワードの記事

「バグのないソフトウェア」の実現を目指してAnthropicが「AIを用いて数学的にバグがないことを証明する」という手法を開発

【PHP脆弱性に緊急対応】Webサイトの更新・エラー対応を1サイト25,000円で一括提供

「ホームページの健康状態、最後に確認したのはいつですか？」FASとmiraNEX、WordPressの安全性からコンテンツの改善点までAIが診断する「プリケアWP2.0」を発表

PHP財団の常勤職員「たった1人」の衝撃--ウェブの安全を支える人手と資金が足りない

WordPressから、AIと自分で更新できるホームページへ。「ひとことWeb」が移行プランを提供開始

「今夜に対応して頂きたい」総理の異例投稿 PHP騒動が残した「運用」という教訓

MetaのパーソナルAI「Muse」を使ってみた 先回りして気遣えるAI

【週間振り返り】Meta決算発表 VRデバイス低調もAIグラスが伸長 黒字化を目指す

AIはハッキングのあり方を根本から変えつつあり、銀行や電力網がインターネットから切り離される日も近い？ - YAMDAS現更新履歴

AIによる脆弱性発見が加速、専門家「混乱期の始まり」

【解説】 PHPの脆弱性、サイバー空間の不発弾のようなもの＝BBCテクノロジー編集長 - BBCニュース

Lumexa AI、企業のWebサイトに潜むセキュリティリスクを無料で確認できる「ルメクサPHP無料セキュリティ診断」を提供開始

クリスタ、脆弱性対応で一部サービス「予告なく停止」の可能性 データの事前ダウンロード呼び掛け

PHP脆弱性への対応をきっかけに、サイバーセキュリティ対策を急ぐ企業へ。Meta Heroes、AIを活用したサイト診断・改修を支援

「予防的なサービス停止」は定着するのか? PHP脆弱性問題で起きた変化

【QA】PHPにぜい弱性発見 AI時代に求められる対応とは?

噂の【Reborn VAIO】って知ってる？ ありえん安さのメーカー保証付ノートPCの謎に迫る

PHP欠陥｢AIなら数分で標的に｣ サイバー攻撃検知、休眠サイトもリスク

「長い目で見れば防御側が有利」はなぜ？ 守る側のAI活用法、本命は Webセキュリティ専門家に聞く

PHPの重大な脆弱性2件、深刻度「9.2」の修正版公開。「ホームページのリフォーム屋さん」が中小企業向け「PHP・WordPress更新代行サービス」を35,000円から提供開始

MetaのパーソナルAI「Muse」を使ってみた先回りして気遣えるAI

【週間振り返り】Meta決算発表 VRデバイス低調もAIグラスが伸長黒字化を目指す

クリスタ、脆弱性対応で一部サービス「予告なく停止」の可能性データの事前ダウンロード呼び掛け

噂の【Reborn VAIO】って知ってる？ありえん安さのメーカー保証付ノートPCの謎に迫る

PHP欠陥｢AIなら数分で標的に｣サイバー攻撃検知、休眠サイトもリスク

「長い目で見れば防御側が有利」はなぜ？守る側のAI活用法、本命は Webセキュリティ専門家に聞く