読み方ムジナ 投資話多めのSynthHiphop のビートメーカー 写真とプログラマーも 元官公庁系SEライムサーチ作者 もはや何でも屋 https://xitter.cf/t.co/yrzlpIeFk7
日本 東京
Joined August 2023
- Tweets6.1K
- Following2.2K
- Followers1.2K
- Likes18.8K
Pinned Tweet
ライムサーチ２公開しました
韻踏み検索です
muzina-work.mydns.jp/cgi-bin…
元々、iOS版で公開したものをウェブブラウザ版に再構築しました
※ただし、しばらくの間テスト期間なので調整が入ることがあります
アプリを作っていて、ある程度でGithubなり有名なところに置こうと思ってるんですけど、今はどこが良いんですかね？
Github離れもあるそうですし
基本無料、寄付してくれるだけの置き方なんですが。。。
有効ですけど、対処療法ですね
根本解決になってないような気がします
【速報】GMO、パソコン電源落とすよう呼びかけ
47news.jp/15143807.html?utm_…
訂正があり、正確には「認可の安全性を数学的に保証するバックエンドフレームワーク」とのこと
難しいのでまだ良く理解してません。。。
情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました！
たぶん世界初です。
Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。
昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。
開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。
Nyxisは大部分がLean言語で記述されており、形式検証によって
「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」
という認可安全性定理を機械的に証明しています。
認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。
形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。
先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。
こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。
Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。
もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。
この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。
一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。
本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。
世界をセキュアにする一助になれば嬉しいです。
github.com/NyxFoundation/nyx…
イギリスでこういうアナウンスあと、嵐ですぐ大停電きましたから
警戒されるでしょう
トイレの備えどうしようかなあと
細野大臣 全国民に「緊急要請」 食料・水・トイレの備えを #FNNプライムオンライン fnn.jp/articles/-/1140337
Readers added context they thought people might want to know
この「緊急要請」は11月2日の防災庁発足に合わせた呼びかけで、新たな切迫情報に基づくものではない。家庭での食料・水・トイレ備蓄（最低3日分、できれば1週間）は政府が従来から推奨する内容である。
asahi.com/articles/ASVBN…
cao.go.jp/minister/2609_…
cao.go.jp/minister/2609_…
maff.go.jp/j/zyukyu/foods…
ビートメイクしてて思うんですけど、もっとラップのトラックはオーケストラくらい音があっても良いと思うんですよね
なぜ現代はいろんな音色出せるのにいまだに、オーケストラのストリング多め楽器隊編成のままなんだろうなあと
歴史的経緯から来てるのはわかるんですけどね
opencode zenで制限に引っかかりやすくなった気がします
muse sparkのmiddleが一番制限緩かったような
Beam Freeのlowで作業はほぼできるものの、muse sparkより消費が速い気がします
Muzina retweeted
【緊急事態、力を貸してください】
10/31のワンマンライブにて
急遽ドラムを叩いてくださる方を募集させてください。
本当に緊急事態なのでSNSの力を貸してください…
10/31 14時開演 @渋谷 O-west
曲数は24曲(予定)、
本番までの残り日数は5日、
と、かなり厳しい条件かと思いますが
全力でリハ等ご一緒させていただくつもりです。
どうしても成功させたい、大切な大切なライブです。
皆様拡散のほど
お願いできませんでしょうか…
叩けるよ！
というドラマーさんがいらっしゃいましたら
お手数おかけしますが
演奏動画を添えてDMいただけますと幸いです。
お力添えのほど
どうかよろしくお願い致します。
YOSUKE(岸洋佑)
先週のPHPの漏洩問題でイキったインフルエンサーが承認欲求のために修正前のパッチが出る前に事象の詳細を出してしまい世界最大級のセキュリティ危機になりました
This quoted post is unavailable.
Tailscaleは便利な一方、大分変な（技術者倫理的に）おかしなことをしていると、詳しい人が言っていたから、早々にアンインストールしていました
‼️ Researcher Erica Windisch skipped coordinated vulnerability disclosure and published 11 unpatched Tailscale flaws.
In her lab, Tailscale SSH race conditions let one hacked device get root on other servers and add a rogue node.
Readers added context they thought people might want to know
The Tailscale SSH findings require prior authorized access on the tailnet per the researcher's report; Tailscale stated issues concern post-authorization behavior only and did not recommend disabling SSH for everyone.
tailworm.com
x.com/IntCyberDigest…