4 ms·
TBM 333: Lean Graph Theory
- munchler 2y agoDang, I was hoping this might be something cool about graphs in the Lean language/theorem prover.
- pfdietz 2y agoI was expecting that too. :(
- aithrowawaycomm 2y agoSame here - maybe the HN post should be retitled to "Lean Manufacturing and Graph Theory."
- cobertos 2y agoSame! It's a field I mess around with a lot as an amateur and was hoping to get a better hang on it for a personal project.
- nivertech 2y agoI wouldn’t use a tree to depict a DAG. While technically true, it’s not the first thing that comes to mind when you think about DAGs. And in the context of the Product Management, I would’ve split it into Trees and DAGs. E.g. a tree is when you recursively subdivide tasks into smaller ones, where at the leaves you have a ready for execution tickets. While DAGs are more like workflows or pipelines.