skysight-inc/HackerNews huggingface dataset:
> If 0 has no multiplicative inverse, there is no division by 0. The two concepts are one and the same.

But formalizing the statement "there is no division" poses challenges. If you agree that a formalization of fields that is acceptable to you exists, please write a formal axiom/theorem in that theory which would break if we were to extend the definition of division.

> just as is the case for subtraction and additive inverses.

No, because subtraction is not partial, and therefore poses no challenge for formalization.

> there is no what happens because nothing happens at all.

This is fine when working informally, but doesn't work for formalizations, and formalizations of fields do exist.

> You can't engage with the problem because it only exists as a syntactical annoyance.

But that is the heart of the problem. Either you say one cannot formalize fields at all, or you must admit that some acceptable formalizations do not break. No one is claiming that one should be able to divide by zero in informal mathematics.

> I'm not going to continue arguing this with you.

That's fine, but settling this argument is very easy: write a theorem of fields in a formal language that would break if we extend division, one that cannot be equivalently written in an acceptable formalization in a form that does not break. This can literally be done in one line. If you cannot write such a theorem, then there really is no point arguing, because you cannot provide a counter-argument. Repeating the same informal theorems over and over is indeed pointless.

> You've alternated between saying those proofs are either incorrect outright or not applicable because they don't have relevance for programming.

I've not alternated on anything. Your proofs are incorrect in formal systems that you yourself would find acceptable.

> and I've tried to direct you to other resources

Resources about informal mathematics, on which everyone agrees. That the informal concept of division cannot be extended to 0 is obvious. The only question is whether a formal definition of division would necessarily break formal field theorems if extended to division by zero. You seem to claim that's the case, yet have not stated a single formal theorem of the kind.

> If you actually believe division by 0 is possible in fields you have an immediately publishable math paper waiting for you to submit it.

