skolemtotem

10 ms·

31.
by skolemtotem 8y ago
> And those c programs call binary files. Uh... am I missing the joke? The C programs don't "call binary files", the C programs become the binary files through compilation.
32.
by skolemtotem 8y ago
That's why Haskell has do-notation, and Rust has async/await. :)
33.
by skolemtotem 8y ago
BSON is another format that's "binary JSON with blobs and datetimes". It's notably used a lot in MongoDB, but I'm not sure how these three formats compare.
34.
by skolemtotem 8y ago
And if I remember correctly, YAML is a superset of JSON.
35.
by skolemtotem 8y ago
That's really weird - why didn't they parse it into a map in the first place, immediately removing duplicate keys? This seems like more of an argument for automatic deserializer generation than it does for adding undue complexity
36.
by skolemtotem 8y ago
How is it native if you're just replacing a JavaScript VM with a Dart VM? Or is the Dart somehow compiled to native code?
37.
by skolemtotem 8y ago
If anyone wants to do more research on this, the keyword is "monomorphization".
38.
by skolemtotem 8y ago
This is pedantic, but rust does link dynamically, but only to libc.
39.
by skolemtotem 8y ago
Well in Rust ypu couldn't have = return the new value in general anyway, because it's been moved. So even if chained assignment did work, it'd only work for copy types, and really, a feature that only saves half a dozen chara
40.
by skolemtotem 8y ago
And that's why we should make sure that newspapers and TV aren't the go-to alternative to Facebook.
41.
by skolemtotem 8y ago
I guess this is the part where they Embrace the overwhelming trend towards cross-platform tooling.
42.
by skolemtotem 8y ago
That's true, but what about the software engineers who do build world-changing stuff? I think that we should definitely hold them to a higher standard than we currently do.
43.
by skolemtotem 9y ago
For those who don't know, AdNauseam is an example of such a system, implemented as a browser extension. It warns users that it does not protect privacy, though, but it seemed to annoy Google enough that they blocked it on their web s
44.
by skolemtotem 9y ago
If you think it's testable, then you should write up a test and, hopefully, carry it out.
45.
by skolemtotem 9y ago
Maybe the higher cost of those "more disruptive methods" is a good thing, because it'll filter out those people who couldn't even be bothered walking up to you in person.
46.
by skolemtotem 9y ago
Yeah, I guess we risk-averse types should just wait and see.
47.
by skolemtotem 9y ago
No, that does not make sense. Rust's unsafe code lets you do some things that could violate the compiler's expectations, and making sure that you're aware that you need to manually enforce those invariants. Haskell has some u
48.
by skolemtotem 9y ago
> You just can't reconcile Python semantics with JavaScript semantics in a reasonable way. That's actually an interesting claim, and so I would really appreciate if you could provide a (possibly informal) proof that justifies i
49.
by skolemtotem 9y ago
Honestly I only use TypeScript for its lovely autocomplete. I'm pretty certain that JavaScript autocomplete could never be this good.
50.
by skolemtotem 9y ago
I love Rust but its type system isn't necessarily good at modelling zero-cost abstractions. After all, one of its nicest abstractions is the iterator interface, and that is by no means "naturally" zero-cost - you really have
51.
by skolemtotem 9y ago
No correctness isn't usually ensured with a runtime in these languages with stronger type systems, it's usually done with static analysis on an intermediate representation at compile-time.