[レポート]基調講演：AIによる形式検証と形式検証におけるAIの役割 - CODE BLUE 2024 #codeblue_jp

DuckDBをクライアント／サーバ化する「Quack」プロトコルが登場。複数のDuckDBインスタンス間で接続が可能に

武蔵小杉駅前通り商店街「かなトク！」活用30%プレミアム商品券が完売、商店街が交通整理にも注力

AIは“もう一人の医師”になれるのか / スマートウォッチ「REDMI Watch 6」【まとめ記事】

「生成AIはこう言ってます」と、大量の文章を送ってくる人に対しては「それについて、あなたはどう思いますか」と尋ねるようにしているが、大抵は返答がないので困る

ChatGPTの画像生成がさらに便利になる魔法のフレーズ「背景を透明にして」