skysight-inc/HackerNews huggingface dataset:
> The Dedekind cut formulation of the real numbers is that a real number is defined to be a nonempty "downwards closed" subset of rational numbers. Then the min operation corresponds to taking intersections

They didn't figure that out exactly. They figured out something much less significant: that a real number is defined by a nonempty upwards closed subset of real numbers:

>> My second epiphany was that equality of real numbers can also be characterized by having the same “downsets”, i.e. two real numbers are equal if and only if the sets of real numbers less than or equal to them are the same.

In other words, we choose to represent the real number r as the closed interval (-∞, r].

The point of Dedekind cuts is that you can define real numbers without using real numbers in the definition.

They do then set up min as set intersection as suggested by the interval definition.

Writing out the choice of real number representation makes it clear that we could also represent a real number as the interval [r, ∞), in which case minimum would be set union rather than set intersection. It doesn't really matter whether we use a closed or open interval.
You're missing out on the #battlestation #setupinspiration trend. WFH is a thing, why not make yourself feel comfortable? A monitor arm and a vertical laptop stand save space. Add a (standing) desk with a nice surface, quality keyboard + mouse, and maybe a small desk plant.
Challenge of the 2020's: Avoiding being Soaked by the Cloud
Average power vs. SNR favours very short pulses.

Peak power vs. SNR favours pseudorandom sequences with a peaky autocorrelation function. In practice, an LFSR is typical, but if you use e.g. AES-CTR, you can get quite a lot of resilience against (intentional) jamming and be potentially undetectable as long as the sensor doesn't move directly into the beam.
As an Eastern Europian such practices really sadden me.
Cannot this be hacked though? Could I somehow apply from a rich country and then spend 360 of 365 days in a year in a poor country?
I would think it was part of the deal. They are probably backing away as comcast offers its own streaming service
It is the same tool.
> Do you really feel "rich" as a hired employee?

Relatively rich, yes. I don't think any other kind of rich exists – there's always a bigger fish :) Were we on a different website with a different audience we may be having this conversation about private jets – or a dinner at a restaurant. Perhaps "rich" was the poor choice of the word (no pun intended), but I think the meaning is preserved.

And yes, you're right: it's not because of me, I'm just a bigger cog in the same machine, and similarly exploited, just for a bigger share. It is because of the capitalists – but I believe that's what the discussion is about here. Gitlab deciding that it's not worth it to them to pay everyone equally (or according to their value) because it's “not worth it” for them – they won't be able to keep as much to themselves. Their arguments for it[1] are as weak as it gets: they literally say that they don't want to pay people better because they'd rather acquire more companies – that surely makes the underpaid employees feel better.

[1] https://about.gitlab.com/company/culture/all-remote/compensa...
Came back and tried again. Something was getting blocked by my content blocker (1Blocker), reloaded without content blocking and it worked. I figured this was probably useful for you to know.
For example "they must have forgotten to add the catch all redirect in the .htaccess file"
Tails 4.4
Games aren’t sold for the same price regardless of where they were produced? Sure they do. They sell for different prices in different places they’re sold, but where they were produced has little impact on the price in each location.
thanks!

If you install sourcegraph, you get the same btw. Sourcegraph indexed search is powered by zoekt.
I find this extremely frustrating as well, across the various Google services I use.
Wolframvirus
Not to start a political conversation, but why are Taiwan, Hong Kong and Macau not listed as separate countries? All 3 have their own measurements and cases, surely that shouldn't be included with data from China...

Not only that, it gives a false perception of what's going on in those areas. Macau only has 10 confirmed cases, with everyone recovered. Hong Kong and Taiwan both have less than 200 cases, definitely a much different situation than in Mainland China.

EDIT: I see they have a separate option to show by province / autonomous region, specifically for China.
For anyone in the same position I can vouch for IKEA MARKUS office chairs. Working from a dining room chair will leave your back sore after a few days. For desks I'd stay clear though, all the IKEA desks I've had have ended up with annoying wobbles.
I just love the line

