skysight-inc/HackerNews huggingface dataset:
Because.. internists don't exist as primary care doctors? Because the start of getting diagnosed with chronic illnesses doesn't start with a primary care doctor?

OR because insurances and governments aren't interested in not spending thousands of dollars per month per patient on autoimmune medicines when a simple diet change could do the same thing?

There are more players than doctors. Folks go to specialists all the freaking time for their disorders, but not all disorders need that. You'll probably be just fine going to the normal doctor for type II diabetes. You'll probably go to a neurologist for your MS. Not all disorders need something like the Mayo Clinic. When we suck, we simply suck and that includes the Mayo Clinic and similar clinics.

None of this changes the fact that there isn't evidence that diet helps in the long run for a lot of disorders. Staying generally healthy helps, sure, but saying anything else dupes folks into trying a bunch of weird, non-approved things and buying into snake oils.
Yes... Remember that there's 1 bar of atmosphere in there. 150 feet (45m) makes for a circle of 140m circumference but 1600m^2 area. Since 1 bar ~= 100_000Pa, each of that square meters has 100KN of upwards force on it, for a sum of 160MN distributed over 140m of circumference or ~1MN per meter. So assuming the mass of the dome is negligible, we're talking about the equivalent strength of holding on to a mass of about 100 metric tons (compared to Earth gravity) per meter of dome. Ie. the amount of support you need per meter is the amount that you would need on Earth to hold up 100 metric tons against gravity. That's about a Boeing 737. Per meter.
> Do you not think about living by your values as a matter of integrity?

I am not sure I understand the context of the question. Does my comment somehow imply I don't?
This is actually a very common systemic problem, even happened at organizations like NASA. When the risk is reduced in a single area within a system, people would tend to increase risky behaviors in other areas because they unconsciously justify those behaviors with a perception that the entire system has now become safer.

I'm afraid there's no solution to this. In the end we are all humans. How does one even begin to solve a psychological problem at a large scale like this?
Firefox is a native app that is ported between OSes. It doesn't run on a VM.
I do blue-green deploys with Docker and I deploy the services as “app-1”, “app-2”, “app-3”, etc.
They take Monero, so you can try https://LocalMonero.co

or if there isn't anyone you want to buy from, you can try LocalBitcoin and then convert.
Not if it's running entirely in my browser and therefore using my network stack - in the same way "icanhazip.com" when looked at in your browser should show your own IP.

edit: `curl icanhazip.com` returns 107.170.233.148 which seems to belong to digital ocean. It also matches the host relay.widgetry.org which is refered in the demo URL as as a "relayURL". I have no idea how it's working or why though - the lack of ip or ifconfig in the VM upsets me ;)
> TypeScript doesn't count because all type information is stripped during runtime

What's the point of keeping this information around at runtime if you do all your type checks at compile time?

Based on this categorisation, Haskell for example isn't a strongly typed language, and yet Haskell's type checking is one of its biggest selling points, so this doesn't seem quite right.
This is cool. Reading about the engineering challenges of a dome reminds me of Brunelleschi's Dome.

Does anyone else have good examples of popular scifi tropes which have formed an engineering zeitgeist, but which are realistically very suboptimal?
Continuing to run with unexpected type coercion bugs could be worse than bailing out. So, worse than compile time checking, yes. But not the worst.
I'll throw my experience in as well. I recent memory within the past year, I count upwards of 5-6 different people coming to me with problems on their preinstalled, officially supported Windows laptops, where one day something just outright stopped working because of a background update or random registry change.

One couldn't launch any games because one day out of the blue Windows installed a second graphics driver alongside their first one for no discernible reason. One out of the box couldn't connect any external monitors or get any signal from its HDMI port. One had its audio stop working, and I never found out what the problem was -- for all I know, it still doesn't work. Just the other day I was updating a laptop at work and discovered that every 3 minutes the mouse drivers would just stop working for 1 minute. When I upgraded a Surface Pro 3 to Windows 10, I ended up with 2 OneDrive folders and half of my documents permanently deleted. Then I had to download a 3rd-party firmware driver that was only rated for Windows 8 and wasn't linked anywhere from Microsoft's site to do touchscreen calibration again on the Surface device that Microsoft built.

