#py https://t.iss.one/NewlearnerChannel/11287
Plumbum CLI - 强大的命令行解析器
import attrs @define class 拥有更好的默认配置

https://huggingface.co/spaces/DragGan/DragGan
https://github.com/threestudio-project/threestudio
rembg 使用U2Net

#android #dalao #tw Eric Li

import importlib; print(importlib.util.MAGIC_NUMBER) 实际会报错，只因util是“模块”..

实例： 中国教育经常用“二八定律” 把学生分为天才、没希望 两个档次
「教育用来分配，社会用来“现实”」
因为毫无法制，就用分数公平竞争
因为阶级固化，皇上所谓重视秀才，多是维稳和欺骗

这是 #film 《暗杀教室》《音乐之声 (雪绒花原影)》 所揭露的问题，或者说社会不够进步造成的瑕疵。

所以，美国曾经把中国“歧视为”发展中国家，给予贸易优惠；用中国价值观这就不可理解了，毕竟“八”里咋可能有“二”的种子？ 不应该压缩坏学生，供养好院士吗？！

“举全国之力种苹果树，都在树下候着，一定能把万有引力定律发现出来。
旁边的孟德尔观察苹果树，提出了遗传定律。被领导一巴掌删飞，不务正业，这是课题吗？

别笑，咱们很多时候做事，很多人的逻辑就是这样。
其实，奢谈什么天才？先赶走独裁和奴才！
美国曾经给出中美G2的世界格局，官老爷们却听若罔闻

通货本质是“提货单”，它的价值=信誉+生产力
在美国“主导”以前，英法人要依靠货币以外的财富，比如土地和军队来对话；这就和今天俄国一样乱
https://m.youtube.com/watch?v=XNFmbbQxz1w&t=17m

对于只知把对方吃掉，不懂合作与投资，背信弃义的丛林社会，当然是靠改朝换代、分家产和动荡。 现代文明只需要媒体和选票

西方确实在僵化和崩溃，4年崩溃一次

#statement #china
>资本的原始积累(滚雪球) 决定经济，经济导致社会稳定
美国,台湾富所以稳定，印度拉美穷所以乱 ；中国经济不能够“美式”才会乱

朝鲜乡民肉都买不起，“新中国”(的10+3年)里，农民(公社的农奴)米都买不起 ；经济并不是得民心的唯一方法，信独裁宗教、爱军国纳粹、容忍市场制经济，或者用选票充当钞票 都能获得合法性
非资本主义，不能成为有民怨的理由

<中国也需要「资本的原始积累」， 未来它也能完成；但是，「功高盖主」的社会里发展难，这是王朝轮回的基本逻辑。 经济只是导火索。
没有经济问题能一直出五千年

>富的更富的趋势同时会在国家内(马云马斯克)、国家之间 (美国的产业链) 体现，只有外力能抵抗（反垄断法/国有制城投、财富/阶级/选票洗牌；美苏争霸、东西德分裂等方式）
所以中国贫富差距仍是自然的，若不脱钩还能活，还会复兴！

< 还是所以，美国给发展中国家和穷人税收优惠，唯独不会：只知“抵抗”和吃掉、换掉对方，不懂合作与投资，背信弃义(香港和WTO,改开100年不变)而迷信核弹，从不上谈判桌

“要影响你三代” 的结局本就是 “我们是最后一代” ，经济只是让媒体有报道的借口，这样。

#网左
政治是妥协的艺术，无论剥削富人(高级劳工和聪明的投资者) 还是“二八定律，存在即合理” 都会削弱国家的前景

一个先进的国家能让富人自愿尽力、穷人自由不穷
但苏联的穷人互相举报，纳粹的富人侵略扩张，它们都美好的未来。

你可以不信这种“反人性的幻想” ，而觉得台日或美国的富是“偷中国金条、阿富汗石油 掠夺来的财富” ，稳定是用钱收买人心，面对灾难就会暴乱

你可以把“没有自由”导致的暴力事件，都归类在他仅有的“暴力自由”上，而说剥削和霸凌全是蜥蜴人致罪。

但用脚、用市场投票的中国人、拉美人都知道，真正的财富，在于“进口”了200年不倒的创造力+议法普选
哪怕只是改革开放短暂的几十年

“金条”不能创造我们每天消耗的物质文化产品
台湾最美的风景不是矿，而是人

#history 复盘与一位前订阅者的“说A答B”😶‍🌫️

>五千年过去，中国还在剥削与躺平的兴亡轮回 ，而有枪的英美，员工却没被害到躺平
<旧资本决定新经济，国富才民安；美国是用财富镇住了暴民

