matt_d

Slides: http://www.srl.inf.ethz.ch/workshop2016/Su.pdf Video: https://www.youtube.com/watch?v=x4JUUlO9XGY Homepage: http://web.cs.ucdavis.edu/~su…

A `constexpr` function storing result in a `constexpr` variable (you need both for the compile-time evaluation guarantee): http://en.cppreference.com/w/cpp/language/cons…

I believe the contracts (preconditions, postconditions, assertions) proposal may address this issue. The latest proposal is P0380, "A Contract Design": https://wg21.link/P038…

> can it be used as a type name of a variable or function argument? If I understand correctly, placeholders may work for this. This use is described in the "Programming with placeholders"…

Try Bitsavers (an amazing work in the service of historic preservation): http://www.bitsavers.org/ Previously discussed here: https://news.ycombinator.com/item?id=1014…

STOKE, a stochastic superoptimizer, is pretty interesting in this context: http://stoke.stanford.edu/ & https://github.com/StanfordPL/stoke …

Here's a collection of get-started resources: http://tinyurl.com/fpga-resources You can start with the EDA Playground tutorial, practice with HDLBits, while going through a book …

It's a modern version of the megahertz myth: https://en.wikipedia.org/wiki/Megahertz_myth#Modern_adaptati... I think this makes even less sense as we go to 1,000 processing …

Reminded me a bit about the modern DRAM issue, i.e., row hammer -- although the details are of course different -- https://en.wikipedia.org/wiki/Row_hammer …