"This use of they isn't ungrammatical, it isn't a mistake, it's a feature of ordinary English syntax that for some reason attracts the ire of particularly puristic pusillanimous pontificators, and we don't buy what they're selling."
Eva Zeisel is an important American designer. She also happened to be my next door neighbor. Over dinner, she recounted her 12-months in solitary confinement in Siberia, for having protested against Stalin's regime. She has written a bit about this experience.

She was 97 when I knew of her and even though she was ageing, her faculties were sharp (Extra Pepperoni is the only way to have a Slice, she said).

I asked her what lessons from the Solitary confinement stayed with her. She said "The value of knowing that there was no yesterday and probably there will be no tomorrow. And somehow I need to resist the urge to use, the intentionally left behind blunt knife to cut my veins. And the value of dressing warm".

I cannot even imagine what it must have been. She was some human.

https://en.wikipedia.org/wiki/Eva_Zeisel
I mean, I strongly encourage all people who, when presented with the option of getting a very good deal on an expensive and valuable thing, to take it.

In equilibrium, you'd expect someone's programming skillset not to massively drop in value because they moved slightly far away in essentially the same legal jurisdiction. Until we reach that equilibrium, there is money waiting to be collected by firms who hire American engineers to work remotely.
Maybe its my UK bias - the distinction between urban and suburban doesn't seem to feature a lot in statistics here - things are often just usually "urban" (including suburbs) or "rural".

I did see a figure of about 55% of everyone in England and Wales living in suburbs - but I suspect our suburbs look pretty dense to someone from Houston or indeed Achiltibuie!
Show HN: New Redis database supporting join queries and full-text search
Love addict? Care to elaborate?
Shower Thoughts: On the Origin of HN and Its Persistent Nastiness
Hacker News exists because day jobs are not satisfying enough, leading everyone to get on here, where the stakes are so small (making the battles so fierce) trying to prove they're so smart.

Change my mind.
> Well, tax havens shouldn't be legal in the first place

Why not? Why can’t each country decide for themselves how much tax they want people and corporations within their jurisdiction to pay? Shouldn’t be legal in what jurisdiction? Why should any other country get any say with how a different country conducts its taxes?
Troll advice. You were found out at the MacBook comment. Don't listen to this one. There are no Rails jobs in the market. PHP sure, but who the fuck would want to work with that god awful language?
The "Epidemic Data for COVID-19 (World)" data is showing 28 deaths for Germany, which doesn't reflect the WHO or Robert Koth Institut data, which show only 3...

https://www.who.int/docs/default-source/coronaviruse/situati...

https://www.rki.de/DE/Content/InfAZ/N/Neuartiges_Coronavirus...
cs.opensource.google runs on Google's search infrastructure, so it's unlikely to be open sourced. https://github.com/google/zoekt is open source, but lacks cross-referencing, and has a more spartan UI.
Not only that. Director of compliance resigns because she needs to explain why she advices to walk off from non compliant contracts. Yeah, and in the spirit of true openness her coment about that is deleted.
lots more graphs on this page:

https://www.worldometers.info/coronavirus/coronavirus-cases
Processing 10TB of Wikipedia Page Views
PlusToken Scam: How to Launder 11,999 BTC and Get Bitcoin Another Notch Lower
Nice. I'm grateful for this being posted on HN, because discoverability of that page seems to be zero (I couldn't find any link to it from opensource.google. It doesn't even have page title so googling it would be more complicated too.
Dutch media reports "night from Friday to Saturday", so it's the latter. But that still leaves the open question in which timezone the 11:59 is in (and whether that's a static timezone, or based on local time at departure/arrival), and whether the 11:59 refers to actual or planned time of departure/arrival.
VirtualBox Network Settings: Complete Guide
If you're interested just in the numbers with the option to show the development over time with logarithmic axes, i found this site quite interesting:

https://coronavirus.arik.io
Vancouver, BC - 60
Seattle, WA - 90

Vancouver is more expensive than Seattle...

And Cuba is 41.1, while Mexico is 35??
Anyone that wants to stay up to date with the virus should follow this channel [0]