>中国与美国 最多差在文化和种族比例，它也需要资本的那些小九九，而且，中国也「能」在美国秩序下成为老大
>「功高盖主」是经济的大刹车，也是兴亡轮回的基本事件，这就不属于经济上的竞争

< 强弱比例有二八定律， 富的也会更富，如 马云马斯克、美国和G7的世界产业链，只有“经济外的力”能抵抗 (反垄断法,美苏冷战)
< (因此穷的，比如中国、印度就没法富 ，撇开WTO和改革开放“奇迹”的事实不谈)

😶‍🌫️你的观点先是「美国是用财富镇住了暴民」
又是「只有“经济外的强制力”能抵抗强弱间的对立」

其实二者兼而有之，而且正是因为后者，才能突破中等收入陷阱，成为富裕的发达国家

>这就是资本主义(capital-ism)的由来：要拥抱 [法制和人权以外的]不平均，而以平等的奖励，回应对生产或市场有贡献的潜在消费者和投资者
靠钞票把蛋糕做大，再靠选票“让穷人更富”
靠传票把蛋糕抢走，再靠粮票“让农民纳粮”
🤔到底是什么理论更“人性化”呢？

假如，“个体级” 二八定律是普世的真理，微软和 NOKIA 要哭晕，因为它们是上个十年的20%，但却没有更富；反而被烂苹果和Musk这些80% 给篡位了
数码发烧友追求更薄更大嘛，这，也是自然规律

和人下棋输了，我们再开一局，
或掀翻小棋盘，我要加冕为王，呵，确实都是人性

区别在于美国和华人把它做成科幻和游戏
中国人却把“恭恭敬敬给我磕大头🤘😋”当成真理
毕竟在自食其力都是领袖之恩的洼地里，谁在乎你吃相是否难看，谁的法律又规定了何为“好看” ？！

——
频道应该是“纯技术，与个人祥林嫂的事无关”。但我(每周?)还是会发点墙内时事和底层逻辑

仅仅因为我觉得「任由中国集权下去，我们开源公知的理想和钱包都会很危险」。教培行业只能示范一次
它们对“再穷不能穷教育”做的，未来，也能用在“我今天原神还没打” 乃至 “百度一下”上(:我不支持广告诈骗, 左耳耗子千古)

如果说真话，需要“在纳税”外的理由，就是这。
我们确实没有枪，就像大部分的公务员；但是，“他们” 们怕了
“通过血液、母婴、性传播的职位” 是他们的资本。

我是不操心宏大叙事，却很担心“爱国卫生运动”伟大复兴 ，尤其是怕那些期盼靠下一代的“大义灭亲”来翻盘的精利者

#js #zhihu #tiktok Svelte 噗，连个 BooleanArray 转 Int(32 -1符号位) 都能讲一整页，跟个Moshi似的
bitflags 都没用过才会觉得mask 很高深

我真是醉了， 怎么这些前端都喜欢整得好像 CG 或 #algorithm 领域很牛逼，而觉得自己对render的理解比 Chromium 项目实现的 DOM 还深

16ms 检查每个组件是否要重绘？(Monaco) 用translateY实现scroll ？ 那要 setInterval() 这些浏览器主循环干啥？要Blink干啥？ 真希望这些H5框架早日步 #android 的后尘（虽然它们的API没有很复杂）

#algorithm #cpp https://www.youtube.com/watch?v=jgQjes7MgTM

#cs https://www.youtube.com/watch?v=SzJ46YA_RaA
#py django 长视频 freeCodeCamp.org

#china #haha 🥰“不交税政府就可以漠视了吗？ 我不交税吃饭的机会都好公平，不应该感恩吗？”

欸，税收不就是用来拯救那些交不起税的病人、老人、“房贷”破产国民的吗？难道有流浪汉也要驱逐和上税的国家？
吃饭是指绿化带还是……鼠头鸭
天说日本人有小礼无大德，却连路边摔倒老人都不敢扶呢
https://m.youtube.com/watch?v=rsQvLy5ONgQ
护照小剧场:https://m.youtube.com/watch?v=x86oV5qbz18

热度过去用户兴趣降低：数据显示 ChatGPT 流量在 6 月首次出现下降 - IT之家
https://www.ithome.com/0/704/014.htm

Twitter 默默地取消了查看推文的登录要求

在要求用户登录才能查看推文几天后，Twitter 悄然取消了这些限制。这意味着您无需帐户即可在浏览器中打开 Twitter 链接。

这是用户在社交软件上发送推特链接，可以展开预览后发现的。

—— techcrunch

