skysight-inc/HackerNews huggingface dataset:
> Well, anyone who's seen a field of horses knows that "assume any set of n horses has the same color" is not valid.

That's not even true! If n is 0 or 1 then the statement is correct, for example.

If your response is "It's not true for all n, though." well, the inductive proof doesn't assume it for all n either. It only assumes it for one n at a time.

But also, you're getting too hung up on the exact wording of the statement.

For example, we could do the same proofs, but put "on farmer Joe's land" onto the statements.

If we do that, "anyone who's every seen a field with horses in it" can't tell us if the statement is true or not. Maybe all groups of 2 horses in a field on farmer Joe's land do have the same color, because he sorts his horses. And obviously all groups of 3 horses would have to have the same color, etc. etc.

So on farmer Joe's land, A(n=2) is true. And the induction is valid. And using it gives you the correct results! What's the problem with inductive reasoning here?

You seem upset that the induction itself might be valid even if n=2 isn't, but I don't know why. The induction is the same no matter whose farm you're on. That's why you need to prove the base case too.

> But you're not trying to prove X = 3 and starting out by assuming X = 3.

It's really not. There's an entire series of X, and we're saying if we can prove one we can prove the next. You never assume an X when proving that X. And you never assume a higher X when proving a lower X. There are no circles. It's a chain.

"Assume X is 3. Then 2*X=6" is just a different way of saying "If X is 3, then 2*X=6"

You can rewrite the entire thing without the word assume if you want.

You can do the whole thing as "if Y, then Z". "if A(n), then A(n+1)". If pairs of horses are the same color, then triples of horses must be the same color. If triples of horses are the same color, then quads of horses must be the same color. Those sound like reasonable statements to me.

Even if we're talking about all horses in the entire world, I could theoretically go kill every non-brown horse, and the original statements would all become true.

This is math. You can't object to abstract logic by mentioning real-world facts that could change at any moment.
Eagle Hemp Cbd Gummies| 100% Natural and Herbal Stress Relief
Eagle Hemp Cbd Gummies| 100% Natural & Herbal Stress Relief
Rush My Order :https://www.jpost.com/promocontent/eagle-hemp-cbd-gummies-shocking-cost-scam-reviews-687503
Ourlink@=>> https://www.facebook.com/Eagle-Hemp-CBD-Gummies-112366404617870
Sublink@=>> https://eagle-hemp-cbd-gummies-info.yolasite.com/
More Info:- https://eagle-hemp-cbd-gummies-offical.jimdosite.com/
https://www.crunchbase.com/organization/eagle-hemp-cbd-gummies
https://www.completefoods.co/diy/recipes/eagle-hemp-cbd-gummies-view
https://www.spreaker.com/show/eagle-hemp-cbd-gummies-reviwes
https://sites.google.com/view/eagle-hemp-cbd-gummies-get/home
https://eaglehempcbdgummiescost.blogspot.com/2021/12/Eagle.Hemp.CBD.Gummies.html
https://eaglehempcbdgummiesorder.tumblr.com/
https://vimeo.com/652342791
https://www.facebook.com/Botanical-Gardens-CBD-Gummies-106523691875770
https://botanical-gardens-cbd-gummies.jimdosite.com/
https://www.homify.in/projects/1101838/eagle-hemp-cbd-gummies-reviews-scam-or-safe-relief-anxiety-stress
https://www.youtube.com/watch?v=Qi74UuXZAIM
https://promosimple.com/giveaways/eagle-hemp-cbd-gummies-reviews-scam-or-safe-relief-anxiety-stress-where-to-buy/
https://elizabeheller.wixsite.com/eaglehemp-cbdgummies
https://groups.google.com/g/eaglehempcbdgummiesget/c/WyCqSMZGdQg
https://medium.com/@elizabeheller/eagle-hemp-cbd-gummies-reviews-scam-or-safe-relief-anxiety-stress-d037e5823f59
"Diet doesn't affect the underlying pathology" in Crohn's Disease is definitely a simplification, but I believe it's a healthy and important one, as the harm caused by an elimination diet (or the cost of any given special diet) can easily outweigh its benefits. It's not in the human nature to accept that certain things are outside of our control, and IBD is definitely a case where people tend to delude themselves into thinking that some dietary intervention worked when it did not.

