“编程语言和软件工程是扩展性的艺术”

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

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

但其实很简单。只要用批判性思维应对任何术语，日复一日用自己的语言重构「有用」的软件， 就能减少空洞的概念。

从选择自立以来， 听到的都是“文言文” “看不懂”这样的声音， 但我也只能走下去。 这是『开创』的代价

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

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

它的受众是，觉得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://t.me/im_RORIRI/8935?comment=145686 #js
#bing 用 Intl. List&NumberFormat, 输出 甲和乙 2人

// zh-CN：中国和日本和韩国 3人
// ja-JP：中国と日本と韓国 3人
// ko-KR：중국과 일본과 한국 3명

#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]。令为，保存()。

#tw #tiktok#haha #news 🇺🇸要炸毁台积电？🤣
把别国政客和智库当脑残，以为美国人会因说破史实恼羞，NMSLese太以支度人了🥰

如果tsmc是被美军攻击，会带来2兆刀的经济灾难，“美国的狗”都会背叛的，资本国可不敢。 其次，技术人员润了、留岛不留人，都是三输局面。 不愧是互害博弈的小农思维 ，只懂杀鸡取卵和拆东补西

但是tsmc被中国飞弹炸，那不管中国是否声称“我在摧毁我的一个省” “我在杀台湾人，毕竟台湾是中国”， 国际都会支持被辱华的tsmc

https://m.youtube.com/watch?v=EWT-nf6w4yY&t=502s

突然感觉“我在摧毁我的一个省” “我在杀台湾人，毕竟台湾是中国” 这些例句很恐怖诶🙊

宣传口肯定是“捍卫中国台湾的统一” “消灭数典忘祖台毒狗”， 啥都有两面性，统一也包含隔离😅，极致双标

#statement
但究其语境， 就能理解大逃港和港独了：
中国人专打黄种人，尤其爱猜忌“自己人”，但遇见洋大人却只敢威胁叫嚣；洋就是与生俱来的“阶级”

遇到家暴要感恩沉默，看见皇族要跪，堂堂正正浑身敏感词的中国人，此种祖宗没人想认，信宗教起码还劝人莫恶。不这样的群体，姓什么都过得好。
「让可怜人活着，就是最极致的辱华」

遇见这种抖M的“普世价值”和政治正确，如果不敢离远远，一切权利都会被“善人”剥夺 ；还会以为能吃肉的比自己更像狗🥰

#china
中美冲突的原因，可以说是民主与明君的分歧，可以说是天朝“我强我有理”的大清时刻再现 ，但根源是全球化的科技服务与法制⚖缺位的冲突，是信任。中美做不到欧美那样开放，战狼外交报应来了

经济是主流信心的体现
商业思维，雅典和罗马，重视历史文件🇭🇰和透明信任
小农封建，只需要囤粮囤地和潜秩序
“我们赢了，你们肯定很难受 ，你们闭关锁国，是想颠覆我”

为何中国以倒为进，一目了然。

台积电为每个客户守口如瓶，因此能成为技术的中心，而全领域山寨盗用却指责别国“偷走传统”的中国，大炼芯片，也只是文字狱里的赤字派对。

https://m.youtube.com/watch?v=5DbwqNlt1IA
https://m.youtube.com/watch?v=U2pmjmufdYY

美国第十一巡回上诉法院判决 Corellium 的 CORSEC 模拟器符合版权法中「合理使用」之规则。CORSEC 是一款模拟 iOS 系统的模拟器，根据 Corellium 的描述，主要用于安全研究等领域。

Apple 发言人拒绝对此判决置评。

https://news.bloomberglaw.com/ip-law/apple-fails-to-revive-copyright-case-over-iphone-ios-simulator

#Apple #Corellium #Copyright #iOS

谷歌一雪前耻，全新 PaLM 2 反超 GPT-4，办公全家桶炸裂升级，Bard 史诗进化 - IT之家
https://www.ithome.com/0/691/931.htm

Google 开放其 AI 聊天机器人 Bard

2023-05-11 12:43:00 by 量子魔术师

Google 宣布向逾 180 个国家的英语用户开放其 AI 聊天机器人 Bard，用户不再需要加入等候名单。Google 还为 Bard 增加了新功能，包括支持日语和韩语，简化文本导出，可视化搜索和暗色模式，未来还将支持 Adobe 的 AI 图像生成，整合第三方 Web 服务如 ZipRecruiter、Instacart、Wolfram 和 Khan Academy。Google 表示正在升级 Bard 以利用最新的语言模型 PaLM 2，升级后的聊天机器人将能更好的处理代码查询，包括调试和解释逾 20 种编程语言的代码块。Google 还发布了一个用于测试其准备推出的新产品新功能的应用 Search Labs。

