IngoBlechschmid

11 ms·

91.
by IngoBlechschmid 6y ago
A further short story by the same author, very short and very suspenseful, about a powerful AI facing an existential task: https://qntm.org/transit If you like longer stories, then https://qntm.org/ra . &quo
92.
by IngoBlechschmid 6y ago
This seems to be an update of an earlier episode (2015) by the same author. A detailed debunking, alas in German, is available here: https://klima-luegendetektor.de/tag/valentina-zharkova/
93.
by IngoBlechschmid 6y ago
I think this is entirely plausible. To put the emissions of India in context: by cumulative emissions since 1750, India is number 7, having caused roughly half as many emissions as my home country Germany (number 4). The US is number 1. Sou
94.
by IngoBlechschmid 6y ago
Isn't constructing a new language the ultimate breaking change :-)
95.
New results on Gödel incompleteness: talk this Monday at 19:00 UTC(jdh.hamkins.org)
3 points by IngoBlechschmid 6y ago|0 comments
96.
by IngoBlechschmid 6y ago
> Could you provide some sources? The figure about the proportion of nuclear power is from https://en.wikipedia.org/wiki/World_energy_consumption , the figure "140 years" from https://en.wikipedi
97.
by IngoBlechschmid 6y ago
> This is a so well known misconception that it is hard to not consider it propaganda by this point. Wikipedia paints a different picture but I consider that a fair point and I will look into it, thank you. > intermittent with unsolve
98.
by IngoBlechschmid 6y ago
If we decided today to do large-scale deployment of new nuclear reactors, then we would see reductions in CO₂ emissions from the energy sector only in ten to twenty years. But at our current rate, the global CO₂ budget will be fully exhaust
99.
by IngoBlechschmid 6y ago
I too am happy about advances in nuclear energy research, and would like to make a remark regarding its suitability for fighting the climate crisis. In 2019, just 4 % of the global primary energy came from nuclear power (the figure is about
100.
by IngoBlechschmid 6y ago
For that I reason, I typically create my Docker images using Nix. This has been discussed here before a couple of times, for instance at https://news.ycombinator.com/item?id=22295102 . :-)
101.
by IngoBlechschmid 6y ago
I realize that you just cited two particular issues as examples for a deeper problem. But still: The command `nix-shell -p firefox` spawns a subshell in which Firefox is in the PATH. (In case Firefox has not been downloaded before, it will
102.
by IngoBlechschmid 6y ago
> Plus in all likelihood the events being reported on are thousands of miles away from you and have zero impact on your daily life. In some sense, the quoted statement is obviously right. But in another sense, it's wrong. To cite ju
103.
by IngoBlechschmid 6y ago
It's great that Scott is having his stab at solving the exposition problem for the Continuum Hypothesis. I'm looking forward to the future parts of the series! The Continuum Hypothesis is also very interesting because it is a post
104.
by IngoBlechschmid 6y ago
These fixes only correct issues in the Debian package metadata, not in the actual package source, hence nothing to be upstreamed.
105.
by IngoBlechschmid 6y ago
A couple of days ago, I noticed that my favorite science fiction author Greg Egan has published a new book. He listed several distributors which are equally good for him. When I saw that one them displayed a huge BLM banner, my decision whe
106.
by IngoBlechschmid 6y ago
Not the grandparent, but I've been doing the same (almost only for a couple of years) and yes I trust site-enforced HTTPS. To anyone who last tried Tor years ago: It really got quite fast. I don't notice a difference to my native
107.
by IngoBlechschmid 6y ago
Nice observation, thank you for sharing!
108.
by IngoBlechschmid 6y ago
Exactly. Automatic differentiation works because we have the chain rule (f . g)'(x) = f'(g(x)) g'(x), telling us how to differentiate functions which are composed from simpler building blocks. But there is no analogous rule f
109.
by IngoBlechschmid 6y ago
Good question! I would disagree that intuitionistic reasoning is blessed as the "universal reasoning". As you say, there are other even weaker but still useful systems around. It is just a fact of life, without any room for philos
110.
by IngoBlechschmid 6y ago
Logicomix is the best. I strongly second the recommendation. This novel not only discusses the logical aspects of self-referentiality, it also goes strongly meta on it. At one point in the novel, you see the authors of the novel debating on
111.
by IngoBlechschmid 6y ago
> ZFC is not regarded as sound by some because of these Paradoxes. Can you give relevant pointers? I'm curious because while I do know a couple of arguments for the inconsistency of ZFC, none of these are related to the Banach–Tarsk
112.
by IngoBlechschmid 6y ago
You are spot on! The paradox uses a, from the point of view of everyday life, highly perverse definition of "piece". The definition of "piece" used is: "Arbitrary collection of points which need to bear any relation
113.
by IngoBlechschmid 6y ago
The circularity supported in programming, that programs ("quines") can refer to their own source code, illustrates the same issue at heart. Yusuke Endoh created a tantalizing Ouroboros quine cycling through 128 languages: https:&
114.
by IngoBlechschmid 6y ago
The article provides a nice introduction to the subtleties surrounding the axiom of choice. The last paragraph briefly mentions that there are other flavors of mathematics in which the axiom of choice doesn't hold. For people who are i
115.
by IngoBlechschmid 6y ago
Excellent question. The Hilbert's-Hotel-style result that the union of two balls consists of exactly the same amount of points than just a single ball is much more basic than the Banach–Tarski paradox. In the Banach–Tarski paradox, we
116.
by IngoBlechschmid 6y ago
Representation theory, the subject of the submitted article, is also at the core of our understanding of the particle zoo in physics. A tutorial aimed at mathematicians is here: John Baez, John Huerta. The Algebra of Grand Unified Theories.
117.
by IngoBlechschmid 6y ago
When I visit https://www.magicleap.com/ without cookies enabled, I'm redirected to a non-existent page.
118.
by IngoBlechschmid 6y ago
Apparently there is also a easy solution to the Fermi paradox by taking the uncertainty in the Drake parameters into account: https://arxiv.org/abs/1806.02404 "We examine these parameters, incorporating models of
119.
by IngoBlechschmid 6y ago
I love this online free self-hostable open source collaborative whiteboard: https://wbo.ophir.dev/ Unlike many others, this one is nice and lean and hence works smoothly even on old hardware.
120.
by IngoBlechschmid 6y ago
I agree it's definitely on purpose. As you write, there is no reason to keep the full script in memory. Sure, human-written scripts will always fit, and probably did so even in the old days, but some scripts are computer-generated. (Re

More ›