Rust, a language with affine types, generics, lifetimes, deep static analysis, hygienic macros, etc is not low-level. It's nearly as high-level as Haskell (without HKTs though).
replyIt just does not rely on GC and allows to manage resources efficiently. This efficiency is partly due to its being so high-level.
Agreed, Rust is way more expressive than people give it credit for.
replyWhile I agree on the fact that it allows to manage resources efficiently, I don't agree on the fact the efficency derives from it being high-level; from a purely tecnical standpoint, i could skim off 2-3MB from the memory footprint by writing the code in pure C, as there are some unused parts of Rust's std that cannot be removed without recompiling std.
replyThis is obv only a technical talk, as writing an AI TUI in pure C would be rather... ehhh
That's why I said "part of its efficiency". Rust can do RAII, can optimize things more aggressively because of no aliasing ever in safe code, and because of known lifetimes, it can offer fearless concurrency™. Rust can also support highly optimized data representations (see how Optional works, or other ADTs, etc) which languages like Haskell, to say nothing of Python, cannot offer because of GC and boxing.
replyLower-level languages like Zig or even Go, to say nothing of C, lack many of the high-level language features that power this efficiency.
There has been no reason to wait...
Codex is written in rust.
reply-- So is deepseek-tui.
Forgot to add an open source qualifier. I use codex lol
replyCodex is also opensource.
replyI don't really want something owned by a company for my local stuff. I'd prefer it be small and minimalistic. Maybe in the future I'll change my mind and it will be more like a browser but for now I wanna keep it small and local.
replyThanks! I don't think that the only advantages are being open and lightweight, but you can actually find some more interesting features such as Ollama support, integrated Prompts (in order to compete with superpowers), git worktrees integration, and so on
reply