Ciro Santilli @cirosantilli  40

A branch of mathematics that attempts to prove stuff about computers.

Unfortunately, all software engineers already know the answer to the useful theorems though (except perhaps notably for cryptography), e.g. all programmers obviously know that iehter P != NP or that this is unprovable or some other "for all practical purposes practice P != NP", even though they don't have proof.

And 99% of their time, software engineers are not dealing with mathematically formulatable problems anyways, which is sad.

The only useful "computer science" subset every programmer ever needs to know is:

Funnily, due to the formalization of mathematics, mathematics can be seen as a branch of computer science, just like computer science can be seen as a branch of Mathematics!

Evil. Just use Python instead for software, and a well known data file format for data, please.

The main reason Ciro Santilli never touched it is that it feels that every public data set has already been fully mined or has already had the most interesting algorithms developed for it, so you can't do much outside of big companies.

This is why Ciro started Ciro's 2D reinforcement learning games to generate synthetic data and thus reduce the cost of data.

The other reason is that it is ugly.

One of the saving graces of open source is that you ship shit, but you don't announce vaporwave.

Easily classified as the direct product of cyclic groups of prime order.

Best ones: