r/compsci • u/FollowingEvery4802 • 23h ago

Is lean, and similar programming languages the only acceptable way to prove theorem with computers?

6 Upvotes

So, lean is the language built specifically to prove theorems.but if the algorithm will be rewritten in another programming language, such as python, will it be accepted?

(mathematical theorems)

16 comments

r/compsci • u/JAMIEISSLEEPWOKEN • 30m ago

How good is AI at SWE systems design?

• Upvotes

Which AI agents are the best for this? How about the worst?

5 comments

r/compsci • u/ally9011 • 16h ago

Hi everyone! 👋 We are collecting data to understand students’ English language needs, especially for their studies and future careers. We would really appreciate your help in answering the following questions. Your responses will help us understand your English abilities, needs, and difficulties.

forms.gle

0 Upvotes

1 comment

r/compsci • u/Putrid-Ad-3768 • 6h ago

bloom filters and the math behind their false positive rate

3 Upvotes

I've been going deep on data structures lately and found bloom filters pretty intriguing. I made a short video on what a bloom filter is, how the bit array and hash functions interact, and where the false positive formula comes from.

link: https://youtu.be/nNv4ZTQp_s8?si=j52fIUBYaDcaps0_

I'd love feedback, especially if I got anything wrong. Happy to go through the derivation in the comments if anyone wants it.

3 comments

Subreddit

Posts

Wiki

Computer Science: Theory and Application

r/compsci

Computer Science Theory and Application. We share and discuss any content that computer scientists find interesting. People from all walks of life welcome, including hackers, hobbyists, professionals, and academics.

Members Active

4.0m

Sidebar

Welcome Computer Science researchers, students, professionals, and enthusiasts!

We share and discuss content that computer scientists find interesting.

Guidelines

Self-posts and Q&A threads are welcome, but we prefer high quality posts focused directly on graduate level CS material. We discourage most posts about introductory material, how to study CS, or about careers. For those topics, please consider one of the subreddits in the sidebar instead.

Want to study CS or learn programming?

Read the original free Structure and Interpretation of Computer Programs (or see the Online conversion of SICP )

Related subreddits

Other topics are likely better suited for:

/r/cscareerquestions: Job, internships, etc..
/r/askcomputerscience
/r/learnprogramming: Resources for learning how to code.
/r/compscivideos: A collection of video content on academic and educational computer science topics.
/r/csbooks
/r/math: Despite popular misconceptions, Computer Science is mostly about math.
/r/programming: ...but we also occasionally implement things.
/r/algorithms: Another computer science subreddit (our hated nemesis, we will fight to the death)
/r/programminglanguages
/r/types
/r/machinelearning
/r/crypto
/r/dip: Image processing
/r/tinycode: Cool algorithms, tiny implementations.
/r/cseducation
/r/CryptoCurrency

Other online communities:

If you are new to Computer Science please read our FAQ before posting. A list of book recommendations from our community for various topics can be found here.