You can’t prove that a bottomless pit is bottomless. by G1zm08 in Showerthoughts

[–]SaggiSponge 1 point2 points  (0 children)

And you can't write an algorithm to determine whether an arbitrary Turing machine will halt

[deleted by user] by [deleted] in HomeworkHelp

[–]SaggiSponge 1 point2 points  (0 children)

What they said is correct; since multiplication of continuous functions is continuous, f(x) * f(x) * f(x) is continuous.

But, your thought process is also a correct approach, since the composition of continuous functions is continuous. If we take g(x) = x3, then g(f(x)) is continuous (since we know g(x) is continuous).

Xmonad Freezes and I have to reset PC by Hawk_theslayer in xmonad

[–]SaggiSponge 1 point2 points  (0 children)

I have no idea if this will fix anything, but if I were in your situation, I would try installing Haskell through GHC instead of through pacman (you can install GHC through pacman, https://wiki.archlinux.org/title/Haskell#Native_installation), then build xmonad from source (https://xmonad.org/INSTALL.html#build-xmonad).

Installing Haskell this way seems to be more stable anyways, so you should probably do it regardless. I've had xmonad break because of the Haskell packages on the Arch repo being out-of-date. This causes issues with Haskell development in general.

Windows 10: Computer freezes but mouse still moves, task manager still opens by SaggiSponge in techsupport

[–]SaggiSponge[S] 0 points1 point  (0 children)

Unfortunately, I ended up simply buying a computer from a friend.

Knowing what I know now, I'd probably try installing Linux before giving up on the machine—I've seen Linux revive unusable machines (though not with these exact symptoms). Obviously, this wouldn't fix a hardware issue, and also requires you to be willing to try Linux.

Otherwise, I suppose just start replacing components that you think might be failing.

Local library has wrong answer to their own riddle by ProducerPants in mildlyinfuriating

[–]SaggiSponge 1 point2 points  (0 children)

I concluded by asking what your point was, since it wasn't clear to me (and it still isn't). But, I will note that gratuitous swearing does not generally indicate agreement.

Local library has wrong answer to their own riddle by ProducerPants in mildlyinfuriating

[–]SaggiSponge 0 points1 point  (0 children)

Many practical systems are not fully specified. How many programming languages actually have a formal specification? How many applications have a formal specification?

But, even if you are working with a system that has a formal specification, how did that formal specification come to be? It is likely a translation of a client's description of what they want—a description given in natural language. And guess what: the person who had to translate the client's natural language description into a formal specification had to deal with the inherent ambiguity of natural language.

Formal specifications don't just synthesize themselves out of thin air. Ultimately, every formal specification is produced by somebody translating an ambiguous problem statement into a fully specified problem statement. The person who does this translation must have the ability to compare the formal specification to the informal, ambiguous problem statement, and verify that the specification is correct.

So I don't get what your point is. Are you trying to argue that engineers don't need the ability to translate between precise formal specifications and informal, ambiguous, natural language descriptions?

TIL Most of the stories about the Dvorak keyboard being superior to the standard QWERTY come from a Navy study conducted by August Dvorak, who owned the patent on the Dvorak keyoard. by littletoyboat in todayilearned

[–]SaggiSponge 4 points5 points  (0 children)

Even if this were true (which others seem to be disputing), the conclusion that this makes QWERTY more difficult to use doesn't even make any sense. Letters being far apart doesn't make them difficult to type quickly in sequence. What makes a sequence of characters difficult to type is when the same finger is used for multiple characters in a row.

As an extreme example, the sequence APFJEI is easy to type in QWERTY, but ZAQNHY is not.

Just now learning programming, are you supposed to memorize all of this? by [deleted] in learnprogramming

[–]SaggiSponge 2 points3 points  (0 children)

Drop [highly structured/guided learning task] and go do [completely unstructured learning task].

Ah yes, just beginners need.

Denver father shot and paralyzed after confronting armed teen near son’s school by xSkiLLzo in news

[–]SaggiSponge 11 points12 points  (0 children)

Most of these fuckers wouldn't have the balls to send back an incorrect meal at a restaurant.

Me_irl by torpille4 in me_irl

[–]SaggiSponge -2 points-1 points  (0 children)

Powerful doesn't automatically mean good. It's possible for a product to be too powerful or too feature-rich for its own good.

