| 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) |