对类型系统了解不够，还停留在 Java 的幼儿园级别...

其实 GeekSpec 还是蛮工程的，所以什么类型系统实际上就没有，不是那种通常 General-Purpose 意义下的类型系统

考虑一下 GeekSpec 类型的用途，就是标记一种数据类型，这种 HTTP 协议其实都有兼容的...（Content-Type，MIME 类型）

比如说 datetime，可能就是说绑定到原生的某种结构对象，和泛型什么的其实根本没关系（当然泛型也不是什么高级玩意）

其实对于 POSIX C 的 time_t 来说，一个所谓的 datetime 或许可以这么表达？

type datetime: string
= (C Linux) time_t
(Ruby) Time

read datetime {
#impl C Linux
return (time_t) atol(str);
#end

#impl Ruby
return Time.at(0, str.to_i, :millisecond)
#end
}

put datetime {
#impl C Linux
size_t size;
char *out;

size = snprinf(out, size, "%l", datetime);
if (size < 0) return NULL;
size++;
out = malloc(size);
if (out == NULL) return NULL;

size = snprintf(out, size, "%l", datetime);

if (size == 0) {
free(out);
return NULL;
}

return out;
#end

#impl Ruby
return sprintf('%i', datetime.tv_sec * 1000 + datetime.tv_usec)
#end
}

validate datetime {
#impl Ruby
str.match? /[0-9]+/
#end
}

路漫漫其修远兮 吾将上下而求索 🤔

#end NewBing评测
- 字符画(py,java,cpp)👍优于普通人
- ML基础(py,js iris分类器)👍省力
- 字符动画(PIL+cv2)🤔 据上文重构能力有限, 注意 rgb_to_ascii 和问题1 map_pix2char 是一样的
他没法很智能地完成程序融合、框架设计
- py mapSum() 👍能够理解函数外提等重命名操作，但不多
- 人脸识别(仅py) 👍融合了多篇文章的内容，代码质量比原文高/英文提问
- js Trie字典树() 🤔算法选型上优于普通人，非常易读，但设计力较低。都是网上有的
- #inm https://telegra.ph/野兽先辈大战星之卡比-02-25 ()非常爆笑，ChatGPT写这个要手动输入上文
想要写好故事，提示词应该不短。但AI帮你打基础故事的字，实在太方便
另外Bing是可以帮你调用网页UI的。目前客制化还很低
https://tttttt.me/dsuses/5082
- 这个语言模型可以自己做二分查找等程序的后台思考🤪，但不稳

- 用WebGL绘制bezier边框的矩形 😐 只能给建议，可能是语料库少。改天用英文问
👆搜了三次，给了普通圆角、4边粗细不同、边缘极坐标、4个bezier叠加等方案，代码质量和链接404(一本正经地贴不存在的链接,变量名竟穷尽24字母..)，可复现性也堪忧.. 最后还是选择spline连线，和bezier圆角差不多

综上：快点来体验牛必应🐮🍺
墙内还有人黄牛对话API呢 ，以后被墙可就不方便了❤️

#end #baidu 发布会。

感觉B站的觉青也越来越多了
不得不说，我之前是岁静 ，而现在则是比较岁静的自由派
#ncov19
这都是受疫情影响， 忽然发现继续默许下去，好像已经会给生活带来灾害了，才停止对中国特色毒鸡汤默不作声

其实当今的中国绝不能说和疫情前有变化，但就是感觉不能再岁静了，不知道为什么。
即便如此许多事还是改变不了，但终于不像文革时那样空洞，总还是进步的。

我想，这应该是终于明白政策能“反对”，政府也可以犯错，甚至于说谎 。在近年从没有这么大规模和幅度的欺骗与洗地，以及给捅卷心菜这类事， 有点太戏剧化了。

江派执政时政策基本是纯经济，也没有强调意识形态 ，只有几个异议人士被关，当年出了大事也不会禁评；但是习连任之后打压负能量和支流文化， 还经常挑衅别国，乱花国库， 最终用文革的手段强迫人排了三年队，还清零了存款医保和购房欲 ，给社会带来很大的不便
已经不能说“生活还是一切都美好”了，总会想有的错误和隐患。🤔

#talk (这个不是采访稿😂。可以理解为我博客的特色文笔

>注意看，一个月前自GPT爆火以来，他一直在收集 #AI 编程质量和适用范围相关的示例

