penteract

8 ms·

31.
by penteract 8mo ago
> I don't think it's possible to tile the sphere using more than 20 exactly identical pieces. I was wrong about this (e.g. https://en.wikipedia.org/wiki/Rhombic_triacontahedron ). It still seems possible to
32.
by penteract 8mo ago
Not quite - you need 12 pentagons in a mostly hexagonal tiling of the sphere (and if you're keeping them similar sizes, Gosper-islands force hexagon-like adjacency). I don't think it's possible to tile the sphere using more t
33.
by penteract 8mo ago
No idea if they are doing this, but you can use Gosper islands ( https://en.wikipedia.org/wiki/Gosper_curve ) which are close to hexagons, but can be exactly decomposed into 7 smaller copies.
34.
by penteract 8mo ago
Your other points are more relevant to the content of the article, but point 2. relates the practical consequences of undecidable type-checking, so I'll reply to that. I don't have a problem with compile time code execution potent
35.
by penteract 8mo ago
Decidability of a type system is like well-typedness of a program. It doesn't guarantee it's sensible, but not having the property is an indicator of problems.
36.
by penteract 8mo ago
No. Being well typed is not a semantic property of of a program - in a language where it makes sense to talk about running badly typed code, a piece of code that starts with an infinite loop may be well or badly typed after that point with
37.
by penteract 9mo ago
For many publications you could be critisizing, I'd agree with you, but Quanta usually reaches a higher standard that I feel they deserve credit for. Here's the Quanta article on the same thing [1]. It goes into much more detail,
38.
by penteract 10mo ago
This is great. Since you've asked about bugs, I tried pushing the limits and found the following: A1: 100 B1: =100-A1 A2: =A1*(100-A1) A3: =A1*B1 A2 can be successfully set to anything reasonable (up to 2500)
39.
by penteract 10mo ago
I believe that the important part of a brain is the computation it's carrying out. I would call this computation thinking and say it's responsible for consciousness. I think we agree that this computation would be identical if it
40.
by penteract 10mo ago
My objection to that is that there isn't a particularly natural reason not to say (-1)ˣ = cos(πx) - i sin(πx) As a formula about e^iπx, there is no such conflict.
41.
by penteract 10mo ago
> Why would anyone pick the flexible/potentially-insecure option? Because having a connection that's encrypted between a user and Cloudflare, then unencrypted between Cloudflare and your server is often better than unencrypted
42.
by penteract 11mo ago
To me it reads like there was a gradual rollout of the faulty software responsible for generating the config files, but those files are generated on approximately one machine, then propogated across the whole network every 5 minutes. > B
43.
by penteract 11mo ago
There's a whole paragraph in the article which says basically the same as your point 3 ( "glass bouncing, instead of shattering, and ropes defying physics" is literally a quote from the article). I don't see how you can
44.
by penteract 1y ago
From the article, it looks like the problem is partially caused by significant parts of the transmission network being temporarily shut down due to ongoing upgrades. These could probably have been started slightly sooner, but they are alrea
45.
by penteract 1y ago
Fonts can be complicated. Using nonsense like [1] (specifically contextual alternates), you could have the glyph for the first letter of a word depend on the last letter. I don't think you could get that to work for all letters in an a
46.
by penteract 1y ago
Angular size is proportional to size/distance, so the calculation you're trying to do is correct; however, 50700 km is more than 1e7 meters so the angular sizes differ by about 3 orders of magnitude.
47.
by penteract 1y ago
2.2 × 10⁻⁸ radians is 0.0045 arcseconds [1]. That answer is off by 3 orders of magnitude. [1] https://frinklang.org/fsp/frink.fsp?fromVal=2.2*10%5E-8+radi...
48.
by penteract 1y ago
From the report: > To calculate the energy consumption for the median Gemini Apps text prompt on a given day, we first determine the average energy/prompt for each model, and then rank these models by their energy/prompt values
49.
by penteract 1y ago
Could you explain your claim that ANNs are nothing like real neural networks beyond their initial inspiration (if you'll accept my paraphrasing). I've seen it a few times on HN, and I'm not sure what people mean by it. By my
50.
by penteract 1y ago
If you account for the fact that biological neurons operate at a much lower frequency than silicon processors, then the raw performance gets much closer. From what I can find, neuron membrane time constant is around 10ms [1], meaning 10 bil
51.
by penteract 1y ago
You have a very strong definition of AGI. "Never being wrong" is something that humans fall far short of.
52.
by penteract 1y ago
I disagree. Any particular descision problem can be seen as an instance of an NP-hard problem. If you know you're looking at a subset of some NP-complete family, you should try to work out whether that subset is NP-hard (which you coul
53.
by penteract 1y ago
If we assume that the stars of one galaxy (A) are distributed uniformly at random within a circular area in the galactic plane, and the other galaxy (B) is moving perpendicular to the plane of A and passes entirely through the circle contai
54.
by penteract 1y ago
Given a dimension, n; a collection of n-dimensional vectors of integers v_1,..,v_k; and a target n-dimensional vector u: Is there a sequence of vectors from the collection which sums to u, such that no partial sum(of an initial segment of t
55.
by penteract 2y ago
This was interesting to read about. I wonder if the 2012 ECJ ruling mentioned here is why various software products switched to a subscription model.
56.
by penteract 2y ago
I agree, but I believe the reason for the errors is because people intuitively have a pretty good grasp of the game theory for the situation where someone is trying not to give you something they promised (and it's the sort of thing wh
57.
by penteract 2y ago
What if he used the knowledge to decide whether or not to open a door and offer you the choice? I think that scenario is why most people instinctively want to not switch (even if they aren't consciously aware of it), so it's a pit
58.
by penteract 2y ago
Yes, I am discussing a different problem, and I don't think the original problem formulation gives enough information to distinguish between the 2 problems. The answer can add assumptions, which is fine. I'm not passing judgement
59.
by penteract 2y ago
I think we're disagreeing about how much it's reasonable to assume. I'm happier treating it as a self contained problem (in which case I'd say that the form quoted by CrazyStat is underspecified); but if you're fami
60.
by penteract 2y ago
> Nothing about the problem should lead you to believe that the host is an evil genie purposefully trying to trick you. Is it really unreasonable to assume that the host would like to keep the car? As I see it, that's the economic i

More ›