/sci/ - Science & Math

>>16097965
If I have to learn remedial things, then I have to learn remedial things. This doesn't bother me.

It also doesn't bother me if I have to look at a lot of places to learn something. I had trouble with Lambda Calculus, until someone gave me a BNF grammar for it. It became easier to understand at that point because finally the syntax is clear, so I can focus on the semantics. I looked in about a dozen books before finding that.

So far I haven't found anything that deters me from math. I wish every kind of math was required to have a grammar.

Also Coq and Metamath are ugly to look at compared to other languages. Why are they so ugly?

>>16061460
Thank you for showing me this. I don't think compression is a function. I think compression is a procedure.

The idea that there is no function which can compress all arbitrary data doesn't really bother me.

>>16005650
Maid-LZW is using ISO 8859-1. The extracted file ends up being the same size as the original.

>>15980120
That's generally what you do.when someone gives you something for free.

>>15924562
You might not care, but I think Collatz is interesting and I'm not the only one. I just want to post small example code in an easily readable way.

I guess I could always typeset it in a PDF and upload the PDF, but that seems excessive.

>>15846857
Computer Science is a science, and Magic Squares are math.

When I asked on /g/ the only replies were one person who wants to lick Tohru's feet and someone else who told me to post on /sci/.