Damus
USA profile picture
USA
@MAGAMAGA

C++プログラマ。COMコンポーネントが好き

Příteli, díky za tuhle písničku. Bylo to moc fajn. Šťastnou cestu. ^^

Relays (21)
  • wss://nrelay-jp.c-stellar.net – read & write
  • wss://relay.damus.io – read & write
  • wss://nostr.mom – read & write
  • wss://relay.nostr.band – read & write
  • wss://relay.nostr.wirednet.jp – read & write
  • wss://nostr-relay.nokotaro.com – read & write
  • wss://nostr.h3z.jp – read & write
  • wss://yabu.me – read & write
  • wss://nostr.oxtr.dev – read & write
  • wss://relay.snort.social – read & write
  • wss://nos.lol – read & write
  • wss://relay.mostr.pub – read & write
  • wss://relay-jp.nostr.wirednet.jp – read & write
  • wss://relay-jp.shino3.net – read & write
  • wss://r.kojira.io – read & write
  • wss://deputy-board-swimming-somebody.trycloudflare.com – read & write
  • wss://jungle-vii-leaders-filing.trycloudflare.com – read & write
  • wss://rca-hair-commodities-microphone.trycloudflare.com – read & write
  • wss://ver-prices-serving-cadillac.trycloudflare.com – read & write
  • wss://requiring-designer-playlist-matched.trycloudflare.com – read & write
  • wss://mncmpl.shares.zrok.io – read & write

Recent Notes

note1n7znf...
USA profile picture
いやもうほんとにここに書いた通りだけの事なんですけど、AIにコードから読み取れる仕様をGherkinという仕様を自然言語で書く言語でまとめさせて、書いた仕様を、実装からTLA+で書き起こしたモデルが満たすかどうかモデル検査したら、満たさないケースを、どういう経路の場合満たさないかのトレース付きで出してくれるんですよ〜。Fable並にバグを出してくれますよ。gpt5.5を使ってるのに。