HackerTrans
トップ新着トレンドコメント過去質問紹介求人

corrode2711

no profile record

投稿

Rig: Distributed LLM inference across machines in Rust

github.com
2 ポイント·投稿者 corrode2711·6 か月前·0 コメント

Corroded: Rust that's so unsafe it should be illegal

github.com
11 ポイント·投稿者 corrode2711·6 か月前·0 コメント

コメント

corrode2711
·6 か月前·議論
Anything fun is dangerous. Or anything dangerous is fun. Something like that.
corrode2711
·6 か月前·議論
And you were right.
corrode2711
·6 か月前·議論
Bust++
corrode2711
·6 か月前·議論
C++ with a package manager.
corrode2711
·6 か月前·議論
I'm the author of this repo. I see some really angry comments, some of them even personal. Obviously I didn't think that just by tinkering with a compiler, I'd get personally attacked, but anyway, fair enough.

For those of you confused: yes, this started as a satirical project with the corroded lib. Then I thought "why not just remove the borrow checker?" without any real motivation. Then I just went ahead and did it. To my surprise, it was really simple and easy. I thought it would be heavily tangled into the rustc compiler, but once I figured out where the error emitter is, it was pretty straightforward.

I'm not sure about my long-term goals, but besides the joke, I genuinely think for debugging and prototyping purposes, I'd like the borrow checker to shut up. I'm the kind of guy that prints everything while debugging and prototyping. Maybe you're using a debugger, okay, but I don't. I don't like debuggers. It's just more convenient for me. So what constantly happens is I run into issues like: does this implement Debug? Can I print this after it moved? The borrow checker won't let me access this because of some other borrow. Stuff like that.

Another point is, as you guys are well aware, the borrow checker will reject some valid programs in order to never pass any invalid program. What if I'm sure about what I'm doing and I don't want that check to run?

In the repo there's a doubly linked list example. Without the borrow checker it's fairly simple and easy to implement. With it, you know how complicated and ugly it gets.

Anyway, have a good new year, and don't get angry over compilers, you know.
corrode2711
·6 か月前·議論
Yes, that was my motivation.