Which, OK, I'm not going to pretend I haven't seen weird stuff happen on Linux. But these are officially supported devices that only have one job -- to work with Windows. And people run into these problems, go on to 4 year old abandoned Microsoft forums that tell them to start messing with their registries or randomly installing drivers, and then turn around and tell me that they can't use Linux because AskUbuntu isn't "real" support.

All of this is anecdote of course, but at the end of the day I make decisions based on which platforms by my experience cause me the most trouble. Linux causes me less trouble than Windows.
From some users first, even if that doesn't include you
What is a "real name" if not the name someone goes by? There is no Earth Name Authority
"The foxes have assured us that they will limit their consumption in the hen house for a ten year period"
Ok, I admit that 99% was exaggerating, but you sure should make availability of gitlab.com your main focus - and you promise that for years to the users (linking at issues etc.).

Btw.: Your links are http, and the https version has `SSL_ERROR_BAD_CERT_DOMAIN` - you should check with pingdom.com maybe?
A sysadmins guide to troubleshooting VLANs
Technically this is incorrect. Stocks trading below $1.00 may be quoted in sub-penny increments.
What ploy? Serfs in unheated hovels can't build private jets.
Don't get your news from the places peddling that stuff. Here is what CH4 has been doing since 1985 (notice ppb, not ppm):

https://imgur.com/gaKEU3g
Ask HN: Do you consider SPAs to be a superior user experience?
During the last years I've come to hate SPAs over traditional server side websites. Perhaps it is not the SPAs fault, but the lack of good quality ones.

The lack of proper feedback to interaction, the loading skeletons and sometimes the failed API calls that leave everything loading for ever. Also, the poor performance when loading for the first time. Do you think web development is going in the right direction with the massive adoption of SPAs?
That's a valid argument, if it can be proven.

But, how could the students find that out before travelling and visiting the University?

It seems to me that many caught were acting on good faith.
I am an Indian living in Europe. The supermarkets here charge you the maximum you would be willing to pay, even if it meant half the products will be thrown out in the dumpster, which has itself started "dumpster diving" as a culture.

The prices in India is generally insanely low, because the tax payers subsidise it for the poor or the poor themselves take a hit at the margin because the consumers are simply too poor to pay.

An example of tax payer subsidy is when the entry to a museum is 10 or 20 cents or public transports where tickets have an upper limit around 40-50 cents. The poor subsidising the market price is when the street vendor or vegetable market works on a thin margin simply because they can not sell for any higher.

Westerner especially Europeans must realise that they are being ripped off everyday by their own government & businesses which are focused only on profit maximisation instead of value to the consumer.
It would be equally ineffective because there is no interest in solving problems.
cool, that looks like progress!
How does he mention LetsEncrypt and not have http redirect to https on his site?
But the problem is the equivalisation of the state, the country and the nation. These are three different things. Australia and the United States are friendly: the states are friendly.

Not so long ago, the United States went to war: the state went to war. Iraq went to war: the country went to war.
I've been using the free version of the football API from SportMonks whilst I write a client, but it's limited to just a few (not so popular) leagues. I intend on using it for commercial purposes in a few months though, and the price compared to Opta and SportRadar is much more reasonable.
"it doesn't have it's own baked-in web server afaik"

It does, actually: hhvm -m server -p 8080

Uses proxygen.

Proxygen is pretty cool, actually. Even does http/2 & https, and is suitable for production use. I'm somewhat surprised nobody's done the work to link it with PHP, Perl, etc, to provide what node.js does for js.