In principle, we understand that an important part of the aetiology of CD has to do with interactions of the gut microbiome with a dysregulated immune system and a perturbation of the intestinal barrier. We know that the gut microbiome is somewhat plastic to dietary changes, though research findings regularly frustrate attempts at intentional modification.

It would be more correct to say that there is no dietary change which is known to causally and intentionally alter the course of the underlying disease.

That is not the same as saying that no relationships or correlations have ever been observed, or that dietary changes do not provide some symptomatic relief: on the contrary, we know that people who have a certain diet have a lower prevalence, or better subjective or even objective outcomes. Unfortunately, most attempts at taking patients from the worse group and changing their diet to match that of the better-off group fall flat on their face. This is a few years old and is not specific to CD, but it is a great example of the type of results we see over and over again in dietary intervention studies of this nature: https://www.cell.com/fulltext/S0092-8674(15)01111-3

Obviously this is an area of research of great interest, and if we could figure out a way to improve outcomes by making specific and robust dietary change recommendations, we would. It really is not that simple, unfortunately.

I don't dispute the results of the studies you link, and I find the Cochrane meta analysis particularly notable, but I would caution that interpreting the results doesn't seem to me to be as straightforward as it might seem.

I wonder whether controls are adequate (there is no placebo group here, for ethical reasons), I wonder whether the results can speak of longer-term outcomes, whether there is a selection bias (would you do this study with patients who have severe or advanced disease, or mostly with people who have milder clinical presentations?), whether the results might indicate to some degree the natural progression of largely self-limiting flareups, whether it's appropriate to compare induction of remission using corticosteroids with diet interventions (which I'd expect would have more of an effect on maintenance of remission, if anything)... I just don't think it's that simple. Remember that people with untreated CD will have flare-ups that occur and resolve spontaneously for some time before the disease starts progressing and surgery is required.

That being said, non-elimination, generally-healthy diets, on the other hand, are always recommended, as is regular physical exercise.
Insulting your coworkers and users is childish, and that's exactly what this post is. "More jarring were the people who insisted everything was OK" "was hailed as “efficient” (it wasn't)." In fact that's pretty much all it is. There are plenty of ways to complain without burning every bridge around you.
What would be a better license ? (If you want GPL you can keep using GNU...)
There are generally no laws in the USA against creating and using alternative currencies. I can buy and sell using Euros or Monopoly money or whatever if I can find a willing counterparty. However, if those transactions are taxable then I have to report them at the US Dollar fair market value equivalent and pay any taxes due in US Dollars. And if someone owes me a debt I am required to accept US Dollars for settlement.
> This strikes me as pretty childish.

It does because all adults are cynical nowadays and rather than speaking truth they will just sweep it under the rug for political convenience.

> I don't think anyone's going to suddenly switch to postgres as a result of this blog post...so really, what's the point?

Spreading the truth? Does it even need a point?

> The post just reads as bitter

Yeah it does, I still find it refreshing that this guy is just calling out all the bs as he sees it. He has nothing to gain from writing this, a lot to lose. It's pretty entertaining. Hope it doesn't affect him negatively.
My suspicion is it’s a byproduct of coating the lungs with tar. You sacrifice lung function for a slightly more robust physical barrier. The obvious test for immune system response would be if chewing tobacco users would see similar resistance to infection.

Hopefully this will eventually clear things up: https://clinicaltrials.gov/ct2/show/NCT04896918
How does what3words handle similar combinations of words?
> Such is the state of our industry.

Yeah, but the guy is worth millions, ain't he? I assume he's pulling in 6 figures?
Glad that this is MIT. Copyleft is great but it's important to have non-viral alternatives.
The amount of egress, bandwidth, and energy wasted with this crap must be mind boggling (globally speaking).
your argument reads like a straw man...
Don’t they love them all? Free software in general is nice, PS3 ran Linux, was based on BSD, and I’m sure they used MIT software somewhere there too.
The website is now down. Who knew, Bob Dole had a dead man's switch for his 1996 campaign website!
Is that true when adjusted for close human connection? My understanding of smoker culture is they are less likely to be in close quarters with other people, unless those others are also smoking. And then they tend to be outside.
Yes, but USDT claims it is backed by USD. The belief in this claim is what holds the pegged value.
Chrome is still the most popular desktop browser in China by far, and has a significant chunk of the mobile market.

