HNHacker News
TopNewBestAskShowJobs

leonidasrup

1,790 karma · joined March 10, 2026

Ex-nuclear power plant engineer
submissionscomments
leonidasrup··on 'People are going to get screwed' Pennsylvania voters unite against data centres
Some older nuclear power plants are been commissioned back into production:

Three Mile Island

"2027 – Nuclear Regulatory Commission to decide whether to issue operating license to Constellation Energy, with the decision expected in May. If granted, Constellation expects to bring the reactor back online later in the year."

https://www.witf.org/2026/07/28/three-mile-island-reactor-re...

Michigan’s Palisades nuclear power plant

https://www.canarymedia.com/articles/nuclear/americas-first-...

Duane Arnold Energy Center in Iowa

https://www.reuters.com/business/energy/nextera-energy-partn...

https://en.wikipedia.org/wiki/Duane_Arnold_Energy_Center#Res...

leonidasrup··on Carbon-aware electricity pricing, measured daily on 38 grids
What would you need to replace a 1 GW nuclear power plant with 98% capacity factor?

Probably 1 GW solar power plant, together with 1 GW onshore wind and 1 GW of gas power plant. Then you have to also pay the natural gas to compensate for times of low solar + wind production. You can build battery storage to decrease the natural gas consumption, but how much battery storage do you have to build and how much can you reduce the natural gas consumption strongly depends latitude and local weather patterns.

https://solarbatteryatlas.electrotech-revolution.com/deploym...

leonidasrup··on Carbon-aware electricity pricing, measured daily on 38 grids
Yes, single wind turbine is negligible, what counts is the wind and PV output over extremely large areas because weather fronts are correlated over hundreds of km. Of course night/day cycle is correlated over whole Europe with few hours shift.

So in 100% renewables Europe scenario, you have build multiples of renewable production in each region.

You build enough renewables in Western Europe to power the whole Europe, you build enough renewables in Central Europe to power the whole Europe and you build enough renewables in Eastern Europe to power the whole Europe and build electric grid to transfer 2/3s of electricity produced in each region into other regions.

Can it be done? Yes, but it will be very expensive.

Many renewable energy modelers often ignore realities and costs of physical electric grid and model whole continent as copper plate which can transfer infinite amount of electricity from each to point to any other point.

For more realistic scenarios German government is looking into power-to-gas energy storage systems, where you convert renewable electricity to hydrogen, ammonia or ethanol and store it underground. There are also plans to import large part of these gases/liquids from other countries, so no energy independence in the future.

https://www.bundeswirtschaftsministerium.de/Redaktion/EN/Pre...

https://www.cleanenergywire.org/news/germany-revise-hydrogen...

leonidasrup··on Carbon-aware electricity pricing, measured daily on 38 grids
No amount of solar panels will generate electricity without sun light. Also the amount sun light can shrink quite a lot in winter months at high latitudes and under cloud cover.

No amount of wind turbines will generate electricity without wind, or to be more precise:

Cut-in speed: 3–4 m/s (12–15 km/h) to begin spinning and producing power.

Cut-out / Stop speed: Above 25 m/s (90 km/h) where brakes are applied to prevent mechanical damage

Germany has to have backups, currently quite expensive, for all this times of missing renewables production.

leonidasrup··on Carbon-aware electricity pricing, measured daily on 38 grids
> when the wind doesn't blow

During day hours and with clear weather it's solar.

Currently at night in Germany it's: imports from other countries + coal power plants + gas power plants + little bit of hydro/biomass.

The plan for coming decade is to replace coal power plants with new subsidized gas power plants.

https://table.media/en/europe/news/gas-fired-power-plants-eu...

leonidasrup··on Carbon-aware electricity pricing, measured daily on 38 grids
Germany is currently operating the world biggest permanent storage for dangerous waste UTD Herfa-Neurode. Contains at least 690,000 tons of waste containing dioxins and furans, 220,000 tons of waste containing mercury, 127,000 tons of waste containing cyanide, and 83,000 tons of toxic waste containing arsenic. Nuclear waste is currently excluded, but I think it would not make a difference, especially because after about 400 years most dangerous fission products (Caesium-137, Strontium-90, and Iodine-131) decay away and only Plutonium and minor actinides stays. Mercury, arsenic, dioxins and furans stay forever.

