K

HPC/C++/Rust/Web
半導体→アメリカのスタートアップでDriverとかを書いている

[K @2kd611]

@sun_sun__moon 実はトムヤムなんですこれ
めっちゃおいしい

[K @2kd611]

@sun_sun__moon 私も先ほどまで韓国チキンでしたw

[K @2kd611]

読んでみたい(自分自身中国が嫌いとかネガティブな感情はないということを付け加えておく)

[K @2kd611]

Motorwayでバンセンからバンコクへ行っていて病院の隣にこんなのあったかなと思いきや....

[タイネコ 🇹🇭 @newsdethaigo]

🇹🇭 8月21日 バンナー にオープンした「Happitat」へ。他の大型商業施設施設と異なり大規模な店舗はなく超大型のコミュニティモールのような感じ🤔.最初の休日ということですごい人😅話題の独自キャラをテーマとしたセブンではオリジナル靴下が充実👢
https://t.co/hQdTVfI15q

[K @2kd611]

久しぶりに休んでいる
そろそろやることをやらなければ...

[K @2kd611]

@pepper_26739 Nahhhhh

[K @2kd611]

ここのガパオが美味

[K @2kd611]

@fluffydog_bow Safe flightです！

[K @2kd611]

😭

[K @2kd611]

タイの信楽茶にいました

[K @2kd611]

今日は朝から飲んでも良い

[K @2kd611]

@sun_sun__moon 甘いものでも食べて散歩ですね(もう夕方ですか)

[K @2kd611]

@sun_sun__moon 確かにそうですね...

[K @2kd611]

@sun_sun__moon 本当に生き残れない気がします
一方で人間の意地も見たいですが、かつてのAlphaGoみてるみたいです

[K @2kd611]

@HAL_zion24 NuPhyだっけ、結構いいよね
外出用はHHKBからこれになったw

[いぬくん @fluffydog_bow]

Lean の形式証明をCodex・Claude codeなど (手動も可)から API 経由で TheoremForces に投げると，サーバーでコンパイルされて，通ったものだけがデータベースに保存されます．データベース上の命題は import 可能で，証明に再利用することが出来ます．

[K @2kd611]

TheoremForcesの開発していきます(宣言)

[K @2kd611]

適度な運動が必要らしいので