3 ms·
The question is: where do you draw the line? * The SAT wrapper? * The SAT library? * The math library the SAT library depends upon? * The LibC? * The operating
by fho 3y ago
The question is: where do you draw the line?
* The SAT wrapper?
* The SAT library?
* The math library the SAT library depends upon?
* The LibC?
* The operating system?
* The processor?
* The lithography machine manufacturers?
* The guys that provided the raw silicone?
- cellularmitosis 3y ago"...or as I've taken to calling it recently, SAT slash LAPACK slash MUSL slash GNU slash Linux"
- lucideer 3y agoThere's no hard line to be drawn anywhere - trying to shoehorn the argument into the metaphor of a line somewhere doesn't track. Two framings to attempt to answer your question reasonably: Framing 1: Should information on all the things you listed be available & accessible? In an ideal world, I think so. Of course that doesn't translate to all of them being pushed into users faces while they attempt to play Factorio (they don't even know how to install python & haven't even unlocked balancers yet). It just means: can I find it on the internet. Right now, thankfully, I can for most of it (sadly silicon supply chain transparency isn't quite where it could be). Framing 2: Should the above information be readily apparent: that's a question that's much more dependent on degrees of abstraction. In this case, the gp is offering feedback that the SAT libraries are at a level of abstraction that makes them relevant enough to someone running the python tool in their cli. I would tend to agree.