charlieyu1

I just wish Lean4 is easier to use. Tried Mathematics in Lean and couldn’t even get the dependencies right

I’m just annoyed at all the visa-free claims while they charge you and you need a pre-approval anyway.

The Riemann Hypothesis is a weird thing. It is about as important as Fundamental Theorem of Algebra or Fundamental Theorem of Calculus in number theory. Yet we are nowhere near to proving it. And yet it is so powerful that we are trying to prove things assuming RH is correct.

There are still many degree 5 polynomials, up to 35 terms for a single function, then you need to find three of them as well

I mean of course an employee has cheap tokens

Interesting announcement on social media rather than publishing somewhere like arXiv.

In UK there is an app called Too Good To Go where you can buy food for about one third of normal price when they are near expiry. As the name implies, there is no particular stigma about using it, you are helping to reduce food waste. It’s often some form of advertisement too

I’d like to see four color conjecture and an elementary proof of FLT.

I tried using AI to solve some advanced math problems. One thing I see is that they can throw an enormous amount of brute force into a problem. When mathematical logic can be brute forced we will see some interesting advances.

Makes it more expensive for everyone and also decentivize donating food to homeless or anyone in need.

An entire article that doesn't even mention Magnus Carlsen. Waste of internet bandwidth.

I mean the same KPI crap has existed for decades

I grow up with ICQ and Geocities when I was 14 and I'm fine.

That’s what I don’t understand. I saw OP making a comment with all style emojis, which is a bit of eyesore

I used to think the percentage fee is a lot (much less than 3% in UK) until I found out all the buyer protection that I’m getting. Literally one single bad merchant is enough for you to lose more

Is it a US thing? In many countries there are definitely different payment systems accepted by merchants, just not card based and/or directly linked to a bank account.

What’s stopping a new competitor to come in apart from regulations? You would expect someone already trying that given how profitable it is

PayPal user for 20+ years and it is time to end that dross

Leap minutes. You only change your clock when you have accumulated a minute of error. Then you only need to change it once per century

I heard about it 30 years ago

Office documents have been notoriously difficult to automate for years. I think old .doc files were just a memory dump

He is just a piece of shit

Europeans treat football like a religion.

Some people try to treat it like WWE where every outcome is scripted.

F12 is Save As. Yes I have to use MS Office at work.

Have you seen Meta pushing for more regulations in the software industry? It is a small cost to pay to kill competition.

I’d say written tests is a common thing in many countries, and at college age you really should be doing more than multiple choices

If Spain hadn't been blocking critical internet infrastructure whenever a LaLiga game is played you might have a point.

I agree with this.

Pretty shocking to see all the replies you got though. Over the last 10-20 years there seems to be a drastic increase of people who think government control is a good idea.

I don’t know, we got rid of things like CGI and Java Applets for web but things are still useful enough

I don’t understand why we don’t just sandbox everything. We have done it for web browsers, we can definitely do it for VSCode extensions.