duangsuse::Echo
714 subscribers
4.24K photos
127 videos
583 files
6.46K links
import this:
美而不丑、明而不暗、短而不凡、长而不乱,扁平不宽,读而后码,行之天下,勿托地上天国。
异常勿吞,难过勿过,叹一真理。效率是很重要,盲目最是低效。
简明是可靠的先验,不是可靠的祭品。
知其变,守其恒,为天下式;穷其变,知不穷,得地上势。知变守恒却穷变知新,我认真理,我不认真。

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): https://WOJS.org/#/
Download Telegram
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

#互联网
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的?:好 ,最重要的是这类写法还有十几处
duangsuse::Echo
🤯 #statement #china 🐻新政:房地产税+数字人民币 地产税 纯打击卖方市场,房住不炒;登记即收税是造谣 补充卖地收入的颓势;辟谣都是假大空 “现房都卖不出去了,是谁压着不让跌呢?” 数字币&医保社保账户 -30% 统一微信支付宝,反腐 粮票 “赋过1次红码了,河南钱什么时候能拿回?” 劳动仲裁 多亏有这群青天,官僚都是念歪了经 多亏有硬骨头坚定要说法,一般人却没精力走 “政府不生钱,只对重分配的结果承担质询 国家养不起人,养人的是人性” 农管城管&公务员朋友圈连坐制 服务监督坏货品、损友…
#china 传统·冲击八国使馆🥰
“犯了什么间谍罪,他心里清楚”
落后不会挨打,犯贱才会。

🐻伟大实现了世界人民大团结——只可惜中国人忘了自己也是世界的一员了😂😐
https://m.youtube.com/watch?v=q4nVsU7Won0
duangsuse::Echo
#china 传统·冲击八国使馆🥰 “犯了什么间谍罪,他心里清楚” 落后不会挨打,犯贱才会。 🐻伟大实现了世界人民大团结——只可惜中国人忘了自己也是世界的一员了😂😐 https://m.youtube.com/watch?v=q4nVsU7Won0
#history 战争是残酷的, 稍微有点常识的慈禧都不会同时招惹八个国家😐、同时断交美国和苏联 、同时认俄爹和留美、同时挑衅东欧11国、以支度加🇨🇦。这种站起无异于军国主义

看到个细恐的评论, “如果不是被掳走到大英博物馆,早被中国五毛自己除四旧,烧光了” 😒

万宝全书,不敌独夫玉玺,更不敌天朝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
dnaugsuz
Photo
“编程语言和软件工程是扩展性的艺术”

绝句和hs,kt 那些语言不一样 ,它的接口风格和py一样,是收敛性的 ,不是发散性的

确实,要收敛各种类型的计算与需求很难,似乎需要很高级的多态手段和复杂的手册🧐

但其实很简单。只要用批判性思维应对任何术语,日复一日用自己的语言重构「有用」的软件, 就能减少空洞的概念。
dnaugsuz
Photo
从选择自立以来, 听到的都是“文言文” “看不懂”这样的声音, 但我也只能走下去。 这是『开创』的代价

🤔我曾一直希望闭门造车 ,但反正也没人看,那就自在一点吧

绝句是跨语言/范式、跨语种的隐类型『名动词面向对象』编程语言

它的受众是,觉得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
duangsuse::Echo
Photo
#learn #Kt 协程 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
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