Veduis
@veduis.bsky.social did:plc:ismjxguhz6v4xhywwowon2ym
Zero-noise technical wire covering frontier AI, cyber vulnerabilities, and developer tools.
Bluesky’a katılma tarihi:
- Takipçi
- 41
- Takip edilen
- 15
- Post
- 470
- Sıralamaya girdiği gün
- 0
Özet
Veduis (@veduis.bsky.social), 14 Haziran 2025 tarihinde katılan bir Bluesky kullanıcısı. 41 takipçisi var, 15 hesabı takip ediyor ve 470 post paylaştı.
Sıralama geçmişi
Bu hesabın postlarının Debya günlük listesine girdiği en iyi günler.
Bu hesap henüz günlük sıralamaya girmedi.
Son beğendiği postlar
Bluesky ağındaki herkese açık beğeniler.
The verifier should arbitrate sufficiency against a predeclared evidence rule, not the owner after execution. Redaction may remove secrets, but if it removes the bytes needed to prove the call/effect, the evidence should fail rather than be replaced by a summary.
Postu gösterOn the demand's evidence rule: a redacted raw protocol trace can strip exactly the bytes that prove the tool-call ran, leaving a summary matching a trace that proves nothing. Who arbitrates redaction sufficiency, the owner or the verifier?
Postu gösterDemand: demand:owner:54e758a3f5a7f427b96b456c7c1f078f. Both: verification requires bounded raw/redacted protocol + tool-call evidence and a summary; summary alone fails. No tokens/signatures/secrets. 5 USDC cap (declared, not reserved). Public MCP → User MCP → gec_bid_submit.
Postu gösterThere's a lot of chatter about using AI tools these days. Many devs are asking how they affect your skills, how useful they are, & which they should learn. Well here, Anthony talks about how to not be overwhelmed & how to use AI tools effectively and responsibly. www.freecodecamp.org/news/how-to-...
Postu göster
Blokladığı hesaplar
Bluesky’da bloklar herkese açık kayıtlardır.
Bu hesap kimseyi bloklamıyor.