cpa

16 ms·

121.
by cpa 11y ago
LtU is hardly shitty blogspam. Commenters there are mostly PL researchers and the discussion is usually highly technical and gives better context to papers.
122.
by cpa 11y ago
One difference between the two it that the Prussik is much easier to release after it's been jammed.
123.
by cpa 12y ago
If you manage to safely (that's the keyword here) send toxic waste in space, just shoot it straight into the sun, that's way more eco-friendly!
124.
by cpa 12y ago
Neat, but there's a subtelty: at the end of the article, we only proved that square is error-free[0] when given an Int as input (because the haskell version of square is Int -> IO Int). But Python being loosely typed, I could call s
125.
by cpa 12y ago
I think he's specifically refering to news outlets not afraid of showing Charlie Hebdo's cartoons.
126.
by cpa 12y ago
Barely any US soldier, not barely anyone.
127.
by cpa 12y ago
It's well defined, but there's no good solution to this problem yet! See: http://www.well-typed.com/blog/2014/09/how-we-might-abolish-... It's true for every language out there, not just Haskel
128.
by cpa 12y ago
The OP (which I totally agree with!) also states: > Such a compiler could properly determine that intermediate steps are unused, merge them (e.g. translate x.map(f).map(g) to x.map(x => g(f(x)))) Ironically, GHC does that already[0],
129.
by cpa 12y ago
Because in France, a judge may very well decide that some part of the contract is illegal but consider that the remaining still holds. That happens all the time.
130.
by cpa 12y ago
Who uses 50 gallons per person per day? People with a swimming pool? A 10 minute shower is ~25 gallons, so how on Earth can 50gallons/person/day can be a "restriction"? (not being a judgemental asshole, but I'm not
131.
by cpa 12y ago
I can definitely see myself just using a simple REPL. I don't use C/C++ that often, so being able to start an interpreter and executing just of few line of code would be great. A use case would be checking the exception semantics
132.
by cpa 12y ago
He hinted that he lived in Paris. There, somebody leaving alone in about 13 m^2 (the minimum surface that can be rented legally) is not uncommon. Priced dropped lately, but one or two years ago, less than 800€ for 15 m^2 in a very central p
133.
by cpa 12y ago
It looks like you read the article. Why did you disregard this quote? > These trends aren’t caused by changes in our willingness to report crime to the police. We see an even more significant decline in violent crime in data derived from
134.
by cpa 12y ago
Just to make things clear, I agree that these 2 concepts are somewhat orthogonal. But in the history of law in EU, that's how one lead to the other, which was my point. It's the idea that data doesn't exist in vacuum, but is
135.
by cpa 12y ago
I made a long comment on the history of the right to be forgotten on another thread that just fell off the frontpage. Definitely relevant to this thread too! https://news.ycombinator.com/item?id=8083211
136.
by cpa 12y ago
Yeah, I know, but I shamelessly piggybacked on this thread to write a comment I wanted to write for a long time. Anyway, it's often more a matter of intended public and where the company is registered than a matter of where exactly the
137.
by cpa 12y ago
I understand that HN is on the side of absolute freedom of expression which entails that if anything has been public once, it has a right to stay to public till the dawn of times, so I hardly ever comment on these matters. I'm French,
138.
by cpa 12y ago
I'm not sure that has a significant impact on the numbers :)
139.
by cpa 12y ago
Although I think you're right, that is definitely not what's happening on Stormfront. There's nobody "pushing back", just racist people talking together.
140.
by cpa 12y ago
Yes, it basically solves a SAT problem. But modern SAT solver are very very efficient. So although your worst case is exponential, in many cases heuristics will help find a solution very quickly. That's quite impressive; in fact, the m
141.
by cpa 12y ago
Indeed, but they change the dataset and keep the same algorithm. I didn't see anything about changing the algorithm in itself. That's not very surprising: if you have enough training data, any large training set will be typical be
142.
by cpa 12y ago
Adversarial examples are tied to a specific algorithm, they didn't produce any universal adversarial examples from what I understand.
143.
by cpa 12y ago
Since SSL is only available on their paid plans, any websites with "serious" features (user login, payment) will have to migrate to such a plan. Obviously, you can serve your assets from cloudflare from a different domain than one
144.
by cpa 12y ago
It's definitely not just about mathematics. What the scientific community considers acceptable (as in publishable in a good journal) proof has been shaped by the last 100 years of logic practice. Yes, we had rational reasoning before
145.
by cpa 12y ago
Yes, absolutely. The modern definition of "proof" and of "true". Logic was considered philosophy in the early 20th century. And the works of Russell, for example, helped define what we see today as a convincing proof. Ba
146.
by cpa 12y ago
Yes and no. The syntax x -> f(x) is borrowed from functional programming, which borrows it from λ-calculus. In λ-calculus, λx. f(x) is the function which maps x to f(x). So, λ -> f(λ) makes me cringe hard, because λ is a keyword! It&#
147.
by cpa 12y ago
That's basically what last.fm does, so that's doable and not too hard. As somebody with a formal training in ML, I'm not convinced by the quality of the results (as much as I'm not convinced but last.fm recommendations…)
148.
by cpa 12y ago
What's merit in this context? What NLP/ML algorithms would you use? I can't think of any that are suited to or good enough for any definition of merit.
149.
by cpa 12y ago
λ->planck(λ*nm,T=T)*m^3/Watt*cie_color_match(λ) This syntax made me cringe hard. Kids these days…
150.
by cpa 12y ago
Here we go. > I don’t think the view that this decision is correct is in any way consistent with any serious person’s understanding of freedom of expression. > Wales: A part of the outcome should be the very strong implementation of a

More ›