Forwarded from Solidot
机器学习驯服量子复杂性
2022-02-08 17:59
2018 年美国主要超算集群运算周期的第三大用途是气候模拟。夸克等亚原子粒子的研究排在第二位。位居榜首的是物理学中被引用最多的理论——尽管很少有人听说过它。它就是密度泛函理论（DFT），是物理学家和化学家用以理解任何比氢原子更复杂的事物的主要方法。几十年来，研究人员使用 DFT 的能力预测各种事物——从咖啡的味道到木星核心的密实度。DFT 为科学家提供了一种强大的捷径，可以预测电子的去向，进而预测原子、分子和其他“披着”电子的物体将如何作用。长期以来，物理学家和化学家一直在用深厚的物理学专业知识让方程式能更好地反映所有电子共有的复杂舞蹈。但是最近， 神经网络设计的新工具可以与手工制作的“前辈”相媲美，并且在某些方面青出于蓝。一些研究人员现在认为，机器学习可以帮助研究人员以更快、更大的步伐迈向主电子方程，从而解开新药、超导和奇异材料的奥秘。
2022-02-08 17:59
2018 年美国主要超算集群运算周期的第三大用途是气候模拟。夸克等亚原子粒子的研究排在第二位。位居榜首的是物理学中被引用最多的理论——尽管很少有人听说过它。它就是密度泛函理论（DFT），是物理学家和化学家用以理解任何比氢原子更复杂的事物的主要方法。几十年来，研究人员使用 DFT 的能力预测各种事物——从咖啡的味道到木星核心的密实度。DFT 为科学家提供了一种强大的捷径，可以预测电子的去向，进而预测原子、分子和其他“披着”电子的物体将如何作用。长期以来，物理学家和化学家一直在用深厚的物理学专业知识让方程式能更好地反映所有电子共有的复杂舞蹈。但是最近， 神经网络设计的新工具可以与手工制作的“前辈”相媲美，并且在某些方面青出于蓝。一些研究人员现在认为，机器学习可以帮助研究人员以更快、更大的步伐迈向主电子方程，从而解开新药、超导和奇异材料的奥秘。
Forwarded from Solidot
大强子对撞机实验用 GPU 加速数据处理
2022-02-09 14:57
对传统计算机集群，每秒分析多达 10 亿次质子碰撞或数万次非常复杂的铅碰撞绝非易事。大强子对撞机（LHC）实验最近升级了硬件，将于明年投入使用，显著增加了对数据处理潜力的需求。由于传统的 CPU 可能无法应对新的计算挑战，四个大型实验正在采用 GPU 。GPU 是专门用于图像处理的高效处理器，最初的设计目标是加速 3D 计算机图形渲染。过去几年，LHC实验、全球 LHC 计算网格（WLCG）和 CERN 开放实验室都在研究 GPU 的使用。在高能物理研究中增加GPU的使用不仅可提高计算基础设施的质量和规模，还能提高整体能源效率。CERN IT 部门负责人 Enrica Porcari 表示：“LHC 雄心勃勃的升级计划带来了一系列令人兴奋的计算挑战；GPU 可以发挥重要作用，支持机器学习方法应对其中许多挑战。”“自 2020 年以来，CERN 的 IT 部门就提供了对数据中心 GPU 平台的访问权限，这些平台已被证明在一系列应用中很受欢迎。除此之外，CERN 开放实验室正在通过与工业界的合作研发项目，研究在机器学习中使用 GPU，科学计算协作（Scientific Computing Collaborations）组正在努力帮助移植并优化实验中的关键代码。”
2022-02-09 14:57
对传统计算机集群，每秒分析多达 10 亿次质子碰撞或数万次非常复杂的铅碰撞绝非易事。大强子对撞机（LHC）实验最近升级了硬件，将于明年投入使用，显著增加了对数据处理潜力的需求。由于传统的 CPU 可能无法应对新的计算挑战，四个大型实验正在采用 GPU 。GPU 是专门用于图像处理的高效处理器，最初的设计目标是加速 3D 计算机图形渲染。过去几年，LHC实验、全球 LHC 计算网格（WLCG）和 CERN 开放实验室都在研究 GPU 的使用。在高能物理研究中增加GPU的使用不仅可提高计算基础设施的质量和规模，还能提高整体能源效率。CERN IT 部门负责人 Enrica Porcari 表示：“LHC 雄心勃勃的升级计划带来了一系列令人兴奋的计算挑战；GPU 可以发挥重要作用，支持机器学习方法应对其中许多挑战。”“自 2020 年以来，CERN 的 IT 部门就提供了对数据中心 GPU 平台的访问权限，这些平台已被证明在一系列应用中很受欢迎。除此之外，CERN 开放实验室正在通过与工业界的合作研发项目，研究在机器学习中使用 GPU，科学计算协作（Scientific Computing Collaborations）组正在努力帮助移植并优化实验中的关键代码。”
但在庆祝之余，塞雷和针 背后真正的问题也以令人不寒而栗的空白，暴露出来了。 #life #paperclip #bilibili
马上塞雷也会被遗忘，但新闻联播滔滔不绝，阳光下无新事，只嘴里 喇叭里 统计数字里还会说。
我们可以庆祝，但回形针科普内容的粉丝、为中国技术喝彩的正常人 早就腻了，因为塞雷和针都是观众，发生两次事件时，观众在做什么？为什么制作.mp4后一切如此骤然？ 难道平直和赞扬都不行了吗？
“ 我想借这个频道给回形针平反，因为我知道有很多墙内过来的人，他们仍然醒不过来，仍然觉得所有被封杀的人都是犯了错的，
我不觉得回形针犯错，我同样不觉得塞雷犯了错，当然塞雷很恶心就是了。如果有人指出回形针的“问题”，我会用逻辑来反驳。
握個爪唄 6天前
当年我也在现场，我从玉泉路一路走到公主坟。当时去就是为了见证这个历史时刻。至于谁对谁错，我说不清楚，因为双方都是有道理的......
一边要维护国家安全，一边要实现“民主”我为什么在这个民主上打引号呢?因为实际上当时学生提了很多的条件，你也不知道他们要什么，给人的感觉就是没完没了的提要求。
民主是事后才大张旗鼓的宣传的，我觉得就是为了给自己抬高身价。我为啥这样说呢?因为当时学生也分了很多派别，各种要求都有，像个乌托邦。没有贬低学生的意思，因为我自己也是学生，只是当时确实认识浅，做事太冲动。
说到开枪，我不会怨恨当兵的，因为当时如果我是兵，我也会开枪。有人可能说我没人性，不过你们错了，正因为人性，他们才会开枪。
估计你们谁都没有到过现场，现场除了身边人的讲话，你是听不见别人的话语的，只能听见一种类似海啸是潮水涌来的轰鸣声。所有人都在叫喊，所有人都在奔跑，所有人都战斗。那石块真跟雨点一般(小时候真是没白练砍石头)。
那种状态下，作为一个人，无论是为了保护自己还是为了给身边流血的战友报仇，我都会选择开枪。其实当兵的和我们一样都是十八九岁，即使是干部，也不过二十五六岁，顶多三十多一点。而且很多都是打过仗的，一样血气方刚，一样有兄弟感情。
我后来一直在反思，我们错在哪儿了?后来我感觉自己想明白了，我们太把自己当回事了，觉得自己是救世主一般，理掌握在我们的手里。其他人都是一群老朽，一群绊脚石。
我们忘记了自己面对的是什么人，那是一群用了一生的时间，付出了除了自己的生命外自己所拥有的一切的人。他们会眼睁睁的看着自己开创的一切毁于旦吗?
我们面对的是手中有枪，和我们一样的一群年轻人，当他们被打急了的时候，他们会不还手吗?我们面对的是刚刚经历了十年动荡，希望能透过改革开放，快速改善自己生活的普通老百姓，面对如此动荡的局势，他们会一直支持我们吗?
我们太把自己当回事了，太以自己的意志为转移了，太不顾实际情况了。从某种意义上讲，我们唤醒了中国人民的民主意识，但从另一方面讲，我们断送了中国的曾民主进程，我们是历史的功臣，更是历史的罪人。
马上塞雷也会被遗忘，但新闻联播滔滔不绝，阳光下无新事，只嘴里 喇叭里 统计数字里还会说。
我们可以庆祝，但回形针科普内容的粉丝、为中国技术喝彩的正常人 早就腻了，因为塞雷和针都是观众，发生两次事件时，观众在做什么？为什么制作.mp4后一切如此骤然？ 难道平直和赞扬都不行了吗？
“ 我想借这个频道给回形针平反，因为我知道有很多墙内过来的人，他们仍然醒不过来，仍然觉得所有被封杀的人都是犯了错的，
我不觉得回形针犯错，我同样不觉得塞雷犯了错，当然塞雷很恶心就是了。如果有人指出回形针的“问题”，我会用逻辑来反驳。
握個爪唄 6天前
当年我也在现场，我从玉泉路一路走到公主坟。当时去就是为了见证这个历史时刻。至于谁对谁错，我说不清楚，因为双方都是有道理的......
一边要维护国家安全，一边要实现“民主”我为什么在这个民主上打引号呢?因为实际上当时学生提了很多的条件，你也不知道他们要什么，给人的感觉就是没完没了的提要求。
民主是事后才大张旗鼓的宣传的，我觉得就是为了给自己抬高身价。我为啥这样说呢?因为当时学生也分了很多派别，各种要求都有，像个乌托邦。没有贬低学生的意思，因为我自己也是学生，只是当时确实认识浅，做事太冲动。
说到开枪，我不会怨恨当兵的，因为当时如果我是兵，我也会开枪。有人可能说我没人性，不过你们错了，正因为人性，他们才会开枪。
估计你们谁都没有到过现场，现场除了身边人的讲话，你是听不见别人的话语的，只能听见一种类似海啸是潮水涌来的轰鸣声。所有人都在叫喊，所有人都在奔跑，所有人都战斗。那石块真跟雨点一般(小时候真是没白练砍石头)。
那种状态下，作为一个人，无论是为了保护自己还是为了给身边流血的战友报仇，我都会选择开枪。其实当兵的和我们一样都是十八九岁，即使是干部，也不过二十五六岁，顶多三十多一点。而且很多都是打过仗的，一样血气方刚，一样有兄弟感情。
我后来一直在反思，我们错在哪儿了?后来我感觉自己想明白了，我们太把自己当回事了，觉得自己是救世主一般，理掌握在我们的手里。其他人都是一群老朽，一群绊脚石。
我们忘记了自己面对的是什么人，那是一群用了一生的时间，付出了除了自己的生命外自己所拥有的一切的人。他们会眼睁睁的看着自己开创的一切毁于旦吗?
我们面对的是手中有枪，和我们一样的一群年轻人，当他们被打急了的时候，他们会不还手吗?我们面对的是刚刚经历了十年动荡，希望能透过改革开放，快速改善自己生活的普通老百姓，面对如此动荡的局势，他们会一直支持我们吗?
我们太把自己当回事了，太以自己的意志为转移了，太不顾实际情况了。从某种意义上讲，我们唤醒了中国人民的民主意识，但从另一方面讲，我们断送了中国的曾民主进程，我们是历史的功臣，更是历史的罪人。
Forwarded from 每日赛雷观察
《沉痛悼念赛雷同志》
今天，我们怀着极其沉痛的心情，悼念中国新媒体的优秀战士，伟大的民族资产阶级斗士，杰出的爱国主义战士，中国网民爱戴的卓越的党和共青团的战友赛雷（李偲锐）同志。
赛雷同志，因近期的一期节目中，不慎出现了某年春夏之交政治风波的有关画面，导致全平台被封杀（截止悼文撰写，除了B站“赛雷话车”以外的所有帐号均被封禁）。我们所有人无不感到深切的悲痛和不舍。
赛雷同志的“逝世”，对于我们爱国青年来说，对于我国的社会主义舆论战线，无不是一个重大的损失。
相信很多同志都是通过2021年01月24日的《补充回形针没说出来的知识点》视频第一次认识到了赛雷。赛雷同志自那时候起，便献身于打击境内NGO,查网民成分抓50W，响应中宣部号召争夺网络舆论阵地的行动中。体现了一位中华民族爱国青年的应有担当和时代责任。
因为当时初生的反帝反慕洋犬力量过于单薄，对50W势力的打击没有显著成效。以回形针为首的境外势力仍然在为非作歹，光明正大地夹杂私货。赛雷同志痛心疾首，潜心研究对策，终于不负众望，在2021年06月发起的第二轮打击中，通过揪出回形针团队中的两名美军间谍成员，将这个百姓怨声载道的团伙驱逐出了中国互联网。
反境外势力方旗开得胜后，赛雷同志紧接着投入了更大的战场上。中南屋，CNN,经济学人都是他的新的打击目标。赛雷同志坚持传授网友搞清楚境外势力参杂私货手法的方法，同时勇于发动群众对其进行有限度的特殊网络打击行动。得到了网友的普遍爱戴。
回顾赛雷同志的一生，是为爱国主义事业光辉战斗的一生，是坚持继续战斗的一生，他是我们全共青团，全体爱国青年学习的榜样。
一个赛雷同志倒下了，还有千千万万个赛雷同志会站起来。我们要学习好赛雷同志与境外势力斗争的方法论和经验，接下爱国主义的接力棒。诚然，赛雷同志的逝世给了我们很大的打击，也让躲在暗中的境外势力暗自窃喜。但我们不能让他们得逞。要让他们见识一下爱国青年的力量。
赛雷同志与我们永别了。我们要化悲愤为力量，完成他未竟的事业。我们要同心协力，更加紧密地团结在党中央的周围，为完成肃清境外势力和打击汉奸的艰巨任务，实现中华民族伟大复兴的宏伟目标，坚韧不拔，努力奋斗！
赛雷同志永垂不朽！
今天，我们怀着极其沉痛的心情，悼念中国新媒体的优秀战士，伟大的民族资产阶级斗士，杰出的爱国主义战士，中国网民爱戴的卓越的党和共青团的战友赛雷（李偲锐）同志。
赛雷同志，因近期的一期节目中，不慎出现了某年春夏之交政治风波的有关画面，导致全平台被封杀（截止悼文撰写，除了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
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
Weibo
分享图片 来自手动吴松磊 - 微博
分享图片
上善 若水:
爱国自媒体在国内还被封了，塞雷那帮二极管思维粉丝不得被气死
橘ℤ汽水 🤍💙❤️:
真的吗，我看到挺好玩的一幕，有人希望把新疆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:
没有人能够把自己钉在墙上
赛雷：不，我可以
爱国自媒体在国内还被封了，塞雷那帮二极管思维粉丝不得被气死
橘ℤ汽水 🤍💙❤️:
真的吗，我看到挺好玩的一幕，有人希望把新疆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:
没有人能够把自己钉在墙上
赛雷：不，我可以
archive.ph
赛雷一周车事：买车还买出了大保健，咋回事？
archived 20 May 2022 11:22:07 UTC
https://t.iss.one/gledos_microblogging/590
Christopher:
但我看到的是，全网都在疯狂暗示，但不知道的人完全听不出来
这么多人同时在敏感的边缘疯狂试探，太恐怖了
min:
就备份赛雷冲人的视频吧
站酷的赛雷3分钟已被永久封禁.还有中南屋经济学人等
要不备份赛雷冲思维实验室直播
麦可（DC5）:
我觉得赛雷浪费储存空间，它不配我们花大精力全部备份
不知道赛雷的号之后会404还是过几年后解封
Richard Li:
假如赛雷锤没了思维实验室的话，那赛雷会不会更惨
async function:
有没有人注意到一个叫 蓝图blueprint的up。感觉他们做的好像回形针啊
Tony Ding:
但评论区清一色的“像回形针”真恶心人，，，看他们一口一个“敌人”真难受
麦可（DC5）:
我最讨厌这个词了。一口一个“敌人”的人简直有病
illusion_island:
一边晒上海买得到菜
一边有说深圳很安全随意出门
一边又说我在长春买不到菜
塞雷可能是有传送门科技的未来人吧
那么锤回形针估计也是看到了未来，来补齐历史的进程吧
stm李响
Christopher:
但我看到的是，全网都在疯狂暗示，但不知道的人完全听不出来
这么多人同时在敏感的边缘疯狂试探，太恐怖了
min:
就备份赛雷冲人的视频吧
站酷的赛雷3分钟已被永久封禁.还有中南屋经济学人等
要不备份赛雷冲思维实验室直播
麦可（DC5）:
我觉得赛雷浪费储存空间，它不配我们花大精力全部备份
不知道赛雷的号之后会404还是过几年后解封
Richard Li:
假如赛雷锤没了思维实验室的话，那赛雷会不会更惨
async function:
有没有人注意到一个叫 蓝图blueprint的up。感觉他们做的好像回形针啊
Tony Ding:
但评论区清一色的“像回形针”真恶心人，，，看他们一口一个“敌人”真难受
麦可（DC5）:
我最讨厌这个词了。一口一个“敌人”的人简直有病
illusion_island:
一边晒上海买得到菜
一边有说深圳很安全随意出门
一边又说我在长春买不到菜
塞雷可能是有传送门科技的未来人吧
那么锤回形针估计也是看到了未来，来补齐历史的进程吧
stm李响
Telegram
gledos 的微型博客
赛雷账号封禁情况表格
2022年5月18日，赛雷的多个账号在不同平台被封禁，情况如图，如果需要查看账号主页的链接，请打开 ggame 的赛雷条目。
可以看到只有知乎、新浪微博和哔哩哔哩的「赛雷三分钟」与「赛雷话金」的账号遭到了限制。并且新浪微博对于其中一个账号封禁一年，另一个没有注明封禁时间，原因不明。
---
5月19日补充：「赛雷三分钟」的微信公众号无法直接搜索到了，不过依然可以通过二维码进入。
新浪微博将赛雷三分钟的禁言时间移除了，只显示「因违反相关法律法规，该用户目前处于禁言状态」。
…
2022年5月18日，赛雷的多个账号在不同平台被封禁，情况如图，如果需要查看账号主页的链接，请打开 ggame 的赛雷条目。
可以看到只有知乎、新浪微博和哔哩哔哩的「赛雷三分钟」与「赛雷话金」的账号遭到了限制。并且新浪微博对于其中一个账号封禁一年，另一个没有注明封禁时间，原因不明。
---
5月19日补充：「赛雷三分钟」的微信公众号无法直接搜索到了，不过依然可以通过二维码进入。
新浪微博将赛雷三分钟的禁言时间移除了，只显示「因违反相关法律法规，该用户目前处于禁言状态」。
…
duangsuse:
我说这么多是为了维护我心中科普的地位，我也把理由说的很清楚了。
我希望管理员删除与议题无关的信息，或许是公开的，但不是放在这用的😅 也是出于避免恶意截图
如此强硬是我一贯的态度，如果因为我说实话冒犯到谁，我道歉，但不会把真的说回假的。
但是在任何一个群聊，针对与话题无关的个人 各种渲染嘲讽， 我想这不是真假的问题，是最基本群规的问题。
这么说吧， damocles 你自认的那些猛料都是顺着我引的自写文
https://zhuanlan.zhihu.com/p/464203132 找到的。
这篇文章讲的傅里叶变换，是信号处理的入门级知识，回形针也在
https://text.paperclip.tk/Vol.066/
提到过相同的内容。
你未曾阅读过我的科普文章，也并没有因为发现我也是科学人，而补救你们“坚定反民科”时的理解错误
我也反对民科和伪科学，但更反对无端指责。
所以说如果有任何管理看到，而因为对我有偏见而不处理我自认隐私的信息，这不是对我的惩罚，而是群规执行的问题。
如果回形针被封是因为塞雷们，而你们只能archive 他们的视频， 这次你们在自己的地盘，
就放任了和回形针有相同科普兴趣、以及同是莫名被毫无证据的人欺负的普通人，被当50w和歪屁股的玩笑开
damocles:
我读了
作为一个系统学习过复变函数与积分变换的读者
我的评价是
狗屁不通
duangsuse:
很好，看见标题上的40行代码了吗？那是生成文首gif动画的全部来源。
你系统学过，那你写一个，400行都可以，只要你不是站着说话不腰疼
而且我问的不是技术问题， 是回形针为什么有技术也会死，这是人和人之间最基本的尊重。
如果有人不知道如何尊重另一个人，我觉得有必要强制他学会尊重
建议你先实名一个，笑脸小丑
我还以为你和Hana一样是工作者呢，没想到也是个键政人士😅，我看你怎么把你口中 什么积分投影的教纲背诵下，证明你懂
我说这么多是为了维护我心中科普的地位，我也把理由说的很清楚了。
我希望管理员删除与议题无关的信息，或许是公开的，但不是放在这用的😅 也是出于避免恶意截图
如此强硬是我一贯的态度，如果因为我说实话冒犯到谁，我道歉，但不会把真的说回假的。
但是在任何一个群聊，针对与话题无关的个人 各种渲染嘲讽， 我想这不是真假的问题，是最基本群规的问题。
这么说吧， damocles 你自认的那些猛料都是顺着我引的自写文
https://zhuanlan.zhihu.com/p/464203132 找到的。
这篇文章讲的傅里叶变换，是信号处理的入门级知识，回形针也在
https://text.paperclip.tk/Vol.066/
提到过相同的内容。
你未曾阅读过我的科普文章，也并没有因为发现我也是科学人，而补救你们“坚定反民科”时的理解错误
我也反对民科和伪科学，但更反对无端指责。
所以说如果有任何管理看到，而因为对我有偏见而不处理我自认隐私的信息，这不是对我的惩罚，而是群规执行的问题。
如果回形针被封是因为塞雷们，而你们只能archive 他们的视频， 这次你们在自己的地盘，
就放任了和回形针有相同科普兴趣、以及同是莫名被毫无证据的人欺负的普通人，被当50w和歪屁股的玩笑开
damocles:
我读了
作为一个系统学习过复变函数与积分变换的读者
我的评价是
狗屁不通
duangsuse:
很好，看见标题上的40行代码了吗？那是生成文首gif动画的全部来源。
你系统学过，那你写一个，400行都可以，只要你不是站着说话不腰疼
而且我问的不是技术问题， 是回形针为什么有技术也会死，这是人和人之间最基本的尊重。
如果有人不知道如何尊重另一个人，我觉得有必要强制他学会尊重
建议你先实名一个，笑脸小丑
我还以为你和Hana一样是工作者呢，没想到也是个键政人士😅，我看你怎么把你口中 什么积分投影的教纲背诵下，证明你懂
知乎专栏
傅里叶变换40行
你画过直方图吗？ a.groupBy(key={it.色}) 里a是3个色球，按颜色每个投入x轴上不同的桶里。 想象你握着这3球，每个瞄一眼，再用不同速度抛向桶的列，它们便摞成一竖，仍等效原集合。 Map<K,List<V>> …
duangsuse:
一群蒙面也不敢出示证书的人在褒贬真理，你这就叫爱国。 哪天牺牲身边与你们无关的所有人，你们也活得好好的，继续爱国爱科学
这就是我一定要反驳的原因，我很难接受回形针的群、回形针的粉丝有这种人，表面上道貌岸然，其实根本没有意识到科学心性的重要性，觉得科学和技术是等价的。
abp higgs:
最后杠一下，崔化钠是为了给自己的非转食品打广告，以及润美国，而不是他真的觉得转基因有害
duangsuse:
你不用杠，因为我只是回应你的批评，没有批评你个人。
abp higgs:
我之前说过我在哪儿工作，群内也有人表明自己就在实验室打工，如果这都算蒙面，那只能建议你下次别裸奔了
逻辑上的锐角机动并不能提现你的睿智（无贬义），我一开始就好奇你是怎么从回形针被封进而论证到审查制度乃至爱国爱党 现在我明白了
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的貸款，是當初他在菲律賓申請來台灣辦理的仲介費，跟台灣的仲介公司毫無關係，就像你買
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 这种
让 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 这种
Shadertoy
Build shaders, share them, and learn from the best community.
Forwarded from dnaugsuz
这个过程有一个非常高大上的名字，叫做「内观」。哈哈，在编程时也有人说"自省introspect" ，以后写能生成或检视代码的元编程代码，就该用“内观”了😂👍
感觉“牌”这个词是有点泛用了，也可以是AI画图的提示词之类，如果提示词还有起承转合又像能交给GPT
不过我想现在分领域的学科，不过是做了最nature的一层难读降级.. 他们没有定义一条知识以外的处理。 我觉得学科对其而言是种「断层」，而非仔细归纳的结果。书本上的学科停留在“只给钥匙不给锁”，亦不会彼此互用来增进科学的体系性。
为这些问题熬夜不等于找到解法，但确实如螺丝所说，不要放弃思考。 但也别只想着一种思考
比如，所谓应用题基本是拿语文的壳 显示一个关系算式，可语文真的轻浮到只能当“壳”，实际问题又真的都那么简单纯粹吗？
正是因为学科主场的划分，你不好拿最新的数学应对生物的题，而这正是学校和realworld的语言隔离
而编程语言的发展，其实最该重视的正是学科间的求同，如何让复杂的问题，映射给几个面 各个击破。 但“计算机”又是学什么呢？ 只知P图啊命令行啦的使用而没有“操作模型”，甚至不会教你用Desmos,Geoalgebra来展现其工具的本分；编程语言的调用记法、数据集、类型化自顶向下叙事模型，也不会给其他领域的问题使用。 但这也是所有学科都如此
因为平时说的“学习”是要把人当计算工具用(一如“给每个评论点赞”vs.脚本)，而操作模型是种概括，当你专注于解(训练)某个题目和章节，模型的意义不大。 但对学习它就很有用了。
你说学习是构建知识网，可网状结构一定要画成连点联边的脑图吗？单纯的故事，就不能让人的脑海中显出这种图谱？
其实语文本身就是对知识最初的编码，符号都是从语文上别名来的。 文字检索起来难，但初次学习效果比随从漂浮的图形容易，这也是为什么论文不能只有数据和图表。
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 我觉得还算好，就是有可能滥用
怎么不问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
那这是合法语法吗？ 不是错误提示之类？
你一直没告诉我这只是兼容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
Telegram
duangsuse::Echo
https://zhuanlan.zhihu.com/p/607726793 #zhihu #sb 我为了“撕逼”此事专门重写别人一篇文章... 🤪
总之就是尊重祝福，但那些教科书般的文字还要看，就是很痛苦（
#relational #fp
评论区撕逼甚至促使我写关于类型推导的回答🤪
https://www.zhihu.com/question/22256149/answer/2903222440
总之就是尊重祝福，但那些教科书般的文字还要看，就是很痛苦（
#relational #fp
评论区撕逼甚至促使我写关于类型推导的回答🤪
https://www.zhihu.com/question/22256149/answer/2903222440
sN1DPmwfQug:
有请我联系ice1k锐评
duangsuse:
你还是联系bing吧，别打扰人家
你的自由
sN1DPmwfQug:
他就在我隔壁群
和你有什么关系
你为什么喜欢替别人做决定
duangsuse:
我觉得什么都问他有点浪费人家的时间
但问AI就不会
我们都有逻辑，自己都做不出来，有何能力分辨AI的文字呢？
只要能给我步骤，帮我写文就是好东西
目前为止问到的还都是之前了解过的 ，但很简单的代码api它也能运行的
这些都是实现细节，大体思想上接入AI 可以避免在无聊的位置卡顿
DL 领域有 fine tuning 一说.. 算法会有词性概率HMM那么简单吗😅
不能这么轻松的看待它。 我之前也一直以为它只是带概率搜索和替换 ，但它真的能解读和执行许多算法..以及70%能大致执行的代码
它可以handle base64, 二分查找,2d数组转化 等算法的逐步
重要的不是原理，而是这个应用能产生替代人思考的价值
人的创造和重复从来没有明确分割线。 你觉得 qsort,mergesort 各自是独立创造吗
有选择的随机就是创造和思考 ，只是ai还很幼稚， 但已经能帮你搜技术点与细分讲解了，我们可以立刻尝鲜到
你觉得什么是理解呢？翻译可以算一种吧？
敏感词审查可以叫理解吧？
如何证明我理解了你的话？
模式匹配是结构化编程理解世界的方法 ，但这显然不是唯一的
曾经有人讨论🦜 能模仿人说话， 会说话是否等于有灵魂；或者说模仿语料，是否就赛博飞升了一个人的思考能力
GPT的重点不在这里，而是它可以帮人类工作，以至于人类只需要提供灵感 就能享受劳动成果，以及(学习)前人的探索成果
有请我联系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.
这取决于目标知识对你有多重要
如果你不依赖它吃饭，未来逐步订正是可以的
广撒网才有深体会啊 ，光在深度上花时间，终究会卡住吧
如果你只是为了理解 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.
interactively.info
SVG Path Commands
M means Move, and indicates the point where we will start drawing. Currently, the Move value is set to 50, 50. The first number indicates the x-axis, and the second number indicates the y-axis. You can play around with the values to see the changes.
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 ，我一般没功夫回答这么杂的问题😅
(这种序列化在脚本语言里都是有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还有可视化笔记本
注解不代码生成或定义常量.. 有什么用
反射也是获取常量的方式啊， 好比反射到 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还有可视化笔记本
Forwarded from dnaugsuz
无论什么语言的框架，我都会了解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啦，底层怎么烂是没差的
再实际大不了上事件、异步yield和Promise组合器 甚至byteIO
https://t.iss.one/dsuse/18206
我会先用py和.md 准备大结构和功能点的伪代码，方便调试
比如说 fetch().searchInDB.filterKt.toJSON 我肯定是确保好 sql("code ${inject}")[0].uid 等底层易读，再编程实现，而toJSON等的重复率、filterKt的性能也是有预估的
Telegram
duangsuse::Echo
#kt #bing 知错能改，善莫大焉。 这个重构真方便啊，JB以后真成JB了 （... 编译原理真应该重新考量下，性能和用户体验哪个重要