Muzina

読み方ムジナ 投資話多めのSynthHiphop のビートメーカー 写真とプログラマーも 元官公庁系SEライムサーチ作者 もはや何でも屋　

[Muzina @MuzinaWork]

ライムサーチ２公開しました
韻踏み検索です

https://t.co/BEkK9ZNwxC

元々、iOS版で公開したものをウェブブラウザ版に再構築しました
※ただし、しばらくの間テスト期間なので調整が入ることがあります

[Muzina @MuzinaWork]

ビートが良いですね

[ShowyЯENZO @showyrenzo00]

R指定これ聴いたら気絶するんだろうなｯ
https://t.co/TsEPWw96H5

[Muzina @MuzinaWork]

GMOはお名前ドットコムでブルジョア麻辣担みたいな商法で勝手に何十マン単位の請求する企業でしたから
今ツケを払ってる感じになってますね
1番やられてるのは顧客ですが。。。

[Muzina @MuzinaWork]

アプリを作っていて、ある程度でGithubなり有名なところに置こうと思ってるんですけど、今はどこが良いんですかね？
Github離れもあるそうですし
基本無料、寄付してくれるだけの置き方なんですが。。。

[Muzina @MuzinaWork]

有効ですけど、対処療法ですね
根本解決になってないような気がします

[47NEWS @47news_official]

【速報】GMO、パソコン電源落とすよう呼びかけ
https://t.co/V2ZOYknogI

[Muzina @MuzinaWork]

opencodeって最近侵入事象あったような。。。？
今の早すぎる制限発動って誰かが不正にトークン使いまくっているとか、あったら怖いですね
制限解除から15分で、自分は1プロンプトも使えないって何か起きてまよおそらく🤔

[Muzina @MuzinaWork]

opencode zen 制限解除が9時で、何も使ってないのにもう制限かかって使えないんですが
共有容量としても、何か壊れてません？

[Muzina @MuzinaWork]

訂正があり、正確には「認可の安全性を数学的に保証するバックエンドフレームワーク」とのこと
難しいのでまだ良く理解してません。。。

[banri @banr1_]

情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました！

たぶん世界初です。

Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。

昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。

開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。

Nyxisは大部分がLean言語で記述されており、形式検証によって

「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」

という認可安全性定理を機械的に証明しています。

認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。

形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。

先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。

こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。

Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。

もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。

この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。

一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。

本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。

世界をセキュアにする一助になれば嬉しいです。

https://t.co/p6fHK0KGwu

[Muzina @MuzinaWork]

イギリスでこういうアナウンスあと、嵐ですぐ大停電きましたから
警戒されるでしょう
トイレの備えどうしようかなあと

[FNNプライムオンライン @FNN_News]

細野大臣 全国民に「緊急要請」　食料・水・トイレの備えを #FNNプライムオンライン https://t.co/MbvBkW6v9p

[Muzina @MuzinaWork]

ビートメイクしてて思うんですけど、もっとラップのトラックはオーケストラくらい音があっても良いと思うんですよね

なぜ現代はいろんな音色出せるのにいまだに、オーケストラのストリング多め楽器隊編成のままなんだろうなあと
歴史的経緯から来てるのはわかるんですけどね

[Muzina @MuzinaWork]

明日聞いて、なんじゃこれはという部分を落とすために時間を空けています
作ってる最中良いじゃんになっても、後で聞くとなんだこれ、不協和音とかかなりあるので

[Muzina @MuzinaWork]

今のビート
コンペ出そうと思います

[Muzina @MuzinaWork]

色々試行錯誤の結果、ターミナルで動くものを作ってます
3Dゲームはちょっと自分の範疇にないので
成果物はより小さく生みます

[Muzina @MuzinaWork]

あの頃やってたゲームをAIで無課金で再現
詳細設計書はKimi 無料版で作成
opencode上でDeepSeek V4 Flash Freeにて実装
まだバグはあります
#xi #opencode #deepseek #kimi

[Muzina @MuzinaWork]

opencode zenで制限に引っかかりやすくなった気がします
muse sparkのmiddleが一番制限緩かったような
Beam Freeのlowで作業はほぼできるものの、muse sparkより消費が速い気がします

[Muzina @MuzinaWork]

最近は電子手帳を手に入れたのでbrainux入れて遊んでます
左側だけディスプレイが黄ばんでるので、基本フォント色を黄色にしました

[Muzina @MuzinaWork]

韓国、中国、日本に見えます

[emre @emraslnn]

İlk bakışta bu üç kişiden hangisinin Çinli olduğunu bulabilir misin?

[YOSUKE(岸洋佑)10/31渋谷O-WEST @YosukeYou]

【緊急事態、力を貸してください】
10/31のワンマンライブにて
急遽ドラムを叩いてくださる方を募集させてください。

本当に緊急事態なのでSNSの力を貸してください…

10/31 14時開演 @渋谷 O-west
曲数は24曲(予定)、
本番までの残り日数は5日、

と、かなり厳しい条件かと思いますが
全力でリハ等ご一緒させていただくつもりです。
どうしても成功させたい、大切な大切なライブです。

皆様拡散のほど
お願いできませんでしょうか…

叩けるよ！
というドラマーさんがいらっしゃいましたら
お手数おかけしますが
演奏動画を添えてDMいただけますと幸いです。

お力添えのほど
どうかよろしくお願い致します。

YOSUKE(岸洋佑)

[Muzina @MuzinaWork]

これを公開する前に、事前に河合塾に事象を通報済みであるエビデンスをとってあると良いのですが
それがないと情報公開の手順的に問題あるので通報者が悪者にされかねません

[Muzina @MuzinaWork]

先週のPHPの漏洩問題でイキったインフルエンサーが承認欲求のために修正前のパッチが出る前に事象の詳細を出してしまい世界最大級のセキュリティ危機になりました

[Muzina @MuzinaWork]

SSIDにスペースを含めることが可能なのか、行番号も含めるのかは意外と悩むかもしれない

[Khalil Dev @codewithkhalil]

Only developers is allowed to get free WiFi.

What's the password?

[Muzina @MuzinaWork]

Tailscaleは便利な一方、大分変な（技術者倫理的に）おかしなことをしていると、詳しい人が言っていたから、早々にアンインストールしていました

[International Cyber Digest @IntCyberDigest]

‼️ 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.