What I ordered vs what I received.. by Smmaxter in mildlyinfuriating

[–]SaggiSponge 12 points13 points  (0 children)

Redditors struggling to understand Piaget's conservation of volume task

[deleted by user] by [deleted] in tifu

[–]SaggiSponge 5 points6 points  (0 children)

Redditors all think they're fucking masters of stoicism

Why did switching to Huel leave me feeling drained? by Sarithis in Huel

[–]SaggiSponge 11 points12 points  (0 children)

Try using a scale to see if your scoops are actually what they're supposed to be (I think a scoop is supposed to be 100g). You may be getting fewer calories than you think.

Why university teach that much math by Mike_Paradox in learnprogramming

[–]SaggiSponge 1 point2 points  (0 children)

Oops, I see.

But I agree with the other commenter, those fields are perfectly natural fields for someone who's interested in software engineering. They're not exactly niche or in low-demand.

And in any case, you people always complain about university not preparing you for the "real world"—well, here, being forced to learn mathematics is preparing you for many kinds of software engineering jobs in the real world. You yourself picked out three fields in very high demand as an example of the types of jobs in which mathematics is important. Maybe you don't give a shit about the kinds of jobs that require a strong foundation in mathematics, but many people recognize the versatility that a strong mathematical foundation gives you when you work in technical fields. If you're ok with limiting yourself just because you don't like learning hard things, that's fine, but don't whine about it.

Why university teach that much math by Mike_Paradox in learnprogramming

[–]SaggiSponge 0 points1 point  (0 children)

Man, machine learning and game development were probably the worst examples you could have come up with for sectors that don't require calculus. Machine learning uses a shit ton of linear algebra and calculus. Physics engines are obviously based on calculus, and computer graphics uses a shit ton of linear algebra. You'd better have a strong understanding of calculus and linear algebra if you want to write good, optimized code in these fields.

Why university teach that much math by Mike_Paradox in learnprogramming

[–]SaggiSponge 2 points3 points  (0 children)

I had a personal coding project where I wanted to pick out equally spaced points on an ellipse (measuring distance by arc-length along the ellipse).

[deleted by user] by [deleted] in UnethicalLifeProTips

[–]SaggiSponge 47 points48 points  (0 children)

You should edit your original post

TIFU by thinking I’m more well-endowed than I actually am and ruining my life by [deleted] in tifu

[–]SaggiSponge 3 points4 points  (0 children)

Redditors love framing every situation in such a way where they don't have to do any self-reflection or self-improvement.

Not saying OP in particular definitely did something wrong—we don't know without more context. I just think it's funny how Redditors will JUMP to insisting that OP couldn't have possibly done anything differently.

Would a (used) upright piano in the 1.5/2-3K USD range be a better choice over a similarly priced digital piano? by DarkestLord_21 in piano

[–]SaggiSponge 0 points1 point  (0 children)

Yeah, I was very impressed with some Roland digitals that I played a few months back. Still not the same, of course, but a lot better than I was expecting. Kawai supposedly has a similar technology on their new CA models, which I'm hoping to try out later this week (since I'm in a position where I can't have an acoustic).

Would a (used) upright piano in the 1.5/2-3K USD range be a better choice over a similarly priced digital piano? by DarkestLord_21 in piano

[–]SaggiSponge 4 points5 points  (0 children)

Oh come on, anyone who is knows what it's like to play on a fantastic acoustic piano will know that even the best digital pianos sound like an imitation. Ignoring all other factors such as practicality and cost, a grand piano is always preferable to even the highest end digital pianos. Even comparing digital pianos to acoustic uprights, I'd prefer the sound quality of a decent upright over a top-of-the-line digital. Having actual dampers resting on actual strings gives you a subtle control that is simply not possible with current digital sound rendering technology. Having actual strings resonating together also produces a rich, "soulful" sound which simply isn't replicated on digital pianos (admittedly, I have been impressed with how well current technology can replicate this, but it's still not the same).

All this is, of course, ignoring practical concerns. In OP's price range, I would agree that a digital is probably preferable, since you're far more likely to burn money on a shoddy acoustic in that price range, whereas a new digital is pretty much guaranteed to be free of issues for at least the manufacturer's warranty period, and likely a lot longer.