Forwarded from &'a ::rynco::UntitledChannel (Rynco Maekawa)
#recommend #china 公知介绍：☺️
公共知识人—批评家的前身， 是中国「吃饱了没事干，跑去管赵老爷的事」分子的代表，公知与恨国50w，并称为内外宣与五毛红卫兵的历史宿敌。
拉出清单，才懂得为何赵老爷又急着爱毛时代吃不饱的中国人：那才是最好用最坚定的韭菜
- 自由派
他们是立场很左的华人，通晓“野史”和经济、书籍和回击，认同 媒体自由、普选法制、人权天赋、普世价值 等现代社会特点，既不反华也不反共
Leonard，油管#1 反封建斗士，举国优越症、粉红滤镜清除师
小郑，反水吃日本社保、纳日本税的大内宣，喜欢做民生时事对谈
小K/袁腾飞 ，从历史和逻辑上论证的毛黑、民主吹
王局，反水到日本的CCTV记者
多伦多方脸，润加前创业者，日评经济时事
文昭，旅加文科学者
中南海老僧，荷兰信佛，文史题材
- 民主派
他们是中立或微右的台民/美民，出生在建成几十上百年的法制社会，视人权普世与政治平凡化为理所当然，对导致奴化的意识形态很敌视，不反华且反共
八炯，日更暖心事、舌战评论区粉红
波特王好帅，因面见总统被辱华的台湾原住民，周评中国大局和国交
陈老师/Jer仔，润美华人与港人，日更民生新闻
狗哥，日谈人权国交 说书人
LeLeFarley，乐天洋五毛, CCParty 的 MC
编程随想/变态辣椒，不当人矿当公民，不友好官方清单上的常客
墙国反贼，他有不少较中立的推荐频道。
- 时事派
他们是自由世界的社会观察者，会添加自己的立场
关键时刻/眼球央视 ，戏剧性时评
沈公子/公民老黑/SET三立新闻/ Inty(润LA维吾尔族)，时评
悉尼奶爸，澳洲民运
江峰/王剑，时事分析
七七/cheap/KK Show ，社科科普
朽木 ，单口相声
ChinaUncensored/BBC VOA/SimoneGao，经典境外势力
- 左右逢源派
他们其实不粉红，却信奉离岸爱国主义、假中立真精利、小骂大帮忙能给自己挣来幸福，是岁静在墙外的投影
司马南，墙头草的风向标
老灯，习下李上论
小岛大浪，贪官明主论、阴谋论难改
我想当官， 称特供体系为孝敬英雄，大赞上下级礼仪考究
郑国成，曾反水的大外宣
公共知识人—批评家的前身， 是中国「吃饱了没事干，跑去管赵老爷的事」分子的代表，公知与恨国50w，并称为内外宣与五毛红卫兵的历史宿敌。
拉出清单，才懂得为何赵老爷又急着爱毛时代吃不饱的中国人：那才是最好用最坚定的韭菜
- 自由派
他们是立场很左的华人，通晓“野史”和经济、书籍和回击，认同 媒体自由、普选法制、人权天赋、普世价值 等现代社会特点，既不反华也不反共
Leonard，油管#1 反封建斗士，举国优越症、粉红滤镜清除师
小郑，反水吃日本社保、纳日本税的大内宣，喜欢做民生时事对谈
小K/袁腾飞 ，从历史和逻辑上论证的毛黑、民主吹
王局，反水到日本的CCTV记者
多伦多方脸，润加前创业者，日评经济时事
文昭，旅加文科学者
中南海老僧，荷兰信佛，文史题材
- 民主派
他们是中立或微右的台民/美民，出生在建成几十上百年的法制社会，视人权普世与政治平凡化为理所当然，对导致奴化的意识形态很敌视，不反华且反共
八炯，日更暖心事、舌战评论区粉红
波特王好帅，因面见总统被辱华的台湾原住民，周评中国大局和国交
陈老师/Jer仔，润美华人与港人，日更民生新闻
狗哥，日谈人权国交 说书人
LeLeFarley，乐天洋五毛, CCParty 的 MC
编程随想/变态辣椒，不当人矿当公民，不友好官方清单上的常客
墙国反贼，他有不少较中立的推荐频道。
- 时事派
他们是自由世界的社会观察者，会添加自己的立场
关键时刻/眼球央视 ，戏剧性时评
沈公子/公民老黑/SET三立新闻/ Inty(润LA维吾尔族)，时评
悉尼奶爸，澳洲民运
江峰/王剑，时事分析
七七/cheap/KK Show ，社科科普
朽木 ，单口相声
ChinaUncensored/BBC VOA/SimoneGao，经典境外势力
- 左右逢源派
他们其实不粉红，却信奉离岸爱国主义、假中立真精利、小骂大帮忙能给自己挣来幸福，是岁静在墙外的投影
司马南，墙头草的风向标
老灯，习下李上论
小岛大浪，贪官明主论、阴谋论难改
我想当官， 称特供体系为孝敬英雄，大赞上下级礼仪考究
郑国成，曾反水的大外宣
YouTube
大国14亿人每人出1000美金还造不出芯片?小学博士治国鉴赏-----就不信芯片那么难做？1.4萬億美金看我怎么花？（有字幕）
加入本頻道會員https://www.youtube.com/channel/UC1mx_wcSHtfpLk5N_zY0TRg/join
聯繫我thetruthof123@gmail.com
聯繫我thetruthof123@gmail.com
👍2
Forwarded from 每日消费电子观察 (horo)
ChatGPT 能上传文件了，文档图片数据集秒理解，代码一键执行 - IT之家
https://www.ithome.com/0/691/199.htm
https://www.ithome.com/0/691/199.htm
Ithome
ChatGPT 能上传文件了，文档图片数据集秒理解，代码一键执行 - IT之家
ChatGPT 又出试验型新模式，不少网友陆续收到代码解释器 Alpha 测试资格。
Forwarded from Solidot
Vint Cerf 谈他在 TCP/IP 设计中犯下的三大错误
2023-05-08 14:09:00 by 少年侠
TCP/IP 合作者 Vint Cerf 赢得了 IEEE 2023 年度的荣誉勋章。他接受 IEEE Spectrum 采访谈论了在 TCP/IP 设计中犯下的三大错误。第一个错误是认为 32 位对于互联网地址而言足够了，当然那时是在 1973 年，128 位地址可能还无法想象；没有认真考虑安全性如引入加密；没有想到 World Wide Web 的出现会带来海量的内容，以至于需要搜索引擎才能找到东西。
https://spectrum.ieee.org/vint-cerf-mistakes
#互联网
2023-05-08 14:09:00 by 少年侠
TCP/IP 合作者 Vint Cerf 赢得了 IEEE 2023 年度的荣誉勋章。他接受 IEEE Spectrum 采访谈论了在 TCP/IP 设计中犯下的三大错误。第一个错误是认为 32 位对于互联网地址而言足够了，当然那时是在 1973 年，128 位地址可能还无法想象；没有认真考虑安全性如引入加密；没有想到 World Wide Web 的出现会带来海量的内容，以至于需要搜索引擎才能找到东西。
https://spectrum.ieee.org/vint-cerf-mistakes
#互联网
duangsuse::Echo
#bing 😭 AI又开始胡诌了， 它搞不懂 {lambda:} 和 lambda: 的区别.. 😒 差一点点就能完成,是ast模块的锅吗 (写机械点它反而能理解， AI在“为何如此”上真的太蠢了.. 不会猜我的意思 #ml #haha #recommend 可爱盒子online train。视觉是raycast小矩阵 输出是xyz移动跳跃和旋转 https://m.youtube.com/watch?v=2tamH76Tjvw 捕食与逃亡 https://m.youtube.com/watch?v=qwrp3lB…
#bing #bilibili 噢..原来AI编程是有源代码可参考的😅只是不好搜索。 我一直以为所有API都是它瞎想出来的
#plt (新语言设计) 我发现 t?. call() 的编译方式和await()调用很像，但终究是前者更单调。 🤔
for<T>fun T?.{?} (fnext:FnCont<T?>)
=(this==NO).way(NO){fnext(this)}
对何<T> T?.「?」(fnext：函续<T?>)
=(我是空)去路(空)「fnext(我)」
这样就可以把 a?.f() 选择执行
新语言的无语句化也太棒了😋 我甚至觉得这比kt的if表达式和java的?:好 ，最重要的是这类写法还有十几处
#plt (新语言设计) 我发现 t?. call() 的编译方式和await()调用很像，但终究是前者更单调。 🤔
for<T>fun T?.{?} (fnext:FnCont<T?>)
=(this==NO).way(NO){fnext(this)}
对何<T> T?.「?」(fnext：函续<T?>)
=(我是空)去路(空)「fnext(我)」
这样就可以把 a?.f() 选择执行
新语言的无语句化也太棒了😋 我甚至觉得这比kt的if表达式和java的?:好 ，最重要的是这类写法还有十几处
duangsuse::Echo
🤯 #statement #china 🐻新政:房地产税+数字人民币 地产税 ❌纯打击卖方市场，房住不炒；登记即收税是造谣 ✅补充卖地收入的颓势；辟谣都是假大空 “现房都卖不出去了，是谁压着不让跌呢？” 数字币&医保社保账户 -30% ❌统一微信支付宝，反腐 ✅粮票 “赋过1次红码了，河南钱什么时候能拿回？” 劳动仲裁 ❌多亏有这群青天，官僚都是念歪了经 ✅多亏有硬骨头坚定要说法，一般人却没精力走 “政府不生钱，只对重分配的结果承担质询 国家养不起人，养人的是人性” 农管城管&公务员朋友圈连坐制 ❌服务监督坏货品、损友…
#china 传统·冲击八国使馆🥰
“犯了什么间谍罪，他心里清楚”
落后不会挨打，犯贱才会。
🐻伟大实现了世界人民大团结——只可惜中国人忘了自己也是世界的一员了😂😐
https://m.youtube.com/watch?v=q4nVsU7Won0
“犯了什么间谍罪，他心里清楚”
落后不会挨打，犯贱才会。
🐻伟大实现了世界人民大团结——只可惜中国人忘了自己也是世界的一员了😂😐
https://m.youtube.com/watch?v=q4nVsU7Won0
YouTube
中國升級反間諜法抓日本人，台灣黃老師「你不做間諜你怕什麼」小鄭害怕了！倒車速度徹底失控，那頭200斤下令狠抓，日本人台灣人要小心！台灣人 中國人 大陸人 上海人 不聽話 小鄭在日本
#台灣人 #中國人 #小鄭在日本
中國升級反間諜法抓日本人，台灣黃老師「你不做間諜你怕什麼」小鄭害怕了！倒車速度徹底失控，那頭200斤下令狠抓，日本人台灣人要小心！台灣人 中國人 大陸人 上海人 小鄭不聽話 小鄭在日本
中國升級反間諜法抓日本人，台灣黃老師「你不做間諜你怕什麼」小鄭害怕了！倒車速度徹底失控，那頭200斤下令狠抓，日本人台灣人要小心！台灣人 中國人 大陸人 上海人 小鄭不聽話 小鄭在日本
duangsuse::Echo
#china 传统·冲击八国使馆🥰 “犯了什么间谍罪，他心里清楚” 落后不会挨打，犯贱才会。 🐻伟大实现了世界人民大团结——只可惜中国人忘了自己也是世界的一员了😂😐 https://m.youtube.com/watch?v=q4nVsU7Won0
#history 战争是残酷的， 稍微有点常识的慈禧都不会同时招惹八个国家😐、同时断交美国和苏联 、同时认俄爹和留美、同时挑衅东欧11国、以支度加🇨🇦。这种站起无异于军国主义
看到个细恐的评论， “如果不是被掳走到大英博物馆，早被中国五毛自己除四旧，烧光了” 😒
万宝全书，不敌独夫玉玺，更不敌天朝14万万土皇帝。
这种民粹，如何配得上开明唐宋的国宝，更有何颜面斥中华民国孫文的112年国玺？
一头200斤的厕纸和“龙遗”却能放在书架上玻璃罩内供起来遗臭万年，令人贻笑大方了
“盟友”“双赢”那是面子，不想赢的已经滚出中国，中国内只剩下大赢，中赢和小赢三个选项了。🥰 投资都有风险，没风险有大利的是？
https://m.youtube.com/watch?v=ZXx6Q0l9qdk
看到个细恐的评论， “如果不是被掳走到大英博物馆，早被中国五毛自己除四旧，烧光了” 😒
万宝全书，不敌独夫玉玺，更不敌天朝14万万土皇帝。
这种民粹，如何配得上开明唐宋的国宝，更有何颜面斥中华民国孫文的112年国玺？
一头200斤的厕纸和“龙遗”却能放在书架上玻璃罩内供起来遗臭万年，令人贻笑大方了
“盟友”“双赢”那是面子，不想赢的已经滚出中国，中国内只剩下大赢，中赢和小赢三个选项了。🥰 投资都有风险，没风险有大利的是？
https://m.youtube.com/watch?v=ZXx6Q0l9qdk
Forwarded from dnaugsuz
1.我想说，新功能和易用是不冲突的。 Kotlin类型相对Java就做到了这一点
对于绝句而言，新功能就是常用语中简单的逻辑， 比如 行/列、函续(Continuation)、 叠算(fold)、事量「」(operator)、物事(inner class&扩充函数) ，这些新功能甚至不被视为功能，没有自己的术语和概念；例如 {1 2 3} (叠算「+」的逆值) vs. fold1Right ，以及 {1 2 1}去滤首(1)必{1} “takeWhile”
如列表处理，「令滤序带叠」 一开始就是完整的、归纳好的， 因此有“视well done为耻的语言”不具备的易学性😋
2. #haskell 有自己的特殊点和教条，以及为之而生的语法和布局，但它并不适合广泛意义的编程
我觉得定义式是比纯函数好用的。 而且既然有GPT的出现， 纯函数的意义会比以往要低，FP与GPT，就是java与Lombok
ref:https://t.me/dsuses/5173
对于绝句而言，新功能就是常用语中简单的逻辑， 比如 行/列、函续(Continuation)、 叠算(fold)、事量「」(operator)、物事(inner class&扩充函数) ，这些新功能甚至不被视为功能，没有自己的术语和概念；例如 {1 2 3} (叠算「+」的逆值) vs. fold1Right ，以及 {1 2 1}去滤首(1)必{1} “takeWhile”
如列表处理，「令滤序带叠」 一开始就是完整的、归纳好的， 因此有“视well done为耻的语言”不具备的易学性😋
2. #haskell 有自己的特殊点和教条，以及为之而生的语法和布局，但它并不适合广泛意义的编程
我觉得定义式是比纯函数好用的。 而且既然有GPT的出现， 纯函数的意义会比以往要低，FP与GPT，就是java与Lombok
ref:https://t.me/dsuses/5173
dnaugsuz
Photo
“编程语言和软件工程是扩展性的艺术”
绝句和hs,kt 那些语言不一样 ，它的接口风格和py一样，是收敛性的 ，不是发散性的
确实，要收敛各种类型的计算与需求很难，似乎需要很高级的多态手段和复杂的手册🧐
但其实很简单。只要用批判性思维应对任何术语，日复一日用自己的语言重构「有用」的软件， 就能减少空洞的概念。
绝句和hs,kt 那些语言不一样 ，它的接口风格和py一样，是收敛性的 ，不是发散性的
确实，要收敛各种类型的计算与需求很难，似乎需要很高级的多态手段和复杂的手册🧐
但其实很简单。只要用批判性思维应对任何术语，日复一日用自己的语言重构「有用」的软件， 就能减少空洞的概念。
dnaugsuz
Photo
从选择自立以来， 听到的都是“文言文” “看不懂”这样的声音， 但我也只能走下去。 这是『开创』的代价
🤔我曾一直希望闭门造车 ，但反正也没人看，那就自在一点吧
绝句是跨语言/范式、跨语种的隐类型『名动词面向对象』编程语言
它的受众是，觉得Kotlin太难而java太机械、python不易拓展的初学者，再是英文盲。
显然，这对编程圈的老油条来说太陌生了😒。
绝句兼顾组合式编程的灵活、继承式的简洁，同时有缩进块和kt式的let/also 域函数
支持编译期计算，因此类型/可变量/协程/语法 都有API，都可参与计算
听起来，这学习难度肯定不逊于Rust ；但实际上，绝句的哲学「不使用=不存在」 却能防止风格被逼格带偏😊
我已经设计出了形式语法，并掌握所需的js解析器、类型推导技术 ，正在思考流控和内联的特殊互编译方法；但这个是以思考为主，实现要晚点 ，因为我看js前端界更不顺眼一些
🤔我曾一直希望闭门造车 ，但反正也没人看，那就自在一点吧
绝句是跨语言/范式、跨语种的隐类型『名动词面向对象』编程语言
它的受众是，觉得Kotlin太难而java太机械、python不易拓展的初学者，再是英文盲。
显然，这对编程圈的老油条来说太陌生了😒。
绝句兼顾组合式编程的灵活、继承式的简洁，同时有缩进块和kt式的let/also 域函数
支持编译期计算，因此类型/可变量/协程/语法 都有API，都可参与计算
听起来，这学习难度肯定不逊于Rust ；但实际上，绝句的哲学「不使用=不存在」 却能防止风格被逼格带偏😊
我已经设计出了形式语法，并掌握所需的js解析器、类型推导技术 ，正在思考流控和内联的特殊互编译方法；但这个是以思考为主，实现要晚点 ，因为我看js前端界更不顺眼一些
#lang #py-like 噢，我好像明白了。 这个是拿SIMD Vec2 来比pypy的tuple计算 😅
https://www.modular.com/mojo
和taichi或pypy 以及一般的 C FFI/nvidia kernel 不同， mojo是编译到 #ai MLIR 的渐进类型，可以用于jupyter
基本上是为其训练Engine改良的py
- 弥补没有let和var 的低逼格
- struct泛型和重载 ，避免运行期检查
- 所有权🔥和析构函数
- 常量类型, GPU版numpy
struct SIMD[type: DType, size: Int]:
- 对标 tvm和clang
https://www.modular.com/mojo
和taichi或pypy 以及一般的 C FFI/nvidia kernel 不同， mojo是编译到 #ai MLIR 的渐进类型，可以用于jupyter
基本上是为其训练Engine改良的py
- 弥补没有let和var 的低逼格
- struct泛型和重载 ，避免运行期检查
- 所有权🔥和析构函数
- 常量类型, GPU版numpy
struct SIMD[type: DType, size: Int]:
- 对标 tvm和clang