てらモス🌹

カニだよ(´・ω・｀)

[てらモス🌹 @termoshtt]

https://t.co/l2eunKhHpt
Concolic実行について調べました！いかがでしたか(´・ω・｀)！！

[Odashi @odashi_t]

LLM界隈の皆さん

[Shion Takeno @ShionTaken5934]

プレプリントを公開しました: https://t.co/IkcRTGTJxN

エントロピーサーチに代表される先読み型ベイズ最適化法は, 経験的によく機能するものの, 近似やリグレットに関する保証がないです. 本研究は近似保証およびリグレット保証を達成する先読み型ベイズ最適化法を提案しました.

[Yuki Uchino @uchino_error]

Ozaki Scheme II のライブラリの性能を改善しました。
いろいろ機能を追加して6月にリリース予定です。

[Yuki Uchino @uchino_error]

Ozaki scheme II library updated!
- Improved GEMM performance
- Added Level 3 BLAS operations
- Added mixed-precision execution support
- etc.

尾崎スキームライブラリを大幅にアップデートしました。
CholQRなどで有用な三角*三角の積も追加しました。
https://t.co/Hb922hXV9V

[🥑 @yujitach]

一ヶ所に全部あつめ、さらに数学的に厳密にできるところは全部厳密にして証明も可能なら lean で確認するというのをやろうとしており、それがある程度形になってきたということのようです。ただしまあ初心者が読んでわかるような形にはなってないです。場の量子論は数学的に出来てないのに証明なんて

[🥑 @yujitach]

こちらは Harvard の知人の Xi Yin が準備中の場の量子論の教科書(?)のようです: https://t.co/68CHw49BRi pdf はおいてないので、clone して manuscript/tex/main.tex を自分でコンパイルする必要はありますが。既に3000頁ぐらい(!)あります。すこし前から彼は、LLM つかって既存の場の量子論の知識を

[日本経済新聞 電子版（日経電子版） @nikkei]

【日経特報】ヤマダHD・エディオン統合へ　持ち株会社検討、2.5兆円家電連合
https://t.co/SIANuPLW4Y

[Hideyuki Tanaka @tanakh]

これは大ニュースやな(´･_･`)

[てらモス🌹 @termoshtt]

宇宙背景放射のゆらぎに相関があるけど、どう考えてもその距離は相互作用できないはずで、なので最初すごい近くにあったのが広がったと考えるのがインフレーションの基本的なモチベでしょ、よく知らんが(´・ω・｀)

[異国カラス @outlandkarasu]

ビッグバン時には1点だったらしいからその時点で関連は生じているとも言えるけど、逆にあまりにも全てが関連していたから宇宙全体で均一になってしまった感じなのかな。

[てらモス🌹 @termoshtt]

でも天気予報晴ればっかりでは(´・ω・｀)？

[てらモス🌹 @termoshtt]

梅雨了解(´・ω・｀)！

[NHKニュース @nhk_news]

九州北部 中国地方 近畿が梅雨入り 気象庁が発表
https://t.co/lITJDyqx2v #nhk_news

[Shion Tanaka @tnk4on]

Docker Desktop（WSL2）との違いは、Docker DesktopがWSLディストロを使っているのに対し、WSL Containersは使っていないこと。WSLCセッションを中継することによって、WSLC SDKでWindowsのアプリエコシステムを使った制御ができるようになる点が大きな違い。

[てらモス🌹 @termoshtt]

今日はもしかして天安門か(´・ω・｀)

[てらモス🌹 @termoshtt]

どちらかというと逆じゃない…(´・ω・｀)？

[🐟さかな🐟@世界のかまこぼ @ShunSakana]

温度はギリギリ許します。。

[Shion Tanaka @tnk4on]

WSL Containers は内部でcontainerd / dockerd を動かしてる。残念ながらMicrosoft純正のコンテナランタイムではない。
https://t.co/PZAoxIjIBg

[箱星 : 探究 @hakoboshi_e]

AIと人間によってブレイクスルーが起きたばかりのunit distance problemにまた新たな進展が！
最適化を使ってるっぽいので最適化界隈も要チェック
https://t.co/Yu50c3hNYJ

[Keigo Nitadori @k_nitadori]

単なるチップ発表でなくて時間かけて準備してたみたいね