add camera-ready version of itree-program-logic paper

[web.git] / personal / _posts / 2023-12-27-open-source-peer-bonus.md

diff --git a/personal/_posts/2023-12-27-open-source-peer-bonus.md b/personal/_posts/2023-12-27-open-source-peer-bonus.md
index 788c42e212ed9d07d507fb984af527fb9a206e98..6214be72f3d208feec7b83669ce5a2a9531cd0ae 100644 (file)
--- a/personal/_posts/2023-12-27-open-source-peer-bonus.md
+++ b/personal/_posts/2023-12-27-open-source-peer-bonus.md
@@ -9,6 +9,8 @@ But it turns out sometimes these emails are real!
 Meanwhile the [official announcement](https://opensource.googleblog.com/2023/12/google-open-source-peer-bonus-program-announces-second-group-of-2023-winners.html) has been released which lists me as a recipient of this bonus as a thank you for my work on Rust.
 So this one time, it wasn't spam after all!
 
 Meanwhile the [official announcement](https://opensource.googleblog.com/2023/12/google-open-source-peer-bonus-program-announces-second-group-of-2023-winners.html) has been released which lists me as a recipient of this bonus as a thank you for my work on Rust.
 So this one time, it wasn't spam after all!
 

+<!-- MORE -->
+

 Thanks a lot to Google for this program at the $250 reward; it is great to see open source work honored this way.
 I have donated the amount in full to [noyb](https://noyb.eu/en), who I'm sure will be using it [for good](https://noyb.eu/en/noyb-win-first-major-fine-eu-1-million-using-google-analytics).
 
 Thanks a lot to Google for this program at the $250 reward; it is great to see open source work honored this way.
 I have donated the amount in full to [noyb](https://noyb.eu/en), who I'm sure will be using it [for good](https://noyb.eu/en/noyb-win-first-major-fine-eu-1-million-using-google-analytics).