https://blog.google/technology/ai/google-bard-updates-io-2023/

https://blog.google/products/search/search-labs-ai-announcement-/

#人工智能

#lang 「中文编程」迷因
dongbei: py+matlab like, OOP
写九九表咋整： # 定义套路 写九九表。
老王从1到9磨叽：
老张从老王到9磨叽：
嘀咕：老王、“*”、老张、“=”、老王乘老张。 省略'}'

wenyan: PostScript+JS like, 基于栈的过程式, JS大佬开发
var f = e(a,d(b,c))
夫「甲」。夫「乙」。夫「丙」。取二以施「丁」。取二以施「戊」。名之曰「己」。

绝句：py+kt+js like , 无实现😓 不过最近终于冻稿了，放一边吧
量，e 绘制(a、问路(b到c))。
事 九九=
(1~9)令，[i] (1~i)令「说("$我*$i=${我*i}"、隔="\t")」；说() 。

Latte: py-like, JVM 非中文
for i in 1..9
for j in 1..i
print('${j}*${i}=${j*i}\t'
println()

补充一句： 中国的这个 90% 是民科或 C系机翻…… 当然我是有认真在重设计

不过，我觉得GPT也能算吧☺️ ，虽然难以全面的理解和修改 ，但能力上是比前后端好的

Stability AI 发布 Stable Animation SDK

2023-05-12 14:48:00 by 帕迪多街车站

AI 创业公司 Stability AI 发布了 Stable Animation SDK，帮助艺术家和开发者实现最先进的 Stable Diffusion 模型生成 AI 动画。用户可以通过多种途径去生成动画，如利用纯文本提示，基于原始图像或视频。Stability AI 提供了三种生成动画的方式：文本到动画；文本输入+初始图像输入；输入视频+文本输入。

https://stability.ai/blog/stable-animation-sdk

#人工智能

https://m.youtube.com/watch?v=evOKD8c1fys
https://m.youtube.com/watch?v=Ts5odpj7LvM #history 骂着富士康是资本的天朝上国 ，一面把撤资怪在美帝，一边要去剥削台农都与生俱来的选票 😋

“完全看不懂经济的环环相扣，并且极度的自信， 它的政策总是在反复横跳后起到负效果

信任的建立需要数十年，摧毁它只需要寻衅罪一个数据咨询公司
搞经济？不惜代价？这是被过度简化的用语

中国法治何时敢于像美国对TikTok一样全程直播？”

我不可能在一个上GH都要翻墙的国家，却对这一切的根源视而不见
保护技术基建，也是技术本身。

的确，这个频道本来只关于“冷门编程知识” ，但是， 中国已面临十年+三年 再临的趋势， 我不想向对比过[上海封城]和官媒洗地的人，解释那十三年为何是我的底线。
#statement
我靠什么独善其身呢？ 单单躺平？偷渡？
“100%不利己” “绝对不政治” 那是编故事，只想过日子 就不用被封门+排队+封号的整治？ 胡温交棒11周年了！

中国是怎么对WTO和香港人承诺的，又是为何在AI的关口重新走向宣战万国的大清时刻，失去贸易伙伴会对各位的公司有什么影响，闭嘴是否能让一切与你无关..


我想没有人是第一天做中国人的😅，但未来我要试着当人
在我们冒着被当局拿捏的风险去监督时， 也请享受着通信自由的TG用户，

不要把你们互害博弈下被灌输的善恶观、玻璃心、君臣父子，当成礼物，去文化输出、去教给敢扶老人国家的公民；不以己度人，不因人废言，就是最大的发展

“享受公平自由的气氛，争取侵犯自由的利润”
不要再建立一个你们想远离的环境。

因为舆论最终争取来的权利，既属于我，也属于你

马斯克任命 Linda Yaccarino 为 Twitter CEO

2023-05-13 10:14:00 by 再会，谢谢所有的鱼

马斯克（Elon Musk）雇佣了一位新雇员，而她将是名义上的 Twitter CEO。马斯克通过其 Twitter 账号宣布任命 NBC 环球的广告负责人 Linda Yaccarino 为 Twitter 新 CEO，表示她将负责业务运营，而马斯克本人将负责产品设计和新技术。Yaccarino 早些时候宣布辞去 NBC 环球的职务。

https://slashdot.org/story/23/05/12/167213/elon-musk-names-nbcu-ad-chief-linda-yaccarino-as-twitter-ceo

#Twitter