やれやれリプライじゃなくて引用が正しい作法やなこの場合

ううう確定申告...3 nostr:note1vd50cxm54hfs5z9y8upndx3ndkldqrzat85d3cxadf6grjh8vs2sehxwkk

ううう確定申告...3

あー、ウーバーイーツでビール頼もう

あー、なんかビール飲みてー

やはりTLA+でも、一発でパースできるコードは書いてくれんな

ダダ漏れや

戦士やな

性欲だったわ

スクさんずっと制欲と戦ってね？ nostr:note13swyddyedyknk394gp7xchm9z5zzkvw254wlkytuzwf0df7njdnqk4zmy0

形式仕様言語って、LLMと相性良いと思うんだけどねえ。本来は。

ちょっと今試してみるか。確定申告飽きたし

TLA+も試してみたいね。

VDMとかを今度は書かせてみようかな

まあAlloyが複雑すぎるのかも。

いや、Alloyもパッと見は大体いい感じのコード書くんだけど、細部がなあ。

o1 proに5回くらいリテイクさせたのに、一度もまともに書いてくれなかったからな

でも今日、Alloyっていう形式仕様言語を、o1 proがまともに書けなかったのがとても残念だった。お前やっぱりネットにお手本がないと大したことないんやな。。。

仕事がゴラク？？？

それは痛いよ。可哀想に😢