wohlergehen

8 ms·

1. 61.▲
   by wohlergehen 10y ago

   On a related note, as far as I can tell the STOKE code seems to be incorrect w.r.t. aliasing between y and x, i.e. if x == y + 1. Makes me wonder what SMT solver claims are worth in the literature.
2. 62.▲
   by wohlergehen 10y ago

   Respectively exponential or linear in the input size. The NFA in exchange is exponential in the states (or rather, it's deterministic counterpart is).
3. 63.▲
   To Keep U.S. Jobs, Chip Makers Share a Factory and Pin Hopes on Trump(nytimes.com)

   3 points by wohlergehen 10y ago|0 comments
4. 64.▲
   by wohlergehen 10y ago

   TLDR: When using an iterative solver, do the first few calculations in reduced precision, and only then switch to double -- It is more energy efficient.