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
https://t.me/im_RORIRI/8935?comment=145686 #js
#bing 用 Intl. List&NumberFormat, 输出 甲和乙 2人
// zh-CN:中国和日本和韩国 3人
// ja-JP:中国と日本と韓国 3人
// ko-KR:중국과 일본과 한국 3명
#bing 用 Intl. List&NumberFormat, 输出 甲和乙 2人
// zh-CN:中国和日本和韩国 3人
// ja-JP:中国と日本と韓国 3人
// ko-KR:중국과 일본과 한국 3명
Telegram
duangsuse in 鸡与气球
#js 冷知识: Intl 可以格式 console.log(new Intl.ListFormat("zh-CN", {style: "short", type: "conjunction"}).format(["甲", "乙"]) + " " + new Intl.NumberFormat("zh-CN", {style: "unit", unit: "person"}).format(2)); // 甲和乙 2人
duangsuse::Echo
Photo
#learn #Kt 协程
但, ctx[CoroName] 却是链表式、强类型Map的设计来方便Scope。这get还判断子类型, 复杂得莫名其妙 😅
我重新设计了 Coroutine 操作函数 待完/待命/待
🤔函续的获取上,绝句直接将其传给了欲调函数(回,抛回 即回调, 整体即Promise) 而无『协程』
kt 的suspend{},await() 则都用于休眠当前协程
例如,IO looper 会提供delay 避免靠卡线程Blocking sleep
kt对协程fun是有特殊 invoke() 技巧的,
与Kt截获每次resume()不同,“IO去待完()” 能拿到当前
就像之前 let/also/run/apply 一样,清楚多了 🥰
suspend()->R 就比绝句多个ctx(来绑定Job,catch,派发looper,.),一样用Either<AB>做异常处理 🥰但, ctx[CoroName] 却是链表式、强类型Map的设计来方便Scope。这get还判断子类型, 复杂得莫名其妙 😅
我重新设计了 Coroutine 操作函数 待完/待命/待
fun f()=async{delay(1_000).await(); "1s"}; f.await()
事 f=待,1sec;"1s"。 f()“自动等待”suspendCoroutine {c-> callback={c.resume(0)||c.resumeWithEx_(err)} }
待, callback=「回0 或 抛回err」 。🤔函续的获取上,绝句直接将其传给了欲调函数(回,抛回 即回调, 整体即Promise) 而无『协程』
kt 的suspend{},await() 则都用于休眠当前协程
C.withContext(IO) {}; runBlocking,coroScope{}
IO去待完,。 待完,。例如,IO looper 会提供delay 避免靠卡线程Blocking sleep
CoroScope(ctx=Default+CoroName("wtf")).launch{}
函蓄(名="wtf")的域 去待命,。kt对协程fun是有特殊 invoke() 技巧的,
CoroStart { NONE; LAZY-需join; SAFE-不可被停止; HERE }
函续的Scope用于组织结构化并发(join or cancel) ,它在ctx记录了子集的jobs。与Kt截获每次resume()不同,“IO去待完()” 能拿到当前
函续<R> 并将其添入IO函蓄池就像之前 let/also/run/apply 一样,清楚多了 🥰
user.apply{名="Jack"; 男=true}.also{check(it); db.add(it)}
user令,名="Jack"; 性别=男。 令,[他] 检(他);db添他。listOf(user).let{it[0]}.run{save()}
{user}令为,[a] a[0]。令为,保存()。
duangsuse::Echo
#history 战争是残酷的, 稍微有点常识的慈禧都不会同时招惹八个国家😐、同时断交美国和苏联 、同时认俄爹和留美、同时挑衅东欧11国、以支度加🇨🇦。这种站起无异于军国主义 看到个细恐的评论, “如果不是被掳走到大英博物馆,早被中国五毛自己除四旧,烧光了” 😒 万宝全书,不敌独夫玉玺,更不敌天朝14万万土皇帝。 这种民粹,如何配得上开明唐宋的国宝,更有何颜面斥中华民国孫文的112年国玺? 一头200斤的厕纸和“龙遗”却能放在书架上玻璃罩内供起来遗臭万年,令人贻笑大方了 “盟友”“双赢”那是面子,…
#tw #tiktok#haha #news 🇺🇸要炸毁台积电?🤣
把别国政客和智库当脑残,以为美国人会因说破史实恼羞,NMSLese太以支度人了🥰
如果tsmc是被美军攻击,会带来2兆刀的经济灾难,“美国的狗”都会背叛的,资本国可不敢。 其次,技术人员润了、留岛不留人,都是三输局面。 不愧是互害博弈的小农思维 ,只懂杀鸡取卵和拆东补西
但是tsmc被中国飞弹炸,那不管中国是否声称“我在摧毁我的一个省” “我在杀台湾人,毕竟台湾是中国”, 国际都会支持被辱华的tsmc
https://m.youtube.com/watch?v=EWT-nf6w4yY&t=502s
把别国政客和智库当脑残,以为美国人会因说破史实恼羞,NMSLese太以支度人了🥰
如果tsmc是被美军攻击,会带来2兆刀的经济灾难,“美国的狗”都会背叛的,资本国可不敢。 其次,技术人员润了、留岛不留人,都是三输局面。 不愧是互害博弈的小农思维 ,只懂杀鸡取卵和拆东补西
但是tsmc被中国飞弹炸,那不管中国是否声称“我在摧毁我的一个省” “我在杀台湾人,毕竟台湾是中国”, 国际都会支持被辱华的tsmc
https://m.youtube.com/watch?v=EWT-nf6w4yY&t=502s
duangsuse::Echo
#tw #tiktok#haha #news 🇺🇸要炸毁台积电?🤣 把别国政客和智库当脑残,以为美国人会因说破史实恼羞,NMSLese太以支度人了🥰 如果tsmc是被美军攻击,会带来2兆刀的经济灾难,“美国的狗”都会背叛的,资本国可不敢。 其次,技术人员润了、留岛不留人,都是三输局面。 不愧是互害博弈的小农思维 ,只懂杀鸡取卵和拆东补西 但是tsmc被中国飞弹炸,那不管中国是否声称“我在摧毁我的一个省” “我在杀台湾人,毕竟台湾是中国”, 国际都会支持被辱华的tsmc https://m.you…
突然感觉“我在摧毁我的一个省” “我在杀台湾人,毕竟台湾是中国” 这些例句很恐怖诶🙊
宣传口肯定是“捍卫中国台湾的统一” “消灭数典忘祖台毒狗”, 啥都有两面性,统一也包含隔离😅,极致双标
#statement
但究其语境, 就能理解大逃港和港独了:
中国人专打黄种人,尤其爱猜忌“自己人”,但遇见洋大人却只敢威胁叫嚣;洋就是与生俱来的“阶级”
遇到家暴要感恩沉默,看见皇族要跪,堂堂正正浑身敏感词的中国人,此种祖宗没人想认,信宗教起码还劝人莫恶。不这样的群体,姓什么都过得好。
「让可怜人活着,就是最极致的辱华」
遇见这种抖M的“普世价值”和政治正确,如果不敢离远远,一切权利都会被“善人”剥夺 ;还会以为能吃肉的比自己更像狗🥰
#china
中美冲突的原因,可以说是民主与明君的分歧,可以说是天朝“我强我有理”的大清时刻再现 ,但根源是全球化的科技服务与法制⚖缺位的冲突,是信任。中美做不到欧美那样开放,战狼外交报应来了
经济是主流信心的体现
商业思维,雅典和罗马,重视历史文件🇭🇰和透明信任
小农封建,只需要囤粮囤地和潜秩序
“我们赢了,你们肯定很难受 ,你们闭关锁国,是想颠覆我”
为何中国以倒为进,一目了然。
台积电为每个客户守口如瓶,因此能成为技术的中心,而全领域山寨盗用却指责别国“偷走传统”的中国,大炼芯片,也只是文字狱里的赤字派对。
https://m.youtube.com/watch?v=5DbwqNlt1IA
https://m.youtube.com/watch?v=U2pmjmufdYY
宣传口肯定是“捍卫中国台湾的统一” “消灭数典忘祖台毒狗”, 啥都有两面性,统一也包含隔离😅,极致双标
#statement
但究其语境, 就能理解大逃港和港独了:
中国人专打黄种人,尤其爱猜忌“自己人”,但遇见洋大人却只敢威胁叫嚣;洋就是与生俱来的“阶级”
遇到家暴要感恩沉默,看见皇族要跪,堂堂正正浑身敏感词的中国人,此种祖宗没人想认,信宗教起码还劝人莫恶。不这样的群体,姓什么都过得好。
「让可怜人活着,就是最极致的辱华」
遇见这种抖M的“普世价值”和政治正确,如果不敢离远远,一切权利都会被“善人”剥夺 ;还会以为能吃肉的比自己更像狗🥰
#china
中美冲突的原因,可以说是民主与明君的分歧,可以说是天朝“我强我有理”的大清时刻再现 ,但根源是全球化的科技服务与法制⚖缺位的冲突,是信任。中美做不到欧美那样开放,战狼外交报应来了
经济是主流信心的体现
商业思维,雅典和罗马,重视历史文件🇭🇰和透明信任
小农封建,只需要囤粮囤地和潜秩序
“我们赢了,你们肯定很难受 ,你们闭关锁国,是想颠覆我”
为何中国以倒为进,一目了然。
台积电为每个客户守口如瓶,因此能成为技术的中心,而全领域山寨盗用却指责别国“偷走传统”的中国,大炼芯片,也只是文字狱里的赤字派对。
https://m.youtube.com/watch?v=5DbwqNlt1IA
https://m.youtube.com/watch?v=U2pmjmufdYY
YouTube
【分享】美国学者分析(下):中美关系改善的基础是什么?中国、美国各自最在意什么?
视频制作不易,您可以通过以下方式支持我:
1、视频下方“超级感谢”
2、Patreon(新平台,可赞助打赏):https://www.patreon.com/freedom2020
3、比特币支持:16bSB2TedE9onWLnGQPeHSPCUwRPTr3chR
4、我的LBRY频道地址(另一个平台):https://odysee.com/@%E8%87%AA%E7%94%B1%E4%BE%A0%E5%B0%8FK-%E6%94%BF%E6%B2%BB%E8%A7%89%E9%86%92%E9%A2%91%E9%81%93:d…
1、视频下方“超级感谢”
2、Patreon(新平台,可赞助打赏):https://www.patreon.com/freedom2020
3、比特币支持:16bSB2TedE9onWLnGQPeHSPCUwRPTr3chR
4、我的LBRY频道地址(另一个平台):https://odysee.com/@%E8%87%AA%E7%94%B1%E4%BE%A0%E5%B0%8FK-%E6%94%BF%E6%B2%BB%E8%A7%89%E9%86%92%E9%A2%91%E9%81%93:d…