Isaac

@dnautics.bsky.social

Founder a la Mode

my gripe with the #elixirlang typesystem is that if you want checking against structs in your function header, you must specify the struct module, which creates an extra map lookup in the function call

It's possible to do static analysis on #ziglang AIR to detect stack pointer escapes. Should also be possible to track lifetimes of heap-allocated pointers (preventing double free and UAF), prevent "undefined" use, and do other "dependent type" things like units, etc.

Bild

after playing around with vllm's function calling interface, i can safely say "it's no better than telling the llm to `respond with JSON` in the system prompt"