skysight-inc/HackerNews huggingface dataset:
> I thought I replied to this post, but I guess not and my reply ended up being a top-level reply, which is just as well.

Sorry for the confusion. We detach comments that are replies to the top comment but don't respond to anything specific that that comment said. This is standard moderation. Sometimes we post that we did this (https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...), but not always.

We do this because users often post replies to the top comment on a page that aren't really replies. Sometimes they do that because they want to get their comment higher on the page (so-called topjacking). Of course that's not always the case.

Both of your posts are fine (except for the fact that they duplicate one another) but they are replies to the article, not to anything that the top comment (https://news.ycombinator.com/item?id=25116881) specifically says. Indeed your sentence "I will just mention my main two quibbles to this otherwise excellent post and others like it so that other people who embark on introductory posts to Godel's results don't fall into the same trap." makes it quite clear that your reply is to the article, not xyzzyz's comment. That's great! But the appropriate level for such a comment is the top level of the thread.

I've therefore done the same again and detached this subthread from https://news.ycombinator.com/item?id=25116881.
There are two separate statements here:

1. Mathematicians often use relatively powerful systems, like reasoning in ZFC about Peano arithmetic. The consistency and completeness of axiomatic systems is what this article is about

2. Mathematicians pretty much exclusively use informal systems (compared to formal logic) for reasoning. The reason why that is is because it is just infeasible to reason typical mathematics using formal logic for most cases.

However, it's important to realize that these two are orthogonal.
Milk isn't sweet, though?

I'm curious, are you from a country where milk is conventionally UHT treated? UHT milk has a sweet (and plasticky) taste to me.
What kind of printer do you have?
I understand the sentiment

For local politics this would expose the haggling/threats/backdowns not good for image making very hard to make deals

For international, how do you expect this to work when a politician is getting briefing Or guidances or heads up about dealing with an dictatorship or a unfriendly global power or an foreign company ?

Perhaps have a classification system ? Then everything will be secret classification
Agreed. I take new, exciting findings with a hefty dollop of salt. I’m prepared to wait for replication of findings and/or a meta-analysis of a large body of work before taking medical or health-based research too seriously.
Okay, I should have been more clear - to get their mostly undistorted size and shape, not equally distorted.
This

Here's a good example. Sheriff, under the influence, attempts to interfere with the arrest of a stabbing suspect, buddy of his. https://youtu.be/pKraZkl0-eA

We know about this one sheriff because his staff stood up to him and he got arrested but it tells you a lot about the quality of local law enforcement in small towns.
It's not good faith to know exactly what someone is talking about, but insist that you would prefer that the word they used to express it mean a different thing, and that all discussion should end until they invent another word.
In the words of the immortal Ke$ha, “TikTok on the clock, but the party don't stop, no. Oh wo-ah wo-ah Oh! Oh wo-ah wo-ah Oh!“

That’s what I would’ve said.
You can’t compare all of Koch donations to Greenpeace. You can only compare their anti-climate change donations.
Didn't know that about WhatsApp. How far down to they downsize? I've been testing the new Twilio/WhatsApp integration and when I last checked like 6 months ago it looked like the images were full resolution.
I actually want KidPix as it was back then, for my kids to use today. On an iPad. Like https://jspaint.app/ but ... I mean, KidPix kinda figured out all the details in such a good way the I don't see a need to have successors. Maybe it's nostalgia.
Personally, I wish AirBNB rules would be stricter in London and that it requires some special licensing from the council were neighbours can easily complain about the person's guests.

I am sick of the random people being rude to me and the constant parties/noise. I can't do much about it. The bylaws of the building doesn't forbid it. I am trying to get elected to be part of the board so I can request these change to the bylaws.

I prefer to know my neighbours, might not be friends, but at least have some relation to them.
It's also that sometimes they stay on that codebase because they weren't the best engineer, and all the better ones move on to bigger things.
If you're aware there are multiple interpretations of the slogan, why not assume good faith, and debate the "sane" meaning of the phrase? Most people are centrists, so the "insane" interpretations are never going to get any sort of audience any way. Debating the "insane" interpretation is easy - a cheap win.
The point is not to prove that 1+1=2. The point is to construct mathematics (all of mathematics) directly from the axioms using a formal language. The objective of 1+1=2 is not interesting, but the result is a rigorous foundation of mathematics using formal languages.

The upshot is twofold: (1) we have a rigorous foundation of mathematics in formal logic which CAN be used to prove nontrivial statements, as in the application of model theory to mathematics, and (2) we can now build proof assistants that allow us to use computers to better understand proofs.

Both applications of formal reasoning are equally interesting and have wide ramifications in mathematics.
I think there's so many signs they can't be trusted but I personally often find people don't believe it to be systemic or institutional and therefore it doesn't impact their overall opinion. Homan Square is a well known police black site but it still exists today despite so many protests
I'm a bit saddened that other universities have not attempted to emulate this. Maybe it only works because Caltech is such a small place, small enough that you get to know most of the people there, and the social interconnectedness is strong.
Yes. When I'm applying large changes to permissions across many users and many tables/columns, which happens after every migration, then I absolutely need transaction guarantees. I cannot risk having a half-applied change leaving the database and its users in an unknown state.
I liked it the first week or so and then it quickly dawned on me that tiktok is mostly one big ego trip of retreaded memes/dances/topics. There were a couple of interesting people on there with novel topics and entertainment ideas but certainly not enough to keep me engaged to the extent that I could justify having a possible CCP spy platform on my phone.
Yes, they're just good enough to print on a 4x6. If you send 1-3 photos at a time, the resolution tends to be better. If the sender is on an economy cell carrier, they also tend to be more aggressive with downsizing. iCloud sharing albums are decent but there's an upload lag.
Elon Musk said the thing that was really hard to automate was putting in wiring. Tesla has now developed a whole new type of wiring system that is much more amenable to automation.
The US already has the highest per-capita incarceration rate in the developed world. If all you have is a hammer, everything looks like a nail. Maybe these communities have seen what the justice system has to offer and want to try something else for certain classes of problems?
I always loved when it would say "You bought No. 26 in a comic series, do you want No. 19 and 13?"

Yes, they're commonly bought together, but there's mostly, if not completely, a one-directional relationship-- someone buying 13 might want 14, 15, 16, but not the other way around.

This feels like it's just a matter of adding one more signed value to the "people who buy A buy B" record table... a weight indicating if the take is mostly A->B, B->A, or neutral.
That book helped me reach the conclusion that Hofstadter's self-references were annoying to the point that I wished to avoid them (and his writing in general) in the future.
Can you explain a little bit what the difference between the two T-Cell types are?
Or, alternatively, the 0.1x engineer and the -10x engineer. (Or worse, the -10x PM.)
Not sure why I was downvoted, it was a legitimate question as I have no idea on how the valuation of these types of items are worked out.
That’s a false equivocation. Private citizens having “nothing to hide” in their personal lives is disimilar to public officials having nothing to hide in relation to their official duties. Blackmail related to embarrassing sexual proclivities or anything like that is unfortunate, but kindly asking politicians to be transparent isn’t a realistic answer. Of course they will use official channels and be transparent about everything they _should_ be doing, but it’s exactly the things they want hidden that will go over alternate channels.

What I think is most shocking in this age of political hacks and leaks is the fact that people are outraged by it when it’s their side. Sure, the timing can be unfortunate when it harms their chances of re-election, but I’m surprised that I hear more about that, and calling it election interference, than I do about the actual contents of the leaks. Don’t like it when your side’s dirty laundry hurts their campaign? Solution: nominate candidates with less dirty laundry.
I disagree that its harder. Sure to be an expert security engineer is harder than being an average programmer, but so is being an expert at algorithms.

I also don't think ctf's are a good model for security questions during interviews. Knowing how to do something securely is not the same as knowing how to exploit a vuln.
Seems the person with the most contributes is Natanael Copa, who is also one of the lead maintainers of Alpine Linux Distribution. Pretty cool! I look forward to the first stable release!
since the pandemic started, i've seen airbnb guests constantly showing up for a stay in our apartment building where subletting via airbnb is specifically prohibited. leasing office doesn't care and looks the other way. this has contributed to the spread of covid-19 without doubt. it's infuriating to have total strangers hang around the property while trying to concentrate on work and writing software. these people show up, refuse to wear masks and then get drunk and hang around / go to the beach nearby. airbnb doesn't contribute anything to society and how this company can be profitable at all is a total mystery to me.
Operating Margin
The operating profit margin is the profitability ratio that investors and analysts use to assess a company's ability to convert dollars of revenue into dollars of profit after accounting for expenses. In other words, operating margin is the percentage of revenue left after calculating expenses.

Two components go into the calculation of operating profit margin: revenue and operating profit. Revenue is included on the top line of the company's income statement and represents the total income generated from the sale of goods or services. Revenue is also referred to as net sales.

gold signals

free gold signals

An operating margin check helps companies analyze and minimize the variable costs involved in running their business, hopefully.

https://www.gold-pattern.com/en

EBITDA

Earnings before interest, taxes, depreciation, and amortization of debt or EBITDA differ slightly from operating profit. EBITDA excludes debt capital cost and its tax implications by adding interest and taxes to net profit. EBITDA also removes depreciation and amortization, which are a non-cash expense, from profits.

gold trading signals

Earnings before interest, taxes, depreciation and depreciation help show the operating performance of the company before accounting expenses such as depreciation are taken out of operating income. EBITDA can be used to analyze and compare profitability between companies and industries as it eliminates the effects of financing and accounting decisions.

Operating profit margin and EBITDA are two different measures that measure a company's profitability. Operating margin measures a firm's profit after paying variable costs, but before paying interest or taxes. EBITDA, on the other hand, measures the overall profitability of a company. But it may not take into account the cost of capital investments such as property and equipment.
Russia's naval reach extends with new African base
> Especially in some industries, people are widely aware that higher education is desperately in need of reform, have had genuinely bad experiences in school, or are just plain anti-academic. In fact, the notion of "signaling" is a symptom of these problems.

Can you speak a bit more to this, and what your experience with this has been like?
Kaggle Jupyter Notebook Stock EDA and Price Prediction
A similarly priced Zephyrus G14 Ryzen 9 4900hs scores 1246/11006 (1).

I still may buy a M1 system, but I was hoping Apple would start competing in price/performance.

[1] https://www.cpu-monkey.com/en/cpu-amd_ryzen_9_4900hs-1285
Nothing in Life Is Black and White, but These 7 Artworks Are
The Law of Averages looks a lot like "moderation" to some people.
I read so many bad things about Yelp's shady business that I'm surprised they are still a hot topic. And I never used their services since I'm eastern European.

Why are they still in business?
Well then let's run the numbers: which math are you talking about, the number of guns? My question stands, then. After that, where is the line that changes the dynamic "entirely?"
Their competitors aren't good enough. It's going to take them a while to catch up so yes, for the next decade, Tesla will have first-mover advantage. From what I can see in the market, Tesla and NIO are leading the charge, the rest of them should just file bankruptcy now.

With all this said, I am presuming what you have. If you tell me the car you drive, I can look at their stock and give you a more informed statement.
We had devastating fires over Christmas in Australia, directly linked to global warming. https://www.bbc.com/news/science-environment-51742646 . (In fact we just went from one disaster to another here, the second being C19).

This is just the beginning. It will get far worse and then worse again, thanks to people denying it and saying we might think about maybe reducing our emissions gradually next decade sometime..

In South Australia they're talking about taxing EVs because they don't get to tax their owners by way of the fuel excise. There's zero regard for pollution, it doesn't even have a monetary value - high polluters aren't taxed at all, so they're taxing the solution not the pollution instead. (Contrast Norway).

This is why I said it's going to get far far worse. There's so many thick skins to get through, blocking and impeding what needed to be immediate action decades ago and still isn't.
Sheet music has far less structure than you think it does.
If you have actual evidence or data to share about suicide risk this year or if you have a bona fide legal opinion on civil liberties, please share. Otherwise, your comments have added next to nothing to this conversation. Here is a study that isn't a conservative talking point if you'd like something to read.

https://academic.oup.com/qjmed/article/113/10/707/5857612
It doesn’t send any of that geo location data, which is not an insignificant detail. That’s an egregious claim and he just made it up, and now people are repeating it everywhere.

It doesn’t send a text string of the developer ID. It sends the thumbprint for the certificate. That’s still some information that could be used indirectly to determine some apps that may be running, but you’d have to at least collect a mapping database by sampling common apps.

Most importantly, it doesn’t even try to explain what OSCP is. This is critical in order to understand the purpose. Without that, and with the other false or misleading info, it looks like this literally exists for the purpose of tracking your every move and what apps you use. But that isn’t what it is at all. It’s a good faith malware protection feature that has some potentially unwanted side effects that have privacy implications, and even those implications are substantially less than what is claimed.

There are legitimate privacy concerns with OSCP but I feel that it’s important to represent the situation accurately. This is an off the shelf revocation checking protocol that was implemented to the spec. We should pressure them to improve it (which sounds like it already happened, a very positive sign) but it’s unhelpful to paint them as villains over it for following a standard and not even keeping any of the data that is sent back.

You’re correct that the notarization check has a hash, but that’s not what he was talking about. Also, that’s sent once and encrypted I believe.
At some point, you have to take a leap of faith. For all you know, it could take 10 years for negative effects to appear. Not being the first in line will tell you nothing that the trial didn’t already tell us, and waiting a year will tell you nothing about side effects in 2, 5, 10 or 20 years.

I choose to trust the scientists who understand the science of how these vaccines interact with the body. I would prefer to take a bet on them and be part of the solution rather than believing in some self-formulated risk analysis and remaining part of the problem.
One factor could be people who were about to die from cancer or something in a week died of covid instead.
Recent discussion here: (253 comments)

https://news.ycombinator.com/item?id=24831809

https://news.ycombinator.com/item?id=24832482 (Podcast link)
You're confusing data with lying with statistics. See big tobacco, big oil etc.. Their statistics and data is cherry picked and portrayed deceptively. It's a big difference from good faith data. Yes, it's easy for bad actors to muddy the waters with intentionally biased and skewed data.

To equate intentionally misleading data with legitimate data and say "See data is a matter of opinion!, Why vaccinate, reduce c02, stop smoking, or anything like that!" is irresponsible.

Do you believe in vaccinations? Will you take up smoking? Can we spread lead gas fumes around your house? I'm guessing you would not be on board with those. There's a thousand more examples like that. If you aren't okay with them, then at heard you don't even agree with what you said about analysis being subjective.
> One of the first tools I was told to download by a k8s expert friend of mine was Lens, and it has made the experience of learning about clusters, nodes, and pods much easier.

Second that! Lens is awesome. Use it pretty much every day.
I didn’t go to caltech, but at Harvey Mudd we had a similar vibe. I once had a take home exam that stipulated I had to take a 5 minute break half way through the test. During the break I was not allowed to think about the exam problems. That was probably the most difficult rule I was ever asked to follow during a take-home. I tried to follow it as best I was able.

On one take home math exam I decided to TeX up my answers. This was permitted as long as you stayed within the time limits, but I forgot the command for a specific symbol. I wouldn’t be able to print my exam until after my time had elapsed, and so I wouldn’t even be able to draw the symbol on the printed exam without violating the letter of the law. Naturally using the internet to look up the command would also be a violation of the rules. I chose to just include an apology in my proof that explained the situation and then introduced a replacement symbol that I used instead.

I got the impression that most students were similarly strict about adhering to take home exam rules.
I’m not scared of a vaccine. I am not sure what words I used to give you that impression.

I do see a lot of people fixating on vaccines as if it will make everything better. Vaccines will help, but better if there are other treatments as well. I think that if mortality rates and long-term scarring decreases, then people won’t feel like their survival depends upon other people’s cooperation.
I too had hoped that Apple might reduce the price of the new AS lineup to promote adoption by consumers, but it doesn't seem to be going that way. Depending on how these initial models sell (well I think), we may or may not see any improvement in the price/performance ratio.
As a Chicago resident who has been involved in multiple protests, Chicago police are very lax with their body cams. During protests this past summer many officers had no badge, nameplate, or body cam present. This results in absolutely no accountability of this individual and their actions. The police have much to benefit with civil unrest and crime in the city. Chicago police receive 40% of the city's budget. We invest so heavily in policing yet we are known for our murder rate. Police do not prevent the violence in Chicago they only respond to it. This is because the police profit off of the crime in Chicago. The city continues to refuse to divest from policing and invest in the communities which are struggling the most.
In the Netherlands, and elsewhere in Europe, it’s not because of any requirement that tourists must register with authorities, but rather that some towns and cities have rules that restrict (or even ban) short-term AirBnB style rentals.

Here in London there is a 90-day rule (a property can’t exceed 90 days total short-term rentals per year), and it’s 60 days in Amsterdam. This is enforced on the AirBnB platform, but landlords will try to get around it by listing on multiple platforms or by having multiple listings for a property.
youtube-dl -U
If you compare the endpoint "severe illness"... 11 out of ~15000 ended up with severe illness on placebo, and 0 out of ~15000 ended up with severe illness in the treated group.

This corresponds to binomial 95% confidence intervals of (0.0004, 0.0013) and (0.0000, 0.0002). So it seems to prevent severe illness.

Whether it reduces the odds of severe illness IF YOU ARE INFECTED or purely reduces the odds of severe illness by preventing infection--- you're right, there's not nearly enough n to know.
I didn't notice any legacy admissions when I was there, and only a very small number of students who couldn't hack it and quickly washed out.

(Many students left before graduating, maybe half, but it was only rarely because they couldn't do the work. My good friend had to leave for medical reasons, it was very sad. Another left as a sophomore. 10 years later, he asked if he could come back, and the Institute said "sure", and he graduated with straight A's. I asked him if he'd gotten smarter in the preceding decade, he laughed and said no, it just took him 10 years to get ready to work hard.)
Protectionism in agriculture is quite common all across the board is it not?
And India doesn't even fare that bad If I am not recalling it correctly.

I agree with you in your assessment that protectionism breeds inefficiency, but you are imposing your strictly one sided take on 'what should be' without stopping to consider 'why it is',

it's an answer fit for a class of undergrads, quotes and all, but has little to no real world value as its so generalist in its assumption.

Economics is a black art, and subjectivity matters more than the principles.
I am a little confused about your point - are you saying that OOP is a strictly worse, or has some inherent irredeemable flaw that is not present in other programming styles? Because that’s a statement that would need a lot of supporting evidence, considering the success of OOP over the last 30 years or so.

I think a more strongly defensible position is that OOP is not a magic bullet that works for all types of problems, and identifying when and where it is a natural fit is not always obvious.
I really want to see how these chips perform graphically in real-life games. It seems incredible how performant they are, so much so that I nearly can't believe it.