https://de.wikipedia.org/wiki/Untertagedeponie_Herfa-Neurode

https://radioactivity.eu.com/articles/radioactive_waste/acti...

We learned quite lot about underground migration of plutonium over millennia because we studied the remnants of the natural nuclear fission reactor which nature run about approximately 1.7 billion years ago in Oklo, Gabon.

https://en.wikipedia.org/wiki/Natural_nuclear_fission_reacto...

"Plutonium has moved less than ten feet from where it was formed almost two billion years ago contained in the sedimentary rocks that kept them from being dissolved or spread by groundwater."

http://large.stanford.edu/courses/2018/ph241/voigt2/

leonidasrup··on Carbon-aware electricity pricing, measured daily on 38 grids
French nuclear supply chain atrophied quite lot in the last 30 years. Don't forget that even in France, president Hollande promised in 2014 to the voters to slash nuclear's contribution of power generation by 2025.

https://spectrum.ieee.org/renewables-up-nuclear-down-in-fren...

It was only when Russia started invasion in 2022, that the politicians in France started to change their opinion.

If you want build a nuclear power plant you go to nuclear supplier with uninterrupted experience in building nuclear power plants, like South Korea, China or Russia.

The South Koreans build Barakah nuclear power plant 5600 MWe for $32bn.

https://en.wikipedia.org/wiki/Barakah_nuclear_power_plant

https://www.powermag.com/uaes-first-reactor-gets-go-ahead/

leonidasrup··on VC isn't VC anymore
In case of Andrew Carnegie, it was probably desire at end of his life to been rembered as not only a ruthless businessmen and monopolist.

"Carnegie spent his last years as a philanthropist. From 1901 forward, public attention was turned from the shrewd business acumen which had enabled Carnegie to accumulate such a fortune, to the public-spirited way in which he devoted himself to using it on philanthropic projects."

https://en.wikipedia.org/wiki/Andrew_Carnegie

Bill Gates is in similar phase of life.

leonidasrup··on Forgotten History of Small Nuclear Reactors (2015)
Current operating reactors don't have the design, constructions and operational flaws of Chernobyl. Current reactors don't have large positive void coefficient, instabilities at low power levels, manual controlling, slow control rods movements, computers from the 1960s.

Your mobile phone can do more computation in a milisecond that Chernobyl could do in minutes.

" SKALA (Russian: СКАЛА, система контроля аппарата Ленинградской Атомной; sistema kontrolya apparata Leningradskoj Atomnoj, "Control system of the device of the Leningrad Nuclear [Power Plant]", lit. "rock") was the process computer for the RBMK nuclear reactor at the Chernobyl nuclear power plant prior to October 1995. Dating to the 1960s, it used magnetic-core memory, magnetic tape data storage, and punched tape for loading software.

SKALA monitored and recorded reactor conditions and control board inputs. It was wired to accept 7200 analog signals and 6500 digital signals. The system continuously monitored the plant and displayed this information to operators. Additionally, a program called PRIZMA (Russian: ПРИЗМА, программа измерения мощности аппарата; programma izmereniya moshchnosti apparata, "Device power measurement program", lit. "prism") processed plant conditions and made recommendations to guide plant operators. This program took 5 to 10 minutes to run, and could not directly control the reactor" "

https://en.wikipedia.org/wiki/Chernobyl_Nuclear_Power_Plant

As a side note, there are currently still 7 RBMK reactors in operation, in Russia. But they use modern computers, modern instrumentation and control, different composition of nuclear fuel.

leonidasrup··on Forgotten History of Small Nuclear Reactors (2015)
SMR - rated electrical power of less than 300 megawatts (MWe), says nothing about physical dimensions of the plant.

https://en.wikipedia.org/wiki/Small_modular_reactor

There were even discussion about modifications of AP-600 reactor to 300 MWe, so it could be offered in SMR projects. There are customer who want only SMR or only allow SMR to be build.

