bpshaver
No user record in our sample, but bpshaver has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but bpshaver has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
> Get 10x more out of... So you're saying it goes up to 11x?
I'm a little tired of this comparison and this point. Its fine if you like Brave New World more than 1984. But does this need to be mentioned every time Orwell is mentioned? Orwell wrote a lot more than 1984 and Animal…
Or economics papers for the kiddie version
Not to mention the huge posthumous bump that Rorty got for being labeled "The Philosopher who predicted Trump." There was even a new collection of his essays out in 2022 [0]. [0]…
> MacIntyre romanticizes ancient communities and traditions, but ignores the fact that plenty of those upheld horrifying practices What makes you think that? A huge part of After Virtue (basically the whole part, after…
Does the article he links to towards the end of the article address your concerns? > Without complex input spaces, there's no explosion of edge cases, which minimizes the actual benefit of PBT. The real benefits come…
Not that you're asking, but https://www.littlewargame.com/ is a good WC1/WC2 clone with a lot of good QoL features included.
I'm aware, but you said Pylance, which to my knowledge is just the VS Code extension. I'm satisfied with Mypy but curious to someday try other type checkers. Pyright is on the list.
I'm afraid you lost me.
Thanks for clarifying that compilers don't have free will. I was being facetious, sorry.
Hard to conceive of a case where that would occur. Can you think of one? The implication of what you're saying seems to be that if you're concerned about some kind of correctness you should be writing unit tests anyway…
No, I was correct. Briefly, my question was "why is static typing good?" and the answer given was "static typing is good because it makes development easier." To the extent that "good" here just means "makes development…
Not a VS Code user
What is an example of a compiler that flat out refuses to run (compile) your code? Obviously Python is not an example. The other language I know best is Rust, where as I understand the compiler doesn't refuse to compile…
No offense, but this sounds like user error. I rarely have irrelevant type warnings. If I do, it suggests something is wrong with my design. If you declare a function parameter as `foo: int = None`... that is just an…
But you can achieve #1 with typing.Protocol in type-annotated Python and traits in Rust. Fitting the "strict definition" sounds like nominal typing but you can opt in to explicit duck typing or structural typing while…
Sometimes, but maybe you haven't written any tests! Type hints and immediate feedback from mypy are a lot easier than writing unit tests.
That would seem to be begging the question to an extent. Why does dynamic typing lead to lower development effort? I mostly write Python and make heavy use of type hints. With LSP set up, mypy informs me immediately of…
Or Micro[0] [0]: https://github.com/zyedidia/micro
Even better, run `mypy` as part of your LSP setup and you don't even need to wait to run `mypy` to see type errors! If I make a mistake I want to be notified immediately.
I would love to read the steel man case for dynamic typing, but "static typing is for people who need therapy" isn't doing it for me. Anyone have something to recommend so I can understand the intended benefits of…
Unsure how this comment is relevant
I feel like the likelihood that a project will say what language it is written in is much higher if that language is Rust. I like Rust but I do find this trend a little annoying. (Even though I acknowledge that "written…
Sure, but there's not limit to what people can decide to care about. There will always be people who want more speed and less latency, but the question is: are they right to do so? I'm with the person you're responding.…
I have nushell installed and use it sometimes. Does it have built-in JSON parsing like jq? Edit: Well, I just found out about `cat some.json | from json` in nushell. Pretty cool! The nested tables are nice.