https://gs.statcounter.com/browser-market-share/all/china
Perhaps it's more about supporting your local small business?
Make Money Watching Videos
https://use-video.xyz/3627563475233394/ sign up to get a 10 US Dollar newcomer bonus! I made more than 200 US Dollars by watching the video here, so you can try it.
I've used Code New Roman for a while now, though I'm unironically looking at that Comic Mono now...
What's the better set-it-and-forget-it alternative? The Dream Machine Pro has been truly wonderful for me. I'm not interested in the equivalent of "a totally customizable Linux box running pfSense".
Semi-regularly, yes. Why do you think it's BS?
Goodbye Brave
This is a good high-level overview/"survey" of using Linux in 2021.
Heh.

I was at the Perl conference in maybe 1999 or 2000 where there was some guy giving a MySQL talk. It wasn't Monty, but he was in the audience. I asked a question during question time about enabling ssl for encrypted replication, and the guy giving the talk said "Sorry, I don't know if/when that'll happen". Monty stood up and said "I've just done that. I'll check it in tonight, come grab me out in the corridor if you'd like me to mail you the patch."

I then spent the next 7-8 years running replicated MySQL databases in SF/Dallas/London/Singapore/Sydney. It worked really well for us.
Paywall - can not read it.
This tool deals with total colour loss, but does not allow for things like deuteranomaly which is far more common than Deuteranopia. Include a slider to simulate reduction in cones. As someone with deuteranomaly it's amazing how many interfaces just don't quite work.
Ok. Let us pretend there is level playfield and fair competition.

I remember vaguely how @jollyheretic described the societal benefits of the Indian caste system. For thousands of years the upper caste has had better nutriments, time to cultivate brain-intensive activity etc. But foremostly there was selective breeding of women from lower castes.

In comparison the European aristocracy just degenerated, because female noble-born had equal value and there was no constant influx of new genes from a bigger competition pool.

@jollyheretic promotes somekind of caste system, because he believes in "reverse Flynn-effect", and we lose 3 IQ points every decade. We will never settle Mars, cause we are not nearly as clever as in 1969.
I don’t know, when I lived in Mountain View I could get (legal) cannabis delivered faster than pizza.
Pretty much only three reasons: you want Enterprise support, you don't want to think about license terms, and you really want to help pay for Larry Ellison's personal island.
Latest I can find is this thread: https://news.ycombinator.com/item?id=21450944

I’m not sure if it’s still ongoing, that’s why I asked if it was.
Godel proved the whole endeavor to be futile. Really no point in reading it beyond curiousness.
Cigarette smoking definitely does not provide with a better physical barrier, and does not "coat" the surface of your lungs with tar. There could be some effect from reduced surface area (see: emphysema, although typically patients with this condition, or even smokers generally, will have an increased risk of infection), but my bet is on some nicotine receptor effect. These are quite immunomodulatory.
I once dig into MySQL source code (mysqlbinlog), but I could not understand how it can get compiled. Later, I found the answer, they added lots #include "xxx.c" at the end of the file, from then, I don't regard the MySQL as a serious project.
That reminds me of one of my favorite footguns:

void foo(bool bar)
{
}

int main(void)
{
foo("Whose bright idea was this?");
}

No error, not even a warning, perfectly legit code. If bar had been declared int or char, you'd get an error. Instead, your code ends up less safe because you used bool, thinking you were doing the right thing. Yes, they wanted to allow it anywhere a conditional expression would fit, but implicit conversion from anything other than int and char would have been a good place to draw the line.

So I wouldn't be surprised if the GP example was prompted by a similar design flaw in either the language or a particular compiler.
I don't smoke weed, (not for moral reasons, I just hate it), but the incentive structures are really weird.

