Bimos

Unless the existence of the reason is also proved.

Maybe the open problems are just by nature non-elegant and we human beings are bad at non-elegant mathmatics and found them either hard or not interesting before.

It is interesting how "hyper-text" is considered plain nowadays

I think here in China we are not super fan of roundabouts. But we got a 4-lane roundabout with traffic lights [1] and a roundabout on elevated roads with traffic lights. [2]

[1] https://maps.app.goo.gl/rY6AH8nUEKvRuk1LA

[2] https://maps.app.goo.gl/Wea6Wt5FwHgKmG4C9

I was hoping that it was "404 not found"

I thought a flag is 1 bit

As a Chinese, I would say most public toilet I came across are cleaner then the toliet in my home... Before 2015, I was young, a bit shy and hated dirty toilets so I rarely go to toilet outside. (Also at that time I lived with my father and he kept our toilet really clean. <3) When I was like 8 years old (at 2000s) or younger, I once pee in my pants at school because I really didn't want to go to the toilet in the school... I think that is the last time I pee-ed myself.

So I would say it did work.

But TBO I moved to Shanghai after university which is generally richer than my hometown so I'm not sure about the condition in my hometown nowadays.

Never see this in China and didn't know it exists before.

Chinese native speaker here. On Zhihu (known as Chinese Quora), I feel like every piece of answers are AI-generated nowadays. Although before LLM time, maybe 90% of content there are also meaningless. There must be some false positives, but I'm just becoming uncomfortable with those AI-like tones like "not.. but.." or something. I'm getting persecutory delusion on it.

To me it doesn't seem wrong to call covectors "row vectors", but one shouldn't simply convert them to each other with no good reason.

I found it really insightful (and always overlooked) to distinguish between vector and co-vector spaces. It doesn't necessarily produce new knowledge, but makes things more clear.

You don't place the bombs, but still find the bombs. And you still explore by finding x.

I'm super confused. In your example, ++i is equivalent to (i+1) and the loop updates i itself. But with the syntax in the blogpost, i is only initialized, and it is the ++i that updates the value?

They came up with a Chinese name for you :)

柯亦安 Ke Yi'an. The given name "亦安" roughly means "also safe", it is a beautiful name.

> If you do not have a social credit score, you will have to prepay a small deposit of 80¥.

It is acceptable if you guys are meaning that thing when mentioning "social credit score"..

> A perceptron *is* the smallest brain you can build.

> In 1958, a researcher named Frank Rosenblatt built a machine *he called* the perceptron.

> It was *inspired* by a single brain cell, a neuron.

> I'm not sure about whether this is a bottlenecking step in applications

In barrier method of solving linear programs, numeric factorization normally takes about 1/3 of the time of main loop (like after all symbolic/presolve steps).

> That is, is there a (sparse) matrix representation which is used in gpu's?

We (COPT) did manage to write a gpu version of Cholesky factorization, and it's faster than our (pretty fast) cpu implementation. Although one can argue that the CPUs for benchmarking is not the fastest, or it is not as expensive as the GPUs.

Currently our barrier implementation is 67% faster on H200 than on i7-11700K [1]. Not all of the improvement contributes to Cholesky factorization.

Another GPU Cholesky factorization implementation we are aware of is CUDSS by nvidia.

> And does it make sense to carry through the dag/tree construction as a sort of "prep" step (on cpu or gpu)?

For both CPU and GPU version, a symbolic phase is necessary, as we usually expect many factorizations on matrices with the same sparse pattern. CUDSS has (at least some part of) their symbolic phase on GPU.

[1] https://plato.asu.edu/ftp/lpfeas.html

> The toilet also features a rotating heating element that evaporates urine and dries other waste.

Electrical cars got exhaust gas now, in a worse way.

> a block of Rust threads that are properly programmed to take advantage of the vector processing by avoiding divergence

But the library is using a warp as a single thread

You didn't explain or prove there is a reason for it.

My car is 605km in CLTC and 492km in WLTP. And it runs for about 450km before battery totally die, so I have to charge for every about 400~420km. A bit cold and totally no hill here in Shanghai.

So for 900km CLTC, I think it will go like at least 600~650km easily.

I like the fact that the photos seem to be real rather than simulated.

Yeah, with all these colors, any single character should be enough.

Look at "Four Asian Tigers", people don't just constantly become rich for granted

I thought no guessing mode means the map is generated in such way that guessing is not needed to solve the whole board? (To those who didn't know the mode, it also forces you a starting point)

As an experiment, I tried clicking on a random position after clicking the starting point. And it is possible to that the position is safe. So I don't think the map in no guessing mode is dynamic.

Also in the help section: "In this mode, a starting position is provided, and you never need to guess to complete the board."

It looks like an unconstrained least square problem to me, which is convex and naive. Similar projects like reconstructing an image with transparent triangulars seems more interesting.

Same here.

Yeah but since it claims "any CSV file", and CSV files are widely known to be variate, I didn't expect it fails to work on edge use-cases.

> “Even if the U.S. continues to impose higher tariffs, it will no longer make economic sense and will become a joke in the history of world economy,” the ministry said in a statement, according to a CNBC translation.

> (x - m) / (εφm)

> ε, was set at 4.

> φ, is 0.25.

What a coincidence!