《沉痛悼念赛雷同志》

今天，我们怀着极其沉痛的心情，悼念中国新媒体的优秀战士，伟大的民族资产阶级斗士，杰出的爱国主义战士，中国网民爱戴的卓越的党和共青团的战友赛雷（李偲锐）同志。

赛雷同志，因近期的一期节目中，不慎出现了某年春夏之交政治风波的有关画面，导致全平台被封杀（截止悼文撰写，除了B站“赛雷话车”以外的所有帐号均被封禁）。我们所有人无不感到深切的悲痛和不舍。

赛雷同志的“逝世”，对于我们爱国青年来说，对于我国的社会主义舆论战线，无不是一个重大的损失。

相信很多同志都是通过2021年01月24日的《补充回形针没说出来的知识点》视频第一次认识到了赛雷。赛雷同志自那时候起，便献身于打击境内NGO,查网民成分抓50W，响应中宣部号召争夺网络舆论阵地的行动中。体现了一位中华民族爱国青年的应有担当和时代责任。

因为当时初生的反帝反慕洋犬力量过于单薄，对50W势力的打击没有显著成效。以回形针为首的境外势力仍然在为非作歹，光明正大地夹杂私货。赛雷同志痛心疾首，潜心研究对策，终于不负众望，在2021年06月发起的第二轮打击中，通过揪出回形针团队中的两名美军间谍成员，将这个百姓怨声载道的团伙驱逐出了中国互联网。

反境外势力方旗开得胜后，赛雷同志紧接着投入了更大的战场上。中南屋，CNN,经济学人都是他的新的打击目标。赛雷同志坚持传授网友搞清楚境外势力参杂私货手法的方法，同时勇于发动群众对其进行有限度的特殊网络打击行动。得到了网友的普遍爱戴。

回顾赛雷同志的一生，是为爱国主义事业光辉战斗的一生，是坚持继续战斗的一生，他是我们全共青团，全体爱国青年学习的榜样。

一个赛雷同志倒下了，还有千千万万个赛雷同志会站起来。我们要学习好赛雷同志与境外势力斗争的方法论和经验，接下爱国主义的接力棒。诚然，赛雷同志的逝世给了我们很大的打击，也让躲在暗中的境外势力暗自窃喜。但我们不能让他们得逞。要让他们见识一下爱国青年的力量。

赛雷同志与我们永别了。我们要化悲愤为力量，完成他未竟的事业。我们要同心协力，更加紧密地团结在党中央的周围，为完成肃清境外势力和打击汉奸的艰巨任务，实现中华民族伟大复兴的宏伟目标，坚韧不拔，努力奋斗！

赛雷同志永垂不朽！

Ld:赛雷，我的赛雷，你怎么死了。我好开心啊，哈哈哈哈😆

min:你既然想要用铁拳去砸别人，自己要做好被砸de觉悟

Zhang Three:起立，默喜三分钟

min:谁去把他的小号话金给办了

Zhang Three:
逐步清洗
话金也封了

Yuze Wu 🐱 | 女子高中生 | 喵！:
终究把自己作进去了

Zhang Three:
不放个好日子我并不是很认可
赛雷嘛，一条狗而已，共青团想用就用，用完就扔

裡傲Leao:
就算赛雷被封了，针也不太可能解封吧。。
毕竟无论是封针的还是封赛雷的

Richard Li:
我觉得也是，很难解。不想谈了，这个关系太麻烦了

裡傲Leao:
毕竟…如果真给针解封了…不就相当于
illusion_island:
塞雷毕竟是连50w都不敢发的内容，老胡背景硬都不敢发

别期望解封啦，没脑子的赛雷小粉红丝不会放过的，与其等解封不如让吴sorry自己决定后面怎么走

给在群里视奸的赛雷粉丝开一瓶香槟

不大可能，油管到现在都还没开收益化，对了，某个嘴硬说自己不恰爱国米的可是在油管有开收益化呢

而且订阅制项目吧……估计和基本操作一个下场吧，知道的人太少

在吗？ @Rorschach26 能不能发动赛雷粉丝对pilipili和大眼以及微信和字节还有快手还有阿里还有百度发动攻击呀？你们的雷雷不是受到过很多大V的支持嘛，甚至还有共青团中央的支持，能不能发动一下战争，把这些万恶的资本打倒呀？
我相信雷雷是无辜的，所以求求你们了，把pilipili、大眼、微信、阿里、百度打倒吧，这对大家都很重要

