@deech @andnull I've been quite happy with opam and Dune. I'd say I've tested hobby level projects that cover the basics nicely. This is on Linux, so I could imagine a very different experience with a different platform/ environment.

@bagder Great accomplishment. Another heuristic I find useful to guide is minimize the number of functions with more than two nested levels of flow control....probably a graph for that already...lol.

@paul_ipv6 @marick I've benefited from https://www.rulequest.com/gritbot-info.html over the years.

@logosity @marick This conversation is deceptively complex. At least the story I tell myself about using a methodology, is that it's my acknowledgement that I'm an idiot that is very prone to mistake making and using a methodology helps me identify those mistakes in private and early, before they become public or before they become load bearing (and I've expended energy) in a way that makes later work unsound or unreliable (wasted energy)...but even in this framing, it's very much about controlling decision making, even if it's all internal. Somewhere in this framing is some emotional labelling regarding "controlling decisions." (I find great comfort with models, especially the more rigorous they are.) You've both given me something to ponder a bit about this evening. Thank you.

@marick It's a great song/video that I hadn't watched in quite a while, thank you for sharing it today.

@marick Sean Carroll just released a solo podcast on quantum and has a description of the Copenhagen interpretation in the first 15 minutes or so, https://www.preposterousuniverse.com/podcast/2026/05/25/355-solo-looking-quantum-mechanics-in-the-eyeball/

@marick Good company.

@marick I cannot really add to the validity of any of the article. I gather that some physicists are into many worlds interpretation and that string theory continues to be worked on and matured. And people like Daniel Harlow are working towards a theory that includes gravity.