I would if only that result (doesn't merit a paper) had not already been published by at least Paulson and Avigad, two of the world's best known logicians. The formal field theory in the Lean proof assistant explicitly allows division by zero. That division coincides with the informal division everywhere but at zero, and the extension introduces no inconsistencies to the theory.

> the author's discussion of fields is irrelevant for programming language theory in the first place.

It's not about programming, but about any formalization (which includes, but is not limited to programming).

Anyway, see my comment https://news.ycombinator.com/item?id=17738558, which distills the debate into a concise, precise form.
Agreed. Massive investment in the downtown area (there will be something like 15 cranes near downtown in the next year), great activities nearby, a low cost of living, and a (small) but growing tech scene.

Also home to one of the best rated airports in the US.
> Something that never seems to come up in discussions of violence rates in the Americas is our history of colonial domination.

because its not relevant to the topic being discussed.
I was sitting by a young Chinese man, about 18 years old, attending a private school in Cali, he lived there with his mom, he was on his way to China to visit his father.

I asked him about 'state media control' and he said "well, you know, someone could just, you know, get a knife and start stabbing people!" which was his justification for all the control.

I asked him, while we waiting for CalTrain ... 'do you feel safe right now?' he said 'sure'.

The paradox is uncanny.
Wilmington, NC[1].

Wilmington is a smaller city (population around 112,000) and doesn't have a great tech scene today - although it is growing. UNC-W has been doing a lot to support the local entrepreneurial scene and a thriving startup scene is emerging there. Even better, in Wilmington you have beaches all around: Wrightsville Beach, Carolina Beach, and Kure Beach right next door, and then you have Topsail Island to the north, and the Brunswick County Beaches (Long Beach, Yaupon Beach, Holden Beach, Ocean Isle Beach, Sunset Beach) just to the south. Calabash is 45 minutes away if you want real, honest-to-god, genuine Calabash style seafood.

Anyway, back to Wilmington itself... it has the "college town" atmosphere since UNC-W is right smack in the heart of town, so there's a thriving nightlife, especially downtown around Front Street and the river area.

And if you do need to pop up to RTP for something, you're only ~2 hours away via direct shot up I-40. Likewise, if you need to go to Barstow, CA for some reason, you just jump on I-40 and drive 2,554 miles and you're there!

Disclaimer: I'm a little biased, as I was born in Wilmington, grew up near Holden Beach, about 30 miles from Wilmington, and attended UNC-W. So Wilmington is "home" to me in a sense. Yes, I left for the greener pastures of RTP, but that was almost 20 years ago. If I were that age again, living in Wilmington now, I might just stay.

[1]: https://en.wikipedia.org/wiki/Wilmington,_North_Carolina
You'll only be able to take advantage of that downward pressure if you have a large downpayment (and finance as little as possible).
Having lived in Atlanta and visited New Orleans 2 years ago, I'm more in agreement with GP. New Orleans seems interesting for a vacation but I can't imagine actually living anywhere near the French Quarter. This article about Amsterdam[1] sums up what I think it might be like.

Not to mention Georgia Tech and Emory are world-class institutions. Atlanta and the surrounding suburbs are home to many Fortune 500 company headquarters (Coca-Cola, UPS). New Orleans, and Louisiana doesn't really have anything like that to compare, AFAIK.

1. https://www.theguardian.com/world/2018/aug/04/amsterdam-brit...
Detroit is such a great city. Housing is insanely cheap. Great for sports. Great lakes. Close to Canada so you can get cheap meds. You should consider it. They're really hungry for tech talent, and it's a swing state.
“All it takes is one person being like, ‘Oh not all police are bad,’ and it can get very bad,” she said.
Basic Concepts of Psychiatric-Mental Health Nursing 8th Edition Shives Test Bank
Bombing forest fires sounds ridiculous, but is grounded in physics
Will Blockchain Technology Destroy the Monopoly of Online Travel Agencies?
Slightly off-topic: I wish they'd started the merge from Office 2010 instead of current versions where they've removed essential features like a real dark mode and slimmer to-do bar. Every Outlook release since 2010 has been worse than the last for power users and those with low-res screens or light sensitivity. Outlook 2010 was as good as it needed to be.
http://archive.is/EZNQ7
Microsoft actually responded to my tweet asking if one of their service was down in Australia. I got the issue resolved within 30 minutes on twitter.
> It would really be nice if some way of fixing this bubble chasing nonsense happened.

Penalize corporations (banks) for holding inventory, rather than the other way around. Vacant residences should have a higher tax rate.
Passing sizeof(value) to malloc is really fine. But I consider the typedef of a pointer to a node is to the same identifier as the node itself to be pretty bad.

It's confusing for readers and new team members. And can even lead to strange when someone forgets to type "struct".
Maybe all this talk about fields is a distraction? Integer arithmetic isn't a field anyway. Other than 1 and -1, no integer has a multiplicative inverse that's an integer.

Integer division just isn't the same operation as division on rationals or reals. The same laws don't apply.

(For floats, division by zero can return Inf, -Inf or NaN and there's no reason to define it differently.)

It looks like the theorem-proving languages that define 1/0 to be 0 tend to be using natural numbers as a fundamental type. Not only do they define division differently, they also don't have negative numbers, and so define 2-3 to be 0.

https://coq.inria.fr/library/Coq.Init.Nat.html
There are multiple app stores. There is even an F-droid app store. None of them are pre-installed and userbase is really low.
Can Courts Keep Up with Tech?
I do want to clarify that FAT32 can be up to 2TB (or more if you push up the cluster size). Microsoft just decided they wanted to be pushy in their formatting tool.
Plane Stolen at Sea-Tac Airport Apparently Crashes in Pierce County
For "embedded Linux systems and software defined radio systems", Florida's Space Coast (Brevard county) makes sense. If you can be competitive, you might be able to swipe lots of people from Harris. They are in Melbourne (Florida!) and Palm Bay.
We've banned this account for being uncivil and otherwise violating the site guidelines.

https://news.ycombinator.com/newsguidelines.html
Google is not happy with admitting they've plateau'd in their growth. They are willing to compromise their values to grow at any cost.

They've systematically watered down and walked back from all the things they said they would adhere to in their IPO prospectus:

Our mission is to organize the world’s information and make it universally accessible and useful. We believe that the most effective, and ultimately the most profitable, way to accomplish our mission is to put the needs of our users first. We have found that offering a high-quality user experience leads to increased traffic and strong word-of-mouth promotion. Our dedication to putting users first is reflected in three key commitments we have made to our users:

• We will do our best to provide the most relevant and useful search results possible, independent of financial incentives. Our search results will be objective and we will not accept payment for inclusion or ranking in them.

• We will do our best to provide the most relevant and useful advertising. Whenever someone pays for something, we will make it clear to our users. Advertisements should not be an annoying interruption.

• We will never stop working to improve our user experience, our search technology and other important areas of information organization.

We believe that our user focus is the foundation of our success to date. We also believe that this focus is critical for the creation of long-term value. We do not intend to compromise our user focus for short-term economic gain.
The California Consumer Privacy Act Should Be Condemned, Not Celebrated
" no national outrage or protests"

What, in the US? What would be the point, especially with Trump in the White House, uninterested in human rights issues.

Americans protest the detentions and family separations here because we're at some level responsible for it, our taxes are being used to pay for it, and in our system there's potential for a good resolution to come about due to protest. Also, tanks probably won't be sent to crush a protest.
To be honest, this is the kind of post I'd write after a few beers when I'm not giving a shit and I think people have the right idea about something a lot of people would find controversial. Great post! You've made a real contribution here.
Erdogan: How Turkey Sees the Crisis with the U.S
I think that 'N-volume' including area, volume, and higher dimensional analogs is pretty understandable to a student. The fact that it's signed is more subtle, but still is not a big problem. The benefits to intuition of calling it 'volume' far outweigh the negatives.

Anyway, 'scaling factor' still leaves the signs mysterious.
inf 0
The Zeta Reticuli (or Ridiculi) Incident
Yep. I've always thought we should try to reframe it as "save humanity" rather than "save the Earth". The Earth doesn't give a hoot, and it appeals more directly in our self interest. "Save the Earth" makes people think we're talking about things they only sort of care about, like saving the whales.
> Cars are expensive but aren't investments; they're depreciating assets.

There's a case to be made that the two aren't mutually exclusive.

Sure, by the traditional definition of "investment", a profit or gain is required, but a broader understanding includes considerations such as risk and loss avoidance (i.e. hedging).

Even under the traditional/strict definition, a car could be considered an investment if the loss from depreciation is less than the loss from not having it available (e.g. having to pay more for rideshare services).

That said, with housing, it's important to remember there are two components, the depreciating part (the structure) and the land (location). The latter both doesn't depreciate and is usually the part people are investing in, at least in high-cost areas.
Platforms Are Not Publishers
> US policy toward Cuba had much bigger impact because Cuba is a tiny island next to the North American continent, and being cut off from your obvious larger trading partner is more severe.

The US is China's largest trading partner and the relative size of China's economy was much smaller at the time. Moreover, other democratic countries could have adopted the same policy which would have given it real teeth.

And the sanctions did nothing to entrench the government. The government was already entrenched. If the people there don't like the policy then they know how to end it -- change their government.
Yes, that's the Chinese government propaganda line that always gets trotted out.

In fact, the writer actually states:

"Last December, Ye Xiaowen, head of China's administration for religious affairs, published a piece in the state-run China Daily newspaper that, although propaganda, rings true. " And argues some of the same points from the propaganda piece.

The author of the piece you link to formerly worked for the China Daily in Beijing, run by the Publicity Department of the Communist Party of China.

Finally, you do realize that skulls are easily obtained via death by natural causes, right? Especially before the adoption of antibiotics and vaccination?

Tibetans practice sky burial, where bodies are left out in a charnel ground and picked clean by wildlife. (Probably because digging graves is difficult and cremation would be a waste of scarce fuel.) I suspect they have a different attitude about the dead and their parts than you.
In my area, the home prices dropped 50% from the peak in a matter of months.
You've been using HN primarily for political and ideological battle. That's an abuse of the site and we ban accounts that do it, regardless of their politics. Please review https://news.ycombinator.com/newsguidelines.html and use HN as intended from now on.
I thought this was a pretty great introduction. Part 2, in particular, finally helped me understand function type signatures in ML languages: the fact that, under the hood, functions only accept a single argument, and the way the type signatures are presented are merely an aesthetic cleanup of what it actually looks like (which would include more parentheses to indicate associativity).

One of the examples did refuse to compile for me, and I felt Part 1 was still too light on basic syntax. I tried to do the exercise at the end of Part 1, about prompting for, squaring, and printing an integer. This works:

let this_integer = read_int ()
let _ = print_int (this_integer * this_integer); print_newline ()

But this doesn't:

let this_integer = read_int () in
let _ = print_int (this_integer * this_integer); print_newline ()

And nothing in the tutorial explains why that should be so -- at least not that I could find.

I've also yet to see a really good explanation of when you need to use parentheses for grouping and when you don't -- this is the only part of the language that really feels like a "syntax error" to me. Like, "Look, ocaml is clean and doesn't need to use all this extraneous syntax! Except when it does."

Anyway, good introduction.
We've banned this account for using HN primarily for political battle. That's not what this site is for, and we ban accounts that do it, regardless of their politics.

https://news.ycombinator.com/newsguidelines.html
Yes! Exactly, it's a distraction. There are reasonable, well-intentioned reasons to argue that division by 0 should be an acceptable operation in a computational setting. Computational settings need not admit all the rigor of theoretical math. I wish the author had not tried to involve field theory and programming like this because it detracts from the point :)
Could you please stop creating new accounts for every few comments you post? We ban accounts that do this, and it's in the site guidelines: https://news.ycombinator.com/newsguidelines.html.

HN is a community. Obviously you don't have to use your real name, but if users don't have some consistent identity for others to relate to, we may as well have no usernames and no community at all. That would be a different kind of forum. Anonymity is fine, and throwaways for a specific purpose are ok—just not routinely.

https://hn.algolia.com/?sort=byDate&dateRange=all&type=comme...
You have a pretty good reaction to criticism.

You could have gotten the comment on your second post because that was the final one they read, and finished forming their opinion.
IMO, I think the foreign buyers will be a bigger factor than many think primarily because it was an external force not directly reliant on local wages to buy. In essence, the foreign buyers were able to prop up or increase prices much higher than the market equilibrium. If you take away those buyers then the whole thing quickly loses its foundation and falls in on itself. I think this will be the case. People think the foreign buyers are always going to be there but this is hardly the truth.
We warned you before about attacking other users like this. If you do it again, we will ban your account. Please review
https://news.ycombinator.com/newsguidelines.html and follow the rules when posting here.
وظائف الخليج الاماراتي
Training is rarely the issue though. Multi-GPU training has been at a point where you can do this for models in a reasonable amount of time on a current-generation 8 GPU box.

The more annoying issue is inference on large amounts of images. CPU inference is slow and distributed GPU inference is tricky (Spark + GPUs is not a fun prospect). Then providing stripped down versions for realtime inference is a whole 'nother can of worms.
Yep - electrical tape prevents the latest version of webex putting my +10 casual image into a formal business meeting when it automatically starts the video feed. The fact that I never seen any other crusty visages on the webex face list tells me I'm not alone in my 'paranoia'.
Moreover, 1/-0 is -Infinity. IEEE float has two zeros, positive and negative.
Stimulants shred the cells' mitochondria. Psychosis is a metabolic problem.
This is not a problem with geo-engineering as a whole, but only with one of the methods.

Other methods like sea fertilization, or building large number of solar updraft towers are much more promising.
We aren't at post-crash anymore. House prices have fully recovered and now exceed the previous housing bubble peak.

Foreign buyers could be a catalyst that has inflated the home prices to new heights.
I am not trying to justify the current situation in Tibet...I am just saying it is a complicated matter...and I agree that lots of things need to be improved there -- and I honestly do not know exactly how...

The commuism is an umbrella term, that covers many great details...I personally don't like the totalitarian way of ruling by almost all existing or past communist governments...But I do think the social collaboration and universal fraternity among all human beings are good things -- but those aspects seems to have certain totalitarianism in themselves as well...so I honestly do not know a good solution about this too...
I caught an interviewer red handed once by handing him the marker and asking him to show me. He tried and failed and then his coworker tried to fix his mistake and failed.

Ya I did not get that job lol.
thanks for such a ginuwine response
I love Madison. Visited a couple of times for interviews and I could easily see myself there if the opportunities weren't so limited.
The Birth of Video Recording (1957)
Feedback on our UserSend app idea
Is this the same as 0 * 1 / 0?
e is nearly 0, -e is nearly -0.

So 1/0 is infinity, and 1/-0 is -infinity.
> was using racial slurs for white people

I've put some effort into trying to find these, and come up short. I was kinda hoping she'd said "honky" or something. Here's what I was able to find:

https://twitter.com/GarbageHuman_/status/1024894655253495808...

I am phenomenally interested to learn what the racial slurs for white people! Let's have them!

PS: I'm a white male. I've lived about half my life in two Black-majority countries and one Asian-majority country. I literally don't think I've ever had a racial slur used against me.
Airplane Stolen from Sea-Tac Airport Crashes into Washington's Puget Sound
Integers modulo any prime are a field.
Please don't make a bad thread even worse by going into personal attack.

https://news.ycombinator.com/newsguidelines.html
I bought my last place in 2006, intending to live there at least 5-10 years.

I ended up living there for 11 years, with the majority of the time being there with it some $120k underwater. It was terrible and I wished I had waited a year or two - not only did I pay more to service a more expensive mortgage, I walked away with considerably less equity than I would have if I just waited.

I don't know how anyone could possibly be thinking about purchasing a place right now. It's been 12 years since the last crash started and real estate is traditionally on a 10 year boom/bust cycle. Even if you think you want to live in your place for decades, things happen. As always, if you can help it, buy low, sell high, don't pander to emotion on what is one of the biggest purchases you can make.
Actually there have been many attacks, but not since Xinjiang turned into a total surveillance state (ironically it ended up as a 'successful' trial run, parts of which have since rolled out nationwide).

Open question: What would you do if you have increasingly frequent terrorist attacks in major cities year after year at the same time that Wahhabism is taking root in your previously tolerant community? China doesn't have the luxury of two oceans to protect itself from religious fanatics. Xinjiang itself was Buddhist and Indo-Persian in culture well into the medieval period, until conquered and forcibly converted by Turco-Islamists who reveled in "shitting on the Buddha's head" and destroyed many monuments -- basically the Taliban and ISIS. Since then, Xinjiang's Islam has mellowed out but the insidious and fanatical influence from West Asia continues nonstop.

It's absolutely defensible and moral to stop any fundamentalist backsliding in Xinjiang or indeed anywhere in the world. Modern day Xinjiang's problem is very simple, it's one of people losing their identity in a modernizing world. You see the historically more Chinese-influenced Northern Xinjiang more peaceable and prosperous, and religion more tolerant and tolerated. The opposite can be said of Southern Xinjiang. People who fear change tend to become reactionary and turn to religion. It would have happened regardless of whether they were in China. The alternative is to never develop like some of the Central Asian -stans (e.g. bride kidnappings in Kyrgyzstan), but then who wants to live there -- not even Uyghur émigrés, who never go to those places but always head for the EU, the US, or if they have no choice, Turkey. It's sad to say but it might take materialist brainwashing ('re-education') to reverse religious brainwashing.
Heating and air conditioning are solved problems, unlike NIMBYism.
Ed, man man ed