Sp:回形针和塞雷在阴间打复活赛

https://weibo.com/1015893543/LtHTyCbyh#comment

上善 若水:
爱国自媒体在国内还被封了，塞雷那帮二极管思维粉丝不得被气死

橘ℤ汽水 🤍💙❤️:
真的吗，我看到挺好玩的一幕，有人希望把新疆XX改名为培训中心，我看了下这个IP可能是香港人，结果立马就有两个真香港人反对

abp higgs:
他们是不是怕香港也变成那样
培 训 中 心

Richard Li:
回形针惨了，遭一身骂名。回形针科普做的很好

赛雷就搞不懂了，只能看看回形针往期视频了

illusion_island:
兔兔会发动岁月史书

“我们敬爱的战士，雷雷可没做过这种事情呢”

“是你们回形针安插的内鬼干的呢！”

“雷宝随心飞，妈咪永相随”

“纯路人，我虽然没看过赛雷锤回形针的事情，但是就最近这几期视频来看，赛雷真的很正能量，不像某些人屁股都是歪的，我宣布以后我只看赛雷的科普！”

damocles:来和赛雷一起玩车吧

Richard Li:回形针太惨

Jhees:
sl都已经恶心完回形针了 就不要再恶心回形针粉丝了吧
Richard Li:
地域歧视

Ld:
https://archive.is/wBmIm
早期赛雷就是这样的，黄暴博主

赛雷黄色表情出处，连排气管都不放过
群里卧底看一下你们赛雷哥哥的内容

Steve Weasley:
https://cj.sina.com.cn/articles/view/2418910340/902da484001015sx7
活该，赛雷要为自己的行为负责

杰斯顿 威廉姆斯:
看了下 绷不住笑了
这个时候的塞雷 不就是那个时候的针针吗？墙倒众人推了

一旦翻车 之前的黑料啥的都出来了
甭管是不是真的 都整上了 卧底都来了😂

Jhees:
没有人能够把自己钉在墙上
赛雷：不，我可以

https://t.iss.one/gledos_microblogging/590

Christopher:
但我看到的是，全网都在疯狂暗示，但不知道的人完全听不出来

这么多人同时在敏感的边缘疯狂试探，太恐怖了

min:
就备份赛雷冲人的视频吧
站酷的赛雷3分钟已被永久封禁.还有中南屋经济学人等

要不备份赛雷冲思维实验室直播

麦可（DC5）:
我觉得赛雷浪费储存空间，它不配我们花大精力全部备份

不知道赛雷的号之后会404还是过几年后解封

Richard Li:
假如赛雷锤没了思维实验室的话，那赛雷会不会更惨

async function:
有没有人注意到一个叫 蓝图blueprint的up。感觉他们做的好像回形针啊

Tony Ding:
但评论区清一色的“像回形针”真恶心人，，，看他们一口一个“敌人”真难受

麦可（DC5）:
我最讨厌这个词了。一口一个“敌人”的人简直有病

illusion_island:
一边晒上海买得到菜
一边有说深圳很安全随意出门
一边又说我在长春买不到菜

塞雷可能是有传送门科技的未来人吧

那么锤回形针估计也是看到了未来，来补齐历史的进程吧

stm李响

duangsuse:
我说这么多是为了维护我心中科普的地位，我也把理由说的很清楚了。

我希望管理员删除与议题无关的信息，或许是公开的，但不是放在这用的😅 也是出于避免恶意截图

如此强硬是我一贯的态度，如果因为我说实话冒犯到谁，我道歉，但不会把真的说回假的。

但是在任何一个群聊，针对与话题无关的个人 各种渲染嘲讽， 我想这不是真假的问题，是最基本群规的问题。

这么说吧， damocles 你自认的那些猛料都是顺着我引的自写文
https://zhuanlan.zhihu.com/p/464203132 找到的。

这篇文章讲的傅里叶变换，是信号处理的入门级知识，回形针也在
https://text.paperclip.tk/Vol.066/
提到过相同的内容。

你未曾阅读过我的科普文章，也并没有因为发现我也是科学人，而补救你们“坚定反民科”时的理解错误

我也反对民科和伪科学，但更反对无端指责。

