News for hackers. Stuff that matters.
Re:FFmpeg and a thousand fixes by pcwalton on Friday January 10, 2014 @07:49PM (#7040826)
> My (micro-) point was more that memory bugs are going to be inherent in a codec implementation because of the nature of hte problem, obviously not that all of the bugs are going to come from the assembly.

I don't understand this. If you write in a safe language, the compiler rules out the memory safety bugs, regardless of the problem.

> But the macro point is just empirical: the proof that Rust is an appropriate tool for codec development needs to come in the form of a production-quality codec implementation of some non-trivial standard (VP9, say), not a HN post.

Of course, no argument there. I am reasonably confident that we can get there with tuning though, based on our benchmarks so far. :)

Re:FFmpeg and a thousand fixes by hrjet on Friday January 10, 2014 @10:12PM (#7041339)
> I don't understand this. If you write in a safe language, the compiler rules out the memory safety bugs, regardless of the problem.

For performance sensitive code, you sometimes need to deliberately step out of the strongholds of the compiler.

Re:FFmpeg and a thousand fixes by dbaupp on Friday January 10, 2014 @10:28PM (#7041399)
Rust allows this via `unsafe` blocks, which essentially have C semantics (and allow the use of inline assembly too).
Re:FFmpeg and a thousand fixes by lhgaghl on Friday January 10, 2014 @10:21PM (#7041379)
> For performance sensitive code, you sometimes need to deliberately step out of the strongholds of the compiler.

...or just add more primitives to the language.

Re:FFmpeg and a thousand fixes by dbaupp on Friday January 10, 2014 @10:28PM (#7041401)
Why make the language larger when you can write identical things in libraries? (For Rust, you can use `unsafe` blocks to write very low-level primitives in normal user code and then expose a safe interface above them.)
Re:FFmpeg and a thousand fixes by fzltrp on Friday January 10, 2014 @11:35PM (#7041603)
It depends on what you guys are talking about.

If you mean "constant" primitives, i.e. things which don't require to expand the language grammar or type system, then it's a question of future prevalence of usage of said primitives. If they become almost ubiquitous to any project, then they obviously need to be included in the standard libs. If you're talking about a new language feature, that depends on how much that new feature may help design and write future libraries, and also what are the aims of said language. I understand that rust aims to become a safer system language, so any feature helping the design of low level, performance critical code should be welcome.