smadge

30 ms·

271.
by smadge 8y ago
My impression from that interview is that the fact checkers are not doing things like calling movies theaters, mayors, or owners of restaurants and verifying the statements they allegedly made in their interviews with the reporter are true.
272.
by smadge 8y ago
If I were being charitable, the article is saying "Yes, they were grossly and intentionally negligent, but it was only because they were rationally maximizing profit given the market and regulatory environment."
273.
by smadge 8y ago
The original poster was probably referring to the IRS Targeting controversy during the Obama administration where it was alleged that the nonprofit status and tax filings of conservatives groups were unfairly scrutinized. This could be inte
274.
by smadge 8y ago
I think the main point of the article is to shift type systems from being necessarily a part of the language itself to something that can exist outside the language and used to analyze it. For instance I once wrote a program which would inf
275.
by smadge 8y ago
What is "the type that consists of integers above N?" If N = -1, then 0 is in the set of integers greater than N. I think it makes more sense to say that division is a function F × (F - {0}) → F where F is a field. F is not the sa
276.
by smadge 8y ago
From the article: "Definition. A type is a statement of the invariants of some expressions." To the author, a type is any mathematical statement that can be proven about the code. This definition is so general that, yes, every com
277.
by smadge 8y ago
What do you mean by “safe to prerender?”
278.
by smadge 8y ago
For example, if it were the case that NULL = NULL, really counterintuitive stuff would happen on joins because a null cell would match with every other null cell you are joining on: person name home_address -----------
279.
by smadge 8y ago
Yes, definitely. For example, the explanation of MergeSort in CLRS’s “Introduction to Algorithms” has a figure which shows tree a of lists being transformed into another shorter tree of lists where the lower nodes have been merged.
280.
by smadge 8y ago
Exactly, for those who missed it, gilded means coated with a thin layer of gold over a much cheaper element beneath: extravagant wealth for a few at the top distracting from the poverty below.
281.
by smadge 8y ago
Amazon is also using their consumer goods sales data of their merchants to determine what products they should themselves profitably create and sell. For instance Amazon began directly selling Amazon branded DisplayPort to HDMI adapters aft
282.
by smadge 8y ago
Those phrases can definitely be abused. When used correctly I think they invite the reader to actively engage with the text and learn to think for themselves instead of passively have everything given for them. The author needs to make sur
283.
by smadge 8y ago
That’s true but in most languages the things you prove are relatively obvious propositions like “(A and A)implies A.”
284.
by smadge 8y ago
A good math book has examples and proofs of theorems in the text that demonstrate what a solution should look like. In a sense, these ARE worked solutions to some problems. If you ever get stuck on an exercise, it helps to go back and look
285.
by smadge 8y ago
My understanding is that there is a protocol that sources and journalists follow concerning “on the record, “off the record,” or somewhere in between that is negotiated before the interview begins. ( https://www.nytimes.com/2
286.
by smadge 8y ago
People considered terrorists by the government will not contact or speak with journalists if they can't trust that their conversations with the journalist will not be seen by the government. It's not a matter of "just don&#x2
287.
by smadge 8y ago
> I think it's more because sorting is all about "efficiency", and sorting things without allocating a ton of intermediate data structures is viewed as more efficient. I agree that probably explains a lot of it. However th
288.
by smadge 8y ago
The intermediate representation of the binary tree for QuickSort in this article was a “eureka” moment for me. I think algorithm and data structure curriculums should take this approach.
289.
by smadge 8y ago
I was assuming a pure core of Scala, its true I should have been more explicit. Arbitrary side effects and IO make it impossible to reason algebraically/equationally about your programs.
290.
by smadge 8y ago
If there are institutional barriers to identity groups participating in scientific communities then there is a need for “identity politics” in those scientific communities to identify and remove the barriers. For example, I think the increa
291.
by smadge 8y ago
Also to follow up on your link to the documentation of promises in Scala, here is a quote: “To simplify the use of callbacks both syntactically and conceptually, Scala provides combinators such as flatMap, foreach, and filter used to compos
292.
by smadge 8y ago
This exchange has nothing to do with social justice and the people who are disagreeing with you aren’t snowflakes. If we define snowflake as someone who reacts to something they disagree with with outrage and accusations, then it’s clear wh
293.
by smadge 8y ago
Yes, and that algebraic data type you defined is a monad, whether you acknowledge and use that fact or not.
294.
by smadge 8y ago
I’m having trouble understanding what you mean by an option type that is not a monad. I thought the value of an option type was being able to “program the semicolon” to do automatic null checks for you.
295.
by smadge 8y ago
That page compares proof assistants. Haskell is not a proof assistant and it is not designed to be. I don't think its presence or absence from the list provides any evidence for your opinion about the language.
296.
Facebook executive says video contradicts police account of brother's death(www-m.cnn.com)
1 points by smadge 8y ago|0 comments
297.
by smadge 8y ago
I would love to know what you say when someone asks you where you would prefer to eat out. I’m imagining something like “the tastebuds attached to my mind have not and can not experience the entire range of culinary experiences that humanit
298.
by smadge 8y ago
Can you elaborate more as to why you possibly would want to automate the facial recognition of prematurely born babies?
299.
by smadge 8y ago
You’re getting downvoted because of being flippant but you are right, by definition there exists a trade off between cost and any feature. It’s the least interesting trade off: if want more X it will cost more. There also is a trade off bet
300.
by smadge 8y ago
I agree that from this article it seems possible to run go on cloudflare workers by targeting WASM, it’s still worthwhile to consider what a native go implementation would look like.

More ›