It's from the semi retired Dr. John Campbell, his videos are low tech but high content. I've come to realize it is all our responsibility to make sure the health care professionals can handle this.

If we assume this is going to be as big as some predict it will be, we basically cannot escape it, but it is possible to lengthen the time in which most infections well arise, lowering the peak and curve, which will in turn greatly reduce the peak load on healthcare professionals.

A 1000 admissions a day might be impossible to handle, but 100 admissions stretched out over 10 days is much more manageable. This is something everyone can help with.

Also, take a lot of Vitamin D, it helps with handling the Covid19 and other respiratory tract infections (both viral and bacterial). [1]

[0] https://www.youtube.com/channel/UCF9IOB2TExg3QIBupFtBDxg
[1] https://www.youtube.com/watch?v=W5yVGmfivAk
>effectively self-quarantine

no such thing

>China, on the other hand, did not do this, and they were forced to shut down schools for 6 months.

where did you get that 6 months number from? considering Virus started in January and its March now.

>These moves are HARD and painful, but the key to stopping a pandemic is acting overly aggressive and far-reaching.

there is nothing aggressive or far-reaching in those moves, Poland enacted similar measures yesterday and every expert agrees its not enough and too late.
What Does Simultaneous Collapse of Bitcoin and Oil Markets Mean? Expert Takes
I've been to several workshops on abusive language, and I have yet to find someone with a clear, concrete, actionable idea on how to deal with abuse in online communities effectively. IMHO, what makes this problem particularly difficult is that, in order to tackle it, you need to...

* ...have a successful community, otherwise there is no attack to care about. And it's not like you can release an entire community's data for research either.

* ...be willing to explore newer alternatives, including the type of rules that slow down your growth metrics and/or get people screaming about free speech.

* ...be aware of current solutions (shadowbanning, moderation, COC, earned privilege, etc), knowing their pros and cons, and being aware that the best approaches are often kept intentionally vague or even in secret.

* ...have the time, energy, and knowledge to explore this problem in depth.

I'm personally a fan of earned privileges (as in HN, where downvoting requires some karma), but this is only viable if you're willing to inconvenience your members a bit (a point made in the linked summary [1]).

[1] https://lwn.net/ml/debian-project/tslo8tgge89.fsf@suchdamage...
How are you trying to help exactly?
Reusable Toilet Paper
Show HN: Finicity API Client for easy financial data
What the future of mobility looks like
If evading the cameras and their trackers really matters to you then you just need to wear a high visibility jacket and ride a bicycle at all of ten miles an hour. They will never catch you!

I jest, but, as soon as you are out of a motor car, there is no number plate which is like a database entry without a primary key as far as the police are concerned. They can't do much without the driver information stuff.

On the bike you can wear a helmet with a cap, reflective glasses, a breathing mask, gloves and much else that disguises your identity, without anyone being suspicious. You are just a cyclist, not likely to be the criminal.

The bicycle also gives options for cycling along canal towpaths and many other urban routes that are just not readily viewable by CCTV. You can also stop to collect your breath whenever you want, which can be suspicious on other modes of transport.

Imaginably in places like Copenhagen and Amsterdam there will be law enforcement able to nab cyclists, but, in places like the UK and the US where cycling is not how it works, the safest way to not be tracked is to wear high visibility clothing and to ride a bike at 10 mph. They will never catch you that way!
Less people in the train. I'm loving it. Wife now works from home, so we do a lot of boardgaming.
>on day 15, the day after things return to normal

two weeks is when you will start entering really bad phase, not returning to normal. I am guessing ~100 dead in Denmark by April.
Even before Javascript was fast enough, they already explored other avenues; i.e. toolbars and other proprietary plugins, like Flash. If Javascript had remained infeasible, some of these toolbars and plugins would have been pushed as de facto mandatory for the normal web.
"Developers now had to use a native SDK to build an app for the iPhone."

Patently untrue. They were finally allowed to use native API, which they had noisily demanded. And they were still allowed to use the "sweet solution" of (progressive) web apps, an idea that took off like a lead balloon and whose announcement was met with cold silence.

