creata

59 ms·

781.
by creata 6y ago
Sure, in an existing language like Python, it can be a poor fit to make everything an expression, but what are the tradeoffs for a new language? For example, Rust makes (almost) everything an expression, and I don't think it's suf
782.
by creata 6y ago
I think you're talking about visualizers.[0] And yeah, this is a very nice visualizer, but I think it's a bit much to call it a "music video." https://en.wikipedia.org/wiki/Music_visualization
783.
by creata 6y ago
Yep, I'm getting a 504 Gateway Timeout.
784.
by creata 6y ago
It looks like at least libsodium implements constant-time array comparison in C. https://github.com/jedisct1/libsodium/blob/ae4add868124a32d4... Edit: I'm not disagreeing that C compilers are free to opt
785.
by creata 6y ago
> If people don't want to see my site with random trash inserted into it, they can choose not to access it through broken and/or compromised networks. But isn't that often false, since in many places there are few choices
786.
by creata 6y ago
In your first paragraph, you seem to be confusing interpreted languages and GC'd languages. Even Java has all of the features you've listed above, afaict.
787.
by creata 6y ago
Another (much smaller) detail is that signed overflow in C is undefined (and iirc GCC takes advantage of that when optimizing) but signed overflow in Rust is precisely defined to error in debug mode and wrap in release mode.
788.
by creata 6y ago
The point isn't that there is an infinite loop of types that is rejected, the point is that there must be a finite loop of types that is rejected because it is indistinguishable from an infinite loop of types. (I think the person you
789.
by creata 6y ago
You also don't have the power to force anything, just the power to check if it's correct in a few of the infinitely many cases. And yes, as a sibling comment said, dependently typed languages let you use the entire language to s
790.
by creata 6y ago
> It's just ugly and looks like design by committee. I don't think it's ugly because it's design-by-committee, I think they intentionally made it ugly so that it's familiar to C++ people. > I also wonder why c
791.
by creata 6y ago
I wonder whether someone's invented a way to take a nice ADT like data List a = Cons a (List a) | Nil and automatically unroll it to fill at least a cache line. That sounds like it'd be a small win for performance, but I
792.
by creata 6y ago
> Low-level languages... all suffer from low-abstraction, i.e. the inability to hide internal implementation details behind an API... Do you have an example of Rust's inability to hide implementation details compared to, say, Java?
793.
Replit Dotcom(blog.repl.it)
5 points by creata 6y ago|1 comments
794.
by creata 6y ago
Linked lists are pretty nice. * Lazy linked lists are the same thing as iterators, a fact which is used pervasively in Haskell. * Intrusive or otherwise inline linked lists like are used everywhere , e.g. the DOM has a doubly linked list o
795.
by creata 6y ago
Yes, I want Jack Dorsey, CEO of Twitter, to have more control over Twitter than the government. > the democratically elected Government The democratically elected government was elected for a million different reasons, but their proficie
796.
by creata 6y ago
Be a bit more generous in your interpretation of others' comments. Looking at the commenter's post history, it's pretty clear that they're talking about the Indian government.
797.
by creata 6y ago
Can you link to one of these talks? I'm absolutely certain that Rust does not have dependent types.
798.
by creata 6y ago
I didn't suggest otherwise.
799.
by creata 6y ago
You're probably right. I just wasn't sure that production and consumption of GMO soy would be so neatly linked like that, because so much of that soy is going to livestock.
800.
by creata 6y ago
> Asians are probably eating less GMO soy I may be out of the loop here, but why do you say that? Are Asians particularly more GMO-averse than Americans?
801.
by creata 6y ago
> There's nothing wrong with restating the facts. Sure, but it's still counterproductive. Most people respond to guilt by just digging their heels in. When you want to convince someone to give up something dear to their heart,
802.
by creata 6y ago
But everything you'd typically see in an algorithm has decidable equality, so proofs by contradiction are constructively justified, no?
803.
by creata 6y ago
I think they meant "significant" as in "of importance", not "statistically significant".
804.
by creata 6y ago
But don't most dependent type theories have a restrictive notion of equality (e.g. without extensional equality of functions) making many things that we would like to be monoids not fit that definition? Anyway, I agree with your gene
805.
by creata 6y ago
> I’m reasonably convinced that Facebook would like to remove all news from their platform. I don't think so. Politics and "political fighting" seem amazing for engagement.
806.
by creata 6y ago
> The difference between "common" and "uncommon" execution paths must be of no bearing. Why? I think that a good programming language should help readers focus on the "essence" of an algorithm. Usually, hand
807.
by creata 6y ago
Yep, although I guess the Try trait[0] and the corresponding ? operator count as a special error handling language construct. [0]: https://doc.rust-lang.org/std/ops/trait.Try.html
808.
by creata 6y ago
> At code level, you should be able to describe your problem in lots of details, use identities to simplify your logic, but leave the optimizations to the compiler. 1. As far as I'm aware, Haskell isn't able to do any of that a
809.
by creata 6y ago
That's a lovely ideal, but could you write some pseudocode for this particular problem in such a language?
810.
by creata 6y ago
There's some input data over at https://github.com/cesarvr/AOCRust/blob/master/day-5/rewrite... .

More ›