For example, Illinois had 36-year-old moratorium on nuclear construction. In 2023 lawmakers approved the House Bill 2473, this lifted the moratorium on nuclear construction, but only for SMR, not for larger reactors.

https://will.illinois.edu/studentnewsroom/story/lifted-morat...

I think that the definition of SMR is incorrect. One should not limit electric output, the important metric is total cost of the project.

leonidasrup··on Can I opt out of my input or output data being used for training?
Until the risk of large financial penalties or long jail times is high enough, the CEOs of there companies operate using the "It's Better to Ask for Forgiveness Than Permission" model.
leonidasrup··on Sweden pauses Denmark power cable over EU grid rules
The Commission will not agree to let Sweden use the bottleneck fees to fund nuclear power production. Or to be more precise, German and Danish high electricity prices financing the expansion of Swedish nuclear sector.

"Sweden’s center-right government is simultaneously pursuing one of Europe’s most ambitious nuclear expansion agendas, seeking financing frameworks for four large-scale reactors or equivalent modular nuclear capacity totaling roughly 5,000 MW. Half of this capacity is targeted for commissioning by 2035. The government increasingly views congestion revenues as an important funding mechanism to support these ambitions."

https://constructionreviewonline.com/konti-skan-connect-proj...

leonidasrup··on Forgotten History of Small Nuclear Reactors (2015)
It's argument for the safety of nuclear power, because 2011 Tōhoku earthquake and tsunami (Earthquake was the most powerful ever recorded in Japan, and the fourth most powerful recorded in the world since modern seismography began in 1900) caused over 15,000 deaths. In contrast the meltdown of Fukushima Daiichi Nuclear Power Plant started by the tsunami caused much less deaths.

https://en.wikipedia.org/wiki/2011_T%C5%8Dhoku_earthquake_an...

Would a similar earthquake and tsunami cause 150 000 deaths, if it happen near Tōkai?

Nuclear operators studied the reasons for meltdown of Fukushima Daiichi NPP (failure to restore cooling after wide spread destruction of infrastructure around nuclear power plant and flooding of backup diesel generators underground) and have prepared steps to prevent it in other power plants (aditional backup diesel generators mounted in higher places, helicopter transport of spare cooling equipment when roads are destroyed).

"As an example, the French Nuclear Safety Authority (ASN) initiated an assessment of the country’s 56 nuclear power reactors as well as the 2 EPR reactors under construction. The ASN then prescribed the implementation of both fixed and mobile equipment that could potentially prevent a large release, including high-resistance diesel generators and pumps able to function in extreme scenarios such as major earthquakes or flooding. The availability of alternative sources of water for cooling was also prescribed under the same conditions. In addition, the ASN required a back-up plan including rapid action force groups that can be on site within 24 hours with light equipment and within three days with heavy equipment, using transportation means such as helicopters, and that can operate in a severely disrupted environment."

https://www.iaea.org/bulletin/ensuring-the-safety-of-nuclear...

leonidasrup··on Forgotten History of Small Nuclear Reactors (2015)
The public is listening to the anti-nuclear experts, like M. V. Ramana. But one has to understand that for M. V. Ramana, no nuclear power plant is safe enough. For him only a world without nuclear power plants and nuclear weapons is safe enough.

"Without nuclear power plants" because any nuclear power plant can be used to breed plutonium which can used to make a nuclear weapon.

The primary risk of nuclear technology for M. V. Ramana is not radiation induced cancers, it's nuclear proliferation. For him nuclear power plants could be safe, only if they could not be used to make plutonium.

> - Germany still doesn't have an answer to the permanent storage of the waist

The best solution for the high level nuclear waste (the nuclear waste most spoken about) would to have a common European permanent storage not a permanent storage in each country, because the amount of high level nuclear waste is very small and probably the most stable geology is old granite bedrock in Sweden and Finland.

https://upload.wikimedia.org/wikipedia/commons/a/ad/Europe_g...

Germany is currently operating the world biggest permanent storage for dangerous waste UTD Herfa-Neurode. Contains at least 690,000 tons of waste containing dioxins and furans, 220,000 tons of waste containing mercury, 127,000 tons of waste containing cyanide, and 83,000 tons of toxic waste containing arsenic. Nuclear waste is currently excluded, but I think it would not make a difference, especially because the after 400 years fission products decay away and only Plutonium and minor actinides stays. Mercury, arsenic, dioxins and furans stay forever.

