wtetzner

31 ms·

481.
by wtetzner 4y ago
> a duopoly is not a choice It is by definition a choice > an act of selecting or making a decision when faced with two or more possibilities.
482.
by wtetzner 4y ago
There isn’t a way to fight disinformation other than helping people get better at critical thinking. Using censorship to fight disinformation just means we’ve picked some group of people that get to decide what the “truth” is.
483.
by wtetzner 4y ago
Yeah, even Maven seems much faster than Gradle, even on a clean build. Neither are especially fast though.
484.
by wtetzner 4y ago
> you should be partnering with a local news site or city/town interest site, or going to meetups, or sponsoring local events? All of that is advertising. I was replying to this: > If your “brand” is one of these then you should
485.
by wtetzner 4y ago
> A language that plays with types fast and loose is strictly more "powerful" in the sense that it accepts an attempts to execute more programs than a language with a stringent type system. Not really though. “Dynamic typing”
486.
by wtetzner 4y ago
Having spent a lot of time writing both Clojure and Rust professionally, I think a lot of the benefit you get from a REPL is making up for the lack of a good type system and good IDE support. I also find that the support Rust has for unit t
487.
by wtetzner 4y ago
I suspect it has a lot to do with your familiarity and level of experience with Rust. Probably also how much you’ve written code in languages with similar features/idioms. I also find Rust to be quicker for prototyping than Python. How
488.
by wtetzner 4y ago
> you need to actually make a good product at a good price that doesn’t rely on advertising to succeed in your marketplace. How do you create a product that doesn’t need advertising? People need to find out about it somehow.
489.
by wtetzner 4y ago
I think it will make the code reviews potentially more interesting, as it removes a class of things that needed to be dealt with before.
490.
by wtetzner 4y ago
Rush sounds like an awesome Canadian rock band.
491.
by wtetzner 4y ago
I thought their talc was contaminated with asbestos?
492.
by wtetzner 4y ago
Or 51% of ChatGPT?
493.
by wtetzner 4y ago
It depends on what kind of efficiency you care about more. Static linking can allow optimizations across library boundaries.
494.
by wtetzner 4y ago
Datalog: https://en.m.wikipedia.org/wiki/Datalog Prolog is actually Turing complete.
495.
by wtetzner 4y ago
> Often you want to add validators to your setters. Just named arguments won't cut it. Are you suggesting that arguments can’t be validated in a constructor? I don’t think I’m following the argument.
496.
by wtetzner 4y ago
I’d say programming languages are more like building materials than tools.
497.
by wtetzner 4y ago
But if that’s the case, then a record is the wrong data type for what you’re doing anyway, since you can call the primary constructor at any point with those same un-validatable values. It’s not “with” that’s problematic. If a record doesn’
498.
by wtetzner 4y ago
I don’t think properties add anything that getters/setters don’t already give you (other than slightly different syntax). I think the “right” way to replace the need for builders is to add support for named arguments.
499.
by wtetzner 4y ago
I don’t believe this is true. From my reading of the document, all with expressions go through the primary constructor.
500.
by wtetzner 4y ago
The biggest thing missing from records that Lombok provides is withers.
501.
by wtetzner 4y ago
Well, there are limits to the lengths of URLs in much of the internet’s infrastructure, so better compression could still be useful.
502.
by wtetzner 4y ago
Can’t all of that be done with simple form submissions?
503.
by wtetzner 4y ago
I don’t think it works that way.
504.
by wtetzner 4y ago
That requires the uploader to own copyright on that code. What if the uploader only has access to the code through the license?
505.
by wtetzner 4y ago
Any reason not to do something like Rust + Wasm? Seems like it’d be a better fit. I don’t have anything against Java, but it seems like you lose a lot of the benefits of using when you take away allocation.
506.
by wtetzner 4y ago
At that point, why even use Java?
507.
by wtetzner 4y ago
I assume someone wanted it, and was willing to put in the effort.
508.
by wtetzner 4y ago
> Some collective organization is unavoidable Town? City? County?
509.
by wtetzner 4y ago
What private road? Why is an HOA needed when the house already belongs to a city and a county?
510.
by wtetzner 4y ago
I believe that's what dependent types allow you to do. However, even in weaker type systems you can get a similar effect by just creating a PrimeNumber type, and for functions that require a prime number, only accept PrimeNumber. Then

More ›