维尼夜观萨格尔王捆绑凯撒证费尔马定理 @acme@social.cleverlibre.org

仔细看完NGOCN和CNN对编程随想的报道，真的好想哭。这次不仅为阮，还有贝和他的父母。

故事就像卡夫卡《审判》的当代版本，但有着更加暴力的开头，近十人的警察闯入房中带走阮，并搜查到「次日凌晨两三点」。但是不同于《审判》，接下来在不公的司法体制下徘徊的是贝，她只知道丈夫的罪名，却不知道丈夫到底写了什么。「在丈夫被抓后的一个月内，常因焦虑担忧而难以入眠」。

对丈夫网络身份的迷思持续了一年多。当语焉不详的一审判决书下来后，贝知道当局在隐瞒信息，她决心在互联网上找到他的网络身份，直到在网吧找到「编程随想」失声痛哭的瞬间。

另外，阮今年45岁，「身为退休大学教授的父亲已经85岁，母亲也已经76岁，老两口担忧着儿子的安危，日夜难眠。」

在CNN的报道中，贝也表示，如果早点知道，不会支持阮写政治博文的决定，因为她认为阮把时间花在技术对人类能有更大的贡献。

祈祷阮在二审中得到公正判决并早日恢复自由。

CNN: https://edition.cnn.com/2023/03/29/china/china-blogger-sentenced-program-think-intl-mic-hnk/index.html

NGOCN: https://ngocn2.org/article/2023-03-29-program-think-enemy-of-the-state

https://www.bilibili.com/video/BV1KD4y1M7og/

麻烦登记一下姓名住址身份证号，征兵时直接按图索骥

回国走马观花拉拉杂杂一番感慨（纯属所见所想，没有数据支持，你扛你说的对）：

1. 见过浦东机场的繁华，就知道什么叫萧条。周六早晨10点半我差点饿晕在浦东机场T1，不仅乘客寥寥，目光所到之处商铺也全部关门闭户。在问了两位工作人员后，总算找到了藏在某个角落里仅有的开门营业的四、五家餐馆。星巴克里完全没客人，两位店员在一旁闲聊。很难想象这里曾是世界上最繁忙的机场之一。

2. 所经机场全部需要二次安检。三、五步之内，必见警察。电子眼随处可见，不仅高速上有摄像头随时录入所经过车辆信息，城市里繁忙的主干道上每隔十几米必有一排N个摄像头，即使没有违章，也会被拍照到此一游。难怪国人经常称“中国是世界上最安全的国家”。

3. 去了一趟书店。一进门，最显眼两大展台摆放着各种党、政学习的大、小红书。全国山河一片红，指日可待。

4. 财政枯竭。朋友的公司去年给政府做了工程，未结算分文。今年的工程因为政府没钱也无法展开，据说好多政府单位现在只发基本工资。

1/3

股神巴菲特真是徒有虚名，我看他的屁股也不怎么翘嘛！

——老罗叔 https://m.weibo.cn/status/Ht6e6eEit

#Solidot 英伟达表示加密货币没有给社会带来任何有用的东西 https://www.solidot.org/story?sid=74510 #News

#Solidot ChatGPT 在文本标注任务中的表现超过了众包工人 https://www.solidot.org/story?sid=74513 #News

#Solidot Lookout 确认拼多多的非 Play 版本包含恶意代码 https://www.solidot.org/story?sid=74503 #News

"这种持续的改写不仅用于报纸，而且还用于书籍、期刊、小册子、画报、传单、电影、录音、漫画、照片，用于任何具有政治或意识形态重要性的文学作品或文献资料。每一天，几乎是每一分钟，过往的一切都在被更新。以这种方式，党所做的每一个预测一直都正确，并以相关书面证据示人；任何与时代需要相抵触的新闻或意见，永远不能出现在档案中。所有历史都被重写过，只要有必要，它们就会被彻底抹掉并被精确地重新书写。"——《1984》