https://de.wikipedia.org/wiki/Untertagedeponie_Herfa-Neurode

https://radioactivity.eu.com/articles/radioactive_waste/acti...

> - with existing reactor types the worst imaginable accident is really, really bad. Especially for a densely populated country like mine

All places where large amounts of energy can be released are dangerous. The biggest disaster was not nuclear, but the failure of the 1975 Banqiao Reservoir Dam and other dams in Henan Province, China. The disaster killed an estimated 171,000 people and 11 million people lost their homes.

https://en.wikipedia.org/wiki/1975_Banqiao_Dam_failure

> - nuclear power is quite expensive. The electric power prices at the customers are only so low because there are open and hidden subsidies in place (e.g. no atomic power plant in Germany has to pay full insurance. Or they don't need to pay for the 20000+ year long storage --- that's all "socialized", e.g. the tax payers pay for it

No hydro power plant pays full insurance, because dam failures are extremely rare and at the same time extremely devastating, the governments bears the costs of the failure, like for many other kinds of civil infrastructure.

https://en.wikipedia.org/wiki/Ponte_Morandi_collapse

Germany is already paying permanent storage for chemical waste, UTD Herfa-Neurode.

Subsidies, we could look into EEG-Umlage, Kohlepfennig.

> - nuclear power needs at the end reliably cooling. Look at the rivers --- in Germany we had to stop nuclear power plants, because the summer drough was so intense that not enough cooling water was available. That happened several times in France, too.

We have to adapt our whole infrastructure, see the disruptions in Rhine shipping.

https://www.reuters.com/business/environment/rhine-water-hit...

Nuclear power plants can be adapted to work dry environments, for example Palo Verde nuclear power works in a desert. But this adaptations cost money, when most European nuclear power plants were build in 70s,80s, there were not seen as necessary. In Europe, for example Jaslovske Bohunice and Mochovce NPP use evaporative cooling. French NPPs will have to be retrofitted.

https://cronkitenews.azpbs.org/2015/12/29/palo-verde-nuclear...

https://www.sciencedirect.com/org/science/article/pii/S15552...

> - these days, the electric power companies of Germany don't want to build nuclear power plants. In "Manager Magazin" --- not your usual leftist or eco magacine --- they layed out that this is economically infeasible.

Nobody will invest in building nuclear power plants in Germany for decades. The political risk that current government or next current government, or over next government will stop operation of a nuclear power plant, is too large. The electric power companies know this.

> - most countries don't have uran mines. My own one used to have, but that is depleted. Interestingly, the russian atom sector owns a lot of the uran infrastructure worldwide, even when abroad (e.g. they own things in Australia or Canada). We just learned the hard way that depending on Russia --- or USA with their toll war --- is an extremely bad idea

There are many countries with substantial uranium reserves.

https://en.wikipedia.org/wiki/List_of_countries_by_uranium_r...

Breeder reactors could reuse already mined depleted uranium, they could use much more common thorium, they can run on nuclear waste from older PWR, BWR reactors. Some of breeder reactor concepts have already been tested.

But breeder reactors but they didn't materialize because:

1. Breeder reactors need nuclear reprocessing, this rises risks of nuclear proliferation. (Nuclear reprocessing is also strongly opposed by M. V. Ramana)

2. The building of nuclear power plants stopped in the West. Why invest in new technology if it will not build?

3. Uranium is currently very cheap. Most of the costs in producing fuel for nuclear reactors is not the uranium, but the enrichment of uranium and manufacturing of the fuel rods.

Chernobyl, thing of the past.

Bad design (positive void coefficient, instabilities at low power levels)

Bad manufacturing (no containment, slow control rod movement, manual controlling without computers)

Bad operation (ignoring safety regulations, insufficient training).

We used to drive cars without seat belts.

leonidasrup··on Forgotten History of Small Nuclear Reactors (2015)
The severity of nuclear power plant failures is also decreasing.

"Radiation effects from the Fukushima nuclear accident"

"A June 2012 Stanford University study estimated, using a linear no-threshold model, that the radioactivity release from the Fukushima Daiichi nuclear plant could cause 130 deaths from cancer globally (the lower bound for the estimate being 15 and the upper bound 1100) and 199 cancer cases in total (the lower bound being 24 and the upper bound 1800), most of which are estimated to occur in Japan. Radiation exposure to workers at the plant was projected to result in 2 to 12 deaths. However, a December 2012 UNSCEAR statement to the Fukushima Ministerial Conference on Nuclear Safety advised that "because of the great uncertainties in risk estimates at very low doses, UNSCEAR does not recommend multiplying very low doses by large numbers of individuals to estimate numbers of radiation-induced health effects within a population exposed to incremental doses at levels equivalent to or lower than natural background levels.""

https://en.wikipedia.org/wiki/Radiation_effects_from_the_Fuk...

leonidasrup··on UN admits global warming will shoot past 1.5 ºC climate limit
Not surprising, see the Cumulative CO₂ emissions.

https://ourworldindata.org/grapher/cumulative-co-emissions

https://ourworldindata.org/consumption-based-co2

leonidasrup··on Forgotten History of Small Nuclear Reactors (2015)
Cuba, Venezuela, Iran have many problems, nationalizing energy production is only one of them, mostly it is the corrupt government.

On the other hand France fully nationalized EDF and results are good.

https://www.edf.fr/en/2025-annual-results

https://datacentremagazine.com/news/how-france-is-set-to-bec...

leonidasrup··on Forgotten History of Small Nuclear Reactors (2015)
Governments have always intervened into energy markets to implement policy goals.

German Coal penny

The coal levy was a surcharge on electricity prices levied by energy suppliers in the Federal Republic of Germany to finance hard coal mining . Consumers in the former West Germany paid the coal levy from 1974 to 1995, and it was abolished after the Federal Constitutional Court ruled it an unconstitutional special levy (electricity generation levy).

The Federal Constitutional Court argued that the coal levy was unjustifiable because it burdened the general public of electricity customers who had no particular financial responsibility for hard coal from Germany. The coal levy was therefore abolished at the end of 1995. Since then, hard coal mining has been subsidized from the state budget. Between 1975 and 2002, the total amount of subsidies was approximately 80 to 100 billion euros (in 2003 prices).

https://de.wikipedia.org/wiki/Kohlepfennig

German Renewable Energy Sources Act

"The Renewable Energy Sources Act or EEG (German: Erneuerbare-Energien-Gesetz) is a series of German laws that originally provided a feed-in tariff (FIT) scheme to encourage the generation of renewable electricity."

https://en.wikipedia.org/wiki/German_Renewable_Energy_Source...

German coalition agrees to subsidised power price for industry

https://www.reuters.com/business/energy/german-coalition-agr...

leonidasrup··on Forgotten History of Small Nuclear Reactors (2015)
Dr M.V. Ramana argued for establishing a nuclear weapons free zone in the Middle East, even criticizing United States approach towards nuclear armed Israel.

https://www.cndpindia.org/a-nuclear-weapons-free-zone-in-the...

"Dr M.V. Ramana, Professor and Simons Chair in Disarmament, Global and Human Security at the School of Public Policy and Global Affairs (SPPGA), University of British Columbia, Vancouver, told IPS establishing a nuclear weapons free zone in the Middle East is not only a major challenge but it is also important.

The challenge is primarily due to Israel’s refusal to not just discuss its decades-old nuclear weapons program but even acknowledge it, while at the same time attacking countries like Iran over even its nuclear energy-related programs, he argued.

Being backed by the United States, which adopts one rule for Israel and another rule for other countries, it is very difficult to involve Israel, said Dr Ramana, who is also Director of the Liu Institute for Global Issues and the Acting Director of the Centre for India and South Asia Research (CISAR) in the Institute of Asian Research."

leonidasrup··on Forgotten History of Small Nuclear Reactors (2015)
"A 2009 poll conducted by the Uranium Information Centre found that Australians in the 40 to 55 years age group are the "most trenchantly opposed to nuclear power". This generation was raised during the Cold War, experienced the anti-nuclear movement of the 1970s, witnessed the 1979 partial meltdown of the Three Mile Island reactor in the US, and the 1986 Chernobyl disaster. It was the generation which was also subject to cultural influences including feature films such as the "nuclear industry conspiracies" The China Syndrome and Silkwood and the apocalyptic Dr Strangelove. Younger people are "less resistant" to the idea of nuclear power in Australia. Analysis of opinion polls from 2012 shows a "significant decrease in favourable views of nuclear power" following the Fukushima Daiichi nuclear disaster."

https://en.wikipedia.org/wiki/Anti-nuclear_movement_in_Austr...

https://en.wikipedia.org/wiki/Nuclear_power_in_Australia

Decarbonisation is very much discussed in Australia, but not much progress has been done, because coal and natural gas is cheap in Australia. Australia also one of the largest coal exporters in the world.

https://www.csiro.au/en/research/environmental-impacts/decar...

https://ourworldindata.org/grapher/annual-co2-emissions-per-...

https://en.wikipedia.org/wiki/List_of_countries_by_natural_g...

https://worldpopulationreview.com/country-rankings/coal-expo...

leonidasrup··on Forgotten History of Small Nuclear Reactors (2015)
The list of installed VVER-440 reactors (slightly larger then the official definition of SMR - rated electrical power of less than 300 megawatts (MWe)) is long:

WWER-440 V-230 reactor

    B179 - Units 3 and 4 of the Novovoronezh NPP (Russia)

    B230 - 1, 2 units of the Kola NPP (Russia)

    1, 2, 3, 4 units of the Kozloduy NPP (Bulgaria)

    Units 1, 2, 3, 4 of the Greifswald NPP (Germany)

    1, 2 units of Bohunice NPP (Slovakia)
WWER-440 V-213 reactor plant

    3, 4 blocks of the Kola NPP (Russia)

    Units 1, 2, 3, 4 of the Paks Nuclear Power Plant (Hungary)

    Units 1, 2, 3, 4 of the Dukovany Nuclear Power Plant (Czech Republic)

    Units 1 and 2 of the Loviisa NPP (Finland);

    3, 4 units of the Bohunice NPP (Slovakia)

    1, 2 units of Rivne NPP (Ukraine)

    Units 5, 6, 7, 8 of the Greifswald Nuclear Power Plant (Germany)
WWER-440 V-270 reactor plant

    B-270 — 1, 2 blocks of the Armenian Nuclear Power Plant ( Armenia )




https://ru.wikipedia.org/wiki/%D0%92%D0%92%D0%AD%D0%A0-440
leonidasrup··on Forgotten History of Small Nuclear Reactors (2015)
We are much wiser now, because the nuclear industry learns and improves. Similar evolution can be seen for example in aircraft industry, flying in 1970s was much more dangerous with many more incidents then flying now.

https://www.voronoiapp.com/travel/Airplane-Safety-Timeline-1...

https://accidentstats.airbus.com/fatal-accidents/

leonidasrup··on Forgotten History of Small Nuclear Reactors (2015)
The author of the article "M. V. Ramana" is long-time opponent of nuclear energy , mostly because of nuclear weapon proliferation concerns.

https://en.wikipedia.org/wiki/M._V._Ramana

See for example:

"Bombing Bombay? Effects of Nuclear Weapons and a Case Study of a Hypothetical Explosion", 1999 International Physicians for the Prevention of Nuclear War (IPPNW)

https://www.ippnw.org/wp-content/uploads/2020/07/Bombing-Bom...

"Costing plutonium: economics of reprocessing in India", M.V. Ramana, J.Y. Suchitra, 2007

https://www.geocities.ws/m_v_ramana/nucleararticles/IJGEI_Vo...

"India, Pakistan and the Bomb", Scientific American, 2001

https://nci.org/01/12/07-08.pdf

leonidasrup··on Terence Tao explains 6 essential mathematical concepts [video]
"The infinite monkey theorem states that a monkey hitting keys independently and at random on a typewriter keyboard for an infinite amount of time will almost surely type any given text, including the complete works of William Shakespeare."

https://en.wikipedia.org/wiki/Infinite_monkey_theorem

leonidasrup··on Terence Tao explains 6 essential mathematical concepts [video]
It took many years for Andrew Wiles and Richard Taylor to prove the modularity theorem for semistable elliptic curves.

Sometimes even Fields Medalists are not sure if a complex theorem about a complex mathematical object is 100% correct.

From Peter Scholze:

"— I spent much of 2019 obsessed with the proof of this theorem, almost getting crazy over it. In the end, we were able to get an argument pinned down on paper, but I think nobody else has dared to look at the details of this, and so I still have some small lingering doubts."

https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-e...

Vladimir Voevodsky started research program centered on formalizing Homotopy theory, because he feared possible bugs in his proofs.

"This story got me scared. Starting from 1993, multiple groups of mathematicians studied my paper at seminars and used it in their work and none of them noticed the mistake. And it clearly was not an accident. A technical argument by a trusted author, which is hard to check and looks similar to arguments known to be correct, is hardly ever checked in detail.

But this is not the only problem that allows mistakes in mathematical texts to persist. In October 1998, Carlos Simpson submitted to the arXiv preprint server a paper called “Homotopy Types of Strict 3-groupoids.” It claimed to provide an argument that implied that the main result of the “∞-groupoids” paper, which Kapranov and I had published in 1989, cannot be true. However, Kapranov and I had considered a similar critique ourselves and had convinced each other that it did not apply. I was sure that we were right until the fall of 2013 (!!)."

https://www.ias.edu/ideas/2014/voevodsky-origins

leonidasrup··on Terence Tao explains 6 essential mathematical concepts [video]
Expert mathematicians may not be able to explain how they find a proof of a difficult mathematical statement, but once a correct proof is found, it can be, with sufficient work, be formalized (most mathematicians don't do this part). This formal proof can be mechanicaly checked, without any creativity, step-by-step according to the axioms and inference rules of a mathematical logic.

Up to the limits of the Goedels incompletness theorem.

Dependenting on the used notation the formal proof can be very long. For example, Principia Mathematica took about 300 pages to prove that 1 + 1 = 2.

https://commonplacefacts.com/2022/07/27/principia-mathematic...

leonidasrup··on Cheap GPS jammers are filling the world with navigation dead zones
Jam resistance and spoof resistantance are very different.

What work is done to make GPS more jam resistant?

leonidasrup··on Apple CEO Tim Cook's Legacy Is Dull Products and Spineless Capitulation
"Colligan attached an email he sent to Jobs in Aug. 2007, in which he told the late Apple exec that his idea was "likely illegal.""

https://www.pcmag.com/news/steve-jobs-threatened-palm-with-p...

https://en.wikipedia.org/wiki/High-Tech_Employee_Antitrust_L...

https://conversableeconomist.com/2025/10/31/the-silicon-vall...

leonidasrup··on Cheap GPS jammers are filling the world with navigation dead zones
In the 21st century you don't do astronavigation by hand, you use cameras, computers and software.

Astro-inertial guidance is used for example in submarine-launched ballistic missiles.

"Astro-inertial guidance, or stellar-inertial guidance, is a sensor fusion-information fusion of inertial guidance and celestial navigation. It is usually employed on submarine-launched ballistic missiles. Unlike silo-based intercontinental ballistic missiles, whose launch point does not move and thus can serve as a reference, SLBMs are launched from moving submarines, which complicates the necessary navigational calculations and increases circular error probable. Stellar-inertial guidance is used to correct small position and velocity errors that result from launch condition uncertainties due to errors in the submarine navigation system and errors that may have accumulated in the guidance system during the flight due to imperfect instrument calibration."

https://en.wikipedia.org/wiki/Missile_guidance

leonidasrup··on Cheap GPS jammers are filling the world with navigation dead zones
"In trials conducted by the General Lighthouse Authorities of UK and Ireland, a 1.5W radio jammer was able to knock out GPS signals over a range of 30 kilometers. However, to do the same to the Loran system, you'd need a 40ft tower — and around 25kW of juice to power it."

https://www.engadget.com/2013-01-21-uk-eloran-navigation-sys...

← PreviousPage 5 of 23Next →