𝕜𝕞𝕥𝕣🐻🥩🍣🥃

筋トレ(増量期)系日常アカウント。普段はWebやReact Nativeの開発。OUJ。

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

筋トレとAIのコツは、寝る1〜2時間前にはやめて12時までに眠り、朝日を浴びれる時間に起きて、ちゃんと三食食べることという気持ちになってる

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

pi-jev-skill-picker
https://t.co/Z61WbjBqsF

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

REBOO Craft Cola
https://t.co/jhGswB1MgP

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

LLM Gateway
https://t.co/jUrbd0lOdy

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

githubnext/localjev

https://t.co/pQaQPtuP1u

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

pi-until

A Pi extension for non-blocking shell-condition watches and recurring follow-ups owned by one live Pi session.

https://t.co/ObLEEAIFCo

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

👀

[hiraoku @2020_hira]

Bendというプログラミング言語。

AI界隈の人は意識しておいたほうがいいかも。
まぁ知ってるかもだけど。

Bend 2は、AIにコードを書かせるための、証明付き・並列実行可能なプログラミング言語

公式の位置づけは、次の3つを同時に実現すること。
- 人間の意図を自然言語より曖昧さなく表現する
- AIが書いた実装が、その意図を満たすことを数学的に検査する
- 同じコードをCPU・GPU上で高速に実行する

公式リポジトリは「Leanのような形式証明、Cのような速度、CUDAのような並列性」を掲げてる。

結論として、Bend 2の核心は「高速な新言語」よりも、AIに自由にコードを書かせながら、法則を破る変更だけをコンパイラで拒否する開発モデル。
ただし、現在は言語・証明環境・ツールチェーンのいずれも発展途上であり、実用製品というより、AI時代の仕様と検証のあり方を探る意欲的な実験に近い。
でもこれからに期待できる。

詳しくは公式を読んで！

https://t.co/oYsuBpxkWq

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

思ったより遅いな
https://t.co/iglkYqHWBW

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

自分のに紐付いたリプライにさらにリプライきても通知くるのか、元のリプライは削除されたようだが

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

スマホ見過ぎるから放置しておいたら、彼女に電源切って隠されて、1日ぶりにX見たら適当にポストしたgithub repoがあまり良くなかったみたいで、地味にリプライがきてる

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

チョコレート効果95%に入ってるぐらいのカフェイン量なら大丈夫というのに気付いた

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

ちょうどOpenCode GoがlimitになったからGoat試そうかな

[Command Code @CommandCodeAI]

GLM-5.3 FlashX is now live in Command Code.

· High speed variant of GLM-5.3 Flash
· ~200 TPS with 1M context window
· Multimodal (text, image, video)

Available across all plans and API.

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

pi-commandcode-provider
https://t.co/mZfJZ2QUNN

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

https://t.co/Ypr1FAi2Fo

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

🔥

[Oikon | Claude Code深掘りガイド @oikon48]

Claude Codeでついに AGENTS.md をサポート！！

長らくされていた議論に終止符が打たれる！

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

今週流石に生活リズムが悪過ぎて記憶保持能力が最弱になってる

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

今日眠気がやたらすごい

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

Jev https://t.co/6hwUihxxYe

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

piのsandboxにコミットが弾かれるようになったと思ったけど、ただ今まで毎回抜け道的なところから実行されて通っていただけだった...

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

店舗の人に直接渡して、メッセージも既読になってるけど3日ぐらい経っても何も返ってこないなわ

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

水道が止まっていた時の請求の明細作成をAIに投げた

[𝕜𝕞𝕥𝕣🐻🥩🍣🥃 @km_tr_]

pi-tps
https://t.co/SpZo53LWn3