creata

95 ms·

931.
by creata 6y ago
There are lots of games that are simply designed as entertainment (edit: or political pieces, art, etc.), and I'm perfectly fine with those. But there are also games, typically mobile games, that blatantly do everything in their powe
932.
by creata 6y ago
Thanks, there are some good pain points there. > - The strict string handling. What about strings that should be UTF-8 but come over a network protocol? From your description, it looks like you're looking for String::{from_utf8,from
933.
by creata 6y ago
By "the Gentoo approach", I think pjmlp is referring to the fact that Cargo crates are usually compiled from source for each project, rather than simply distributing binaries. See [the Wikipedia article for Gentoo]( https:/&#
934.
by creata 6y ago
> One way that Rust compiles way slower than C++ is its Gentoo approach to libraries. With C++ I only compile my own code. That's a very good point, and maybe I'm being needlessly pedantic by considering it a part of the curren
935.
by creata 6y ago
The same could be said of the standard libary vulnerability you linked. But for other code, (a) that's why people use cargo-geiger. (b) you're arguing about the very small number of virtual machines that don't give their user
936.
by creata 6y ago
> https://pingcap.com/blog/rust-compilation-model-calamity Most of those issues are either about the compiler (it generates a lot of LLVM IR, it's single-threaded), or apply equally well to C++ (monomorphizatio
937.
by creata 6y ago
I agree that it's unlikely to happen, but not for any of those reasons. * Rust is no harder to learn well than C, as someone else has already commented. * Rust compiling too slowly is just an attribute of its current implementation —
938.
by creata 6y ago
Oh, so is the point that in Zig, functions with comptime parameters are more or less identical to regular functions in that regard?
939.
by creata 6y ago
Can you please provide an example of Zig "working out the dependency"? I'm struggling to make sense of your comment.
940.
by creata 6y ago
> It's a matter of course in other countries that parents fund the education of their children. In some countries. In others (such as Australia), students take out an interest-free loan from the government, and are expected to pay
941.
by creata 6y ago
Ah, sorry; I forgot that `as` let you cast bigger types to smaller types. Yeah, that does make the tragically verbose `.into()` the safer option, unless you know that the type you're casting into will always be bigger.
942.
by creata 6y ago
The obvious solution is that the standard library would provide both options wherever appropriate, just like Rust has `borrow` and `borrow_mut`, `raw_entry` and `raw_entry_mut`, etc. You might be able to save some of this pain with some pol
943.
by creata 6y ago
For me, I wouldn't say it's just because it was a challenge. The ideas that Rust makes explicit — borrowing, tracking lifetimes, mutable vs. immutable references — they're lessons that carry over into other languages very w
944.
by creata 6y ago
You can also write `as _` most of the time. Edit: But as the reply below says, please don't.
945.
by creata 6y ago
You haven't even glanced at the article, which tells us a lot about the fascinating life of a very interesting person, and to add insult to injury, you then link to a video that does nothing but state the obvious (with much melodrama
946.
by creata 6y ago
If you're talking about tactics, they're a very old idea, dating back at least to Isabelle and Coq. Yes, it'd be nice to make things more accessible to a general audience, but this post isn't trying to do that.
947.
by creata 6y ago
You call it "digital book burning", and you call Facebook a "primary communication channel", because your argument necessitates that you exaggerate so . If you see Facebook for what it is --- not an arm of the governmen
948.
by creata 6y ago
But then why would anyone do a hard or dangerous job? (That's not to suggest that software engineering is hard or dangerous.)
949.
by creata 6y ago
Yeah, weird, I can't reproduce it now either; I was using an ad blocker (uBlock Origin), too.
950.
by creata 6y ago
Off-topic: it seems that this website does something very evil with the browser history: when I push the back button, I am instead taken to another article. Edit: it stopped happening shortly after I posted this comment.
951.
by creata 6y ago
Well yes, but it's not there to stop you, it's there to stop people who are smart enough to use masscan, but not smart enough to compile it. And I guess, much like locking your front door, there's also an element of keeping h
952.
by creata 6y ago
> there's nothing for Go to be "strict about" Regarding memory management, sure, but Rust's strictness also handles things that Go doesn't. Two examples are error handling --- Result<T,E> in Rust ensures th
953.
by creata 6y ago
The main way to make the compiler more forgiving is to use Rc<RefCell<T>> (and Arc<Mutex<T>> when you need thread-safety) to move borrow checking from compile time to run time. Please avoid doing that, though --- it&
954.
by creata 6y ago
Can't the Rust compiler cache the evaluated outputs?
955.
Metaprogramming in Idris [pdf](core.ac.uk)
2 points by creata 6y ago|0 comments
956.
by creata 6y ago
What? The loop invariants aren't part of the spec! The loop invariants are just an intermediate step in your proof that the preconditions are enough to guarantee that the postconditions will hold. If I was proving that 0 + 1 + .. n = n
957.
by creata 6y ago
What kind of properties did you use Frama-C to verify?
958.
by creata 6y ago
The loop invariants aren't part of the spec, they're part of the proof, and the computer's job is to automate as much of the proof as it can. That being said, automatically finding loop invariants is a hard and messy problem,
959.
by creata 6y ago
Why do you want it as a native app? I, personally, prefer web pages wherever possible, because I know that they are well-sandboxed and can be run pretty much everywhere.
960.
by creata 6y ago
Very nice interface! Two minor suggestions. (1) when you enable "blackboard mode", the cursor should become white. As it is, the cursor is very hard to see on the blackboard. (2) it honestly took me a while to figure out that you

More ›