#china “利国利民”
利民就是利国
作为“恨国党”，也需要自我检讨
国与民对立，是底层互害的一种借口，也是种劣根性。

即便宏大叙事里，充满蚜虫和蚂蚁
也要拒绝共产主义宿敌式剥削，坚信议法普选的价值
恨国也仍需要爱民、爱自己
https://m.youtube.com/watch?v=Wn1vEZa27Yg&t=3m

#tw #IT 常见的台湾品牌（康师傅..?) https://m.youtube.com/watch?v=2_WvvnhVpoU

#cs #math markov 链 BV1xa4y1w7aT https://www.youtube.com/watch?v=i3AkTO9HLXo&t=1s

#algorithm 随机游走 、稳态矩阵

Meta 开源 Intermediate Graphics Library

2023-07-08 19:21 by 影舞

Meta 宣布开源 Intermediate Graphics Library（IGL）。IGL 为开发者提供了一组强大的工具为其应用创建高质量的视效和图形，能满足游戏、3D 建模等应用的需求。IGL 是一个跨平台图形库，支持 OpenGL、OpenGL ES、WebGL 和 Vulkan 等图形 API，它的开销小，外部依赖少。Meta 称 IGL 的特性包括：跨平台兼容，高性能渲染，易于使用的 API，可扩展，完全开源，可用于任何项目，没有任何许可限制。

https://www.khronos.org/blog/meta-uses-khronos-open-standards-in-new-intermediate-graphics-library

#开源

#py https://t.iss.one/NewlearnerChannel/11324

#ai #tencent 通过应用 embedding 技术并结合 AST 解释器 #tool https://astexplorer.net/ ，实现了对 TDesign 代码知识库的自然语言查询。在 30 个常见用例的测试下，查询精度达到了 90%。
https://mp.weixin.qq.com/s/MpF9xBHYjgnCHNkFn1AsOA

ISON(Interchange Str Obj Num) 表示层：
- Map或T依据 Pair<KV>, Send.Idx<T> 流对接到传输层
- List,Array <- T(流.use=方括号, N=size提示)
- 1L 1f<-CharSeq, Date<-Str
- Any 才依据"type"(如 {}[]0~9 接口的内定) 加载子类。 RwEq<T>之格式, 依内定或查询项的 SendT. 含泛型

'T'type RwEq
- cat T //read,load
- cut(:T) //write,dump
at type: Type<T>

'this'type Send
- empty
-named TYPE SendT
named nodef
/* 编号查找 {k:v} 式语法的默认值 */
'T'data Idx(read:T, :Idx)

'this'type SendT
/* Any=this? 或nodef */
at vars: KV<Str Pair3<Sender Any Idx>>
- empty (size:CntM1=NO)this
- this.get(:Idx)Any
- this.set(:Idx,:Any)

/* 比如List<Any>项, 保留类名。sealed class 也需注册子类"type" */


  at typedTag: FnKV<Str SendT>?

从语言层建模了强类型static vars 与 Send.typedArg[List]={impl(Targ[0]) as RwEq SendT }
无需新建class ，就能支持新格式。只覆盖 Pair<KV>, Send.Idx<T> 的读写逻辑，且自带流式读写

#statement #PLT
编程造成问题 vs 解答造成编程
现况带来问题 vs 审美带来现况

软件的价值很有限，思想的复杂很空虚；不以自己的价值观拉黑人，是最大的尊重

我们有时难相理解🧐
“那你的 IDE 做的怎么样了，带类型的补全有么，还是笔记本没高亮?”
(“IDE支持? parser写完了当然会自带高亮和变量寻址/空缺提示啊? 什么叫能解析，但没高亮?”)

这是因为我草稿的PRR 里，输入流就是用高亮-区间嵌套来实现增量解析；没有高亮你连 unparse(ast) 都做不到
—诶，就连这个“反函数”，许多人也是手写的！

你会把学到的概念堆砌，以“你们能做到的”代码复杂度为傲
我会另起炉灶设计， 联动其他领域和元编程，做简单强大的框架，以用户的功能为傲

你的起手，是解决 好大喜功所造成的问题 ，说复杂很是哲学
我的终笔，是把已解决的问题，靠编程， 随手「对接」到既有API上

心智模型、语言、文字(翻译)，我能分清这每一层表象的最大公约数，所以知道领域和语言该占多大份量，懒得贪占一丝一毫。

编程语言是我的母语。我最不需要的，就是像alien一样，在这知识基建上耍花招
如果语言是解药，其特性就是对“症状”，而不是“病因”
对于用户，少即是多：别让他们发现自己有用到框架
对于框架，多即是少：涉足的问题越多，孤岛化的“特殊功能”就越少。

