back
user profile

hackandthink

2,268karma·1,108submissions·October 2, 2022
recent activity (1,108 total)
comment
"There are red lines that you can't cross, and open conflict with a nuclear adversary is one of the latter." This is true for NATO powers as well. I can't believe Russia blew it up…
3y ago·view thread
comment
This guy is smart. Many people profit from cold (and hot) war. "Whether you like it or not, America and Europe have a strategic interest in fueling the Ukraine conflict for reputation-building pu…
3y ago·view thread
comment
Grothendieck stacks in QFT, did not know about it. This is wild stuff: https://people.math.umass.edu/~mirkovic/0.SEMINARS/1.QFT/C.C... funny names: a Leonard Cohen writ…
3y ago·view thread
comment
Quantum Computers are a great research field. The physics and engineering problems are exciting. It's a case for research money. I wouldn't invest in it but billionaires could spend their mo…
3y ago·view thread
comment
Which math is most useful? Differential Equations Statistics / Stochastic Processes Discrete Math / Algorithms / Logic Solver You do not need CT for all this stuff. Grothendieck needed …
3y ago·view thread
comment
In computing you can apply Yoneda for optimizations. "Each of the steps is fairly compelling, except perhaps the second one, which rests on the Yoneda Lemma" see "Kan Extensions for Pro…
3y ago·view thread
comment
I agree: "There's no such thing as a theorem that can only be proven with category theory". But sometimes it feels like Category Theory is rebuilding the world and there are genuine the…
3y ago·view thread
comment
"A goal of the ACT community is to bridge the gap between theorists using category-theoretic modeling tools and those who want to use the models to say something useful and true about the world&q…
3y ago·view thread
comment
This is a great paper with great graphs and deep analysis. "Whereas just five years ago, two in five (42%) western citizens held a positive view of China, today the figure is just half that amoun…
3y ago·view thread
comment
This article is really bad and self defeating: "This does not mean that Mr Putin is about to bow out, be overthrown or fire a nuclear weapon." I don't like Putin as well, but there'…
3y ago·view thread
comment
This is great: "Jeffrey stop, I'm your moderator, it's enough" ("democratically at home and ruthlessly imperialist abroad")
3y ago·view thread
comment
Not a sandwich but an equilibrium. What is it good for if there's no mechanism to reach it? "What they’ve found is that some games have Nash equilibria that are impossible for a computer to …
3y ago·view thread
comment
This makes sense in ZFC. ZFC is a material set theory and is the most common set theory (and foundation). It's different in a Structural Set Theory. Michael Shulman: "Comparing material and …
3y ago·view thread
comment
Some people think: If you can't compute it, it does not exist. or If you can't compute it, I don't care. Computing and real numbers are a confusing subject. Edit: https://nca…
3y ago·view thread
comment
"Integers and rational numbers are also reals" Many mathematicians don't think so. Category Theory has a category of sets. Integers/Rationals/Reals are different Objects (sets…
3y ago·view thread
comment
I agree: "It's the "opinion" of pretty much everyone in the geopolitical community." I disagree: "Hardly propaganda." A loneley voice in the geopolitical community (…
3y ago·view thread
comment
"And then the question must be asked: is this text here, the one you are reading, not just some kind of propaganda?" I guess you are the good guys. Who pays your bills? Is this post propagan…
3y ago·view thread
comment
The researchers are amazingly confident. "Our main contribution in this paper is to systematically apply this method, which we call the stochastic experience curve or stochastic Wright’s law to t…
3y ago·view thread
comment
related: Barry Eichengreen: Dangers of strong dollar https://www.foreignaffairs.com/united-states/dangers-strong-... …
3y ago·view thread
comment
Shortcut: Annual Life Expectancy declines since 1900. https://www.nature.com/articles/s41562-022-01450-3/figures/6 …
3y ago·view thread
comment
Mearsheimer got it right already in 2015: "and the end result is that Ukraine is going to be wrecked" https://twitter.com/RnaudBertrand/status/1498491107902062592 …
3y ago·view thread
comment
Thanks, tried checking this in Kallenberg's Foundation book (Chapter 3) but got lost. I found a free pdf: http://tomlr.free.fr/Math%E9matiques/Math%20Complete/Probabi...…
3y ago·view thread
comment
John Mearsheimer may be conservative. But he's not far right. And Kissinger is Kissinger.
3y ago·view thread
comment
It reminds me of Sean Carrols Hilbert Space Fundamentalism. Sean M. Carroll: Reality as a Vector in Hilbert Space https://arxiv.org/abs/2103.09780 …
3y ago·view thread
comment
Who will buy it? Jetbrains, Vercel, Deno ?
3y ago·view thread
comment
"Here in the U.S., the war has also exposed the intellectual and moral bankruptcy of an ideologically diverse set of foreign-policy commentators: the “anti-imperialists” who routinely justify bla…
3y ago·view thread