にゃんだーすわん

動的言語が好きです。カッコとコッカも好きです。でも型推論はかっこいいです。pixiv Inc.で

[にゃんだーすわん @tadsan]

ご存じでしたか？ tadsanをサブスクリプションできます！ (支援者の皆様の承認により生存して居ります) https://t.co/wk6lE4cz1T

[にゃんだーすわん @tadsan]

@memori_hiyori おはようございます

[がっちむち♂@ AGI開発 @Heichyakusan]

「情報漏洩が起きないことを数学的に保証する」というNyxisのリポジトリを徹底監査しました。

結論、認可モデルの設計とLeanによる形式証明はかなり高品質です。

操作ごとの権限判定、状態遷移、連鎖削除、外部送信まで形式化し、証明の公理依存や異常系まで検査している。ここは素直に評価できます。

しかし、肝心の「情報漏洩の防止」という目的に対する整合性には重大な欠陥があります。

① 認証鍵付きの外部API通信で、データベース内のURLを送信先に指定できる。利用者がURLの変更と呼び出しを許可される構成では、秘密の認証鍵が第三者のサーバーへ送信され得る。

② AI生成コードの安全性を主張する一方、起動処理の任意IOやビルド時の実行は完全に隔離されていない。

③ DBの確定前にメールや外部APIへの同期送信を実行する。後からDBを取り消しても、外部への送信は取り消せない。

④ JWT検証のたびに外部から公開鍵を取得するため、不正な要求の大量投入が可用性を脅かす構造もある。

そして最も深刻なのは、これらが形式証明と矛盾しないことです。

Nyxisが証明しているのは、定義されたポリシーに従って操作が発行されるという性質です。

しかし、許可された操作が安全な情報の流れを保証するとは限りません。

作者自身が証明の限界を詳細に公開している点は誠実です。ただし、限界を明記することは、その限界によって生じるリスクを解消したことにはなりません。

形式証明の品質は高い。しかし、形式証明の対象設定と、製品が達成しようとしている目的の整合性が不足している。

これは数学の問題ではなく、上流のシステム設計の問題です。

セキュリティ基盤としては、現段階で受入不合格と判断します。

https://t.co/qKDkTnNt6R

[にゃんだーすわん @tadsan]

6.0としては具体的なリリース計画まで進まず、6.0向けに準備されていた新機能は5.3, 5.4, 5.5にUnicode以外ほぼバックポートされているはず (ちゃんと調べるか…) https://t.co/AKkkxu0nsc

[たなてぃ @IkaTanat]

知らなかった。
勝手にRCの手前くらいまで行ってたものと思い込んでいた

[にゃんだーすわん @tadsan]

そんな会社は1社もない

[Scarecrow @scarecrowEng]

@nikkeibusiness 未だにPHP6.x使ってる日本の会社無限にあるから…お気の毒様

[にゃんだーすわん @tadsan]

PHP 6としてリリースされたバージョンリリースは開発者向けのalpha, betaのようなものを含めて、ない。(7.0.0のalphaやbetaはある) https://t.co/7xAexT8qIC

[西村/learningBOX/競プロｱｶ @ynishi2015]

アルファ版ぐらいはあったような気もする。

[にゃんだーすわん @tadsan]

エクストリーム・プログラミングとかいう一般攻撃魔法(ゾルトラーク)

[アカノ☆ビャクア@10/24ライブ出演！ @Akano_Byakua]

まだまだ配信中！来てくれるだけでポイント増！！
気軽に遊びにきてね✨✨

https://t.co/CH6CTeKwNl

[にゃんだーすわん @tadsan]

@saboyutaka 次東京に来たときに！

[にゃんだーすわん @tadsan]

弊社で出社がブーム (家賃補助貰っていない社員に出社義務はありません。交通費は出る)

[ほーるけーき @hool_chan]

ドヤ顔にも種類があってですね

[Ondřej Mirtes @OndrejMirtes]

PHPStan Turbo now also makes Rector faster! Rector 2.8 ships with Turbo enabled, taking 50% less time to finish.

[にゃんだーすわん @tadsan]

その話もするか…

[PHPカンファレンス新潟🦢️11月14日 @phpcon_niigata]

【変更したあと、壊れていないと言えますか？🧪】

PHP2Shellの修正のために、急いでバージョンを上げた方もいるのでは？
壊れてないことをすぐ確かめるには、静的解析と速いテストが頼りになります。

🕐11:50 tadsanさん（@tadsan）
「何がPHPの静的解析を特別にしたのか」
https://t.co/J4AhjMAvpy

🕐15:10 赤間仁志さん
「テストの副作用を発見・修正してPHPUnitを爆速にする」
https://t.co/H5G8DxdKdk

変更を恐れずに進むための備えを、新潟で学びませんか？

[BuriKaigi @burikaigi]

📣 #BuriKaigi 2027 プロポーザル募集期間 - 2 週間延長！

申し込み
⏰ 2026/11/8 (日) 23:59 JST 〆切 🆕
🌐 https://t.co/4GiXoWjnAU

イベント
📅 2027/1/8 (金) - 2027/1/9 (土)
📍 富山国際会議場

ここ最近、IT エンジニアの皆様は脆弱性関連の対応で特に忙しく過ごされていると思います。それを理由に登壇を諦めてほしくはないので、今回のような延長措置を執ることとしました📅

この機会に是非ご応募くださいませ！

また、そんなご多忙な中でも期限内に申し込みいただいた皆様には深く感謝申し上げます🙇‍♀️

[にゃんだーすわん @tadsan]

@ourimiora おそようございます。

[Yappli Developers / ヤプリDev公式 @yappli_dev]

#ヤプリ のエンジニアである @___freddi___ がイギリスのテックカンファレンス @ swift_leeds 2026に登壇したので、レポートをお送りします！
イギリスのApple Platformカンファレンス"SwiftLeeds 2026"で登壇してみた - Yappli Tech Blog
https://t.co/Pn5HHZn6tw

[lagénorhynque🐬カマイルカ @lagenorhynque]

11/28(土)開催のJJUG CCC 2026 Fallで、私からは(関数型言語Flixを通して)関数型プログラミングでの典型的な副作用の扱い方について話します!
概要: https://t.co/lPj3K15H7G
https://t.co/6Q4kl3Q3pH

[にゃんだーすわん @tadsan]

https://t.co/k1lHA5y6SE

[dynamis (でゅなみす/レッサーパンダ) @dynamitter]

明日はOP TechMeetup初回宜しくです！

Webの信頼性はTLSだけではなく身元の確認・保証のような機能が求められるトレンドがあるわけですが(EU周りについては今年ブラウザ実装に入ってきている)、運営者や提供元の組織の身元も確認できるWebにしていきたいですね！
https://t.co/RYaAuVWQCL
#optech

[エターナル・フィールド @glassmonekey]

バージョンごとのPHPの挙動だったら、あなたのwebブラウザで簡単に確認できるようになってるのでぜひ試してみてね。
https://t.co/iMc5inxrl4

#php