hackandthink

Infinitesimals are cool but I think this is not really about infinitesimals - it is about ordinary real numbers. (so I think this is not true: "Infinitely many finitely short time intervals canno…

This is true. But Zeno would still counter: Infinitely many time intervals, however short, cannot have passed after finite time.

There is so much good stuff from Mr. Joel David Hamkins Mathoverflow. https://mathoverflow.net/users/1946/joel-david-hamkins https://golem.ph.utexas.edu/cate…

https://www.nextplatform.com/2023/01/10/the-rest-of-the-worl... …

This basically means: Future supercomputers will look like Frontier. https://en.wikipedia.org/wiki/Frontier_(supercomputer) …

Did not know: Jorge Bergoglio is the pope und seems to be an intellectual. Never heard of Catholic dialecticism.

"Research has long recognized the destructive potential of ethnic nationalism."

Sounds like deep knowledge. Do you have an opinion about F-35 aircrafts?

I'm not sure, my intuition might be wrong. I looked into this paper and expected Gaussian processes with complex kernel functions. Giovanni Petri (author of paper here): https://twitte…

(Papers are pretty nowadays) Scalable High-Order Gaussian Process Regression https://proceedings.mlr.press/v89/zhe19a.html …

Unveiling the higher-order organization of multivariate time series: https://arxiv.org/abs/2203.10702 …

"Coders have individual preferences about programming languages. So do mathematicians for their foundations. But still, some programming languages are objectively better at some things. Likewise …

This is the most predictable guy: https://de.wikipedia.org/wiki/Stefan_Kornelius

In Germany at least foreign policy is democratically controlled. But there's a lot of atlanticist think tank money around which influences politicians and journalists. E.g.: I'm reading Sued…

Who would be today's George Kennan in U.S. diplomacy, foreign policy? From a distance you can only see war-loving naivetes.

I wondered what this should be about. After all Interactive Theorem Proving is well established and there are great success stories (e.g. Lean Mathlib). Who needs automatic theorem proving that mimics…

I will never reach the Zen state and still think the epistemic/ontic discussion makes sense. Scott Aaranson: "OK, but are the quantum states “ontic” (really out in the world), or “epistemic”…

Norway is a beautiful country. Great pictures.

https://de.usembassy.gov/u-s-embassy-press-release-germany-t... Lockheed Starfighter a well remembered in Germany. Lockheed F-104 Starfighter: "A total of 116 pilots were lost in…

It's amazing how well propaganda works. Maybe people are just stupid.

Zelensky: “And that is why it is very important…to go to our borders from 1991.” "In private, however, Ukrainian and Western officials admit there may be other outcomes" How private is talki…

I guess most of the 12-14 million people went to West Germany. "after WWII, the Allies carried out the largest forced population transfer -- nowadays referred to as "ethnic cleansing" -…

Novell was no fun. I ported a C++ server and struggled with the only available C++ Compiler for Novell (Watcom). Debugging meant staring at core dumps. Novell bought SUSE too late.

"Our analysis concludes that today’s inflation is largely driven by supply shocks and sectoral demand shifts, not by excess aggregate demand. Monetary policy, then, is too blunt an instrument bec…