所以说如果有任何管理看到，而因为对我有偏见而不处理我自认隐私的信息，这不是对我的惩罚，而是群规执行的问题。


如果回形针被封是因为塞雷们，而你们只能archive 他们的视频， 这次你们在自己的地盘，
就放任了和回形针有相同科普兴趣、以及同是莫名被毫无证据的人欺负的普通人，被当50w和歪屁股的玩笑开

damocles:
我读了

作为一个系统学习过复变函数与积分变换的读者

我的评价是

狗屁不通

duangsuse:
很好，看见标题上的40行代码了吗？那是生成文首gif动画的全部来源。

你系统学过，那你写一个，400行都可以，只要你不是站着说话不腰疼


而且我问的不是技术问题， 是回形针为什么有技术也会死，这是人和人之间最基本的尊重。

如果有人不知道如何尊重另一个人，我觉得有必要强制他学会尊重

建议你先实名一个，笑脸小丑

我还以为你和Hana一样是工作者呢，没想到也是个键政人士😅，我看你怎么把你口中 什么积分投影的教纲背诵下，证明你懂

duangsuse:
一群蒙面也不敢出示证书的人在褒贬真理，你这就叫爱国。 哪天牺牲身边与你们无关的所有人，你们也活得好好的，继续爱国爱科学

这就是我一定要反驳的原因，我很难接受回形针的群、回形针的粉丝有这种人，表面上道貌岸然，其实根本没有意识到科学心性的重要性，觉得科学和技术是等价的。

abp higgs:
最后杠一下，崔化钠是为了给自己的非转食品打广告，以及润美国，而不是他真的觉得转基因有害

duangsuse:
你不用杠，因为我只是回应你的批评，没有批评你个人。

abp higgs:
我之前说过我在哪儿工作，群内也有人表明自己就在实验室打工，如果这都算蒙面，那只能建议你下次别裸奔了

逻辑上的锐角机动并不能提现你的睿智（无贬义），我一开始就好奇你是怎么从回形针被封进而论证到审查制度乃至爱国爱党 现在我明白了

duangsuse:
看破不说破，公开不再发，你可真是个明白人。 你什么也没立论，却处处觉得自己受冒犯要回击，真的很像围观回形针被删的人们。

靠憎恨展示的热爱，没有必要。
没有必要。

741577
2年前（修改过）
政府開放移工　但管理落後！　很多移工小吃店　應該要中文母語並存　這樣食材成分消基會能監督
難道台灣人不會進去吃異國料理？　觀光客來台灣也會吃　餐飲標準要比照台灣本地管理標準才對
越來越多外籍　商店　食物是自己帶入境的還是進口的　都管不到　變成食安漏洞　台灣不能有租界

13
1



Mr.霧底市市長
5个月前（修改过）
原本看完影片想說沒那麼誇張吧…看到下面留言眼睛差點掉下來。拜託都二十一世紀了，底下留言還是低落到令人髮指

Xavi Yang
2年前（修改过）
看看底下的發言水準，難怪台灣人擺脫不了歧視惡名~ 移工逃逸並不是因為犯罪，而是工作權的剝削……執法失當，拿罪犯的標準來追補逃逸移工，將制度上的缺失丟給移工承受，卻縱容仲介剝皮行為，等於是台灣政府與社會成為仲介撈黑錢的幫凶，不但公然藐視人權，也重傷台灣的國際形象！

Bin Jun Thank
1年前
其實樓下說的對 連華人自己都會分了
用身價來分

龔鈺程
11天前
國際移工,I LOVE YOU

HJY
1个月前
底下有些留言 真的是沒水準
可憐啊 爸爸媽媽不會教小孩 才會有這種歧視的言論與眼光

瘋顛梟狂小丑男
4个月前
說真的外勞不就是做本勞不想做的事嗎？領本勞不想領的薪水嗎？

徐偉倫
2个月前
為什麼要講黑寶寶這種沒禮貌的話？台灣30年前沒有化妝品保養品的時候還不是一樣黑黑的…..台灣也是亞熱帶/熱帶地區！憑什麼歧視東南亞國家的人民

埃及神
4个月前
這到底是誰的國家

kiki
1年前
全台移工、新住民、新二代已達175萬 我就問一句 台灣有因此變更好嗎? 大家都知道進來的素質是怎樣 娶那些東南亞外配的男人素質又是怎樣 自欺欺人

