Certhas

23 ms·

331.
by Certhas 2y ago
I want that T-Shirt.
332.
by Certhas 2y ago
Students are adults. Teaching them that their choices have systemic consequences is not the same as forcing values on them. It might be factually incorrect, but it's not a value statement. And I have no worries that the billionaires wi
333.
by Certhas 2y ago
The documents you linked to show that 2022 they have a billion and something in net assets 513 million in cash (up from 378 in 2021). Cash flow from operating activities was 147 million in 2022 and 197 million in 2021. So according to the d
334.
by Certhas 2y ago
Yes exactly. Thanks.
335.
by Certhas 2y ago
The question really is if one couldn't make multiprocess better instead of multithreaded. I did a ton of MPI work with python ten years ago already. What's more I am now seeing in Julia that multithreading doesn't scale to la
336.
by Certhas 2y ago
There is no a priori reason why the aimed for results should be unprovable ala Gödel. However, it turns out it has been proven that it is. Tao says so in the post: > I will remark that the general question of determining whether one set
337.
by Certhas 2y ago
In the EU we are going to get user replaceable batteries: https://repair.eu/news/new-eu-rules-smartphones-and-tablets-...
338.
by Certhas 2y ago
That is not the point of the author. They clarify on reddit: https://www.reddit.com/r/programming/comments/1f5qbhv/rust_s... > This isn't a great title for the submission. Rust doesn't solve
339.
by Certhas 2y ago
This is nonsense. Yes, given a prediction method that produces a probability, there is a tradeoff between false negative and positive. (Your example doesn't exhibit this though). But of course you can decrease your rate of false negat
340.
by Certhas 2y ago
Mostly I think the person who mentioned that this is free markets working as free markets is largely right. You can't defend free markets on the basis that property rights are enforced by the state, and thus somehow changing the free m
341.
by Certhas 2y ago
The irreducible state role in a free market is to enforce property rights. Almost all free market fans I have seen think that this should extend to some notion of intellectual property.
342.
by Certhas 2y ago
Simple =/= easy. It seems to me that TLA+ is executable in the sense that a difference equation can be run forward in time. Plenty of mathematics is executable in that sense. Specification is not the same thing as implementation. A spe
343.
by Certhas 2y ago
As mentioned elsewhere, that's the wedge product of exterior algebra. Standard stuff first introduced in 1844 that has been foundational to a ton of modern math. https://en.m.wikipedia.org/wiki/Exterior_algebra
344.
by Certhas 2y ago
Note though that GA is extremely niche and offers very little beyond exterior algebra. Exterior algebra in the context of differential forms is standard part of the postgrad (and sometimes undergrad) Physics curriculum. See the applications
345.
by Certhas 2y ago
For a physicist it eventually becomes necessary to understand exterior algebra. This is often done in the context of differential forms, but of course can be brought back to vectors easily. With those well established tools GA doesn't
346.
by Certhas 2y ago
I agree that a stronger central EU government, more like a federal state would be highly desirable and more efficient in many ways today. But you are ignoring a ton of stuff here, too. The EU comprises territories that are far more differen
347.
by Certhas 2y ago
Because the EU is not a national government. It issues no passports. It has no citizens. It levies no taxes. It has no army. It's an organisation that coordinates sovereign states. Often it doesn't even set the law directly but es
348.
by Certhas 2y ago
Thank you!
349.
by Certhas 2y ago
What reason do you have to believe that your own conclusion will be better? The causal set folks are already outsiders that go against the broad consensus of HEP-Th. I grew up scientifically in an environment that was actively challenging m
350.
by Certhas 2y ago
Not even wrong is a quip attributed to Wolfgang Pauli. This is where Woit got his blog and book title from: https://en.wikipedia.org/wiki/Not_even_wrong
351.
by Certhas 2y ago
If you have a citation or more information on that, I'd be curious. Numerical relativity is outside my area of expertise. It doesn't seem likely to me, but I couldn't rule it out...
352.
by Certhas 2y ago
I particularly enjoy this classic review. Very informative: http://www.bactra.org/reviews/wolfram/
353.
by Certhas 2y ago
I used to work close to people who were actually somewhat close to the stuff contained in the papers. The consensus was that there is nothing of substance to engage with. Edit: When the technical papers appeared in 2020, I personally went t
354.
by Certhas 2y ago
It is utterly unlike string theory. String theory is a very rigid coherent theory. It has produced plenty of deep mathematical insights. I personally don't believe that it describes our universe, but it is possible to calculate its pro
355.
by Certhas 2y ago
This is not true. The idea of constant progress is a relatively recent cultural invention. Prior to the great acceleration changes were slow enough that the world seemed static over a lifetime. If it wasn't, the changes were almost as
356.
by Certhas 2y ago
It's not scientific research with the aim of publishing, but it is research as defined in the dictionary [1], and uses some of the same skills. Honestly, I am a scientist first. I am not aware of any activity outside of academia that
357.
by Certhas 2y ago
I don't understand your point. Debugging is research almost by definition, no?
358.
by Certhas 2y ago
I know that document. It doesn't really answer this point though. It motivates the need for parallelism in slow python by noting that this is important once other performance critical code is in extensions. But the mai point against m
359.
by Certhas 2y ago
But multiprocessing can't? I used to write a ton of MPI based parallel python. It's pretty straightforward. But one could easily imagine trying to improve the multiprocessing ergonomics rather than introducing threading. Obviously
360.
by Certhas 2y ago
C++ and python are not the only options though. Julia is one that is gaining a lot of use in academia, but any number of modern, garbage collected compiled high level languages could probably do.

More ›