>无视GPT3和copilot也能完成任务编程，比配置新工具容易的多，为何要关注GPT的能力呢？

copilot是付费的，而 openai.com 通过新必应很容易体验，我一直想以10分钟左右的成本探索一些技巧/新途径，或者问问记忆了更多见闻的AI 对我的设计有何建议

另外，如果以后我需要解决“业务逻辑”的套话代码，最好是让机器生成和修改
我也很感兴趣，如何利用对话补齐/Bing chat 等接口扩充既有的教程和文档工具 ，比如界面设计、翻译、给伪数据生成提供UI
感觉这样能极大降低门槛、提升创造丰富性

>你平时在设计什么

我是js,py 玩家，但其实也写过C++,Kotlin,Rust,Haskell 等不同范式的代码 ，很少写CRUD

编程纯粹就是玩，之前在写base64的位运算实现和 py ast 宏展开、编译到SQL的语言，还有 canvas/svg/webgl 的CSS绑定，反正就是对软件功能或简化开发有意义的框架。

>GPT能生成多大比率的这些功能？提示词很难吗？

GPT3 基于搜索结果，可以100%实现和理解：
基于B站或Pinterest API 的脚本、利用各类系统服务API、生成json等配置
机器访问工具/新闻网站，完成RPA交互任务
py,java,cpp 版的字符画/badapple
使用torch、dlib人脸识别、Vec2/Mat 等不同方法完成任务

实现 Trie, 解释器, 四则计算器, 编程语言 时，提示词没有具体术语的话，就生成一堆假大空。 应该是越流行的应用，提及的方式就可以越隐晦
https://tttttt.me/dsuse/18116

但总而言之，只要逻辑和资料是完备的，AI 100%可以生成和重构完成任务的代码 ，只是比较没重点。说谎的概率比非编程题低

>那么AI“会”编程吗？

精通八国语言、19门编程同步学的模型应该算是会编程，它能完成需求、解读和重构代码片段，还能把算法用在对话里，有自己的逻辑链，但“能实现”不算编程创作。

AI 可以在“不必提供完整信息”的前提下就设计一个app，甚至只说要加/使用什么元素 就能直接体验，这样，文档和语法糖还有意义吗？

用懂没听说过的体系、获取编程的语感、理解代码结构的框架性，其实才算是编程。 码农和CRUD boy 就不会，主打一个CtrlCV和改配置模板，但他们也是占很大市场的，比如在日本就很吃香，现在还有copilot。或许每天十行就月入过万
语法糖的本质是让代码长得更像UI而易读改(定义式编程)并能够扩充， 不能因为可以生成就无视代码的易读和优雅性，而缝合面条代码。糖的存在让代码自文档，就利于文档的示例化，利于开放者寻找灵感
#statement

AI有些缺点，首先是难以专项学习冷门体系，它缺少这类经验；而对于热门的那些，它的经验都是主流观点，没有人格和特色（好比AI小说比较乏味）
无脑提问，它的技术选型就会很烂，
虽然总体开销比非AI编程低，但事后若发现走了弯路，又要再监督它生成一遍。提问者最好还是“会编程的” ，而对各种工具的设计者，AI做的也更像编程语言的社区/标准库 会提供的创作素材。

>既然理科上打不赢AI，你不担心被AI替换掉吗
Jupyter提供的UI界面库很“编程友好”，但选择它的也是少数。许多东西的用途远远少于适用性，GPT 也是这样
有一点会争议很大：
“人是共同交流，不是用于替换”

其实菜一点也会轻松不少，回忆起最初的动机，就是想设计简单泛用的编程体系，并不包含“变得很高深 会很多”这种事。饭碗的问题，说到底也不是疯狂内卷能解决的。

>你觉得计算机领域不该存在？

>你打算如何让AI辅助lib和项目的设计

>未来你的技能会完全被AI掌握吗？

人脑有860亿神经元，而GPT4有2k亿参数
神经细胞是尚难以解释其规律的存在，有能感知时空轨迹、能建立记忆的神经元，而不同细胞的激活规则也完全未知。
即便基于模型权重能完成很多任务、记忆海量词库，用于对话续写和图像，也不能证明能力上是无限的。

#end 还有用地图,vscode换行,MC红石 播放烂苹果的，就不放了☺️
一笔画 迷宫生成
Desmos 贝兹