Edit: Also, on compiling PHP, there's a pretty good start here: https://github.com/ircmaxell/php-compiler/blob/master/README.... The FFI functionality in PHP 7.4, plus the internal use of an AST in php7.x, are what made it possible. Missing lots of functionality, but a neat proof of concept.
Because of oil lobby mostly. The idea is nothing new, it was just easier to burn oil instead of building new industry from ground up and going against all existing oil companies.
I would not call myself an operations expert by any means, but I have done quite a bit of infrastructure work in the past; both with bare metal setups and cloud based solutions.

With that said, the old database specialist position was about 80% engineering, 20% infrastructure, with the infrastructure work being done in cooperation with the production engineers.

I left the database team a good year ago and quite a lot has changed since then. I think these days we have a handful of people focusing on the database side of things.
I would recommend the book
"The Trivium: The Liberal Arts of Logic, Grammar, and Rhetoric", by Sister Miriam Joseph.

It attempts to cover the ground that may have been lost by those who missed out studying 'The Classics' formally, all in a single book.
> Well, that isn't generally true if the complexity is actually a security boundary.

if the security boundary is baked into the code or the design of the system, and also assuming it doesn't introduce more bugs, then I agree[1]. Security controls that get introduced on top do risk an increase in attack surface. An additional interface is by definition a an additional "surface", the question is if it can be attacked.

[1] you could still argue that more lines of code always means more bugs (but let's assume it's very close to bullet-proof)
<541 — Russia - town of Russia (Русся), now: Old Russa (Старая Русса), but town was moved about 50km up the river at third re-habitation. "Rus`" means Red. They painted their shields in red and used Old Norwegian language.

880-1240 — Russia - Russia, Русь, modern name: Kievan Rus` (to avoid confusion with Russian Empire), now: Ukraine. Built on remnants of eastern part of Volynnia (Free People) kingdom (now: Volyn` region of Ukraine). Rus`-sia means "Rus` there/this" in Slavic, so "-sia" suffix is dropped in Slavic languages, thus Russia transformed into Rus` (BTW: s(с) and s`(сь) are different consonants). In Western Europe traditional name was used: Russia. They used Eastern Slavic Languages.

Then Russia fall apart into 1) Red Russia, or Ruthenia (Rose People Land), now: Western Ukraine, 2) White Russia, or White Ruthenia, now: Belarus`, 3) Black Russia or Black Ruthenia, now: Grodno region of Belarus`, 4) Carphatian Russia or Carpathian Ruthenia, now: Zakarpattia, western part of Western Ukraine.

1721-1917 — Petro I conquered Russia, so he got title "Emperor of All Russia" (Царь всея Руси). Then Catherine II renamed Moscow kingdom into "All Russia Empire" (Всероссийская Империя), which then simplified to Russian Empire(Российская Империя), or just Russia (Россия).

So Russia can mean Russia/Русся (<541), Rus`/Русь (880-1240), Red, White, Black Rus`, or Russian Empire/Российская Империя (1721-1917).
> Can't bloody nvidia just open source everything. Those managers should be hanged. Wasted way too much time on this.

As much as I want NVIDIA to open-source their drivers, they won't because of the same reasons the Raspberry Pi guys won't open-source their bootloader; they have to protect their IP.

To us it is a triumphant revelation to the 'open-source' community if they open-source their drivers, but in reality, to them it is absolutely 'treasonous' for someone in the company to open-source them as it is essentially risks their IP being stolen or fully reverse-engineered from a 1:1 reference to the original code.

Not as simple as it sounds to just 'open-source' something like drivers does it?
The solution here seems fairly straightforward: don't make the design completely pressure-supported, but include enough weighty structural elements like ribs and beams to make it heavy enough to be a compressive structure again. If you have a rib-like structure on the top side of your dome material, you could even just pile Mars dust and rocks on top of it to keep it in place.
Imaginary Boyfriends
There might be some bias in there.

" see many more successful commercial desktop apps for MacOS than for Windows or Linux combined"

Office profits by itself would crush all MacOS application sales.

Maybe it is easier for the single developer to create something profitable on MacOS but that's because the bigger players have marketshare over windows in the profitable niches.
How to make your papers run: Executable formal semantics for your language
Perhaps we used to search for different things. AltaVista allowed far more control over operators and filters, but invariably I would have to dig much deeper in ther results to find what I was looking for. On google it would be there on the first page.
Ask HN: Google Calendar spam, is it a universal problem?
Over the past few months my Google Calendar has been completely saturated by spam event invites. I have reported them and removed them so much that it has become a part of my daily routine.

I am reaching the point that this may be the issue that gets me to move away from the gsuite.

So far the only solution I have read online is to disable automatic event invites, which would break a lot of useful features for me like adding flights to my calendar.

I have been looking for a solution from google for this for months but so far it is just pr about an incoming fix soon, despite it being several months now that this exploit has been abused.

If you are on the Google calendar team and reading this, please fix your product.

For other users is this something that you are experiencing?
Any Mastodon server.
What's your job? Do you do that with a 0% error rate? I certainly don't.
Something which continues to stun me is how much spin and opinion are added to the news and that "just the facts" isn't a thing anymore. I listen to the No Agenda Show podcast (In The Morning!) which can most succinctly be described as news deconstruction and they go to the source material, transcripts, and audio clips with context as often as possible -- and then contrast those against what CNN, Fox, MSNBC, and the rest are saying. In too many cases the news outlets, both (American) conservative and (American) liberal are claiming significance and meaning that is either absent from the source material or COMPLETELY OPPOSITE of what the source material suggests.

Strangely, this is reassuring to my sanity because looking at the opposite points of view of the media leads the logical person to conclude they can't be talking about the same thing, that they both cannot be true. With news deconstruction like they do on No Agenda it becomes obvious that "mainstream news" in the United States is pretty much a world of make-believe these days.
Estimating Uncertainty in Machine Learning Models
There doesn't seem to be much info on compliance out there for Pi 4 which must have been significantly different w.r.t HDMI.
Well, strictly speaking the actual Church where this paper is from backs the Trump Administration in its climate science denial.

But as others have pointed out: the claims in this paper aren't very strong. Further, they don't directly dispute anthropogenic global warming. All they do is suggest that methane shouldn't be regulated because it breaks down over 40 years.

However, it breaks down to component greenhouse gases, which the paper fails to mention. This seems to be a fatal stake in the heart of this argument.

Did you skim the article in question? Even quickly? If not, don't you feel a bit ashamed for participating in this discussion without making even the most basic effort?
His background doesn’t qualify him to speak on environmental issues anyway, in my opinion. No more than any well read layman anyway.

Shellenberger was raised in Greeley, Colorado and attended college at Earlham College, a Quaker school in Richmond, Indiana.[79][80] He went on to receive a master's degree in Cultural Anthropology from the University of California, Santa Cruz.
It is a rather dire situation indeed. I saw a documentary on Uber drivers in India, and a few of them had been convinced to take on crippling levels of debt. When demand dropped (and number of Uber drivers increased) this eventually caused them to take their own lives.
That's it! Not sure how I never stumbled upon this. Thanks!
Great feedback - appreciate it.

I think the constant job changing is going to be really interesting one - because 1) it's already happening 2) it makes the tasks more ideally suited for eventual replacement by machines.
There's a lot of people out there in regular white-collar jobs who don't want to change - it will take a lot of work to make them change their mind on that (and some simply won't).

Unless we start to manage some of these future risks I think we're going to see a number of problems. Interestingly I think the easy answer (and the one we're already seeing) will be to blame the traditional ones (immigration, other people not like us). We're already starting to see this in multiple geographies.
I think the membrane is only meant to pressurize a vast area, not to protect against solar radiation, which is what structures within would be for.
Well, they could say that it's expensive but at least you get to really own the phone, not the other way around. Technical wording works best with technical people.
One is a click or two. The other feels like you are breaking this expensive machine.

