Director of Product Development at @Mujin Robotics (@mujin_global). Former operating system developer at @Microsoft. @StanfordCPD @RITTigers and @HSFZ alumnus.
FFmpeg is moving to Rust 🦀
Our use of C and Assembly in FFmpeg has been an unacceptable violation of safety.
FFmpeg will be running 10x slower - but we're doing it for your safety.
All your videos will appear green - safety first, working software later.
@DataChaz@karpathy Same feeling about those Google/Microsoft SSO, huge time waster, slow and sloppy login UX, over complicated processes, I wonder who’s the PMs behind it all. This exactly: “Why am I doing this? You do it …”
You can now run Kimi K2.5 locally! 🔥
We shrank the 1T model to 240GB (-60%) via Dynamic 1-bit.
Run at >40 tok/s on 240GB VRAM/RAM.
2-bit is recommended as it passes our code tests. Run near full precision on 622GB.
Guide: https://t.co/p2nWt947ux
GGUF: https://t.co/aIKIL2CFnl
The way Postgres does append only writes certainly have drawbacks. But the alternatives are not free either. These things are always ultimately about different tradeoffs. https://t.co/9qLFDJxGGi