Hacker News Reader

"UBIOS will be further discussed and revealed by the Global Computing Consortium at the 2025 Global Computing Conference in Shenzhen this November. For a country looking to both bolster its own domestic computing ecosystem and step away from American systems that constrict non-standard hardware implementations, the development of UBIOS may prove to be a major win for China. However, whether UBIOS becomes widely adopted and championed like the open standard RISC-V, or widely abandoned like LoongArch, remains to be seen."

https://news.mydrivers.com/1/1081/1081504.htm

hackandthinkon German government comes out against Chat Control

There is a lot of censorship in Germany. People do not care.

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

https://www.lto.de/recht/hintergruende/h/russia-today-verbot...

hackandthinkon How Israeli actions caused famine in Gaza, visualized

Huffner is Haffner:

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

hackandthinkon The Rising Sea: Foundations of Algebraic Geometry Notes

CHAPTER 27 The twenty-seven lines on a cubic surface

"You are now ready to be initiated into the secret fellowship of the twenty-seven lines."

hackandthinkon What Is the Fourier Transform?

Natura non facit saltus.

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

hackandthinkon Trade in War

I see different degrees of genocide and support.

I am generally against arms deliveries, especially to Israel and Russia.

Sanctions should above all be effective. Russia is difficult to sanction especially if China and India do not play along.

The energy sanctions hurt Germany more than Russia, so I don't support them.

Specifically, I heat with gas in winter and try to reduce my consumption.

hackandthinkon What are the real numbers, really? (2024)

Interestingly, constructive mathematics cannot prove that the Cauchy and Dedekind constructions are isomorphic:

"As often happens in an intuitionistic setting, classically equivalent notions fork. Dedekind reals give rise to several demonstrably different collections of reals when only intuitionistic logic is assumed"

https://arxiv.org/pdf/1510.00641

hackandthinkon Topological Kleene Field Theories: A new model of computation

"that allows the machine to transcend the classical limits of computation"

The Crackpot index is still low. Anyway it is a good read.

hackandthinkon The Roots of the Gaza Genocide

"How could they allow this to go on?"

hackandthinkon What will become of the CIA?

I read Tim Weiner's first CIA book and expect something similar. You learn a lot about the obvious and well-known mistakes and crimes.

But I lack the basic sympathy for these organizations, if they were abolished the world would be a better place.

hackandthinkon Episode with Stephen Kotkin, Stalin biographer and historian

The last minutes:

I find it disturbing that Stephen Kotkin is so afraid of a third world war (USA/China).

I hope it's not based on inside information.

hackandthinkon A List Is a Monad

Just for fun, monads as modalities is missing:

https://hackage.haskell.org/package/Agda-2.6.4.2/docs/Agda-S...

hackandthinkon Douglas Hofstadter on Loops, Beauty, Free Will, AI, God, Utopia and Gaza

A really likeable person. GEB was highly regarded in my peer group. I should have read it more naively myself. But this interview makes me want to read "I am a strange loop".

https://www.ams.org/notices/200707/tx070700852p.pdf

