hyperhello

9 ms·

1.
by hyperhello 3d ago
> But AI breaks that correlation, for the same reason it separates the two notions of proof. So, even genuine solutions would not satisfy us. This is not moving the goalposts but recognizing that any specific goalpost is inadequate. If m
2.
by hyperhello 6d ago
Why does everyone hate this comment? Attitude? I can’t figure out the wavelength here. I’m just commenting.
3.
Can Grindr stay up during RNC conventions?(irishstar.com)
16 points by hyperhello 6d ago|0 comments
4.
by hyperhello 6d ago
USPS Successfully Mishandles Specific Ballots
5.
by hyperhello 6d ago
We don't need novelty accounts here.
6.
by hyperhello 7d ago
Where do the extra numbers come from? Are they stored as decimal polar coordinates that get converted to themselves times pi?
7.
by hyperhello 7d ago
Also could use analysis of dependencies to see what can happen in parallel. Or for that matter, some real benchmarks.
8.
by hyperhello 7d ago
I sympathize but you're literally looking at something an hour old and demanding that the economic and political realities that produced it change entirely.
9.
by hyperhello 8d ago
What is with the bold sections? Is this just AI or are you trying to make sure I didn’t fall asleep reading the bland plaintext?
10.
by hyperhello 8d ago
Does this do the tokenization? Could it be expanded to parse the whole structure of the language?
11.
by hyperhello 9d ago
Good god, sorry I participated in any way. Apparently there’s a quantum physics colloquium I’m disturbing.
12.
by hyperhello 9d ago
Well, yeah. Perhaps if this experiment was expanded for a chain or a filter of cause and effect then it could be shown that one event affects another.
13.
by hyperhello 9d ago
Unfounded speculation, but is it possible that every particle could have a different individual light speed, and the one we know is just the average speed that they have to drop or speed up to, the way a car needs to travel at the same spee
14.
by hyperhello 9d ago
I don’t think it’s fair to call {}-> injective just because no two inputs map to the same output. That’s vacuous.
15.
by hyperhello 10d ago
Maybe they were but the compromise they accepted was Indians not taxed, so unless there’s some pretty surprising evidence…
16.
by hyperhello 12d ago
Isn’t there some theorem that any sufficiently complex mathematical languages will have statements that can’t be proven? :)
17.
by hyperhello 12d ago
Well, there’s actually a very small set of operations that allow all computation, so it doesn’t take much to be a DSL and a GP too; I’d be surprised if a proof language couldn’t swing it.
18.
by hyperhello 12d ago
The point of writing Lean code is that Lean checks it accordingly. Lean is a domain specific language to encode mathematical reasoning in a way that can’t be fooled. Note to other users: don’t downvote this kind of comment, answer it.
19.
by hyperhello 12d ago
Having a light mode and a dark mode as the target of the setting, makes it impossible to use a light area versus a dark area to meaningfully suggest visually which one is selected. This stymies the designer completely, apparently.
20.
by hyperhello 13d ago
Don’t have an existential crisis, because you’re thirty and it’s not the time. Right now you need to be recharged as much as possible so you can seem to walk up to any situation as a “likely yes if possible”.
21.
by hyperhello 13d ago
This is like arguing about whether a hot dog is a sandwich (of course it is) or whether the chicken or the egg was first (obviously the egg since all chickens come from eggs). Intelligence is just problem solving in the context of self-awar
22.
by hyperhello 14d ago
No, the procedures are designed to reject more votes in blue areas, just like the procedures that somehow conclude that people named Williams, John, or Washington should be dropped from the rolls for being similarly named as other people na
23.
by hyperhello 14d ago
I guess so. If you could sort of measure the dark matter distribution, there might be a structure under it, but strictly speaking isn’t it limited to saying it’s not at least likely to emit light but does have mass.
24.
by hyperhello 14d ago
It's possible that there could be an entirely different charge mechanism that works exactly like ours but they don't interact at all; but the whole premise of dark matter is that it doesn't seem to have any self-interaction o
25.
by hyperhello 16d ago
Thoughtful UI. Really nice. Good job!
26.
by hyperhello 16d ago
Good, because my understanding that putting huge solar farms on acres of land is the most effective and harmless way to use solar is unchanged.
27.
by hyperhello 16d ago
This doesn’t seem to have anything to do with solar panels exactly, just suggests that nature has optimized so it can thrive equally in sun or shade, which seems logical; otherwise one area would have such an advantage it would outcompete t
28.
by hyperhello 17d ago
I never made that bad sequel connection before but you’re right. Both movies explain the unexplained with more unexplainable goops.
29.
by hyperhello 18d ago
Hobbies aren’t as fun when you have an overbearing friend who constantly shows off how much more they know and how quickly they can switch to talking about anything you want but in greater depth than you.
30.
by hyperhello 18d ago
It watches the stars for evidence of guilt.

More ›