wtetzner

90 ms·

781.
by wtetzner 5y ago
Not only that, but a lot of closed messaging platforms were originally built on XMPP.
782.
by wtetzner 5y ago
I think they still support a cross-signed root, so hopefully those users will still be OK.
783.
by wtetzner 5y ago
I don’t follow. I use git for real work all the time.
784.
by wtetzner 5y ago
That's fair. Guess I just got excited about an opportunity to plug js_of_ocaml ;)
785.
by wtetzner 5y ago
I'm not familiar with opalang, but I haven't noticed size issues with js_of_ocaml (though I've only used it for personal projects). It works by compiling OCaml bytecode to JS. I think the main thing you'd need to be care
786.
by wtetzner 5y ago
It depends on what you mean by "safety". Yes, if you're running other people's code, you can't expect it to be entirely safe. However, you can mitigate the damage it can cause.
787.
by wtetzner 5y ago
> If you want safe code you have to write safe code That doesn't help if you need to run other people's code.
788.
by wtetzner 5y ago
There's also js_of_ocaml if a good type system is desired.
789.
by wtetzner 5y ago
> As a user, I don't care about Rust's type system, as long as the data I'm storing is valid. This is not a feature. It may not be a feature to a user, but it could be considered a feature to contributors.
790.
by wtetzner 5y ago
One thing Standard ML has that the others don't is a full formal specification, in terms of typing rules and operational semantics.
791.
by wtetzner 5y ago
I don't know if it would help them much. They want the camera pointed at themselves. I guess they could use them while looking in the mirror.
792.
by wtetzner 5y ago
How about we just rephrase? We should stop making it illegal for people to do what they want to things they own.
793.
by wtetzner 5y ago
Maybe they just wrote a simulator for physics, and what you’re noticing is just emergent behavior.
794.
by wtetzner 5y ago
The alternative is to not check the model at all. Doesn’t really seem better.
795.
by wtetzner 5y ago
Temporal Logic of Actions
796.
by wtetzner 5y ago
I understand your point, but I don’t think there’s any value in including an extra layer of abstraction before you need it. Sometimes it’s clear that you need it from the start. But sometimes it’s not. And if you end up needing to support s
797.
by wtetzner 5y ago
Sure, but if you’re never going to do any MIR-level optimizations, then there’s no reason to implement it. Similarly for graphics APIs. If at some point in the future you need to support a platform not supported by wgpu, you can add the abs
798.
by wtetzner 5y ago
The thing about graphics in general is that typically you want to use whatever the underlying hardware gives you to get the best performance. This can conflict with the law of least power, but so what? You can’t optimize for everything, so
799.
by wtetzner 5y ago
You would just assume it does. Really you want to detect all places that might allocate.
800.
by wtetzner 5y ago
You can absolutely statically determine where allocations happen. You can't know for sure if all of those places are reachable in a running program, but that's not necessary to solve this problem.
801.
by wtetzner 5y ago
I think the main thing it brings is a portable compiler target that actually stands a chance at being widely adopted .
802.
by wtetzner 5y ago
I’ve gotten in the habit of running a page through the Wayback Machine and bookmarking the archived URL. Would be nice if that was automated.
803.
by wtetzner 5y ago
No, not all binary trees are balanced binary trees.
804.
by wtetzner 5y ago
The consensus of experts has been wrong many times throughout history.
805.
by wtetzner 5y ago
Right, and the whole discussion was about Valve's motives, not whether or not you like the Windows store.
806.
by wtetzner 5y ago
Sure, but children now will have to deal with the internet when they become adults. "Protecting" them from it just means they're less likely to be prepared for it when they do become adults.
807.
by wtetzner 5y ago
Don't the developers of League of Legends specifically put in a lot of effort to make sure the game runs on older hardware?
808.
by wtetzner 5y ago
Those are quotes from the respective companies.
809.
by wtetzner 5y ago
I believe what zozbot234 is saying is that Rust focuses on a specific subset of formal verification, and on trying to make a language with that enforces that subset in a way that is still somewhat ergonomic. I'm assuming "scalable
810.
by wtetzner 5y ago
People shipped software before users had internet connections.

More ›