やも@ retweeted
イワタニさんへ
これをまた作って売ってください🥺✨
私も欲しいです。存在を初めて知りました🥺
threadsで話題になってました。
threads.com/share/_kzb0_pqR/
アイラップから何から素敵なもの多過ぎんか？🥺カセットガスストーブも実は狙ってる。
やも@ retweeted
換金所の場所が分からず途方に暮れるジバニャン
🎬「教えてジバニャン！初めてのパチンコ講座」公開！
ジバニャン（CV: 小桜エツコさん）が、パチンコホールで遊び方をわかりやすくレクチャー✨
「パチンコってどうやって遊ぶの？」という方にもおすすめの内容です👀
動画を見て遊び方をチェックして、パチンコホールで「eフィーバー妖怪ウォッチ」を楽しもう！🎰✨
▼動画はこちら
youtu.be/rUxuNYV--Hs
#eフィーバー妖怪ウォッチ #妖怪ウォッチ #SANKYO
やも@ retweeted
カスのライフハック: 通説に反してアセトアルデヒド血中濃度と二日酔い症状は一致せず、急性胃腸炎と電解質異常がかなり悪さしているので、ガチで酔い潰れたい日は事前に胃薬と塩タブレット飲んでから飲むと信じられないくらい大量飲酒できる
やも@ retweeted
【プレゼントキャンペーン】
イチケン様(@ichiken_make)に弊社製品をご紹介いただきました！
公開を記念して、抽選で5名様に
RX-780ASをプレゼント🎁✨
▼応募方法
①@Taiyo_gootをフォロー
②アンケートに回答で応募完了
🔗surveys.benchmarkemail.com//…
▼動画はこちら
youtu.be/iqOnAiRbxqo
#goot
やも@ retweeted
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