My read on the situation is... Government wants to tax the weed and ensure its safe. So there are a ton of regulations which require you to do a lot of extra work and are expensive.

That, along with the taxes creates a huge price differential between legal and illegal weed.

I thought it was all about taxes at first, but I've come to understand that illegal growers often use toxic pesticides that further increase yield-- and thus it is important to know where your weed comes from.
They should have definitely acknowledged they covered this before. But also to be fair, quoting the article the reputation damage was done:
“Following the publication of these articles, between Tuesday, March 30, 2021 and Wednesday March 31”.

And the Krebs article was on April 4th. It seems BleepingComputer broke the story and Krebs just re-reported the news.
[replying to myself]

Notifications from macOS are possible with osascript:

https://github.com/lodestone/ims/blob/4bb2566224af53904c7267...

Or in brief:

osascript -e 'tell application "Messages" to send "Hello World" to buddy "J Appleseed"'
We also see things you don't, as they're more obvious to us. Animal camouflage is a big one - animals are obvious to me that you struggle to see. Don't make the common mistake of thinking we chromatically challenged people are missing out, or disabled or something. We're the ones that will feed humanity during the nuclear winter.
Why do you feel as though you ought to read it? Best to think of PM like any other academic text, I reckon: primarily in conversation with contemporary issues/works, brimming with presuppositions of shared knowledge because of this, and unlikely to be of any great interest to a non-specialist. PM of course is no ordinary academic text, but I don't think it's an exception here.
He obv didnt know
I am from India, where for centuries, stored food was considered poisonous. Even a decade ago, in-spite of wide availability of refrigerators, most households never ate stored food, even if it was only for a few hours. The exceptions being pickle and powders (Many Indian cuisines have items that are fried and ground lentils and spices, a very common food and are made and stored for 6 months to a year)

Things are changing now though. Junk food (Pizzas, burgers, etc) which consists mostly of frozen ingredients that are processed, a change in lifestyle leading to lack of time to prepare meals at home, etc have led to increased consumption in processed foods.
The dark side of Tesla: gigafactories need gigamines
I have a moderately large table (hundreds of millions of records) with very simple structure but lots of columns and keys. This post is a huge "aha!" moment for me - I keep struggling with how the optimizer is choosing which index to use. It keeps making stupid mistakes and behaves differently from instance to instance - I still have a staging server where I just have to avoid an admin interface because it takes minutes to load, and I haven't invested more than a few hours to debug because it's not production.

I have pieces of half commented code where I do the optimizer's job and try to guess which index is best and chose it manually. Lately I've been considering doing an "explain" first and based on that tweak the query.

So yeah - I love MySQL, and I don't think I'll be able to invest the time to switch, but at least now everybody can see the emperor is naked and it wasn't just them. The optimizer sucks, including in MySQL 8.
I don’t think Apple is going to be worth $80T any time soon.
I'm to the point I'd like to see them go 501c3 nonprofit.

Admit defeat.

Get used to just making a barely livable income, like the rest of us.

Stop begging. Stop the obnoxious ads. Stop the shady subscription schemes. Enough with the .99 cent for six week promos. We obviously don't value you enough to give your access to our debit cards.

Newspapers you lost the war.

The sooner you realize it the better.

Follow the PBS model at this point.

