minus-squareSlimePirate@lemmy.dbzer0.comtoOpen Source@lemmy.ml•Average open source project nowadayslinkfedilinkarrow-up89arrow-down2·7 days agoIt just shows how safe the language is, LLMs have to rely on Rust to prevent all the memory bugs. Same for proof assistants linkfedilink
minus-squareSlimePirate@lemmy.dbzer0.comtoLinux@lemmy.ml•My family is swapping to Linux!! Finally!!linkfedilinkarrow-up2·3 months agoDefinitely an upgrade linkfedilink
minus-squareSlimePirate@lemmy.dbzer0.comtoOpen Source@lemmy.ml•Chatto is now Open Source!linkfedilinkarrow-up0·4 months agoWhy not Fluxer? linkfedilink
It just shows how safe the language is, LLMs have to rely on Rust to prevent all the memory bugs. Same for proof assistants