**** BEGIN LOGGING AT Thu Jan 04 03:00:01 2018
Jan 04 04:23:12 <pabs3> http://www.antipope.org/charlie/blog-static/2018/01/dude-you-broke-the-future.html
Jan 04 04:24:25 <pabs3> https://www.postmarketos.org/blog/2017/12/31/219-days-of-postmarketOS/
Jan 04 08:57:51 <PaulFertser> There was a talk about full math verification of RISC-V HDL code at 34C3
**** ENDING LOGGING AT Fri Jan 05 03:00:01 2018