(And I realize the importance of non-biased news. I wouldn't mind seeing tax money going to certain high quality organizations.)
In the eyes of Bloomberg the return to the good old times ‘before it all went to hell’ is the only measure of success : “ November’s No.1, the UAE has basically normalized back to pre-pandemic life: Property sales are at a decade high in its largest city of Dubai, restaurants are full, and the Expo—which is running until March—has attracted two million visitors since it started in October.”

But as much as i agree on the false equivalence of flight travel and success story, one the main characteristics of the pre-pandemic world was not only global circulation of goods but also global circulation of people. Students, scientific community members and professionals starting to travel again is, i hope, a good measure of a healing world.
At correctly diagnosing patients, too -- at least for some ailments.

The common objection against this evidence is "sure, it happened to work there, but it won't work in this case!" And of course, it's very hard to defend this research against an accusation like that.

However, it's been a remarkable stable result whenever it is tried for a new task, so I guess what I'm saying is that I like to stay open to simple algorithms making better decisions than humans. Not because the algorithms are good (linear models with random weights are not very good) but because humans are incredibly fallible.
Having used Netscape 4 extensively, it was in a good place to throw out everything and start over.

Joel is wrong on this in the cited blog post,

> It worked pretty darn well on an awful lot of real world computer systems.

It worked adequately, but had no future - that was a big problem, since IE was so, so much better. They were totally screwed and a rewrite is all that would have saved them.

Netscape 6 totally sucked, but it finally found its feet - and it took a few different versions/browsers based on the codebase to get right. Frankly, I'm amazed it's still around, given the pressure of Safari/Chrome/etc.
Well, readings are subjective, and it's ok that you don't agree with my reading of it.

But I do think that you're either mistaking "plain and simple truth" for callousness, or creating a double standard. Are descriptions such as "bitter" not the "plain and simple" truth for this post? I certainly think it reads bitterly.

They're not really complaining about the work conditions, so I'm not really sure what you're referring to there. It's just code. It doesn't bite. It does ossify. It's unpleasant to deal with, but it's part of the job.

It seemed like they had supportive, albeit corporate management.
I’ve spoken to my friend about this and why it’s so much faster, he said it could be done in c as well but rust is much easier to write. Pretty impressed with rust, I just heard many people insulting it at first, throwing around “memory safe” and it seemed like rust programmers were trying to ingress into established programs and there was a great deal of hatred for it.

I fell in love with the performance of rust CLI tools and mainly see its utility as a fast performing binary, memory safety is a bonus but if I had known about its performance earlier I would have ignored anti rust propaganda like quoting Linus saying “Nothing better than C”.
> Does MySQL still break when running ALTER TABLE on a huge table?

Yes it does. We've been stealing bits from old fields to avoid running alter table

IDK if postgres does it any better though, a thing I've noticed from maxing out databases is that many features just don't work any more
You could perhaps fix it by trying to use some index hints in the query to get a bit more consistency, see https://dev.mysql.com/doc/refman/8.0/en/index-hints.html
There's a huge difference between "you don't need the best infrastructure to build a successful company" and "I left because the place had a culture that refused to acknowledge major product shortcomings". They work in different domains.
This is why DICOM is a thing: because hospitals cannot be tied to a vendor for radiology studies. They have to be able to cancel contracts, novate, etc.

Sounds like someone is trying to wrap this up, godspeed: https://spectrum.ieee.org/wearable-health-data-standards

Also, IMHO, I think healthcare is where protobuf could really win over JSON: a protobuf comes with the schema and any datatype can ride the message. Everything you need is there.

Is protobuf a heavier lift to get started? Yeah. So? Healthcare is too heavily regulated (and for good reasons) for this to be a significant issue. The barrier to entry is so much higher than the effort to handle protobuf, that it's lost in the wash.
Bob Dole, WWII hero and former Republican presidential nominee, dies at 98
Around that date there was akso MSSql server 2000. I remember it was good enough and not as expensive as Oracle.
https://en.m.wikipedia.org/wiki/Monoamine_oxidase_inhibitor
I prefer to have separate VPN'd network that never routed to other connection.
I've heard horror stories from Google engineers, but I don't think they're public so I shan't quote them.

I am tempted to put a reminder in my calendar for a few years' time to see where this engineer is, though...
When should I consider migrating a decent size application from MySQL to postgres, if the product is stable and I don't urgently need to switch?

I'd much like to be able to use transactional DDL, and improved general performance (parallel query, etc).
I was wondering if I had messed up something in the update but this clarifies it.
Has there been any credible study of compile-time cost of constexpr vs. template metaprogramming?

I am assuming template metaprogramming is so bad because even elementary data structures have to employ ton of helper types that have to be matched/deduced against gigantic list of all other types and kept all in memory, while straightforward interpretation should not need any of that. I would expect constexpr to perform similarly to interpreted languages, which should be no different than invoking an external code generator written in Python, for example.