(too bad that I don't like the word "mysterian", otherwise I would join the club)

hackandthinkon Homotopy Equivalences

"Grothendieck conjectured that the infinity groupoid captures all information about a topological space up to weak homotopy equivalence"

The homotopy hypothesis has something mystical about it.

https://math.ucr.edu/home/baez/homotopy/homotopy.pdf

hackandthinkon Researchers using the same data and hypothesis arrive at different conclusions (2022)

Research Objective:

"Does Immigration Undermine Public Support for Social Policy?"

ISSP Data (immigration, welfare attitudes) for 17 countries.

73 independent research teams come to different conclusions, nobody knows why.

hackandthinkon Panjandrum: The ‘giant firework’ built to break Hitler's Atlantic Wall

"Having tried and failed to negotiate a suitable treaty of alliance with the British and French, and fearing an Anglo-French design of involving them in a war with Germany which they would have to fight alone, the Soviets turned to a deal with Hitler."

"The Soviet Union and the Origins of the Second World War" Russo-German Relations and the Road to War, 1933-1941

Geoffrey Roberts

https://api.pageplace.de/preview/DT0400.9781349241248_A35684...

hackandthinkon Panjandrum: The ‘giant firework’ built to break Hitler's Atlantic Wall

This is a hornet nest.

I once read this from Alain Badiou:

"This separatism at certain moments reached extremes that no one could forget, particularly not the Russian people, knowing that the vast mass of the Nazi-armed and organised armies coming from Russian territory were Ukrainian. The Vlasov army was a Ukrainian army. Today we can even read the history of Ukrainians turning entire villages to blood and fire, including French ones. A good part of the repression of the maquis in central France was carried out by Ukrainians. "

Wikimedia presents Vaslov's army as Russian:

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

But Wikipedia about Vlasov (SS Division here):

"He (Himmler) oversaw the creation of the SS-Volunteer Division "Galicia" in October 1943 from Ukrainian volunteers, but that same month he said that Vlasov made him "genuinely anxious."

https://www.versobooks.com/blogs/news/1569-a-present-default... https://www.versobooks.com/blogs/news/1569-a-present-default...

--- Badiou is a strange guy but I trust him.

In general, I have the impression that the historiography of the Nazi collobaration in Central Europe has been politically influenced in recent years.

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

hackandthinkon Panjandrum: The ‘giant firework’ built to break Hitler's Atlantic Wall

This is Nazi talk.

That was the actual Nazi plan:

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

The differentiation between Ukraine and Russia is interesting.

Ukrainian nationalists had also joined the Nazis.

hackandthinkon Panjandrum: The ‘giant firework’ built to break Hitler's Atlantic Wall

The political situation in the 1930s was thoroughly messed up. Britain and France may have had mainly good intentions, but their policies did not prevent the disasters.

Great Britain should have made a pact with the Soviet Union against Hitler much earlier.

Poland was in an extremely difficult situation. But the decision to invade Czechoslovakia with the Germans was certainly not a good idea.

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

hackandthinkon The time bomb in the tax code that's fueling mass tech layoffs

Google Is Not What It Seems

https://wikileaks.org/google-is-not-what-it-seems/

hackandthinkon Death of Michael Ledeen, maker of the phony case for the invasion of Iraq

Jeff Stein smells like a spook.

I'm sure it's his real name, but it still sounds made up.

hackandthinkon India launches attack on 9 sites in Pakistan and Pakistani Jammu and Kashmir

"However, Pakistan was a valuable diplomatic partner, and its government helped the United States achieve a rapprochement with the People’s Republic of China in the early 1970s."

"U.S. prestige was damaged in both nations, in Pakistan for failing to help prevent the loss of East Pakistan and in India for supporting the brutality of the Pakistani regime’s actions"

https://history.state.gov/milestones/1969-1976/south-asia

hackandthinkon Show HN: Formalizing Principia Mathematica using Lean

I would add that there is/was a certain desire for categorical theories.

"In mathematical logic, a theory is categorical if it has exactly one model (up to isomorphism)."

(categorical is stronger than complete)

hackandthinkon Wikipedia’s nonprofit status questioned by D.C. U.S. attorney

The analysis there is not convincing.

It is obvious that Wikipedia admins communicate with each other. The fact that Aljazeera is referenced is also okay.

In fact, this is not the official Israeli narrative, it seems rather trustworthy.

https://en.wikipedia.org/wiki/Israeli%E2%80%93Palestinian_co...

hackandthinkon Show HN: Formalizing Principia Mathematica using Lean

I only see these very initial propositional theorems.

Am I missing something, or has the project only just begun?

https://github.com/ndrwnaguib/principia/blob/main/Principia/...

hackandthinkon A Math Lesson From Hitler’s Germany (2017)

Mathematics at Göttingen under the Nazis

Saunders Mac Lane

"Now in retrospect, the whole development is a decisive demonstration of the damage done to academic and mathematical life by any subor- dination to populism, political pressure and pro- posed political principles."

https://www.ams.org/notices/199510/maclane.pdf