https://www.macstories.net/stories/before-the-app-store-the-...

And the alternative to native apps is not "web apps" (progressive or not), it's web sites. When engagement is not high enough to warrant installing a native app, it's not high enough for any app.

This isn't just theory either. For example, I worked on Wunderlist, and one of the major factors for its success was native apps on all major platforms, a point confirmed by the numbers and general feedback as well reiterated time and time again when talking to individual users.

This despite having a web app that absolutely rocked.

And of course there are numerous other examples, for example Facebook going back from a web app to a native one etc.
At home I have a cheap keyboard to swap to -)

The real problem is cheap headsets with poor mics and people not knowing how to turn the fracking gain down.

Though at home id just swap out my laptop and stick my works one in and plugin my Claret Pre 2 for the mic and the Shitt Audio stack I use for heaphones.
> There is certainly the temptation to engage in the naturalistic fallacy (i.e. "just because something is natural that it is therefore necessarily moral").

My point was more that with evo psych, you can additionally declare almost any behaviour to be "natural" by coming up with some convoluted reasoning why it confers an evolutionary advantage.
When you come from a small town, as I do, where everyone knows your face, public anonymity—the ability to disappear into a crowd—is one of the great pleasures of city living.

The thing is that most of humankind lived in small tribes or villages, everyone knew everyone's business and privacy practically didn't exist. The anonymity of city life is relatively recent and has often been used to further social behavior that wasn't acceptable, like secret affairs or criminal activity.

When everyone you know lives in a really small area, a lot of stuff is apparent by inference and can't really be hidden. This ends up de facto reining in behavior without anyone necessarily telling you to stop.

To be clear, I'm not trying to justify a surveillance state. I'm just commenting on the irony of people acting like anonymity is some long-standing norm in human society. It's really not. It's relatively new and relatively uncommon.
I get this extremely annoying behaviour from many sites (sometimes without even an easy option to switch), including Google Search but not here.
Judging from how hostile your response is you are probably in the later category.

I’m an atheist and I’ve been going to AA meetings for years in a very religious area and I’ve had no problems at all.

If you are in the former category you are welcome and should try a different AA group.
> Passports for EU citizens aren't stamped anywhere in the EU. I live in Denmark. Would the USA know if I flew to the UK, then the USA?

This kind of question is a weird one to me. It's like "oh, marijuana prohibition hasn't worked so we should tax it and regulated it".

If you're breaking the law, there's sanctions. You may or may not get caught, and you may or may not be penalised, but that imperfection doesn't decide if it's valid or not. The jails in every country have murderers in them, but murder has been illegal since time immemorial. No-one proposes that we allow murder because with the prohibition we simply wind up with people in prison.

And there's a big difference between free movement of people versus a limited funnel of people. If it's still early enough, that could make the difference between something that is containable and something that is not, and it might make the difference between ICUs that can cope with the peak and being completely overwhelmed. (However, I think the horse has already bolted on this one.)
Pin Can Be Easily Guessed
It’s all about the right tool for the job.

I always push this approach when developing applications, but I work in large enterprise where performance often isn’t critical, but applications can live on for _decades_.

