/sci/ - Science & Math

Hi /sci/, I'm doing a science project and I need to gather data. Willing participants please post your bone-pressed erect length (BPEL) and erect girth, both in centimeters, to this thread, along with a recent IQ measurement. Online IQ tests are ok but please indicate beside the number what website you used. I will then analyze the data in R and determine scientifically whether smarter people have big dicks (hypothesis) or not (null hypothesis).

20+ years olds only please as the dick and brain are not fully developed before then, possibly skewing the data.

>>10377379
"Theoretical" and particle physics are basically a hoax designed to get trillions in grant money. All this while my keeds be starvin' an' sheet tryin' to unite type theory with algebraic topology.

>>10195751
CS isn't really about coding. You're thinking about software engineering degrees.

>>10195825
There's actually a very big intersection between formal logic, theoretical CS, and pure math revolving around the correspondence between category theory, type theory, and logic. In comp sci specifically there are several communities that specialize in this with lots of funding, labs, and even stuff like summer schools (eg. OPLSS). HoTT is actually researched by both mathematicians and computer scientists in different directions. Theorem provers are actually special types of programming languages and the main people studying and developing them are computer scientists. There's also a lot of stuff like >>10195852 where computer science is being studied with grad level math that requires a strong pure math background.

>>10195849
>babby math

>>10195901
Statistics is only useful for applied bullshit. Same with diff eq and other babby math that only scienceplebs care about. If you want to do undergrad research in theoretical comp sci you're going to want some background in abstract algebra and ideally category theory (maybe even topology and either an advanced computability course or a foundations of math course along with a bunch of theoretical comp sci classes).

>>10055493
It's not that uncommon. The HoTT book does it too and when you buy a paperback copy it includes the hash of the last commit.

>>9860744
Not that guy but you are wrong. Category Theory is studied for its own sake and there is a wealth of beautiful and rich theory there.

There is also a large community of mathematicians and computer scientists that study it from the programming language theory perspective as there is a powerful relationship between type theory, logic (classical and non-classical), and category theory. The Homotopy Type Theory project lies in this intersection and it's currently one of the most well funded areas of research in either field.

Read HoTT.

https://homotopytypetheory.org/book/

This board should be for math and hard sciences only (meaning physics and chemistry)
Biobrainlets (with the possible exception of biochemists and molecular biologists), social "scientists" (anthropologists, psychs etc.), shrinks and monkies from medschool should GET THE FUCK OUT OF THIS BOARD!!

>>8962450
Someone needs to shoop that picture with some more appropriate /sci/ reading.

>>8338637
Hell yea bro.

The HOTT book being a non-textbook on a technicality automatically makes it the best non-textbook out there for /sci/. Hitlerfags can go suck a dick.

>>8228455
>mw /pol/ can't into logic, economics, mathematics, or rational thought altogether.
>constantly claims to be using said things when arguing with plebs but as soon as they get BTFO by an educated person their answer is "lol ur so smart you aren't relatable to retards like myself".

>>8104016
mathfag here

General purpose and babby shit.
>Python

Mathy computational algorithms + prototyping
>Matlab/Octave
>Python with Scipy/Numpy

Statistics
>R
>Stata/SPSS
>Look around, stats and data science people have their own languages and libraries for their own niches.

Serious computational shit
>C/C++ with GMP (GNU MP Bignum library)
>Specialized applications also have their own frameworks and languages such as machine learning.

>For more academic purposes
>Haskell (easy to verify correctness and build good abstractions, also teaches you to write good code by the way of functional programming, also gives you background knowledge/experience for learning category theory later on)
>Prolog (inefficient but has niche applications)

For the "If math doesn't pan out for me I can always become a codemonkey" safety net
>Java
>Javascript + Node.js + some frameworks