skysight-inc/HackerNews huggingface dataset:
There is a difference between being skeptical of scientifically-arrived-at conclusions (which is healthy and I don't share your opinion that people are largely "castigated" for that) and explicitly ignoring science, and experts in general, based purely on the fact that their conclusions conflict with one's socio-political convictions, which I think is a real problem that people may feel castigated for falling into (which of course doesn't help). If anything has the ring of religious superiority to it, it's this trend of elevating skepticism to denial simply for political reasons.
they should use the same words for all their devices. they need to decide between Mini and Air or make one of those the "regular."

Macbook, iPad, and iPhone: Mini, Air, Plus? Air, nothing, Pro? Why is it a Macbook Pro and an iPhone Plus and then a Max? They need one word and one world only for big and powerful, not 3.
China Mobile Pakistan sells a 200 GB plan for ~100 USD. Not do cheap given that median white collar salary in Pakistan is $500.
Annapolis: Why John McCain Is Buried at the Naval Academy (2018)
Bumbling around out in the fringes is one of the best things about ED I find.

No man's sky is worth a look if you like the explorer aspect as well.

Universe is vast and varied and it's come a long way since the disaster that was it it's launch.
People on the coasts live in floodplains too. Living in floodplains is just a fact of life. Has been for 10's of millennia. Romans, Greeks, Phoenicians, Persians, Egyptians, Chinese, and so on and so forth back to the beginning. They all built in floodplains. Let's stop jabbing a finger at people and give them a hand instead. If you don't want to lend a hand, that's fine too, just go about your day. No need to denigrate people.
I really like this! I like the notion of automatically generated documentation, because it's always in line with what the source code is doing (or should be). Thanks for making this!
In many countries, mobile bandwidth licenses were auctioned for ridiculous sums, which were probably bid based on what they expected the market to be able to bear. That made the expected profit part of the cost.

There was a bit of a scandal back then because of the way the Dutch government handled that auction and tried to squeeze as much money as possible out of the various bidding companies.
Lack of supply is not sufficient to raise the price enough. To keep climate change below a 2 degree rise, we must leave 4/5ths of our current oil reserves in the ground. And not only that, once oil reaches ~$80 / bbl, vast amounts of tar sands become viable, increasing our oil reserves massively.
For our kid's third birthday, we quietly smuggled the presents from the party venue back to the house, and would open maybe one a night. This probably won't scale when she's older, but she'll hopefully also be getting fewer presents per birthday.
Have you had a look around PubMed?

https://www.ncbi.nlm.nih.gov/pubmed
To justify the costs of Space Force, First, we need to find space terrorists. Or, find aliens and sell weapons to them.
Did you try HERE WeGo?

Originally made by Nokia. I tried it on a trip to Helsinki in 2015 and IIRC, it worked better than Google Maps.
Russia also have mobile ISP that have "unlimited" internet and at some moments can provide 70Mbps. There is some obvioua shaping for torrents, but with VPN it's possible to go well over 1TB on $15 / month plan. There were actually bunch of such options in past, but only few remains.
We try to open presents in waves for the winter holidays. One on Christmas eve, one on Christmas morning, one on New Year's Eve, and one on New Year's Day.
How caffeine works: Less blood flow, brain higher entropy
From the omaha.com article on the subject it seems like there was a desire from Offett and an intent to put in greater flood-resistance infrastructure but it was stonewalled by questions about whether it was needed. So i guess the answer is in the realm of "some people knew and planned, but others tried to disregard both warnings and previous near-disaster floods."

https://www.omaha.com/news/military/one-third-of-offutt-unde...
The US currently has about 50 million households with children under 18 and over 250 million cars. There is room for an 80% drop in the number of cars without families with children going car-free.
Can you run Linux on these machines?

If not, does anybody here have experience running Linux on a tablet?

It could make a nice experience to have a tablet instead of a laptop, so you can put the tablet a bit higher and use it with an external bluetooth keyboard. I think that would work, right?
https://en.wikipedia.org/wiki/Levittown,_New_York#Discrimina...

Levittown was a quintessential model of the suburbs, one of the first examples of the suburbs we have now. Towns like this openly segregated against blacks and minorities, a dream away from the crowded city into your all white, picket fence house.
I started Gumroad as a weekend project
> I'm not sure that the problem is missing manpower on the implementation side

If it isn't, why are there so many red crosses on https://matrix.org/docs/projects/clients-matrix and so many servers that aren't even capable of talking to matrix.org?
Mainly aerodynamic forces.

The heating event is so quick there's not time for the interior of a sizable meteor to warm up. Meteors' thermal conductivity and diffusivity are generally pretty low.

Even at 25km altitude, aerodynamic forces are very high and nonuniform with shock wave impingements. These forces will shatter a rocky meteor quite suddenly.
Ask HN: Is there a good map of the location of all San Francsisco Companies?
Hi HN,

Is there a map somewhere of all the company HQs in San Francisco?

My wife is looking to join a new company. We are looking for companies which have HQs on market st. or north of market so that she can walk to work from Telegraph Hill/North Beach.

Ideally not anything south of Mission Street. Is there a map out there to reference?
The thing is corporations exist precisely to limit liability. You don't have to start a corporation - you can run your own business out of your own pocket and accept all the legal liability. However, we make this activity undesirable through policy: (personal income is taxable in a much more punishing way than corporate income, and the legal system is incredibly expensive - the more customers you have, the more you are likely to be exposed to a crazy customer who is going to abuse the system and personally bankrupt you with frivolous lawsuits. Who would want to start a business in that climate?
Laws That Get You Paid for Your Data Are Cool, but They Won't Work
The title says it all: the author thinks science is supposed to be an "authority". That way of thinking about science is precisely what has to stop.
Video of talk: https://www.youtube.com/watch?v=AVs90EsAi3o
Are you sure the most common computer isnt a business desktop? What percent of people with office jobs, who are not in IT, sit at a desk all day?

Personal computing is probably phone first, work computing I would guess is still desktop, followed by laptop.
see how evacuations before large hurricanes or other predictable disasters are going. It's problematic at best.
You need to cite a source for that.

Infact if anything, despite the very very recent free-range kids movement to liberate kids from the dependence on parents, its the opposite - kids get ferried everywhere, from high school sports practice sessions to neighborhood store visits.
https://www.patreon.com/jordanbpeterson

This page has been removed.
Jeez Louise I worked with the Oracle BI stuff once and it was so poorly documented that using Wireshark was the only to figure out what all pieces did what and how it all worked. I'd imagine other such enterprisey stuff that's been hobbled together over the years through acquisitions may be similar and these companies are always rather terse or ask you to put in a ticket and wait a month to find out.
> So the extermination industry uses anticoagulants, or blood thinners, which don’t affect rats for hours and don’t kill them for several days. The rats die slowly from internal bleeding. Corrigan hates to inflict such a death, but he fears outbreaks of disease. So he continues to lend his expertise to clients.

This is incredibly short-sighted thinking: Even if we ignore the horrible death it inflicts, what happens to the anti-coagulants after the rat dies?

Here's one example at the top of the page: https://www.mountainlion.org/actionalerts/043014CAab2657/043...

It's not like these poisons hit a precise target and magically evaporate: They remain in the environment, and then what goes around comes around.
* per day
yeah, this basically confirms my experience and is also what annoys me so much. Not even investing 5s to read the first sentence of the profile... just wasting time for every one.
if you squint a bit, `x or y` returns the one that's greater, i.e. `0 or 1 == 1`; and `x and y` returns the one that's smaller, i.e. `0 and 1 == 0`. so min/max kind of are a generalization of and/or
Do you own your house? I'm curious because you speak as if "where you live" is an immutable fact, whereas my solution would to be to move closer to work.
> I use MSG on a lot of dishes myself

I use peanut butter myself; people who have problems with it are just a bunch of flakes making it up. My personal experience is all that is real.
Similar story here. I won my first iPad in a office raffle. I was going to sell it since I figured I'd never use it, but my kids screamed bloody murder so I kept it and I found that I used it all the time, especially for reading documents and news.
True. But it is just the government trying to get a slice of a pie. regulatory cost.
>It's amazing for example how many of these people will turn around and believe hormone-replacement therapy creates a level playing field in sports between trans-women and cis-women.

I find it hard to believe that you've found such a specific correlation in a domain where the numbers are large and half the equation is so nebulous ("these people", i.e. people who often say out loud "we believe in science in this household"??).
This is ripe with identity politics, and you're almost certainly projecting your feelings about "those people" as though there is a real correlation that makes "those people" worthy of condemnation.
A few decades ago there were hoards of people breathlessly demanding that something be done about the hole in the ozone layer or else we're all doomed. Then we banned CFCs and now the ozone hole is starting to heal itself.

But if we hadn't banned CFCs we would have been doomed. The ozone layer actually is really important.

Now the danger is climate change and what we need is to stop burning carbon. The lesson from past experience is not that everything will be fine if we don't do anything, it's that everything will be fine if we do what is necessary. Everything will not be fine if we don't do what is necessary.
Difficult to arbitrage? You just proved the opposite of your own argument.

Oil is the same price for many reasons (least of them being OPEC), but largely because of your point - there is a global market.

How exactly is the US or UK supposed to export cheap data from India?
One of the tensions between federated services (DNS, SMTP, HTTP, etc.) and non-federated services (Twitter, Slack, Facebook messenger, Signal, etc.) is that quite a bit of control (perhaps all) is delegated to the single operator in the non-federated model.

I don't think you are going to get "computing freedom" via a non-federated service regardless of how you define "computing freedom". Autonomy and independence aren't part of the equation in that context.
Sure, but that fixes it for you, not anyone else.

What's the point when the person you're talking to went offline because they went through a tunnel or momentarily closed their laptop when you sent the message?

This classic HN idea that people only use Slack over IRC because it looks better/easier is a reminder of nerd hubris that prevents one from understanding people and products.
This is from 2017. There is a video where he discloses that he makes quite a bit more. This also is prior to him outright cancelling his Patreon account and moving to Sunscribestar due to the censorship issue regarding YouTuber Sargon of Akkad. He also makes millions from his book sales, and he even revealed he makes $200k a month from an online service, presumably his "self-authoring program." There's also no doubt hundreds of thousands from his speaking engagements.

The real question is why do you think this is important? Jordan Peterson has done his part in introducing some of the critical talking points into mainstream political conversation, i.e. (paraphrasing both) "we do not have a good conception of determining when the left has gone too far" and "the end result of intersectionality is individualism, which is what liberal societies have already been correctly centered around for hundreds of years."

He's obviously slightly insane, with his over eagerness to attribute archetypal meaning to just about everything, and his willingness to explore his inner monologue with absolutely no attempt to clarify the absurdity of the hypothetical he's putting forward, but I would argue that the good far outweighs the bad. Conversations have gotten far more sane, and he had played his part in it.
Why does the BBC not use the NASA acronym?
Many will send an automated text to confirm the reservation the day before
And how is building infrastructure not impacted by labor costs?
Was hoping Apple would lead the way for the industry with 120hz screens. I know it takes a ton of power, but damn, iPad pro is a sweet experience.
Outline is for reading pages that:

you own the rights to,
is in the public domain,
constitutes fair use, or
you have consent of the copyright holder.

I don't see "to avoid paywall" on that list

https://outline.com/dmca.html
So, in your eyes, where should the privacy line be drawn? Is it OK the insurance company knows the VIN number of your car, the make, the model, the miles, the color, your name, age, address, credit score, credit card information, marital status, how many miles you drive a year, where the car is stored, your claim history, criminal history, etc? If that's all OK, what crosses the line about monitoring driving behavior?
> Effectively mandatory meaning that insurance without a tracker will be like 10x the price.

An alternative would be to only require tracking for drivers who have proven themselves to be unsafe (found to be repeatedly at fault in accidents). Car insurance is not just protection against accidents due to traffic and weather, it's also protection against negligent behavior of drivers themselves.

In the longer term, though, we need to switch to other forms of transportation that don't require individuals to self insure. Perhaps that will be self driving car and bus services, that don't have the huge risks associated with people driving, or maybe they will involve expanded rail service.
Ask HN: How do you determine how much to charge a for a fixed-price contract?
Particularly as an iOS developer.
Enough with that already, the whole concept of digital privacy is elitist nonsense that regular people don't care about.
Ok. Hoy are given 3 hours
Blockchains help with governance and identity (which are the same thing) by instituting global personas that can signal preferences in a censorship-resistant way. If you do not think there is a dire need for such mechanisms of global governance you might not have been reading the news of the past decade. The tokens are going to be granted as human rights, each with a specific functionality and reasoning behind them (identity, voting credits that account for time, and votes). You also have it completely wrong that this is meant to be used by governments: it is a peer-to-peer governance system. Any organization, collective, digital community can apply it - including a government - but the design is centered on the individual, not a centralized authority. Finally, I suggest you go do your research about the organization and history of hacktivism behind it and you might find that this could not be further away from a bunch of MBA types waving decentralization. Here are some links to get you started: https://www.ted.com/talks/pia_mancini_how_to_upgrade_democra... https://www.youtube.com/watch?v=UajbQTHnTfM https://www.dropbox.com/s/sifogl4zimwkkei/Democracy%20Earth%... https://www.youtube.com/watch?v=fJfT-0v5AJI
The systems you mention use a declarative proof approach that's more similar to the way humans might write a math proof, or to the way computer code is written. In contrast, Coq and Lean use "proof scripts" that are more like writing your stuff in a custom macro-assembler that will break as soon as one changes anything in the "script", or even just upgrades to a newer version of the underlying software. Even the resulting proof is basically not readable on its own without re-processing it with the software itself. (Coq used to have a declarative "mathematical proof language", but it was unmantained and they removed it.)

Other systems, e.g. Agda use "proof terms" that are more like a proof that can be read "declaratively", but one where every single step has to be recorded; there's no provision for the system to "fill in" some gaps, unlike with declarative proofs. This can definitely impact readability/surveyability of a development, but the inherent maintainance problems of "proof scripts" do not arise.

I'm not sure what Dedukti is going for from this basic POV. They mention that they're trying to build a general framework that can support multiple logical/proof systems, but the details are not that clear. It's probably going to be a bit clunkier than the systems you mention, particularly at this early stage of development.
In rural Austria internet over LTE has replaced a lot of DSL installations. So much that most ISPs now offer hybrid VDSL2+LTE connections with GRE tunnel bonding.
how much they pay for real future predictor and not just scifi writers?
How to Choose the Right Productivity System
Not everyone has the drive to regorously reason.
I hate mobile companies as much as anyone else but that's like saying that once you're past the hard part of software development the rest is easy.

The bread and butter of mobile operators is infrastructure and spectrum licensing. FWIW I think there's a fair amount of competition, at least more than you see in the ISP space. Building towers is usually much more straightforward than trenching fiber/cable.
Dark Corner of C++ Corner Cases
>XML is not popular because of JavaScript developers.

This could not be more false. JavaScript is built around the DOM. You can parse XML with DOMParser and query it with the same interfaces that you build your UI with. The X in AJAX is XML. The "good native representation" of XML in JavaScript is the very core data structure that JavaScript was designed to interact with.

XML is not popular because it's complex. Escaping is hard. XML bombs make it unusable in its raw form.

Fundamentally, XML doesn't give you data structures that look like the ones you use in your application logic. You have to transform your data into something that makes sense in XML, then transform it back. With JSON (and other formats) the data structures that you're given are present in almost every programming language. You don't need to model your data differently for transit or storage than you do in your application logic.
Ketamine: From Party Drug to Prescription Medicine
> "People on the coasts live in floodplains too"

Yes I understand that, but that's not how it's perceived. People do not have objective worldviews, and it is the worldviews of the general public that determine whether or not something is considered newsworthy.

I'm not defending this status quo, I'm explaining it.

Something else to consider: hurricanes are personified. They're given names, and therefore make convenient villains. This increases their newsworthiness. If particularly snowy winters or intense rainstorms were given names, that would increase the newsworthiness of inland floods.

Another thing to consider: when an inland flood occurs due to a dam collapse, rather than because of unnamed weather systems, that becomes more newsworthy and memorable than most hurricanes. I'd say the Johnstown Flood is about as memorable, maybe moreso, than the Galveston Hurricane, despite killing fewer people. That's because the Johnstown Flood was due to a dam collapse. A dam with a name, a discrete object with human owners. That's why an inland flood in rural Pennsylvania is remembered nearly a century and a half later, while most inland floods hardly make the news at all.

Consider also the Great Molasses Flood. By flood standards or even industrial disaster standards, the number of casualties were small. However everybody has heard of the Great Molasses Flood. Why? Because it happened in Boston? No, because it was molasses! That's very unusual, nobody would have anticipated that, and therefore it's newsworthy.
Well according to https://deducteam.github.io/ HOL and Coq can be autotranslated to Dedukti (which is the language Logipedia uses)...
Sony has patented wireless PSVR headset
After spending a lot of time in
clean mountain air

May I ask where this mountain air was and why you had to relocate to a fume-ridden place in United States?

Is it for economic mobility? If that's the case shouldn't you consider taking a hit in that lone aspect, for a better quality of living? I'm sure you will be gainfully employed breathing clean, crisp mountain air provided your skills are in demand. You'll just make a little less.
Ask HN: Any good methods to support SEO in SPA like React?
I'm writing a forum which is using react to handle page change, how can I support SEO?
Most restaurants don't even list their good timeslots on OpenTable, as they're capable of filling those on their own.

It's mostly used to list the less busy "collar hours" (the hours adjacent to any rush) in the hopes that an alternate means to advertising might flip an empty table to a populated table.

I'll avoid talking to a human to make a reservation if possible, but I've had dozens of occasions where OpenTable shows no available reservations at say, 7pm and a quick phone call is all it takes to land the time I'd like.
Atlanta is already changing to a "car-free utopia" that you're dismissing. Many neighborhoods around Midtown, Inman Park, and several MARTA stations are both more walkable and in enormously higher demand than 20 years ago.
Herpes Virus Reactivation in Astronauts During Spaceflight
I'd hate waking to Safeway every other day, but I loved doing tiny regular grocery shopping in Europe. It made it easy to always have fresh produce and spontaneously plan interesting meals.

A lot of it comes down to how the cities and grocery stores are designed.

In the US you drive to a shopping mall, navigate through a sea of parking, walk maybe 1000ft of aisles, then spend 5 minutes in the checkout process waiting, scanning, bagging, and paying.

In the European cities I've lived in and visited, mixed zoning means you're likely to have a supermarket near your house or work so doesn't take any extra time to travel to, there's no parking so you just walk in of the street, the stores are about the size of a 7-Eleven so it's fast to find what you want, then the whole checkout process is crazy efficient.
One of two things are happening: either the mixed income is richer and middle class - as I already said; or the rich are paying extra for their house to subsidies the house of the poor. Probably a mixture of each.