skysight-inc/HackerNews huggingface dataset:
Here is another nice anecdote about sea level not being sea level: https://www.science20.com/news_articles/what_happens_bridge_...
(The article doesn't actually mention what happend, according to german wikipedia, the error was spotted early and the moderate costs for the correction efforts were covered by the architects' insurance policy.)
Mirage is not just a request mocking framework. It comes with an ORM and a way to define factories, so you can create random data with ease, while you are testing your app.

I am sure that you can do all without Mirage and I am sure that your solution might fit your project best, but I doubt that it will take you the same amount of effort

(I have been using Mirage for the past 4 years and I love it)
The change was a welcome QoL improvement in my opinion.

Typing a new address or copying the URL of the page I'm on covers ~95% of the use cases where I'm accessing the address bar on mobile and the change significantly reduces friction for both. It's exhausting to see every minute move Google/Amazon makes filtered through the HN cynicism lens.

Edit: Talking specifically about the chrome on Android omnibar change. The favicon desktop search change from TFA was awful.
This seems to be a pattern in echo-chamber sites such as hn or reddit. If there is no reliable information, the most outrageous speculation makes it to the top.
There's an interesting analysis of the Hartford collapse case here: https://web.archive.org/web/20080108024915/http://www.eng.ua...
I can only remember how popular Vine was at its height when I was in high school; there are so many jokes I have with friends that can only be described by a now long lost Vine. I wonder how different the platform would be now had it lived on.

But I do wonder if this is too little, too late? I also appreciate TikTok's longer videos; 7 seconds turned out to be quite limiting in retrospect.
Earn.com did that, but since acquired by coinbase
Most of those disclaimers were added tonight, after seeing my comment :)
https://github.com/firmai/pandapy/commit/692c968771bb19d4f12...
I would say because it's a small cost for the domain owner in return for protecting against what's potentially a pretty big emotional (and possibly reputational, financial) downside.
Missing value treatment is one of the major improvements in the upcoming pandas 1.0, including Integer, boolean and string column types with proper missing value support.
Well since this is HN, the overwhelming majority will say DuckDuckGo. I switched to DDG as my default browser search around 3 months ago and it's mostly been fine. However, when I _don't_ find what I'm looking for, I do find myself popping open Google for that specific search (sometimes finding things I didn't find with DDG). So I guess I don't have full faith in DDG just yet.
No, neap tide is the tide where the difference between low and high tide level is smallest.
They also had very useful "larger than 4MP", "larger than 8MP", ... options. It was easy to find very high resolution images.
Belmarsh moves Assange out of solitary after pressure from inmates, legal team
> What is wrong with using a currency library?

