Retz

[Retz @Retz_Yo]

@TeamMohaP_Jim 数学証明系言語LeanとAiの組み合わせによるハルシネーション回避方法が開発され始めているようです。数学界ではAIにLeanを使わせてエラーを吐き出させ、それを潰して正確性をあげていくという方法が既にあり、その方法に汎用性を持たせるという方向の開発があるようです。

[Retz @Retz_Yo]

@NoContextBrits 俺はベイクドビーンズが恋しいよ。マーマイトも好きだよ。

[Retz @Retz_Yo]

@Kenji_Sawada_ 全開率が高くストップアンドゴーが少ないフロー系サーキット、今年はないけどジェッダとかもちろんモンツァ、スパとかシルバーストンがおかしな事になると。逆に典型的ティルケサーキットはまあまあ見れる感じになりますかね？
F1の形をした死にかけバッテリーのスマホに乗っているみたい笑。

[Retz @Retz_Yo]

@PK_Fund @KllN349312 Only chance to unveil sth will be the Q4 earnings call before shah’s deadline? Can they make it? Or proxy fight?

[Retz @Retz_Yo]

@KllN349312 @miak67 @Novavax So you expect some cool updates from nvax at JPM conference? I hope they do but they would make us down as usual.

[Retz @Retz_Yo]

@AluminiumMania 押し出し部材、汎用性や微調整等に利があると思うけど、生製品対象には溝に溜まる水分や有機物がそのままになって衛生的にはかなり良くなさそう。衛生メンテ次第だな。

[Retz @Retz_Yo]

@shinseiki_saku 日本の大企業は広告代理店無しでこういった案件をハンドルできる体制は無いんだ。電通とかアスリートをオモチャにする村社会勢には絡んでほしくない。出来れば企業の役員レベルと直でつながって欲しい！

[Retz @Retz_Yo]

@media_otb CBCのドキュメントで「土が来る」と言うものがYouTubeにあります。残土に関する法律がなく各地で山を切り開いて捨てられる土の問題を露わにしています。熱海の件の理解の助けになるかと。ぜひご覧を。

[Retz @Retz_Yo]

@seeeeeeeeeeeeno 西友軍VS長崎屋軍みたいでウケる。市街地戦だな。

[Retz @Retz_Yo]

@nekokumicho2 零記念