01:24:40
| * caridy | quit (Remote host closed the connection) |
01:25:21
| * caridy | joined |
01:39:28
| * caridy_ | joined |
01:42:52
| * caridy | quit (Ping timeout: 255 seconds) |
02:02:59
| * AtumT | quit (Remote host closed the connection) |
02:18:22
| * jmdyck | quit (Ping timeout: 255 seconds) |
02:18:50
| * gsathya | quit (Ping timeout: 255 seconds) |
02:25:47
| * gsathya | joined |
02:26:53
| * jmdyck | joined |
02:50:40
| * not-an-aardvark | joined |
02:53:01
| * gibson042 | quit (Ping timeout: 255 seconds) |
03:37:33
| * jmdyck | quit (Quit: Leaving.) |
04:31:46
| * caridy_ | quit (Remote host closed the connection) |
04:32:03
| * caridy | joined |
05:25:06
| * gskachkov | quit (Quit: gskachkov) |
07:19:59
| * gskachkov | joined |
07:35:57
| * howdoi | joined |
07:40:45
| * isHavvy | joined |
07:43:27
| * Havvy | quit (Ping timeout: 240 seconds) |
10:18:30
| * IgnoredA1bience | quit (Ping timeout: 268 seconds) |
10:19:10
| * IgnoredAmbience | joined |
10:25:10
| * mylesborins | quit (Quit: farewell for now) |
10:25:41
| * mylesborins | joined |
10:43:02
| * AtumT | joined |
10:54:09
| * jmdyck | joined |
11:30:20
| * not-an-aardvark | quit (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
| * howdoi | quit (Quit: Connection closed for inactivity) |
13:35:30
| * gskachkov | quit (Quit: gskachkov) |
13:35:55
| * gskachkov | joined |
13:36:17
| * gskachkov | quit (Client Quit) |
13:36:55
| * gskachkov | joined |
14:40:09
| * dilijev | quit (Quit: Connection closed for inactivity) |
14:55:31
| * gskachkov | quit (Quit: gskachkov) |
16:03:40
| * gskachkov | joined |
16:32:48
| * gskachkov | quit (Quit: gskachkov) |
16:33:24
| * gskachkov | joined |
16:36:59
| * gskachkov | quit (Client Quit) |
16:39:54
| * gskachkov | joined |
16:44:12
| * gskachkov | quit (Client Quit) |
17:11:25
| * gskachkov | joined |
19:22:39
| * gskachkov | quit (Quit: gskachkov) |
19:24:15
| * gskachkov | joined |
19:34:17
| * gskachkov | quit (Quit: gskachkov) |
19:36:10
| * gskachkov | joined |
20:35:45
| * bradleymeck | joined |
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
| * AtumT | quit (Ping timeout: 255 seconds) |
22:38:11
| * AtumT | joined |
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
| * AtumT | quit (Remote host closed the connection) |