nfltn

5 ms·

1. 1.▲
   by nfltn 7y ago

   I've had a lot of trouble getting permission to use Wolfram Engine. If authors are at a BigCorp, might be true for them as well.
2. 2.▲
   by nfltn 7y ago

   Some of these decision problems have thousands of examples because they correspond to industrially relevant problems. So, not automatically generated all at once, but gleaned from people who have been using CAS for decades to solve specific
3. 3.▲
   by nfltn 7y ago

   I understand. To explain: the thing that's super interesting to me about this paper (i.e., "strong result" vs. "best paper contender") is not integration per se. It's the possible applications of the method t
4. 4.▲
   by nfltn 7y ago

   I'm also curious whether there are problems that Mathematica can solve but this system cannot. More importantly, I'm curious if there are problems that Mathematica knows it can't solve but for which this system silently gives
5. 5.▲
   by nfltn 7y ago

   Except for residential students. Living rent-free with parents [0] in Chicagoland and taking the commuter rail into UIC/U Chicago/Northwestern is going to be a lot cheaper than renting an apartment in Champaign-Urbana. Moving to a
6. 6.▲
   Security flaws caused by compiler optimizations(redhat.com)

   136 points by nfltn 7y ago|56 comments