Should you use this approach when developing something like nginx? Probably not. But if you are developing a line-of-business application that has to interact with an ever-evolving mish-mash of other systems over an embarrassingly long time frame, it’s a great approach.
I don't think the people who made this decision are on Hacker News.
What will the Extremely Large Telescope reveal about the Universe
The LORA stuff is pretty cool in that the radio stack (if you can call it so, it's super little code) is open source and you can get complete modules with an STM32 and the associated LoRa radio circuitry and just add power and an antenna.
Since UK isn't in Shengen don't you need to show ID on entry? Surely they record who comes in
Did you press one 0 too many there? You could hire private nanny for $2.5K/me.
I have used a number of Markus-chairs and they are pretty good indeed, and not that expensive. The most surprising thing was when the cylinder in mine, after years of use, started to slowly drift (some internal gasket leaking or something) downwards after raising the seat. I contacted IKEA if I could get a new cylinder for it, but it turned out the 9 year old chair still had some warranty left. A delivery man brought me a brand new replacement chair and took away the old one.
I meant to to suggest that "I already consider this to be a very well known pop-sciencey fact."
You must have a really small place if that's a problem WFH you really need to be able to shut the door.
Improving Database Query Performance WithAutomatic Fusion
Correction now that I'm not on my phone: A+ was GPLed in jan 2001, making this 19 years ago - and indeed, the last change was in 2008 for 64-bit support, but at that point that project had been already quite stagnant for 5-6 years -- changes and releases were all concerned with documentation and newer build environments.

The "electric" GUI concept (The "+" in "A+" - without the GUI it was just called "A") was much simplified in k2 - it was fast, simple and extremely effective even though it didn't really look good - it is, in fact, the only environment I've ever had a chance to use where having a GUI is as simple or simpler than writing a batch program -- see e.g. 15-Puzzle[0] or the spring simulation[1] (even though the canonical example is the S- spreadsheet which you can find at the same site).

[0] http://nsl.com/papers/puzzle15.htm

[1] http://nsl.com/papers/spring.htm
No, they won't.

No way is Apple giving up their 30%, if they can help it.
> Apple has a very well received developer font as well, although I don't recall its name.

Either Menlo (https://en.wikipedia.org/wiki/Menlo_(typeface)) or SF Mono
I heard an interesting comment on the Recovered figure, this doesn't mean the patient has recovered and can go back to their life. I heard it just means they don't have a fever and have passed two tests for not having the virus. They might still be fighting for their life on a ventilator.

Is this true?
>Should everybody be incentivized to relocate to a developing country

Absolutely. I am living in an Eastern European country, and yes, the local market would absolutely need people with western income: all the restaurants, local services, and the local economy would benefit from this. With practices like Gitlab, our local market would be locked into this shitty state it is in right now. Basically they lock us into not being able to export our only product for a good price: we export our 'knowledge' for cheap.

But I think if all-remote will be a thing, this will be unsustainable. People will fight these immoral practices with 'cheating': what stops me pretending to be living in a western country (even renting a cheap flat there), but staying most of the year in my country? Will they examine my nationality or citizienship? Pretty scary stuff, but I might apply for a western-country citizienship then. If they fuck with us, we will fight.
Different numbers are being reported from this site [0]

Which would be a more definitive source?

[0] https://www.worldometers.info/coronavirus/#countries
maybe if BA was using that, my credit card info wouldn't get stolen by magecart
Not sure i would use blow up to describe the situation.
If you look at the Median age in Europe, the oldest population are found in Italy, Germany, Portugal and Greece, see https://ec.europa.eu/eurostat/statistics-explained/index.php...

The mortality rate is still quite uncertain, either you believe the Chinese data (https://www.flattenthecurve.com/) or you can lean towards the South Korean data (https://www.cdc.go.kr/board/board.es?mid=a30402000000&bid=00...). The Korean data has half the mortality rate of that in China.

Bottom-line is that we are doing this to protect the elderly, so that the healthcare system won't be overrun. And in the process hopefully a vaccine or treatment will be introduced to counter the virus.
This is old data, Iceland is already up to 90 cases
Bro understands the difference between "non-peer-reviewed chinese study over 100 patients" and "lifesaving treatment" bro. Because bro happens to do clinical research for a living, bro.
It's completely broken. Living in Sao Paulo is the most expensive thing in Latin America. Even in Berlin the rent is about the same.

But yet, even Uruguai has a bigger coefficient. :-)
a lot of this data are tools are utterly pointless unless you have also transparency over how many tests are being done each day.

garbage-in/garbage-out
> I don't think I am hostile to the flat earthers.

Good example - the average person is hostile to flat earthers. They would make certain negative character and intellectual judgements about them.

And they wouldn’t for example want them as a science teacher or textbook writer.

In fact the average person probably wouldn’t want to hear about flat earth theory at all!

That you would liken the religious to flat earthers is not a great sign...
Lots o people be liquidating assets right now...