Kevin Laeufer

@vighneshiyer is now working on this

nice find! This was most likely introduced in 447ac90ae3afee3a04bd764ebde7853ebe10b5cd. Reminds me of this [Debian cleanup](https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=363516)

@daniel-k, @salkinium can you try to figure out what the future of our (somewhat broken) GUI stack will be? Maybe there are some new students at RCA that want to...

> I believe that the current solution is sufficient for our simple GUI needs. OK. I just feel like the whole architecture involving the color palette is fundamentally broken: First...

> Well, I tried to "do it right" once and now I'm yak-shaving upainter… We do not change our complete model. I just think that the way `ColorPalette` is implemented...

I can recommend everyone to read the following papers by Hans Boehm who was involved with the new memory model for C++11: - **Threads cannot be implemented as a library**...

> This is more of a topic for a mailing list but I did not find one here http://xpcc.io/sitemap.html, I have been known to be stupid though ;) There is...

The big problem with this feature is that poking registers in a Verilator simulation is very difficult. Not because of the name mapping. Tracking register names and generating the correct...

I agree with the list, besides the _caching_ aspect, which for now is for experts only.

This can now be done using the formal backend. Biggest TODO is refining the user-facing API. Prototype: https://github.com/TsaiAnson/verif/blob/90b4d5f632d4f3e7cfa94623da63e3ec76c74c69/core/test/ConstrainedRandomTest.scala