robinhouston

8 ms·

91.
Rupert's Property(johncarlosbaez.wordpress.com)
91 points by robinhouston 1y ago|23 comments
92.
A convex polyhedron without Rupert's property(arxiv.org)
28 points by robinhouston 1y ago|1 comments
93.
by robinhouston 1y ago
I think this error may be in the historical-basemaps data, because it is also present on https://historicborders.app/year/1800?lng=169.5234304&lat=-4...
94.
Elegant mathematics bending the future of design(actu.epfl.ch)
147 points by robinhouston 1y ago|18 comments
95.
by robinhouston 1y ago
It’s similar in the sense that it’s a pseudocylindrical projection. Unlike Robinson it opts for a strict equal-area property at the expense of less accurate direction and distance. In that respect it’s more similar to Eckert IV. Another int
96.
by robinhouston 1y ago
This sort of strident campaigning language is such an unhelpful framing in which to discuss the relative merits of different map projections. Every world map must trade off between different types of distortion. There's no principled r
97.
by robinhouston 1y ago
> Schott also notes that the clinical trial didn’t include a control group of participants who got no guidance and made no lifestyle changes. This makes it hard for researchers to pinpoint which aspect of the program might have been resp
98.
AI attempts at the International Mathematical Olympiad 2025(mathstodon.xyz)
1 points by robinhouston 1y ago|0 comments
99.
by robinhouston 1y ago
There is some relevant context from Terence Tao on Mathstodon: > It is tempting to view the capability of current AI technology as a singular quantity: either a given task X is within the ability of current tools, or it is not. However,
100.
Scholars solved a 130-year literary mystery and it hinged on one word(sciencedaily.com)
36 points by robinhouston 1y ago|5 comments
101.
What happens when an octopus engages with art?(cnn.com)
68 points by robinhouston 1y ago|46 comments
102.
by robinhouston 1y ago
I don't know, and I'd love to. If I had to guess, I'd guess Henry Dreyfuss's Symbol Sourcebook. It was published in 1972, and it seems plausibly the sort of book someone like Susan Kate might have had to hand in the earl
103.
by robinhouston 1y ago
You're quite right! Thanks for the correction. I should have said that a list is an element of a free algebra over the List monad, which is less pithy.
104.
by robinhouston 1y ago
I expect the author has done this knowingly, but the title is rather painful for a mathematician to read. A list is not a monad. List is a monad. A list is an algebra for the List monad.
105.
by robinhouston 1y ago
That's very interesting! I agree Goldberg's proof is not very persuasive. I hope Auburn university will fix their electronic dissertation library. There's a 1985 paper by Robert Dawson, _Monostatic simplexes_ (The American Ma
106.
by robinhouston 1y ago
It's funny. I posted the paper first, and then as an afterthought I posted the Quanta article too, in case people preferred that. I didn't expect either of them to make the front page: certainly not both!
107.
by robinhouston 1y ago
It sounds as though you're talking about the solution to part (b) as given in that reference. Have a look at the solution to part (a) by Michael Goldberg, which I think does prove that a homogeneous tetrahedron must rest stably on at l
108.
by robinhouston 1y ago
They didn't need to, because it was proven in 1969 (J. H. Conway and R. K. Guy, _Stability of polyhedra_, SIAM Rev. 11, 78–82)
109.
A new pyramid-like shape always lands the same side up(quantamagazine.org)
656 points by robinhouston 1y ago|158 comments
110.
Building a Monostable Tetrahedron(arxiv.org)
41 points by robinhouston 1y ago|3 comments
111.
by robinhouston 1y ago
I was sympathetic up until the line > Over 3 million users and bots created which struck me as thoroughly disingenuous. Surely they know how many users they have, and how many bots have been created. Why conflate the two?
112.
Annotation Mono: A lovingly crafted handwriting-style monospace font(qwerasd205.github.io)
10 points by robinhouston 1y ago|0 comments
113.
by robinhouston 1y ago
What's the story behind the Great Unfuckening that took place between v4.18-rc8 and v5.6?
114.
by robinhouston 1y ago
This definitely needs some context for the non-logicians in the house! Gödel's second incompleteness theorem shows that, if PA can prove its own consistency, then PA is inconsistent (and can therefore prove anything, including false th
115.
by robinhouston 1y ago
If you want a language for expressing constraint satisfaction problems that's higher-level than SAT, I think MiniZinc is pretty interesting. https://www.minizinc.org/
116.
Moon Pi: we're going to calculate π on the Moon(pi.space)
1 points by robinhouston 1y ago|0 comments
117.
A quantum algorithm for Khovanov homology(arxiv.org)
10 points by robinhouston 1y ago|0 comments
118.
by robinhouston 1y ago
Wow, that's a cool trick. So it _can_ be done using only builtins! Thanks for sharing.
119.
by robinhouston 1y ago
> I hate it when people quote text as images because it makes it impossible to cut and paste. That's much less true than it used to be! I don't know what device you're using, but on my iPhone I can seamlessly copy the text
120.
by robinhouston 1y ago
That's ok, but %1 will refer to the wrong job if there's already a background job running. You could use %% instead, but that will refer to the wrong job if <command> terminates before the timeout.

More ›