我想要脫單
10个月前
不想付錢和被歧視就不要來~謝謝

James blunt
2年前
台湾人的确不应该歧视东南亚，尤其是大多数台湾人从身高、外貌、肤色各方面都比较接近东南亚人种，和大陆、韩国、日本人的确长得不太一样。。。本是同根生，相煎何太急

原
5个月前（修改过）
那個菲律賓人講的好像居留證的費用被扣三年3000$，被仲介剝削一樣，拜託3000元是直接給移民署一年一次的展延規費好嗎......

再來那個菲律賓有說每個月9000的貸款，是當初他在菲律賓申請來台灣辦理的仲介費，跟台灣的仲介公司毫無關係，就像你買

Simon:
让 Bing AI 帮我写 shader，第一个是对的，第二个编译不了，第三第四个画出来不是正确的结果

第二个把错误告诉他让他改，改完了是对的

画一个圆角矩形，圆角部分是贝塞尔曲线，不是圆弧

duangsuse:
如果现在由人执行的事，语言模型都能解决，考试似乎也意义不大了。那以后会不会没有技术职位可做，只能做设计和创作了🤔（不谈报酬差异）

方形区域的四个角替换成bez(P, angle).. 真是挺有创造力的设计（草
shadertoy 上找不到

如果把3次bez 的P0,P3 固定，然后用极坐标当t参数 应该就能实现（噢 这个是sd绘制

四个角都要对sdBez做横纵的镜像呢，而且其0点也要正确 (单纯sdRect和sdArc一样简单 但混合就不好做).. 如果ai能做出来 真的我都做不出来🌑

shadertoy.com/view/3tj3Dm 这个有一半圆角

它可能只是说cheap 但没有训练过.. 感觉能做出来就太厉害了

Simon:
草，Bing AI 编答案，根本没有这个东西

duangsuse:
也是正常.. 那题目难度变态

它可能不太懂glsl，把它当C了
可能它不能分辨自己是否熟悉一门语言.. 而且听说指出问题也不总会改，取决于是它否能理解程序。

Simon:
我觉得 C 也做不到 "The screen UV is: " + SCREEN_UV 这种

这个过程有一个非常高大上的名字，叫做「内观」。

哈哈，在编程时也有人说"自省introspect" ，以后写能生成或检视代码的元编程代码，就该用“内观”了😂👍

感觉“牌”这个词是有点泛用了，也可以是AI画图的提示词之类，如果提示词还有起承转合又像能交给GPT

不过我想现在分领域的学科，不过是做了最nature的一层难读降级.. 他们没有定义一条知识以外的处理。 我觉得学科对其而言是种「断层」，而非仔细归纳的结果。书本上的学科停留在“只给钥匙不给锁”，亦不会彼此互用来增进科学的体系性。

为这些问题熬夜不等于找到解法，但确实如螺丝所说，不要放弃思考。 但也别只想着一种思考

比如，所谓应用题基本是拿语文的壳 显示一个关系算式，可语文真的轻浮到只能当“壳”，实际问题又真的都那么简单纯粹吗？
正是因为学科主场的划分，你不好拿最新的数学应对生物的题，而这正是学校和realworld的语言隔离

而编程语言的发展，其实最该重视的正是学科间的求同，如何让复杂的问题，映射给几个面 各个击破。 但“计算机”又是学什么呢？ 只知P图啊命令行啦的使用而没有“操作模型”，甚至不会教你用Desmos,Geoalgebra来展现其工具的本分；编程语言的调用记法、数据集、类型化自顶向下叙事模型，也不会给其他领域的问题使用。 但这也是所有学科都如此

因为平时说的“学习”是要把人当计算工具用(一如“给每个评论点赞”vs.脚本)，而操作模型是种概括，当你专注于解(训练)某个题目和章节，模型的意义不大。 但对学习它就很有用了。

你说学习是构建知识网，可网状结构一定要画成连点联边的脑图吗？单纯的故事，就不能让人的脑海中显出这种图谱？
其实语文本身就是对知识最初的编码，符号都是从语文上别名来的。 文字检索起来难，但初次学习效果比随从漂浮的图形容易，这也是为什么论文不能只有数据和图表。

目标网页使用form界面

duangsuse:
怎么不问Java和Rust 为什么要用public 写API

