josh-wrale

Look at "purely functional programming" and the rough edges of it.

Should have them all work together toward building a society like Star Trek

Maybe there will be an OpenAPI or gRPC of proofs to solve this to some extent, or maybe lean4 is already that, ig.

I think this is because testing candidates in human trials is far removed from LLM prompting.

I'm interested in this for robotics. Probably need physics to do that well.

Is this a Magic Jack class thing?

Bug: Music skips around in autoplay.

Why don't these fish die of cancer and old age sooner?

Watercooling this thing would be cool!

Yes, but I haven’t seen it in Unsloth/llama.cpp. I see it in Sglang and vllm. Unsloth should default to sglang imo