chowells

35 ms·

481.
by chowells 4y ago
Sequence diagrams are great. Any time there's a multi-stage interaction with multiple independent pieces involved, they're hard to beat for communication. It's not like UML was based on bad ideas. There were just too many cas
482.
by chowells 4y ago
No, the title is correct. It specifically means "without generating <<loop>> output". That's a diagnostic GHC-generated code emits when it discovers that evaluating a thunk requires the result of evaluating that s
483.
by chowells 4y ago
I don't understand. Every one of my friends is an awesome person who deserves health, happiness, and security. If they find those things, I'm happy for them. What kind of person do you mislabel "friend" if you get upset
484.
by chowells 4y ago
It also finally has application audio capture built in. This isn't such a big deal for a dedicated streaming box, but if you're using it for screen recording, it's nice to not grab audio from programs other than the intended
485.
by chowells 4y ago
> With the way the ranking system works this is basically guaranteed that you’ll lose half your games unless you’re a literally world class player. This isn't the real problem. If everyone was on the same page and playing well, and
486.
by chowells 4y ago
The point of tests in higher education is for the student to get an assessment of where they are. The whole design kind of assumes that students want to learn, not just get a piece of paper. But that's the entirety of the higher educat
487.
by chowells 4y ago
What "engine" do you think "engineer" is referring to?
488.
by chowells 4y ago
Operating trains is literally the origin of "engineer". It was a job that required significant application of accepted rules and methods to calculate acceptable speeds for cornering, hill climbing, and hill descent, especially whe
489.
by chowells 4y ago
This is accurate, but it leaves out something worth note: types can reduce the scope of validation needed. That's still a worthwhile outcome to work towards.
490.
by chowells 4y ago
Of course, this isn't what the article is talking about...
491.
by chowells 4y ago
Now? The name of the company is Palantir. That's not an accident. They're telling you exactly what they do, what they always have done, and always will do. If you're comfortable selling surveillance technology to abusiv
492.
by chowells 4y ago
I think the gaming focus is to market the free product. The enterprise version is all about productivity stuff. The big things it adds are better color quality and multi-monitor support.
493.
by chowells 4y ago
I think if you have to run a whole program to understand a small part of it, you've already lost. The most valuable tools are a REPL that can execute units of your code, and a language that enforces purity and immutability so that loca
494.
by chowells 4y ago
Still waiting for a non-innuendo response. Do you have one?
495.
by chowells 4y ago
It's telling that you didn't actually address my point. See, isn't innuendo fun? Telling of what , precisely? If you think my point is false, please do say so. If you think my example isn't accurate, please say so. If y
496.
by chowells 4y ago
That's... Exactly the opposite of a blind spot in intersectionality. The idea that those in the intersections of marginalized groups suffer more doesn't come from some bizarre belief that those at the top mistreat them twice as mu
497.
by chowells 4y ago
No one ever talks about the opportunity cost of building up a "luck surface". What is the expected value of doing so? What do you have to sacrifice to do so? Is there any evidence the EV is positive, or is this just another select
498.
by chowells 4y ago
Where was there ever evidence Musk is a smart guy? His only skills appear to be self-aggrandizement and being born rich. Musk is proof that our economic system rewards being already rich, not creating value. He did not found Paypal, Tesla,
499.
by chowells 4y ago
Didn't this paper exactly prod a model's weak point until they eventually determined the model was consistent with the observed universe? Isn't that exactly what you're asking for?
500.
by chowells 4y ago
If voting doesn't matter, why do Republicans work so hard to prevent voting?
501.
by chowells 4y ago
Perhaps if you spent more time with books, you'd know that John Carmack didn't invent the fast inverse square root algorithm associated with his name.
502.
by chowells 4y ago
Not just the sigfigs, the juxtaposition of the word "about" with the excessive sigfigs. Combining a word indicating imprecision with excessive sigfigs is a very common American idiom to convey exaggeration. (Probably other places
503.
by chowells 4y ago
"The successor of the largest natural number that can be written in less than twenty English words" does not uniquely identify a number. The only thing that fact proves is that not every string of English words uniquely identifies
504.
by chowells 4y ago
Interval arithmetic doesn't use those numbers. It works just fine in the computable reals, for instance. (We can of course uniquely refer to elements of R beyond the computable reals, but it suffices for the purpose of demonstration.)
505.
by chowells 4y ago
Source: |R| > |N| = |any string of symbols in any notation that has existed in the past, exists now, or will exist in the future|
506.
by chowells 4y ago
I'm not making a statement about the real world other than "it's impossible to communicate infinite information." I suppose that's a bit of a leap of faith, but I'm comfortable with it. Everything else I mean c
507.
by chowells 4y ago
No, I mean something simpler. The subset of R that can be identified is countable, because language is countable. No matter what system you devise for describing numbers, it will be countable. And that means that it cannot describe approxim
508.
by chowells 4y ago
Actually, we know that the subset of R that can be used directly has measure zero. Everything else is a polite fiction to make some proofs work.
509.
by chowells 4y ago
Watts are power, not energy.
510.
by chowells 4y ago
There's lots of money, but it doesn't go to developers. The big profits go to publishers. If you're selling tools to developers, you'd better hope they're able to pass the cost along to the publisher. If they can&#x

More ›