free programthink

支持编程随想阮晓寰无罪释放，坚持独立思考，提高思维能力|Support the acquittal of program-think(Ruan Xiaohuan) , independent thinking, and improve thinking ability

[free programthink @B_C_S_X]

@rare_jpg 8964

[Elon Musk @elonmusk]

True

[BBR VIBES @BBR_VIBES]

Ils l'ont torturé pendant 4 mois et ont fini par le tuer par étouffement par insertion de leur sexe dans sa bouche.

Comment l'humanité, en tant que groupe, peut-elle décider de ne pas - au minimum - tuer les gens qui ont fait ça ?

[Elon Musk @elonmusk]

@ThaisEscufon @leparisien Execute them

[free programthink @B_C_S_X]

@BritishBastardX good job

[Suyutong @Suyutong]

今天是 #编程随想 失去自由後的第六個生日，也是他的49歲生日。根据德國傳統「整日未滿，不說祝福」，所以我等到中國時間的晚上才發布這條推文。无法說出祝他生日快樂這樣的話，惟願他早日自由！昨天我再次向德國提及了他的案例，持續關注、聲援他，是我作為受他啓蒙者，唯一能做、也必須做的事情。

[~ @7why__ydm]

Twitter is such a goated app, it feels like a psych ward with no staff

[Isaac @isaacrrr7]

IRÁN: Aida Rostami fue una médica valiente. Atendía a personas que luchaban por la libertad, protestando contra el régimen.

Por eso, el régimen islámico la castigó de la manera más cruel. Fue torturada y le fracturaron huesos, la nariz y los hombros. Le arrancaron el ojo izquierdo. Luego, la asesinaron.

Su cuerpo quebrado cuenta una historia de una crueldad inimaginable. Aida no merecía esto: era una sanadora, no una criminal. El régimen le quitó la vida por atreverse a ayudar a otros. Su sacrificio no debe ser olvidado.

Comparte esto. El mundo debe saber.

[全民反抗运动 @China_resist]

2021年5月11日，博主编程随想被中共抓���，五年过去，我们邀请到记者苏雨桐女士，她仔细阅读了编程随想博客中的每一篇，也与编程随想本人、他的爱人贝女士以及他的母亲有过沟通。于是她给我们带来了一次全面的，有深度的，有感情的回顾。我们绝不能忘记这样一位有才华、有学识、有勇气和有爱的知识分子。在访谈中，她回顾了编程随想的博客内容以及作为良心犯家属正确维权的打开方式等内容。https://t.co/offW9VJOjO

[禿道道🐟 @dearemon]

My Apple Car.

[free programthink @B_C_S_X]

@fankaishuoai 有大佬懂如何将ICD10第三卷的PDF进行MD化吗？

[free programthink @B_C_S_X]

Starting September 2026, Google will block any Android app whose developer hasn't registered and provided government ID. This affects every Android device worldwide. Learn more: https://t.co/qYtZo4jdwL @AlteredDeal #KeepAndroidOpen

[free programthink @B_C_S_X]

@nini_incrypto_ 我是男的，这是真的

[Cell 细胞 @cellinlab]

https://t.co/tEbNSEBTtg

[李老师不是你老师 @whyyoutouzhele]

4月3日，一网友讲述了“中国霍金”的故事。

来自重庆的黎夏，患有一种肌肉萎缩的罕见病DMD，全身上下只有一个脚趾头和嘴巴可以动。并且这个病的患者很难活到30岁。
但他却靠着自己的天赋和知识，指挥母亲在农村里搭建了一个ICU病房，两个现代化蔬菜大棚。

网友们纷纷发弹幕：“天嫉英才！”

[Liuping Xu @LPX2019]

尼日利亚已有52000名基督徒被伊斯兰极端分子杀害。

坎迪斯·欧文斯一句话也没说。
塔克·卡尔森一句话也没说。
国际媒体对此只字未提。
联合国方面只字未提。

这是一场真正的种族灭绝。

他们的沉默震耳欲聋。

[魔都老猿 @AriXZone]

跨越 48 年的逻辑闭环：Dijkstra 与 AI 编程的真相

1978 年，计算机科学先驱 Edsger Dijkstra 在其编号 EWD667 的短文中，曾极具挑衅地预言了“自然语言编程”的荒谬。即便在 AI 能够通过对话生成代码的 2026 年，他的核心逻辑依然像手术刀一样精准。

一、 Dijkstra 的三个锋利预言
Dijkstra 当年的论证可以拆解为三个支点：
��号是特权而非负担： 他认为科学的进步史就是“去口头化”的历史。从希腊数学的停滞到现代科学的崛起，核心在于人类设计了精密的形式化符号系统。抛弃符号回归语言，本质上是文明的倒退。
“自然性”的陷阱： 所谓语言的自然，其实是因为它能让我们轻而易举地讲出那些连自己都没意识到的矛盾与荒谬。它掩盖了逻辑的模糊。
接口变宽的代价： 试图让机器“理解”人类的宽泛语言，并不会减轻负担，反而会增加沟通成本，导致人类和机器两边都更累。

二、 现代 AI 实践的“打脸”与印证
在经历了一段Vibe Coding的甜蜜期后，现在的开发者正集体撞上 Dijkstra 预言的墙：
需求幻觉： 你以为说清楚了，AI 也点头了，但交付时总差关键点。这印证了：自然语言的模糊性让你和 AI 都在盲目填补逻辑空白。

架构缺失： 自然语言天然缺乏分层、依赖和接口设计的约束。AI 生成的代码往往“能跑但烂”，缺乏长期的工程感。

上下文降智： 当对话变长、接口变宽，AI 会被之前的错误污染，陷入低效的反复试错。

三、 形式化的回归：从 Vibe 到 Planned
我们发现，高效的 AI 工作流并不是真的在“说话”，而是在借 AI 之手重建形式化约束。现在的典型流程是：

用语言描述意图 -->让 AI 细化逻辑 -->由人审查并转化为 Spec、测试用例和验收标准。

这个过程，其实就是把模糊的自然语言，逐步收窄为 Dijkstra 所推崇的“窄接口”。TDD和持续集CI/CD在 AI 时代不再是奢侈品，而是排除 AI “胡说八道”的唯一防线。

四、 AI 真正的角色
Dijkstra 没预见到的是：形式化的生产成本可以被 AI 抹平。

以前写严谨的文档和测试用例太累，大家选择裸奔；现在，你可以口述意图，让 AI 快速生成测试套件和接口定义，人只需要负责审核与修正。

AI 编程的可持续模式并非“语言替代符号”，而是：

自然语言作为低门槛的输入层；
形式化符号作为高强度的验证层；
AI 作为两者之间的翻译桥梁。

Dijkstra 没说错，他只是在半个世纪前就看透了：编程的本质从来不是说话，而是消除模糊。

[free programthink @B_C_S_X]

@izus_iza pussy eat pussy

[free programthink @B_C_S_X]

好样的

[free programthink @B_C_S_X]

@silsrc 不明觉厉