And if you dont want to be forced to, perhaps dont make it your marketing strategy to yell about how unsafe it is and how it shouldnt be allowed by the government :DDD

Yes!! though it only really make sense for presidential elections. For elections of a house, just implement some kind of propertional representation.

It would probably fall under the landmine treaty, depending on how generic they made the language, but russia never signed it, and Ukraine withdrew from the treaty after Russia invaded them.

I believe something killing without human supervision would count as a mine, but both sides were already ignoring that UN resolution anyway.

String theory depend on not flat universes. The problem is how it bends and folds and in how many dimensions

AI can easily write the lean for any proofs they do. The problem is that lean is missing large parts of established mathematics.
My current lean project has to cite all of these externally due to missing lean support.

    Functional equations / means
    - lit_aczel_1948 — Aczél: symmetric + homogeneous means power/quasi-arithmetic mean (the CES forcing)
    - lit_aczel_1966_weighted — weighted Aczél characterization (weighted means)

    Fixed-point / topology
    - lit_brouwer_1911 — Brouwer fixed point
    - lit_cellina_approximate_selection_1969 — approximate selection (closed-graph correspondences); with Brouwer
      Kakutani
    - lit_glicksberg_1952 — Glicksberg fixed point (infinite/Bayesian games)
    - lit_berge_maximum_theorem_1959 — Berge maximum theorem (upper-hemicontinuity)

    Probability / large deviations
    - lit_sanov_1957 — Sanov / method of types (large-deviation rate = KL)
    - lit_fisher_tippett_gnedenko_1928 — extreme-value theorem (GEV limit laws)
    - lit_kolmogorov_1931_fokker_planck — Fokker–Planck diffusion equation

    Optimal transport / matching
    - lit_sinkhorn_1967 — Sinkhorn matrix scaling (entropic OT)
    - lit_lp_strong_duality_1951 — LP / transportation strong duality (Gale–Kuhn–Tucker)
    - lit_entropic_penalty_cominetti_sanmartin_1994 — entropic-penalty -convergence (T0)
    - lit_gale_shapley_1962 — deferred acceptance produces a stable matching
    - lit_gale_shapley_proposer_optimal_1962 — proposer-optimality of deferred acceptance

    Stochastic calculus / PDE
    - lit_ito_1944 — Itô's lemma
    - lit_black_scholes_pde_solution_1973 — closed-form solution of the Black–Scholes PDE
    - lit_liouville_dirichlet — Liouville/Dirichlet (harmonic-function / PDE result)

    Dynamical systems
    - lit_saddlenode_passage_time — saddle-node "bottleneck" passage time / (Strogatz/Fenichel)

The point was to waste time, and be stupid.

Don't ban from arvix for not proofreading something like citations on a hot result. Where do you draw the line? Drawing the line is hard to do so just push them into the secondary queue. Then they have to redeem themselves to get back into the main one.

This is so obvious, if they start banning people a second competing service will emerge.

A better idea is to simply have two submission queues. If you get banned from the high quality one you have to use the low quality queue. If they don't do that someone else is going to do it. It is a fact of life that papers are going to have AI generated writing in them going forward. Just accept this fact and make two queues.

It is 10% of gamers in English speaking countries.

How is this profitable to them? They sell the same TV all over the world. AFAIK the US is the only company with a monopolist controlling TV listing guides. This monopolist changes them a monthly fee for every active TV, Sony getting no further revenues. I haven't looked in a while but you as a consumer, can also subscribe to this service. I think they want $3/mth from retail customers. I haven't dealt with this in over ten years so I am forgetting the details.

It is because the directory info comes from a US company with a monopoly and they charge exorbitant amounts of money for it and then use copyright to shutout competitors. Tribune Corp used to own it (Chicago Tribune the Wriggly family, those monopolists).

Booking was also been taking over by American private equity around then. Who doesnt care about long term health or data security.

If it can not do the exact same equally good for closed software projects IT IS NOT CLEAN ROOM.

We were talking about naked shorts. Which even the corrupt US market made illegal 20 years ago