2:12 AM
@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)

2 hours later…
4:46 AM
Ok last night dream gave me a very weird claim:
"Machines can spontaneously learn a notion of privacy and its protection when they are forced to do surveillance on each other too much"

In the dream's context, it is the result of screwup of humanity allowing digital surveillance states to grow without bound, as a result, machines in that setting learned to preserve their privacy thus they started to turn against humans and each other
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 ?

2 hours later…
6:35 AM
@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

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

7:54 AM
Thank god after a week of attempts, I have tensorflow working.

I was Wigner's friend

1 hour later…
9:25 AM

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

10:27 AM
@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

2 hours later…
12:24 PM
@tpg2114 @Chris can you clarify what happened here?

4 hours later…
4:07 PM
@ThomasKlimpel Aren’t you working on Group Theory? I read somewhere Group Theory was born out of the works of Russell and Whitehead.

4:26 PM
@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.

5:21 PM