this post was submitted on 04 Apr 2024
35 points (100.0% liked)

Actually Useful AI

1999 readers
7 users here now

Welcome! ๐Ÿค–

Our community focuses on programming-oriented, hype-free discussion of Artificial Intelligence (AI) topics. We aim to curate content that truly contributes to the understanding and practical application of AI, making it, as the name suggests, "actually useful" for developers and enthusiasts alike.

Be an active member! ๐Ÿ””

We highly value participation in our community. Whether it's asking questions, sharing insights, or sparking new discussions, your engagement helps us all grow.

What can I post? ๐Ÿ“

In general, anything related to AI is acceptable. However, we encourage you to strive for high-quality content.

What is not allowed? ๐Ÿšซ

General Rules ๐Ÿ“œ

Members are expected to engage in on-topic discussions, and exhibit mature, respectful behavior. Those who fail to uphold these standards may find their posts or comments removed, with repeat offenders potentially facing a permanent ban.

While we appreciate focus, a little humor and off-topic banter, when tasteful and relevant, can also add flavor to our discussions.

Related Communities ๐ŸŒ

General

Chat

Image

Open Source

Please message @sisyphean@programming.dev if you would like us to add a community to this list.

Icon base by Lord Berandas under CC BY 3.0 with modifications to add a gradient

founded 1 year ago
MODERATORS
 

Iโ€™ve updated @Mistral@lemmings.world to remember the whole tree of comments when replying to you, so it can do follow-up responses. You still have to mention it on every message, though. Example in the comments.

you are viewing a single comment's thread
view the rest of the comments
[โ€“] PM_ME_VINTAGE_30S@lemmy.sdf.org 2 points 7 months ago (1 children)
[โ€“] rikudou@lemmings.world 2 points 7 months ago (2 children)

Is it at least making sense or is it making stuff up?

[โ€“] PM_ME_VINTAGE_30S@lemmy.sdf.org 1 points 7 months ago* (last edited 7 months ago)

Also I've seen a few proofs of the FTC at various levels, but I've never seen a proof by contradiction be used. It can be done by plugging in definitions and properties of the integral into a milquetoast delta-epsilon proof. It's less than a page for both theorems in "baby Rudin." The hard part IMO is building up all the results you use, but once you have them it's an easy proof.

It's screwed up a couple times. For example, the bit about "by the properties of limits you can interchange the limits" is hilariously untrue.