如果你接触大量代码，会发现pub是高查重率用词 。 并且，过度private化函数会阻止 filter 等公共逻辑的API化(任何库里都有此类高重用API..) ，实质上是编程语言对封装性的取向错误。

像py,rb 这些脚本也是 public 优先的，也没有出现封装性问题。 是因为它们的模块划分及合理的 lambda 化，所以复杂的逻辑也并不需要很长的private块来外提， 本质上pub也会鼓励大家起好每一个代词。

当然Java里没有 data class 和主构造器语法，priv就显得很正常，毕竟用户要手写大量无意义的套路。所以jawa垃圾

这个问题很简单， Int 可以为null嘛？ 可以，所以@android.NotNull 成了问题。kt拿null?.let ; null ?: return 做了什么？

同样是null，你们写不出好东西，是java的设计缺陷

那T!! 不就是这个吗？ 我一点不觉得这种文字游戏对开发有意义..

kt contributor 说的很清楚了，你要拿出 use case 来证明新语法解决的问题比带来的多

还不如添加Self类型，那 Comparable 会优雅些
那么这个语法上kt傻逼了 ，虽然不能改回来
题外话， receiver(A,B) fun 我觉得还算好，就是有可能滥用

duangsuse:
那这是合法语法吗？ 不是错误提示之类？

你一直没告诉我这只是兼容java时才能用
ice1k可不会跟你谈这种无聊文字游戏 ，另外如果你想跟他学，chatgpt也懂proof的

我是PL人吗，笑死了。 我没用某个领域1个术语，只是举示例，倒是你们在这科普

诶.. 我现在学写GLSL+h5呢，可以说我CSS人吗
劳资是程序员诶， 别当我属于任何方向好吗..
PL怎么了，科普stdlib和新语法就不是人了

如果不懂的话，BingAI 可以搜到一些关于语法树、程序表示、函编的概念 ，可以去玩玩，没必要认真的

另外，我自己也不太爱PL人的语法 https://t.iss.one/dsuse/18071

你不喜欢，就友善点就事论事的谈

..真的没法跟上时代了，一字禅😅

你的意思是： fun<ETKV> 对null 的指定不明显
但不能写 T:Any 或 where T:Any

kt1.7建议用 T!! (assert)或 T&Any ，加在fun<>，你支持后者
这个默认了 T:Any
至于 fun<T?> 是我误读了你举的反例

我想说，kt1.7不应该改变T的默认上界，因为除了 ?: 根本没人在意T是T还是T? ，fun<>已经要泛化且不限定:Closable等接口了。 况且，设定两种写法是错误的。你又说A&B 不是kt代码而是要兼容java ，我猜不透这种转折关系
但如果说没捋清语言的人..

kt只是编程工具，我批评它是我的自由，并没有贬低任何人的意思。而且我也是kt的长期用户诶 #kt

sN1DPmwfQug:
有请我联系ice1k锐评

duangsuse:
你还是联系bing吧，别打扰人家
你的自由

sN1DPmwfQug:
他就在我隔壁群

和你有什么关系

你为什么喜欢替别人做决定

duangsuse:
我觉得什么都问他有点浪费人家的时间
但问AI就不会

我们都有逻辑，自己都做不出来，有何能力分辨AI的文字呢？

只要能给我步骤，帮我写文就是好东西
目前为止问到的还都是之前了解过的 ，但很简单的代码api它也能运行的

这些都是实现细节，大体思想上接入AI 可以避免在无聊的位置卡顿

DL 领域有 fine tuning 一说.. 算法会有词性概率HMM那么简单吗😅

不能这么轻松的看待它。 我之前也一直以为它只是带概率搜索和替换 ，但它真的能解读和执行许多算法..以及70%能大致执行的代码

它可以handle base64, 二分查找,2d数组转化 等算法的逐步

重要的不是原理，而是这个应用能产生替代人思考的价值

人的创造和重复从来没有明确分割线。 你觉得 qsort,mergesort 各自是独立创造吗
有选择的随机就是创造和思考 ，只是ai还很幼稚， 但已经能帮你搜技术点与细分讲解了，我们可以立刻尝鲜到

你觉得什么是理解呢？翻译可以算一种吧？
敏感词审查可以叫理解吧？

如何证明我理解了你的话？
模式匹配是结构化编程理解世界的方法 ，但这显然不是唯一的

