@Student404Mus Postdocs do not usually take courses. Rather they might actually give courses.

@ZeroTheHero they don’t attend classes within their discipline, at least. I could conceive of a postdoc attending lectures for a subject they’re needing to get invested in. (But even then, they’d attend but there’s little reason they’d take it for a grade )

If you want to learn about something as a postdoc, you typically read up on the literature

@Semiclassical fair enough. I did partially audit a class on finite fields (algebraic finite fields) and another on graph theory... Of course as a postdoc there was always another paper to write so I couldn’t invest time into assignments etc.

(nothing for credit of course, and nothing required either)

I need to check in the literature whether you can really have emergent privacy that way, because at first glance it is plausible for interacting machines, privacy could arise as a countermeasure against surveillance

@vzn ?

@tpg2114 I tried installing tensorflow with miniconda and it installed properly but when I run it it gave me an error that I'm some mkl_intel_thread.dll...

other times when i've installed tensorflow (on previous PCs) it worked flawlessly.

I guess I'll be trying again on python 3.6

@ShaVuklia happy to hear it seems to have worked out :)

Thank god after a week of attempts, I have tensorflow working.

I'll admit to it

I was Wigner's friend

@Knight Glad to hear. I am currently reading Seven Sketches in Compositionality: An Invitation to Applied Category Theory together with other enthusiasts.

Oh no, @ThomasKlimpel has been brainwashed by the nlab people!

The next piece I have to write myself will talk about the fact that fields are the subdirectly irreducible objects in the (equation definable) category of commutative inverse rings and that total orders are also subdirectly irreducible objects in a suitable category (I have not fully worked out that category yet). But part of that piece is also to explain why this does not help much, but also that the phenomenon still occurs quite naturally and is not an artificial construction.

I need to administer the test to see how far @ThomasKlimpel is gone

Quick @ThomasKlimpel, what is this : $1$

@Slereah Not really. Those enthusiasts are actually (some of) the same people I was hanging around with before, when I wanted to talk about logic.

@Slereah It is a natural number, the successor of zero, you could write it as $S(0)$ if you wanted (assuming you defined S to denote the successor function).

Good.

The worst answer was "This is the terminal natural number object."

Every time I want to show something rigorously, I have to step back

I wanted to show radar synchronization, then I had to do some causal theory, now I'm back to doing Lorentzian vector spaces theorems

This is the Snooki law all over again

@Slereah basically you should be able to calculate the probability of a shit being in the form of a pickaxe during 3 to 2 seconds of fall in order to understand 1/1000 of string theory.

String theory is a big theory

@Slereah I think I need to know special relativity to understand that sentence.

Bigness can be understood via classical mechanics

As measurements of big are also done there

@tpg2114 @Chris can you clarify what happened here?

@Knight Well, group theory is older than the works of Russell and Whitehead. It was born from the works of Niels Henrik Abel and Évariste Galois. My study of logic was started by investigations on hierarchical structures. I was trying to understand a strange asymmetry between variables and equations in non-linear differential algebraic equations. In the end I understood why it happened, and what it meant.

@ThomasKlimpel Wow!

hello

hi