You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Yeah, I knew that already (from reading other tweets in the thread) before I even started working on the first version. But it's a neat bit-manipulation task.. I might add it to the example apps section in the RISC-V Bitmanip document.
Aaand here is something to compare your nMigen implementation against. (short2float.v in that same SVN directory.)pic.twitter.com/FmlNARzkLp
wow, that's impressively simple, it did not occur to me to derive the exponent like that.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