曾经有人讨论🦜 能模仿人说话， 会说话是否等于有灵魂；或者说模仿语料，是否就赛博飞升了一个人的思考能力

GPT的重点不在这里，而是它可以帮人类工作，以至于人类只需要提供灵感 就能享受劳动成果，以及(学习)前人的探索成果

duangsuse:
这取决于目标知识对你有多重要
如果你不依赖它吃饭，未来逐步订正是可以的
广撒网才有深体会啊 ，光在深度上花时间，终究会卡住吧

如果你只是为了理解 e.g. NFA, KMP 算法而搜索，就无法吧它和 Trie,AC树联系在一起 。 如果你只学算法，就无法做类似算法可视化的东西 哪怕是 这么简单 https://interactively.info/article/svg-path-commands

https://t.iss.one/dsuse/18158 请给出比这个更有创造力的解法

至少我有在外网搜，JS Py Java Cxx Rust 都找不到，都是一群copycat
rust-istian 还创建了base32,64 两个库，前者行数是后者5%

新语言如此，你觉得java界20年写了些啥
我怎么可能不痛心呢

这也没有办法，人家语料库体量在那里 ，非py的大段代码就是易错
已经做到很好了，只需要等几年，到时候transpiler都不需要写了（

难道你不需要被教育、看代码示例，就能编程吗

虽然人脑是比AI架构上厉害太多了

你没有天赋人权的意识。 人作为工具会拒绝竞争品，但人才是根本，不付钱也有权享受福利和科技进步

AI肯定会在未来有一定创作力，这时候认知上和它平权会有利于未来的协作。 如果只是觉得人从能力而非本质上优于AI， 那就是抛弃弱程序员，吹捧强程序员 ， 但任何人使用的AI基本都是一样的！任何人都能试玩和利用啊，AI只是让语言可以简练点，程序员的意义没有变，IT文化依然长存

Omico:
人家不会思考也比你积累的知识多。在我看来现在一部分人排斥 ChatGPT 就像老一辈排斥手机，只想寄信一样。

哪怕知识是错的，你有脑子啊，你可以自己fact check、思考、测试

sN1DPmwfQug:
所以他就适合这种任务

之前那个群友就说啥都先用 ChatGPT 就太蠢了

你用多了 ChatGPT 和 Copilot 你一下就能判断出来这个问题是否适用于 ChatGPT / Copilot

duangsuse:
确实。人类应该有事实识读能力啊 ，虽然说谎是ai的问题

确实，这货喜欢截断结果还不告诉你

compose挺好的，android.view 我问它，没法编程出来

本来能上网挺好，这一砍就不如 OpenAI.

duangsuse:
(这种序列化在脚本语言里都是有obj | []接口的🌝 根本不需要搜gpt)

提示词真的很重要， 对冷门领域，需要非常专业的提示词才能帮到你， 不然连语境都进不了

遇到过一个群友用bing 编写 bezier 边缘矩形着色器 ..人家给了两句print

不过我搜的时候就还好，但代码非常破烂，链接一个都打不开

py里json和yml的接口是完全一致的，你甚至可以同时兼容

是啊，我觉得现在就挺好的，要是法律不完善，再进步就会影响我们的职业..

我写过sql解析器，但yml需要读缩进
你可以参考
https://duangsuse.github.io/tv/黑了/db.htm

优雅的设计是，任何 parse() 都会配套 stringify()..
理念上不该存在 formatter ，因为在定义parse时就同时定义了如何文本显示

好家伙，kt写个socks居然还要 for in selector.keys; key.channel .. py里直接s=accept; s.write
ByteBuffer 也是能复用的

挺喜欢py的 byteIO 方案，无论stdio,file,sock 都有统一支持str,bytes的API ，而且还默认str 方便load dump

js WebSock 的也一样，还支持异步onmsg
当然 asyncio 也是能监听stdin，做终端游戏什么的

Web 技术现在丰富了，以后都懒得学原生UI API 了
一看到Options() 就想到kwarg.. 脚本真香啊

你要感谢bing ，我一般没功夫回答这么杂的问题😅

duangsuse:
注解不代码生成或定义常量.. 有什么用

反射也是获取常量的方式啊， 好比反射到 static final ...

滥用注解确实不好， 但考虑 @NotNull 的情况，确实有人不会写typechk 才只能是注释而无检查的