Do currency libraries exist for example for GPUs? (Maybe they do.)
Did a DDG search and there are no ads. Just the Wikipedia infobox and a list of insurance companies in my country (and the Wikipedia article for Insurance at #3). It makes a very good starting point for someone wanting to get quotes from a range of companies etc.

Google's results is interesting though as it starts with one insurance company only (ad placement? It doesn't show it as a ad tho but it looks and feels like one given it's isolated from the rest of the results after the fold). It is then followed by a map which is an odd choice as generally most people in my country manage their insurance online or over the phone. Then below the fold more companies can be found but with media stories(?!) thrown in as well interrupting the flow.

It's been a long time since I've used Google as my daily driver and I'm gobsmacked at how badly it executes this query. It used to be very good but no longer. I have used DDG for some years now and it generally works just fine for me. This limited experiment in going back to Google has made me happier with DDG as my default search engine.
Title shortened from tweet:

Prisoners' revolt and pressure from legal team and campaigners forces Belmarsh to move Assange out of solitary. WikiLeaks statement: [video]
Must be happening for a reason:
- Type equivalence is an edge case not covered yet
- Type equivalence calculation is too expensive so that compilation time is preferred than type equivalence completeness

If you would, please post it in issues, that'll be great https://github.com/microsoft/TypeScript/issues
Yes, also perhaps some guidance figures on what the impact would have been had these measures not been in place.
That's why you use the mean tide which averages over all the possible positions of the sun and the moon, not the momentary tide which, like many computer problems, depends on the time of the day and the phase of the moon.
> Lots of built in statistical stuff and powerful visualization makes exploring datasets easy

I see. For linear algebra stuff it does not offer anything essential. You rarely see a matrix as a "dataset".
Well jeez, excuse me for being wrong. Thank you for the correction.
> MPs are supposed to serve all their consistuents, though

Yes, and that responsibility predates computers. So let’s not pretend that they only became capable of doing this effectively After Twitter was developed, just because you and others don’t want to bother with sending a letter.
Great tool! I cannot say how much I like using Mirage, and how much it helps me while developing applications. I have used it only with Ember.JS and I always missed having it while using some others JS frameworks.

Much appreciated Sam and much love ️
Maybe you can elaborate on that?
Fml: An optimizing array programming language
Thanks for the tip and I mean that genuinely but we shouldn’t need to do that to have a decent user experience.
That jump was explained in details when it happened - test kits were made available shortly before that date. To be more specific, first batch of test kits were delivered to Wuhan on the 16th Jan [1].

[1] http://www.thepaper.cn/newsDetail_forward_5588213
The purpose of the experiment wasn't to show "wild foxes can be domesticated in just 30 years of selective breeding", though that is the most famous and perhaps the most important takeaway from it.

The hypothesis under test was something like "expression of tameness is genetically linked to expression of physical characteristics, such as spotted fur and floppy ears". It's quite valid in that context: Belyayev started with a population with a low (perhaps non-zero) level of domestication, ended with a moderately domesticated population, and observed the physical differences.
TLC checks models, not implementations, so the compariaon is not really appropriate at all. Using TLA+ on actual code is yet to be a success story:

Deductive methods the assembly refinement proof of seL4 (binary verification) is completely automated, and takes less than two hours on a modern PC.

OpenComRTOS is much much smaller and simpler than seL4 (comparable to eChronos). It's important work, and a neat example at how formal modeling allows one to _design better products_ even in well-explored domains, but it's a really poor example for illustrating the supposed scalability of model checking compared to deductive methods. Especially ehen the book on the system emphasizes how they kept experiencing state explosions which broke the checker during development.

In any case, TLC checks specifications, not implementations; it's not appropriate to compare them to deductive methods that work on actual source code (cf. the properties of the _specification_ account for less than 5% of total proof obligations, and establish global properties that are stronger and deeper than model checking could provide). Attempts to use TLA+ on implementations such as C2TLA+ are far less successful, it's not been demonstrated to scale well (no case studies above 1 kloc at all). Writing and checking specifications is useful, and leads to more reliable software, and you're free to argue that there is far more low-hanging fruit to be found in this area than in dependent type systems. But it's not the same as checking 50kloc _programs_, and you should not conflate these activiities.

Not to say that many deductive tools are completely automated and have been shown to work at scale too: SydTV verifies the correspondence between thr seL4 binary and the corresponding sourcr in under two hours on a modern PC.

And what you're competing against (dependent types) has the potential to scale far better: even the 3.5kloc Agda program I'm working on can be checked in under a minute, and Agda is very far from optimal with respect to type checking.

> But there is no sign that it could reasonably be a basis for increasing correctness of more ordinary software.

You're entitled to that opinion. Just don't conflate that with general trends and sentiments in the formal methods community. Contrary to your earlier claims, there is no agreement in the field that one should "look elsewhere".

The same goes for your claim that non-deductive techniques scale better and establish deeper properties than deductive ones: if you believe this will be shown decisively true in the future, that's a perfectly alright opinion to have, and you'll find plenty of peiple who share it. But don't act as if it's an empirical fact when the evidence shows no such scalability advantage at this point in time, and most deep properties that deductive, proof-producing methods can establish are still out of reach for non-deductive methods.

(ps. Writing these posts took me a lot of time, so I'll have to limit myself to one more comment in this thread.)
Using search to show Live results only from people you follow is another way to cut on the spam:
https://twitter.com/search?q=filter%3Afollows%20-filter%3A&s...

You can even remove replies as well:
https://twitter.com/search?q=filter%3Afollows%20-filter%3Are...
The experiment is not designed well. I would guess that the tameness comes from the non stimulating environment more than the process of selection. It is known that mother imprints a lot of hormonal/stress activities to children while pregnant. Just like starving pregnant mothers have an effect on generations that come through hormonal gene activation similar thing happens to animals in wilderness. Is there a line of foxes bread for generations in captivity with purely random selection?
So you prefer the word join and merge is tripping you up? It's not sql!
Imagine that a so called democratic country like the UK would go down the same road as bad and evil China ...
2-4 times

https://www.carbonindependent.org/22.html
Is it safe to assume that if people couldn't fly, they'd drive just as many miles instead? I don't think that's a safe assumption. I think people would visit family less often if it meant a 25 hour drive across the country. They'd probably not vacation on the other side of an ocean either.
Amazon Prime not displaying Google Search due to structured data issue?
Chinese tech firms respond to coronavirus outbreak in Wuhan
Streaming/Purchase options are displayed for most movie/tv shows in Google but I've noticed not a lot of streaming platforms (Including Amazon Prime) get featured in them.

For example, search "watch south park online" - South Park is available on both Netflix and Amazon, surely you want to try and have high visibility in this space? I believe it's because they are supplying a non-indexed URL (it's canonicalised towards another URL) in the structured data but I could be wrong, I've included more details in the blog post
I've been a Linode customer since 2009, but I'm slowly migrating away to DO. Their k8s works great, and the managed Postgres/Redis is ideal for me.
Modelling BBR's interactions with traditional TCP loss-based congestion control
There is some code [0] for generation of coastal lines in cartographic maps (text in french, code in JavaScript). It's kind of similar.

The blog post [1] about fiziko describes how it calculates parallel bezier curves using line intersection and curves of varying thinkness. The code about the coastal lines also uses a similar technique and describes how to get the result step by step.

[0] https://observablehq.com/@linard-y/chemin-decale-offset-path...
[1] https://habr.com/en/post/454376/
That's awesome but...where are the images???
If you need your financial code to run in the GPU either you don't need fixed point number (simulations) or your code is extremely inefficient.
> It's too bad we don't have a right-to-roam in the US. It seems like the sort of thing that would fit in with the ostensible national ethos of freedom and independence.

That’s something I’ve never understood about the US. You came late to the “land grab” (compared with Europe), and different kinds of freedom are deeply embedded in the culture. Ought to be perfect conditions for a proper “right to roam” policy.

Here, we’ve the right to roam, you can camp almost anywhere on private and public land as long as you clean up after yourself and camp at least 150m from houses or cabins.

You’re allowed to pass by a house/cabin on you way, blocking passage is illegal.

We’ve unrestricted access to the shoreline, even next to houses and cabins. You can forage berries, etc, etc.
> "Duckduckgo itself uses Bing Search as its backend."

Why would that even matter? It's good enough no matter how it works. Frankly it's better than google since it doesn't have nearly as many anti-patterns.
A primer on manipulating data frame with Deedle F#
Mick Jagger Sets Podcast Deal with Warner Bros. Digital Networks
The majority of dentistry is paid in the UK. Fillings, extractions and everything that isn’t a straight clean or absolutely required (ie; fighting infections)
> you don't need fixed point number

That was my point.
Gheesh... First Uber, DigitalOcean, 23AndMe... and now Quora
How it would have happened if that clause wasn't there: someone could sue them for breach of contract, claiming they had agreed to provide the service indefinitely. It could get litigated and a judge would decide whether they had made that promise. And they could be found to be at fault and forced to pay some damages, even though the contract was one they weren't legally entitled to fulfil because they didn't have a perpetual license to the IP. Or they could settle out of court, fearing that the judge would rule against them.

IANAL but in most jurisdictions I expect EA would not have lost the case and most likely no one would have taken the case. The TOS avoids the risk, though.
I am sorry, maybe I wasn't clear in my previous post.

The actual info in the article evidently largely comes from the encounter with Mimmo Borrelli and what he told her.

While it is unlikely (but possible) that the Author may have seen the 1984 movie by Luciano De Crescenzo she cites, it is almost impossible that she knows first hand about the works of Eduardo, and of course the Smorfia is only marginally connected to dead relatives and dreams.

The whole piece is IMHO yet another (poor) example of the typical stereotypical article by a foreigner (the twist is that the Author is for once not German or Anglo-Saxon, but Argentinian/Spanish and of Italina descent) that comes to Naples, stays there a few days, knows nothing of the city or of the people, finds something folkloristic talking to a single or a few sources and writes an article on the "curious" way Neapolitans think and live.

To be fair, she didn't actually mention the ubiquity of short, mustached, dark complexion men and checkered white/red tablecloths in restaurants, but she went very close to it.

The (italian) net is however full of interviews to Mimmo Borrelli, whom - for some reasons - appears to be very popular among the "intellighenzia", here is one, hagiographic as most if not all the other ones:

http://www.quartaparetepress.it/2015/07/07/mimmo-borrelli-il...
Has physicist's gravity theory solved 'impossible' dark energy riddle?
Overwatch and Call of Duty Leagues Move to YouTube (and GCP)
Maybe they should simply get back to a design with a yellow background for ads, as they had in 2007 and 2011.
Hard to answer the impact on your systems had we not stopped it... we don't know the full capability of your systems. Whether you can take a 10k packets per second ACK flood or a 1M pps ACK flood, or the 100M pps ACK flood depends on a lot of things we aren't privy to.

What we can tell you is the frequency, size and nature of attacks that Cloudflare sees, and when we can clearly identify that an attack was unambiguously targetting you specifically then we can tell only you about that too.

If there were a global dashboard which was vague about the target and source, merely the frequency, size and nature... would that be valuable?
That's similar performance to NASA's Gipsy solver and a couple other PPP solutions.

The practical problem is PPP falls apart when there's any sort of multipath or noise, with will be the case for any receiver not in a completely open field. A single nearby tree is often the difference between 4cm accuracy and a meter.
Cheapest OVH dedi I see is the KS-1 for 3.99eur, which is less than the cheapest Linode VPS. OVH also doesn’t try to nickel-and-dime you by charging for data transfer.

I wouldn’t recommend the cheapest Kimsufi offerings though, something like the SYS-WS-1 goes for $33 and is easily comparable with Linode offerings priced at multiple times that.

OVH has a VPS product that’s far cheaper than what Linode offers, but I can’t speak to the quality of that offering.
It is in a hacker's nature to assume the worst, and often rightly so.

Many of kind of people that come to HN have personally worked on various forms of gamification and rule bending. It's as natural to SV culture as water to fish - indeed some of the biggest companies wouldn't be around without skirting rules and arguably morals.

The stench of MBAs and quarterly profit optimizing execs is all over the valley.

And then the ignorance/apathy of the layman adds an extra layer of plausibility to such accusations.
Exactly ! I'm never quite sure where to see the "click-bait" answer and when does a new question or answer stop or starts.
Quora has good content.. But its HARD to read it...
I switched to DDG. It seems quite good to me. I am mostly interested in recent events and Twitter Search and news websites is good for that for my needs. DDG is perfect replacement.
Yea exactly ! If you make it hard for the user to do simple stuff... Read and answer... They won't come back or like you much.. i.e #DontMakeMeThink from the user :P
Is it though? There are some very specific use cases where dedicated servers won’t work, but those are certainly a small minority of Linode customers.

Stuff like Terraform works just fine with OVH dedicated servers, so that can’t be the problem either.
That's incredible technology - I wasn't aware it was even theoretically possible to obtain such a resolution with data available to civilians.

But what are some use cases that would benefit from that level of service? For example the highest tier is a 4 cm resolution with a convergence interval of 5 minutes.
Did you find something better than tensorflow+python by any chance? I'm desperately looking for something that is mature, stays in loop and does not require me to touch python.
> Also, the robots shown have very little "AI".

That's what happens when you change what "AI" means every time there's a breakthrough.
4cm accuracy is almost enough for precision agriculture. You usually want a year-over-year positioning accuracy of better than 2.5cm for your combine harvesters to mange issues of soil compactification. This is about the same order of magnitude as continental drift speeds, which can be up to 10cm/year. The usual solution to this is to use a correction signal generated by a nearby reference station with a well known position that can be distributed over the internet: https://en.wikipedia.org/wiki/Real-time_kinematic

Compared with this, the new approach you describe may have the disadvantage (at least for applications that care about positions relative to the surface and not the core of the earth) that it does not use a reference station that is fixed to the continental plate it is on (so that continental drift cancels out implicitly), and users have to handle it explicitly. Or do they offer a drift corrected service?
I ran into a weird problem this week trying to convert a string "8.95" to an integer (8.95) that made me question if even Int is good enough and as suggested in the comments here, use BigInt or equivalent for anything to do with numbers.

This also happens with Javascript and Elixir, not just Ruby. So perhaps it has something to do with how the cpu stores the numbers?

I know this isn't StackOverflow, but could someone shed some light on to what's happening here?
https://ideone.com/1U7rgf
Scholarcy: The AI powered article summarizer
Do we know how many ? News is useless unless its more than 10%
Disclaimer: 30+ year veteran at fixing these fucking bugs.

My opinion: just NO.

MULTIPLE failures to understand the problem have occurred in this article, and they deal with representation.

A) It is never acceptable to 'round up' on interest payments/loans/debts/balances, without having an explicit line item for why. "Because compiler decision made by programmer" is indefensible.

