Add some news dates

Author: kai-e

ReadMe.md

@@ -23,7 +23,7 @@ tba (currently my recent work is sequestered in [ARM](https://www.arm.com), [Qua
 
 ### misc
 
-The 2022 iteration of the [ACM Software System Award](https://awards.acm.org/software-system) goes to our team of authors of [seL4: formal verification of an OS kernel](https://doi.org/10.1145/1629575.1629596). [News Release](https://www.acm.org/media-center/2023/may/technical-awards-2022).
+**News 2023/05/03:** The 2022 iteration of the [ACM Software System Award](https://awards.acm.org/software-system) goes to our team of authors of [seL4: formal verification of an OS kernel](https://doi.org/10.1145/1629575.1629596).
 
 Recent presentations include
 - "Update on the adoption of synchronous languages at gh.st", Synchron 2020, [slides](http://synchron2020.inria.fr/slides/thu_0900_engelhardt.pdf)
@@ -34,7 +34,7 @@ Errata for the data refinement book: [pdf](pubs/dRE1998/errata.pdf).
 
 [Formalisations and proofs](misc/PVS/) of problems, e.g., from the "100 list" in [PVS](https://pvs.csl.sri.com/index.html).
 
-[Build instructions for PVS on ARM Macs](misc/PVS/ARMbuild/) (tested on M2, should be ok for M1, too).
+**News 2023/04/03:** [Build instructions for PVS on ARM Macs](misc/PVS/ARMbuild/).
 <!-- ## Life -->
 
 <!-- ### lit -->