hyperhello

25 ms·

31.
by hyperhello 22d 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.
32.
by hyperhello 22d 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.
33.
by hyperhello 22d 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.
34.
by hyperhello 22d 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”.
35.
by hyperhello 23d 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
36.
by hyperhello 23d 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
37.
by hyperhello 24d 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.
38.
by hyperhello 24d 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
39.
by hyperhello 25d ago
Thoughtful UI. Really nice. Good job!
40.
by hyperhello 26d 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.
41.
by hyperhello 26d 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
42.
by hyperhello 27d ago
I never made that bad sequel connection before but you’re right. Both movies explain the unexplained with more unexplainable goops.
43.
by hyperhello 27d 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.
44.
by hyperhello 28d ago
It watches the stars for evidence of guilt.
45.
by hyperhello 29d ago
I’m not clear on the process of getting all the material to the exact radius of the star. It seems like a society would build, at most, a sparse ring around the sun with their planet as an anchor point. Why would they build an entire sphere
46.
by hyperhello 29d ago
Considering the open shenanigans they’ve been trying on the voting systems, it’s reasonable to believe they have been doing shenanigans the public hadn’t known about. The machinery of vote suppression is well known to these Jim Crow loving
47.
by hyperhello 29d ago
Fried pickle chips $14. How am I supposed to enjoy myself?
48.
by hyperhello 29d ago
Works great.
49.
by hyperhello 1mo ago
A human author (well, an honest author) will try to talk through things and arrive at some point. What bugs me about AI generation is that it’s always simply a complication that grows out of a seed. “It’s not (complicated thing) — it’s (oth
50.
by hyperhello 1mo ago
No, but I’m getting really tired of seeing things that took less effort to write than it does to read. People have to process this AI-influenced LinkedIn-influenced SEO-optimized Reddit-template dung heap of worthless content-style and get
51.
by hyperhello 1mo ago
Not overthinking can be a superpower, but writing eloquently can be a superpower, and not trailing cliches behind your pen can be a superpower.
52.
by hyperhello 1mo ago
“Can be a superpower” is so empty. What does that mean outside of trying to proliferate some cliche?
53.
by hyperhello 1mo ago
Oh, I bet the author is kicking himself for not including a blinking high-brightness class.
54.
by hyperhello 1mo ago
Black and white photoshop, yes.
55.
by hyperhello 1mo ago
What I guess this all leads to is that we’re trying to create some kind of DSA that doesn’t have the possibility to hang or crash the way imperative programs must have the ability to if they are to be effective. So it seems like web design
56.
by hyperhello 1mo ago
I mean the action and target attributes don’t seem to appear anywhere else but the popover api. I’m in favor of HTML dialogs, I just don’t see the point in the trend of making everything into this declarative nightmare it’s becoming when we
57.
by hyperhello 1mo ago
popovertarget="example-dialog" popovertargetaction="hide" It’s all binding. This is what JavaScript is for: dynamic content.
58.
by hyperhello 1mo ago
I don’t understand why the group invented these new attributes and methods of action for dialogs that don’t seem relevant to anything else. Was there some silly patent to work around?
59.
by hyperhello 1mo ago
But that is an excellent way to show how long it takes to someone who doesn’t understand.
60.
by hyperhello 1mo ago
> If their results are true, then we will hardly need any data centres in the future, and the hyperscalers are wasting hundreds of billions of dollars in investments. What if they get sufficiently powered and watered industrial warehouse

More ›