I can not figure out what the talk will be about, but I am certain it will be about something.
-
This Tweet is unavailable.
-
Replying to @dscoughlin @johnregehr
Claire Xen 🏳️⚧️ 🏳️🌈 🧙🏻♀️ BLM 🏴 🚩 Retweeted Claire Xen 🏳️⚧️ 🏳️🌈 🧙🏻♀️ BLM 🏴 🚩
Claire Xen 🏳️⚧️ 🏳️🌈 🧙🏻♀️ BLM 🏴 🚩 added,
Claire Xen 🏳️⚧️ 🏳️🌈 🧙🏻♀️ BLM 🏴 🚩 @oe1cxw
Not at all. It is about the RISC-V spec. RISC-V has a couple of specification holes, but currently there is no official semantic for what this means exactly. The talk gives an overview over different options, with emphasis on verifiability/falsifiability of implementations.
9:19 AM - 3 May 2018
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.