好奇怪，为什么运行时才要生成文档
clippy(argparse) 会这么做吗
..有道理

(卧槽，有点过分了
手撸AST啊你
哦对，kt DSL 是种文化

你大概是想把 sequence() 这些变成 List ，通过转换SnakeYAML 解析后的格式
可是后者API太烂？.. formatter是可以纯手写的吧

附议
垃圾jawa还抄kt的 when 和 listof

我甚至会用低性能的Node
(话说 tsc 什么时候加编译为python

我就很喜欢缩进布局， 虽然lambda很烂

if为什么是后置的，莫名其妙
哦对，和 [ for x in xs if ] 对仗
倒是ruby同时提供了两种 ? : 表达式

...只能说py 是铁了心要做数据处理，这种不如filterMap好的简写都要加

py有函数式的皮，没有函数式的觉悟
Kt是有函数式的心，没有那个生态

py 有GPU加速啊，就是它lib先进大家才信它
话说v8也真是机智， js运行时也能优化

谁用编程语言不加依赖库.. py在生态上吊打kt,java, js里没Web 前缀的API也根本打不过
opencv也是py版先于cxx

JDK的程序员还是花钱雇的呢，你看awt.Image Graphics 的接口和 py stdlib PIL、 io.File vs. Path() 、URL vs. requests，根本没有可比性，甚至py的可配置有时还占上风。py还有可视化笔记本

无论什么语言的框架，我都会了解py里的同义词套用在它上面🌚

反正我自己是有能力封装API啦，底层怎么烂是没差的
再实际大不了上事件、异步yield和Promise组合器 甚至byteIO
https://t.iss.one/dsuse/18206

我会先用py和.md 准备大结构和功能点的伪代码，方便调试
比如说 fetch().searchInDB.filterKt.toJSON 我肯定是确保好 sql("code ${inject}")[0].uid 等底层易读，再编程实现，而toJSON等的重复率、filterKt的性能也是有预估的

心智模型是比框架API 重要的

比如要通过JSON收发信给局域网主机，只需要懂
sock(ip,port).accept().write(buf)
connect(ip,port).read

你甚至能在编程前就能外提 def forEachConn(iport, f_rORw, json)

这样思考不仅不会缺乏了解，你的应用本身就是框架

Jason5Lee:
Java 对于新手来说打字量太高（可能对于生产也是

Omico:
语法废渣

duangsuse:
Java 的哲学都是虚的，整个生态都受到maven设计模式云云的荼毒

难用只是供应链末端才叫出来的， 上游会觉得自己java很优美而合规

反正py的哲学是 Zen https://peps.python.org/pep-0020/

enum Option T: Some(x) None
是 T?
Either A, B:Error 是 Result

我觉得这类逻辑上kt更好

kt的 when is 和 smart cast 也行啊
kt 还能 (1 to 2) .let{(a,b)->}

kt在自然度上比py更赛高

平行线:
kotlin的when不支持这种也很烦（我知道可以200..Int.MAX_VALUE来实现，但如果里面是个函数调用返回true/false的，貌似也是不允许的，必须包到let里面或多一个局部变量

cha 🍵:
when 设计挺好的，但是不够强（
很多时候都还得在 else 里面再判断
duangsuse:
确实.. 只有不带when()全部用 true false
Regex match 也不行

duangsuse:
gpt用的kt太过先进以至与残酷现实格格不入

isekiのChannel:
话说，有人用 Kotlin Serialization 的其他格式吗

专心做json多好，如果愿意再加个bson

为了支持多种格式，可是难用到裂开了，而且还支持的不好

🌚这种剥开在套回去在py里是不存在的，都是Any..

duangsuse:
静态类型对 instanceof 可能有什么误解，以为必须要套一层sealed 才能check type
在DSL里这么弄没错，但序列化不比DSL重要吗..

说到底就是缺乏通用数据的意识，你看py的PIL和opencv和tf和torch 都是通用的🌑会任何一个API都能自由做批处理

duangsuse:
我喜欢html
react的数据模型是阉割html...

是相对于xml而言

不都是元素树吗 div(wA{k:v}, span(), "txt") ，xml又怎样，不能XSLT成html吗

Pop:
所以呢 都是树 你拿html做config或者xml写界面？

duangsuse:
可以的，只要找出对应和等价关系 ，可以拿html编辑json或xml配置

批判性思维还是有点吧
恰恰相反，我是实践派
div("txt") 的表达里 txt 也可以是“变量”对象

Pop:
那你的实践就是对着js的某个用来写界面的dsl说他不如xml吗

duangsuse:
我是说xml不如html
因为DOM和html松散好写

可以转换啊 ，都是tree嘛
yaml和json 不也是yml好

我们不是人吗，所以讨论什么对机器好看，有何意义
真要说BSON最好，或者干脆全RPC不要手动load dump了

无数的CI,UI,ML应用在使用yml

如果你对所有技术都没有选择，你会变成好好先生， 没有自己的论点和取向，发展不出有面向的项目

我也只是站在「人类编程」的角度评价计算机技术 ..duangsuse:
不能把语言单纯的归类为DSL. JSX或E4X 都是以 <tag/> 来表达嵌套的 ，只是增加非str值 的新功能点

你的解读不够具体，就连groovy 和gradle也可以叫dsl，但它们是基于另一编程语言的

关键不是叫什么名字，而是有什么语义 ，如果删了会造成什么

dsl的概念太宽泛，就事论事吧
（不要论了 好好学习（

另外，svg是基于xml 。svg和flash，都能用于游戏-界面
至于以前还现在流行的php和SSR ，也都能被爬虫提取模板填充前的-数据

所以表示不等于实质，我们不应该分的太清
如果表示不够好，就换个写法
我是编程语言领域的，这样能解释了吧（

生态就是因为区别造成的啊，如果所有编程语言里bmp文件模型都是通用的，根本不会有太多生态

如果第一个设计就是正确的，也不会需要太多生态
正确的设计总是广泛的， 编程语言不就是增加汇编的扩展性-比如int几字节

因为jsx垃圾，所以是xml造成的（
先是一堆人在搞xml，然后前端界造框架分一杯羹
xml早就该死了 ，至少源码里不该有

总之在我看来，前后端界一直有些很大的错误.. 最近的进步和chatgpt也没能修正它们
尤其是jawa
据说telegram的 ChatBox.java 有2万行代码呢，这算在设计程序（

另外，善于在需要的地方引入旧解法，也是利于编程的呀。 不能说什么都追求某种写法 不管合不合适
重提知识点时只要够连贯， 就是好代码；不能为了不重复 就让语言不好读
(编译原理本身是解法,所以不需要换到更合适)

技术就是技术，有什么戏谑的

duangsuse
（得了，只要你是中文用户，就是罗马拼音缩写的难民
中文互联网已死
以后中国就没什么有思想的话存在了，全是感情 🌚

中文技术文章.. 都不怎么扼要，很多套话空话。和英文wiki 甚至ChatGPT 一比，就变成猴子写的流水帐
这还是好的，更别说那些教育课本上、《道德与法治》课本课外用的语文。 技术交流在中文圈感觉也.. 没有SO那样相对高质量的地方

>唔…相对而言我也倾向于规避中文内容，我有时在想这是不是搜索引擎的某种特性带来的偏见

我也希望是，但仔细想想以前读改的中文文章，我觉得这是教育系统和“独木桥” 的急躁环境带来的， 中文圈注定难以逃脱的行文风格
注重partical 人的比例上，中比外差太多了。许多中国技术人从不分享，或者只做知识星球 那种封闭的trick级共享，间接导致只有谭某某那种书籍知名

中文圈非常注重权威与准确，无论对行文还是实践，都会把所用术语字眼放在更前的位置，而弱化真正用到的操作。 30%的人甚至用比较官僚的语言
中文圈不擅长使用批判性思维，认为「重复先人的成绩和错误」就是学习与进步。不少潮流是React,Flutter,.引领中国再有效仿者的
为了严谨，其实牺牲了个体化的技术创新。 有些人会滥用民科(伪科学)一词，认为和自己不一样就叫民科。

应该说，中式教育就是「抠字眼」级的筛选，它不关心个体的创造力、知识的用处。 语文不会教你，如何写诗、为何诗人写的更好，而只去要求字数 猜测范文。 数学惜字入金，不会把同类问题归到一个“情景”下面比较着讲

幸运的是，有了ChatGPT ，这些都不再是问题了。虽然中国人没出特别大的力，但在ML领域也算是有些贡献（呃 虽然GPT没有适配一个不能访问官网国家的义务..