robinhouston

7 ms·

61.
by robinhouston 11mo ago
There is a very funny and instructive story in Section 44.2 of the paper, which I quote: Raymond Smullyan has written several books (e.g. [265]) of wonderful logic puzzles, where the protagonist has to ask questions from some number of guar
62.
by robinhouston 11mo ago
I used to love doing this sort of thing back in the early '90s. What a nostalgic read! Funny that there are still people doing it today.
63.
Pascaline: Pascal's 1630 Mechanical Calculator(youtube.com)
3 points by robinhouston 1y ago|1 comments
64.
by robinhouston 1y ago
This page may be a bit confusing, out of context. By ‘imaginary cube’, Hideki Tsuiki means a three-dimensional object that is not a cube, but which nevertheless has square projections in three orthogonal directions, just like a cube does. E
65.
EQ: A video about all forms of equalizers(youtube.com)
263 points by robinhouston 1y ago|77 comments
66.
Sweet Timbres and Audio Compression(bramcohen.com)
4 points by robinhouston 1y ago|0 comments
67.
Weekend projects: Chicken Squisher 3000(lcamtuf.substack.com)
90 points by robinhouston 1y ago|22 comments
68.
by robinhouston 1y ago
Be careful! There's a whole world of mechanical puzzles out there, and it can get very expensive and start to take over your life. Here's an assortment of links to places where you can buy interesting puzzles. This isn't exha
69.
by robinhouston 1y ago
I think this is one of those language barrier things. Non-mathematicians sometimes say ‘obvious’ when what they mean is ‘vaguely plausible’.
70.
The Flummoxagon(n-e-r-v-o-u-s.com)
135 points by robinhouston 1y ago|36 comments
71.
Negative Mass(youtube.com)
1 points by robinhouston 1y ago|0 comments
72.
Daniel Stenberg's note on AI assisted curl bug reports(simonwillison.net)
1 points by robinhouston 1y ago|1 comments
73.
Creating a Database of Motivated Proofs(gowers.wordpress.com)
5 points by robinhouston 1y ago|0 comments
74.
Charles Howard Hinton(en.wikipedia.org)
2 points by robinhouston 1y ago|0 comments
75.
Roger Penrose and Friends Appeal for Unique Archive(crowdfunder.co.uk)
2 points by robinhouston 1y ago|1 comments
76.
by robinhouston 1y ago
Click the green box that says t=0, next to where it says Click here.
77.
by robinhouston 1y ago
There are so many good things in this video! The concept of ‘Platonic horror’ is going to be a useful one, I feel: > I think that what really titillates me is when the problem is beautiful, but the solution is upsetting. I call this a Pl
78.
by robinhouston 1y ago
It's amazing what you learn on HN! I walk and run up and down that path regularly, but I've never noticed the Spriggan. Next time I will look out for it. Thanks.
79.
by robinhouston 1y ago
Simon Tatham's _Mines_ deals with this in a different way: it generates the mine positions in such a way that they can never lead to an ambiguous state during a game. https://www.chiark.greenend.org.uk/~sgtatham/pu
80.
New Knot Theory Discovery Overturns Long-Held Mathematical Assumption(scientificamerican.com)
5 points by robinhouston 1y ago|1 comments
81.
What Is Man, That Thou Art Mindful of Him?(astralcodexten.com)
20 points by robinhouston 1y ago|0 comments
82.
by robinhouston 1y ago
No, it works like that on mine. How amazing that I never noticed! The habit of using Enter has been so ingrained for so many years that I never tried pressing Return before now. Has that always worked? I suspect that it didn’t at some point
83.
by robinhouston 1y ago
On a current Mac laptop, you can still press fn + return to get the effect of the Enter key. The only thing I really use this for is renaming files in Finder: select a file and press Enter to edit the filename. Are there any other apps in w
84.
Minesweeper thermodynamics(oscarcunningham.com)
206 points by robinhouston 1y ago|62 comments
85.
A crowdsourced project to link up erdosproblems.com to the OEIS(terrytao.wordpress.com)
3 points by robinhouston 1y ago|1 comments
86.
Gym bros are already taking the strongest weight-loss drug(businessinsider.com)
1 points by robinhouston 1y ago|0 comments
87.
LLMs for the Old and Infirm(oblomovka.com)
2 points by robinhouston 1y ago|0 comments
88.
by robinhouston 1y ago
But this is the same Rupert that we're talking about here!
89.
by robinhouston 1y ago
Interesting. My guess is that it's not prohibitively hard, and that someone will probably do it. (There may be a technical difficulty I don't know about, though.) David Renshaw recently gave a formal proof in Lean that the triakis
90.
by robinhouston 1y ago
I believe that the name ‘Noperthedron’ for this new polyhedron that has been proven not to be Rupert was given in homage to tom7’s coinage ‘Nopert’ in that SIGBOVIK paper.

More ›