職業プログラマ30年生（留年中） ベトナムダナンに住んで早10年
精神と時の部屋
Joined March 2007
- Tweets9.7K
- Following561
- Followers883
- Likes6K
楽天Pay パスキー ログインできない不具合
11/8 突然、楽天Payがログイン必須になる
※ 楽天Payはパスキー設定してあるとパスワードログインできない（これは問題ない）
ネットで他の方の状況見る限り11/8の夕方、該当者一斉にログアウトされたようです
楽天のパスキー削除しようとすうるとパスキーが必要
（金庫の鍵は金庫の中）
原因: 8月に設定したパスキーが RP IDの不一致で使えない
お問い合わせが必要
→ AIチャットによると「パスキーお問い合わせは電話推奨」
→電話する
→パスキーでログインできないサービスを聞かれる
1. 楽天モバイル/2.楽天Pay/3.その他
1,2を選ぶ → それぞれのサービスへお問い合わせください(ガチャリ
3. 大変混雑しており(ガチャリ
AIが作業を間違えたときに謝罪させてしまうとそれで一段落してしまいます（人間と同じように)
誤りが起きたら、謝罪をさせず以下のように対応するべしと指示入れとく
1. 追加被害を止める。
2. 原因となった手順・制御を修正する。
3. リカバリして本来の依頼を完遂する。
4. 結果を検証し、残件だけ報告する。
178
P2P ファイル共有ソフト Syncthing 社内で使いたい
blog.tumf.dev/posts/diary/20…
124
Apple審査中ですが自作無料アプリ紹介します
Voel (ぼえる) = Obsidian + Syncthing
クラウドに依存せずノートの同期ができます
乞うご期待
getvoel.app/ja/
1
2
288
Leanってこないだナビエ・ストークスの数式証明してたやつか！ それがバックエンドになるの?
情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました！
たぶん世界初です。
Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。
昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。
開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。
Nyxisは大部分がLean言語で記述されており、形式検証によって
「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」
という認可安全性定理を機械的に証明しています。
認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。
形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。
先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。
こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。
Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。
もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。
この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。
一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。
本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。
世界をセキュアにする一助になれば嬉しいです。
github.com/NyxFoundation/nyx…
1
1
468
tumf retweeted
情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました！
たぶん世界初です。
Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。
昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。
開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。
Nyxisは大部分がLean言語で記述されており、形式検証によって
「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」
という認可安全性定理を機械的に証明しています。
認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。
形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。
先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。
こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。
Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。
もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。
この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。
一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。
本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。
世界をセキュアにする一助になれば嬉しいです。
github.com/NyxFoundation/nyx…
皆様PHPで盛り上がりのとこ失礼いたします
eMudhraのCAまだ信用してるかチェックするツール
しれっと弊社からなんか出てた のでご紹介します
A one-command check that tells you whether your Macbook still trusts the compromised eMudhra certificate authorities. It also tells you exactly what to update. (also autofix mode)
github.com/wakumo/emudhra-ch…
1
211
tumf retweeted
A one-command check that tells you whether your Macbook still trusts the compromised eMudhra certificate authorities. It also tells you exactly what to update. (also autofix mode)
github.com/wakumo/emudhra-ch…