B) Representation is EVERYTHING. Case in point:

>>>>0.1 + 0.2: Produces 0.30000000000000004 but should be exactly 0.3.

This statement can kill.

C) Standards are there to keep everyone, and everything, 'honest', and by honest it means: everyone understands things implicitly. Explain to grandma why a rounding error has resulted in her teeth falling out, or GTFO.

D) Fixed point is a standard representation. Its not about the precision-fail, its about if everyone gets exactly the same results, every time, in doing the math.

E) Lots and lots of these bugs yet to be fixed.
$1 per 1000 clicks is ridiculous. Google make a lot of money, but that's because of their scale, not because they have somehow made search a miracle source of income. Would you also argue that, say, indexes of literature or libraries should pay the authors money per item viewed, because the data isn't "theirs"?

Paying websites with good SEO would make filtering out abusers of search engines (no meaningful content, scraping other websites and republishing, clickbait...) even harder, as there would now be a direct ROI on SEO.
I've never claimed that ads are better than search results. I'm only stating that some ads, in certain contexts or situations, do provide positive value. 'Grawprog' summed up his comment by stating "they're all shit," and I disagreed and gave examples of when they might offer positive value.
The problem is that it’s not just Tetris, but probably backed by a service which provides various in game features. Since they won’t be able to sell the game or collect in app purchase revenue, they’ve likely decided to shut down the servers.

Apps may be able to delete apps remotely (I believe their mobile device management tools allow companies to push policies like that[0]), but to my knowledge has never done so. Amazon has pulled books back from people’s Kindles and many platforms have removed content from being redownloadable.

0 - https://developer.apple.com/documentation/devicemanagement/r...
Hey, we just pulled the rug from under you but please come buy a new game, after all we "continuously aims to bring fans game experiences that are fresh, innovative and fun"

Thanks but no thanks