proppy 🎛️

次回は4/10！春のポカポカ陽気でLet'sシンセサイズ☀️ Pure's Synth Workout! 4月10日金曜 19:30 STARTです。 @浅草Pure's Sound Market @pures_s_market 早川あおせ @hykw_aose proppy @proppy Z_Hyper @Z_Hyper oreo @Orientalsalt

@headinthebox Would that also (finally!) make LLM computation repeatable? since execution is not tied to the model (or its version). In addition to verifying them: users could potentially save Universalis files (.u?), version them, patch them (?), share them with friends?

In Code They Think; In Proof We Trust AI agents that use tools can be hijacked by prompt injection to exfiltrate sensitive data. Shortly after Anthropic launched Claude Cowork, their coding assistant with network access and file system tools, security researchers showed that a hidden instruction embedded in a document could make the agent read a user's mortgage files, encode them as base64, and POST them to an attacker's API account, all without human approval, using Anthropic's own trusted API endpoint as the exfiltration channel. The industry response is model alignment and runtime guardrails: train the model to refuse harmful requests, scan each action, flag anomalies, block suspicious calls. But alignment can be jailbroken, and a runtime check sees one action at a time. By the time it catches step three, steps one and two have already executed. Worse, the malicious request looks identical to a legitimate one, because it is a legitimate API call, just to the wrong account. We take a different approach: require the model to generate a structured artifact, a workflow plan, that can be inspected by humans and proved safe by machines before any tool executes. For this we designed Universalis, a logic programming language where workflows and security policies are expressed as definitions that AI models generate naturally, domain experts can read directly, and automated tools can reason over formally. The model produces both a workflow and a machine-checkable safety certificate. An independent verifier validates the certificate against the security policy. If it checks out, the workflow runs. If it doesn't, nothing executes: no file was read, no data left. The verification we apply to detect the Cowork attack is taint analysis, a battle-tested static analysis technique with decades of use in compilers and security tools. What is interesting is that the taint analyzer is itself a Universalis program: a meta-program that analyzes other Universalis programs, making the security policy as inspectable as the workflow it checks. The model can retry, hallucinate, or lie about its proof; the verifier doesn't care. Either the math works or the plan is rejected. docs.google.com/document/d/1u3…

@JUNfrom80kidz ホントだよ、いつも色々教えてくれてありがたく！

@proppy ほんと？

ギターのメンテお願いしに行ったら1時間丁寧に色々お話ししていただきありがたい。 こういうことに払う対価は気持ちが良い。

ジャストについた！プロッピーの10Uケースいかちい。

@takao_kurokawa 早くない?

サンタさんありがとう

@_tatata5 しかも師匠のラックじゃないですか？！

えつこ氏の演奏を見る師匠の眼差し…w

最後は来日組のお二人！ 会場のボルテージもMAXです！ at modular club EX3

イベント中盤は国内ベテラン勢でどなたも圧巻のパフォーマンスです！ at modular club EX3

転換の都合で柚子胡椒さんのライブが撮影できませんでしたが、本日の前半組はIDM成分多めです！ at modular club EX3

modular club EX vol.3 @柴崎mod

本日のトリ、フランスのモジュラープレイヤーODYSSEEのライブがスタートしました！モジュラーシンセでここまでメロディックかつドラマティックな展開をつくるアーティストは少ないと思います...！魂からアジテートしてくるような熱いパフォーマンスに引き込まれます...2度目の来日公演ありがとう！！

いよいよmodular clubも終盤...！NYのモジュラーアーティスト、Celebrity Bitcrushのライブがスタートしました！強靭なビートにつられて身体が自然と揺れます...！

centreさん @centrevillage のライブがスタートしました！アバンギャルドな4つ打ちに胸が高鳴ります...！！！

お雑煮 @ozouni_modular さんのライブがスタートしました！"無音"もひとつの音として全体の空間を作る、インテリジェントかつ野蛮なサウンド。先日またバージョンアップしたmodのサウンドシステムを上から下までフルで鳴らしきっています...！

Momose Yasunaga @momose17148917 さんのライブがスタートしました！深淵を覗くような美しいエクスペリメンタルサウンド。

柚子胡椒さん @YuzuGosho_tkhr のライブがスタートしました！低音から積み上げられていくさざなみのようなノイズやグリッチが心地良い...！

modular club EX3、早川あおせ @hykw_aose さんのライブからスタート！どっしりしたビートにストリングスやパルス音などがレイヤーされ、迫力のあるサウンド...！ビデオシンセを使った演出もかっこいい...

proppy @proppy さんのライブがスタートしました！ミニマルなビートが縦横無尽に駆け巡る、マッシブなライブセット！シンクする映像も相まってトリップしそう...！

練習不足ですので、早めに向かっています〜