mb7733

What the hell is that quote? No, a simple proof is the absolute mathematical ideal!

> No one ever left your team? That’s not a badge of honor—it’s a red flag. No one’s being challenged enough to outgrow their role

I don't follow this, seems like you could conclude the exact opposite. I.e. If no one is leaving they must be sufficiently challenged to grow & stay engaged.

That aside, if someone is outgrowing their role due to them being challenged, why can't they move into a new role rather than quit? A bigger red flag to me is turnover due to lack of opportunity for advancement.

I bought a TCL smart tv and I was forced to connect to a network & sign in to something before I could use an external HDMI input. If there's a workaround I gave up finding it.

If you're printing once or twice a year, is it worth owning a printer? I just go to the library or print shop when I (very rarely) need to print something.

Matter of preference of course, but I'd rather the occasional errand over the subscription/troubleshooting/physical storage.

+1 for autin, and in case anyone is wondering, it works on windows with e.g. git bash too. You just need to build it yourself.

The govt has provided a lot of info/data, but is just a random news story. See here:

https://www2.gnb.ca/content/gnb/en/departments/health/neuro-...

Ah I see, I was only thinking of rent, not purchase price.

> at least in my city where it seems the current cost of living space is $1k/sq ft (CAD).

Even in Canada I don't think rent is this high :) ... Curious what you meant, or was this just hyperbole?

> 50 lines of errors for single typo

50? That's it!? I work in a code base where a previous developer went nuts with overloads and I routinely get hundreds of lines of output for a single compiler error.

> I've been experimenting with creating single-site browsers[1] for all websites I routinely visit, effectively removing navigational queries from search engines

Surely it would make more sense to use bookmarks?

They meant search for that string in the article, it is a section heading.

If I understand you correctly, you're misreading the theorem. The problem isn't to prove that statement, it's to show that if you assume that statement to be true, you get all of boolean logic.

> > That survives in the culture of mathematics where we continue to see a high regard for truth, beauty, and goodness

> As a non-mathematician, I've noticed this as well, and I have a suspicion the historical "culture" is holding the field back.

Holding the field back from what? If the goal of the practitioners of the field is to seek mathematically beauty, then well, that is what they will focus on.

Besides that, I don't really follow your argument about Godel & information theory & that adding more axioms is the key to moving math forwards. In the vast majority of cases, the difficulty in finding a proof of a statement is not that the statement isn't provable under a given formal system, it's that we simply can't find it. But maybe I misunderstand you?

He lives in London.

That's fairly different though, he doesn't need to learn the definitions, just memorize the strings. Which is still unbelievable.

I was asking about that figure in particular. I thought it was an actual statistic.

> Canada might not be the worst but their healthcare only cover 60-70% of canadians' need. And it's slowly getting worse with the private sector eating the market.

What's that figure based on?

Good luck, Victoria has a navy base!

Alberta's advantage is being landlocked (and not a natural habitat for rats). They managed to keep the rats that arrived at the ports from encroaching inland.

But that advantage has nothing to do with accepting data of the wrong type into a column (by default).

Are you saying that VSCode is a fork of a non-Microsoft product? Which one?

VSCode is _their_ product. It doesn't make sense to say that they are EEEing their own product. EEE is when you take some existing open standard, support it in proprietary a product, and then extend it in proprietary ways, thereby taking over the standard. It doesn't apply for a product that you originally created.

From the wikipedia definition EEE goes like this:

> Embrace: Development of software substantially compatible with an Open Standard.

> Extend: Addition of features not supported by the Open Standard, creating interoperability problems.

>Extinguish: When extensions become a de facto standard because of their dominant market share, they marginalize competitors who are unable to support the new extensions.

As I see it, there no open standard that Microsoft is rendering proprietary through VSCode. VSCode is their own product.

I see your point that VSCode may have stalled development of other open source editors, and has proprietary extensions... but I don't think really EEE fits. It's just competition.

What is being embraced, extended and extinguished by vscode?

> They have fame of sometimes working and sometimes don't depending on the patient, and I guess the same could be said of many psychedelics.

The same could be said for almost any drug or intervention.

Just FYI you have standard time and daylight savings time mixed up. DST is in the summer and makes sunrise and sunset later.

Part of what drives that is that Ableton is designed to be used in-performance, so even minor instability isn't acceptable at all

Hold a rag on the chain and spin the cranks?

Your point stands, but it wasn't an "instance of collusion on the price of bread in 2015", but widespread collusion on the price bread and other baked goods from 2001-2015 (some say 2017), which was discovered in 2015.

We know they have been colluding, the question is on what other kinds of goods?

https://en.wikipedia.org/wiki/Bread_price-fixing_in_Canada

> you're going more granular, you have Newfoundland, which is very different from the rest of the Maritime provinces (they have their own dialect of English)

Just a heads up, Newfoundland isn't a part of the Maritimes at all, and those from Newfoundland will certainly remind you of that if you lump them in :)