When someone buys a computer that works after turning it on switching oses seems risky.
Kudos on the idea but I don't really see this being useful. Reading one page at a time, you'd just end up losing all context.
If they didn't use SD cards, the storage would be more reliable, but users would spend a lot more time fixing bricked boards. By allowing for removeable storage (in a format that can be plugged into any other computer natively) they solved that problem because I can just re image the card and get going again.

The philosophy of the RPi is that they won't really add features to it unless a bulk of the user base would use the feature. For example they were hesitant to even build the WiFi into it because users who wanted that could always get a USB chipset, and building it in adds BOM cost.

Because with GSM you'd also need a plan for it, I don't really predict they'd add that. Especially since you can get it in hat format already.
After WeWork, SoftBank’s Startup Bookkeeping Draws Scrutiny
PHP 7.4 available
Any examples of high profile climate scientists who have moved on to make a lot of money doing research unrelated to global warming?
Of course the network hardware can see unencrypted network traffic. That's unfixable, except of course by encrypting everything.
Agree. Very naive. A 10% increase forever versus 10 year temporary stay of prices for some lucky few who manage to opt out.

10 is pretty small compared to forever.

I'll take the guaranteed 10% nest egg until retirement, please.
Highly efficient and stable InP/ZnSe/ZnS quantum dot light-emitting diodes
China En Colombia
There is no such country as Russia. Russian Federation tries to monopolize use of this word for themselves only.
How about you make a cheaper product without software bloat? I don't think a smartphone requires 3GB ram to work. Those smartphones are not high end, but they have incredible specs and yet I don't see any logic that justifies them.

There should be a market for electronics that goes against planned obsolescence. Build a device that runs a good enough OS, with low specs, that doesn't require fast hardware, make it sturdy and last at least 3 years, and I would buy it.

I refuse to spit more than $200 for any of those devices. People say "but I used it everyday, it is my main computer", well with all due respect you are addicted to your phone.

The smartphone industry is bizarre. Of course you can accuse Apple and google ecosystems, but still.
The Librem is $700 and, at launch, doesn't include basic functionality like calendars, calculators and notes.

Sure I'm comparing apples to lemons here, but the first iPhone was $500, twelve years ago, and much more functional.
I don't mean to offend you, but it seems you've been doing something wrong -- in my opinion, in more than a month you could've advanced much further than 15k.

If you like, I could have a look at several your lost games and maybe suggest how to improve. Just a 3k at kgs, but still.
Is it really similar? I think not.

The right to be forgotten doesn't ban reporting, it blocks two-second searches of someone's name, and thus raises the price of finding something hidden in someone's past back to the level it used to have before Google came along with effective web searches. You can still go down to the public library and do the same search as you could in 1995 or 1971. What Google changed and the right to be forgotten changed back is the availability of cheap, quick searches.

The reporting is still legal, so I can't see significant similarity.
It's similar to "is there any reason why a computer can't program a computer?" Yes, you can do that, and you could even sort of say that a compiler is doing that. But if you think it keeps you from needing to have a person program the computer, you're expecting too much out of it.
Any question about the article will be answered!
> "In the very distant past (late 1980s, early 90s), Olivetti..."

Havnm't heard that brand in a while! I now remember I still have an 486 DX4 100MHz Olivetti laptop. Which is kind of pink-red-brownish.
Heh. Learned this lesson in college when a friend started registering all of our acquaintances names on AOL instant messenger, and impersonating a large number of people.

It has been an issue for several decades.
> So if we take Ethos at their word, they should be just as good a steward for .org as the Internet Society has been

Sigh.. I'm guessing the author is/was not aware of the serious conflict of interest among the decision-makers and private stake holders who passed through the revolving doors of IS, ICANN, PIR, Ethos.

Voting with such naivete, especially underestimating the greed of a for-profit organization, is not being a good steward. They've let down the public in this decision.
The video removed was not close to any of the prohibited categories, so it's misdirection to say you can't get to 0% error rate. The claimed "error" is not an edge case that well-intended moderators might make an honest mistake on. Falling back to statistics just obscures that.