LLMのAPIを呼ぶとき、自分が実際に設定しているパラメータはいくつあるだろうか。 temperatureだけ、あるいはtemperatureとmax_tokensくらい、という人が大半だと思う。 それを裏付けるような大規模調査が、2026年10月に公開された。 Hugging Face Transformers・vLLM・OpenAI Python SDKという3つの代表的なバックエンドを対象に ...

Mathematical state-space model checker and invariant proof engine for AI agents. - kicode01/spec-weaver ...

description Use for any question about a codebase, its architecture, file relationships, or project content — especially when graphify-out/ exists, where the question should be treated as a graphify ...

Hands-on with graphify on httpx: a 2,233-node code graph in 2.1 s with zero LLM tokens, and explain at 628 tokens vs 13,659 to read the file.