01:24:40  * caridyquit (Remote host closed the connection)
01:25:21  * caridyjoined
01:39:28  * caridy_joined
01:42:52  * caridyquit (Ping timeout: 255 seconds)
02:02:59  * AtumTquit (Remote host closed the connection)
02:18:22  * jmdyckquit (Ping timeout: 255 seconds)
02:18:50  * gsathyaquit (Ping timeout: 255 seconds)
02:25:47  * gsathyajoined
02:26:53  * jmdyckjoined
02:50:40  * not-an-aardvarkjoined
02:53:01  * gibson042quit (Ping timeout: 255 seconds)
03:37:33  * jmdyckquit (Quit: Leaving.)
04:31:46  * caridy_quit (Remote host closed the connection)
04:32:03  * caridyjoined
05:25:06  * gskachkovquit (Quit: gskachkov)
07:19:59  * gskachkovjoined
07:35:57  * howdoijoined
07:40:45  * isHavvyjoined
07:43:27  * Havvyquit (Ping timeout: 240 seconds)
10:18:30  * IgnoredA1biencequit (Ping timeout: 268 seconds)
10:19:10  * IgnoredAmbiencejoined
10:25:10  * mylesborinsquit (Quit: farewell for now)
10:25:41  * mylesborinsjoined
10:43:02  * AtumTjoined
10:54:09  * jmdyckjoined
11:30:20  * not-an-aardvarkquit (Quit: Connection closed for inactivity)
12:54:02  * ephemera__quit (Quit: No Ping reply in 180 seconds.)
12:55:32  * ephemera_joined
13:22:35  * howdoiquit (Quit: Connection closed for inactivity)
13:35:30  * gskachkovquit (Quit: gskachkov)
13:35:55  * gskachkovjoined
13:36:17  * gskachkovquit (Client Quit)
13:36:55  * gskachkovjoined
14:40:09  * dilijevquit (Quit: Connection closed for inactivity)
14:55:31  * gskachkovquit (Quit: gskachkov)
16:03:40  * gskachkovjoined
16:32:48  * gskachkovquit (Quit: gskachkov)
16:33:24  * gskachkovjoined
16:36:59  * gskachkovquit (Client Quit)
16:39:54  * gskachkovjoined
16:44:12  * gskachkovquit (Client Quit)
17:11:25  * gskachkovjoined
19:22:39  * gskachkovquit (Quit: gskachkov)
19:24:15  * gskachkovjoined
19:34:17  * gskachkovquit (Quit: gskachkov)
19:36:10  * gskachkovjoined
20:35:45  * bradleymeckjoined
21:53:32  <cloudshu>dang the module stuff so many levels of subsections now
21:56:54  <cloudshu>clarifying question: is the SCC algo in the new Instantiate/Evaluate Tarjan's? (that is, is the DFSAncestorIndex what's usually "lowlink"?)
22:05:53  <cloudshu>Domenic: ^
22:25:47  * AtumT_joined
22:28:27  * AtumTquit (Ping timeout: 255 seconds)
22:38:11  * AtumTjoined
22:40:07  * AtumT_quit (Ping timeout: 255 seconds)
22:55:29  <Domenic>cloudshu: Georg knows the details of that better than I do, but I believe that's the case... that said, skimming the wikipedia definition, there's a mismatch.
22:55:37  <Domenic>Which Wikipedia notates as:
22:55:39  <Domenic> // Note: The next line may look odd - but is correct.
22:55:39  <Domenic> // It says w.index not w.lowlink; that is deliberate and from the original paper
22:55:43  <cloudshu>Domenic: you're talking about the lowlink min thing?
22:55:48  <Domenic>indeed
22:56:00  <cloudshu>Domenic: i'm pretty sure the code works either with taking min of lowlink and index, or lowlink and lowlink
22:56:09  <cloudshu>Domenic: but it's been a while since i've reasoned through it
22:56:36  <Domenic>Intuitively that makes sense, but my intuition is weak
22:57:24  <Domenic>https://stackoverflow.com/questions/16250337/about-tarjans-algorithm-for-finding-scc perhaps
22:59:12  <cloudshu>Domenic: ah, great!
22:59:52  <cloudshu>and they say you never use the interview algorithms anywhere
23:52:11  * AtumTquit (Remote host closed the connection)