同样是优雅和简短，有些人大道至简，另些人大道智减

习惯写层层嵌套、滥用配置的人，就会觉得 Python 的缩进是反人类的，毕竟它用人的语感，暴露了代码之丑
无论语种，文字都有雅俗之别，编程不应该是墓碑上的雅，它必须与时俱进。

我的课题不是懂不懂，是已知和未知
毕竟，我以重复前人的技术和缺陷为耻
https://t.iss.one/kotlin_cn/81052

#Kotlin #design 谈这我就想到，绝句的 KV<Int Str> 和 [1 2 3].lets:"+$this" 的 Fn1<Int Str>
就是两回事，避免歧义
[1 2 3](Sum)
[1 2 3](Sum{*}) 才真正应该是函数调用
get(Idx)T 就应该是方括号
设计语言时要顾虑一致性，不能为了理论优雅，就抛弃语文美感

"a".mayAs<Int>?.Str !
(1~9)(Sum{+}.byStep )

(1~100 by 2~101) ( Sum{[a b]a+b } by: it%10 } )
vs

("a" as? Int)?.toString !!

(1..9).scan{A+B}
1..100.zip(2..101).reduce{a,b->a+b).groupBy{it%10}

复杂不一定坏，只要扩展性和性能上有优势
最开始我只是把 py 的缩进给了 Kotlin，但最后，我没有把新手可读性 放在考量里
- 'TR' T lets(:Fun1<T R>) = fn()
fun<T,R> T.lets(fn: T.()->R)=fn()
at N id= +0
val N.id get()=this+0
—
正则和DFA
说起来对同T 的多个 fun T.xx ，是可以像Scala那样用 implicit inline class ?
Scala的优点和败笔同时是implicit。不知道怎么评价，就像你提供了技巧，但没约定好写法

^ val by 可以用 provideDelegate()=ReadOnlyProperty 定义
你没有把defaultFn 传到非 inline 的 fun/var (如forEach {}? ) 里，所以不应该加 crossinline
{cross,no}inline 只是用来禁用函数式参数的ret跳转内联的

好奇在 nonlocal return@ 上， kt 是如何内联的，假如参数内联可以靠IR模板的话
很好奇 List<get T> 在Go里为何不存在

OOP是强求了继承关系，或许正常来看 'T'(T Num Sort) 才是List<Int>的类型
但我讨厌滥用接口trait，应该 type Num Sort
感觉py的渐有类型换成全局infer 会更快（？ TS 可能有(infer from usage)，但是作为IDE功能了

我喜欢用成员交、成员并 表达 union 和 intersection types
java里成员并对接口(&)有点用, 甚至能为 tuple实现Func
—
现在用GPT， 有时感觉编程语言是没必要逐个去学的

但其实语言也能简化问题，方便编程创作；微调时用中文写需求，就很烂
这种有方向特色的创作，是GPT暂时做不到的；目前我只写这种代码
—
#Java圈莫名其妙的不做代码复用，像 Logger 和 Repo 这样就可以依赖注入进去

但变量是应该由 abstract class 来声明 ，不应该留样板代码，否则要设计模式干啥？

Javaer 的设计模式，除了Builder这种解决语法贫瘠的，都是做了一半， 留了一半给人当CV boy
PYer 虽然又蠢又冗，但至少不会贩卖问题；它解决过的都没有什么复制粘贴和坑

#java #PLT #code Expr/visitor problem
type Exp
- eval Any

data N(lit:N) Exp
^-eval=lit
data Add(e:PairOf<Exp>, k="+") Exp“

树结构

”
^-eval=e.lets: A.eval+B.eval

''Value=Either<Int Bool>
“没必要用 VInt VBool 来实现sealed class”

type Exp
-'R' accept(: .Vis) R


  'R'type Vis
    - N(:N)R
    - Add(:PairOf<R>)R

“Exp 本身就可二次遍历，省略建立树结构的Vis”

named IntOps Exp.Vis<Int>
  ^- N(n)=n.Int
  ^- Add(e,k)=e.lets: A+B
  
Add(N(3),N(5)).accept(IntOps)==8 

...

🤦🏻好吧，我服了， 10页纸也没讲到重点
要学习这种大佬的文章， 开销还蛮大的 。果然自己从根源问题来解，是最好的选择

直接说 把eval 改成 visit(:为各子类重载)R 就能解偶，
把R改成Eval接口就能用新类型添加操作，例如 Op(EvalX,EvalX)=>可toStr的树
正如把 eval:Int 改为 eval:Any 就能做更多事
哪来那么多破事