#PLT #algorithm vs Moonbit 结构化编程 🥰 无印痕流控+内联可变

pkg
dbg
- Ln<Int> qsort=zero{this}:
this[0]:[p]
this{<p}.qsort+this{!<p}.qsort
- main
d=[2 3 6 8 1 4].qsort

Mistral AI 发布了 7B 参数的模型，击败了 Llama-2 13B，采用 Apache 协议。

Richard Stallman reveals he has cancer in the GNU 40 Hacker Meeting talk (🔥 Score: 164+ in 52 minutes)

Link: https://readhacker.news/s/5QFDD
Comments: https://readhacker.news/c/5QFDD

#security VP8视频在WebP后出现 RCE

#linux pacaur -Sy chromium firefox #chromium-117.0.5938

pacaur -Qi libvpx|sort

依赖它 : ffmpeg ffmpeg4.4 gst-plugins-good mplayer qt5-webengine qt6-webengine shotcut
依赖于 : gcc-libs

#kotlin #statement 🤔 新身份：Java黑、React黑？？😓

duangsuse, [2023/9/30 22:17]
感觉自己最近有点狂了， 看见有人问2D矩区的问题，我的第一反映居然是「这提问不会是认真的吧，xywh加减乘除是简单的吧」
问了下AI，发现这种 Image.crop()也没有直接给出思路或代码，它们变蠢了

应该改改了…… 真的有点奇怪，说不出是哪里错了，可能是反感流行框架不直白吧，但 我不应该教人做事

不过 java awt 确实有点过分，连类似Pair<AB>的模型都没有，许多人都是单独处理 width,height 的，
连 size=2w,1h 这种都要写两个赋值……和numpy太不搭

JDK这些人物理单位都不懂，却搞一堆设计模式，真是在买椟还珠的时候就格外努力……
Android呢，什么 AnimatiableVector, 向量根本不是动画（卡过点的属性渐变）所专有的概念， 要支持就直接起Vec2这种规范点的名字。 还歧视H5和CSSOM的模型。 编程就是被这群B搞坏的，真正的屎山框架代码。

duangsuse, [2023/9/27 15:56]
还是H5 <meta name="viewport" 好，就只有基于dpr的 px vw wh, 然后 sp=rem, @media(device-pixel-ratio:1)
不会因为放大到200% 就蹦出一个更新的单位。SVG里都一样

一个毫无意义的区别，让设计师拿来作为特色竞争力，妙呀

duangsuse, [2023/9/30 22:42]
唉，我现在在设计的前端框架，包含一门用于滤镜图/RPC的解释器， 真希望以后就不要再接触JVM界， 完全弱类型好了

感觉配合Java（哪怕Kt）界的窄模型思考，真的很费力。 许多对现实生活的简明抽象、比数理公式更优秀的写法，它们不去收纳整理，反而搞出与其他用途会冲突的抽象， 这样循环互害下去…… 大量学习成本就出来了，总是有新版本能+bugfix+feat

他们根本不懂如何写文档， 有些该单靠demo 传达到的被写成一锅粥，文档主要是原理。但 demo-文档-代码 给它们写成 文档-实现-汇编了……

duangsuse, [2023/9/30 22:50]
py 甚至全局用obj.dict ，这有什么影响。 人的脑容量才是限制IT进步的瓶颈。 优秀的算法和API移植，比8个byte 优化的效果多几百倍
总之对我而已，语言和runtime 只是实现解决方案的工具， JVM是可有可无的，只要它的libs我能自由调用。

一个lib 所提供的价值，等于其 public API+struct 的价值，不含运行时，因为具体实现可以被别人换掉。

库所用的结构是对领域模型的摘要，而API是对应地，实现功能的选项和途径
语言的语法和stdlib，需要尽可能简洁，因为复杂的功能和哲学，往往带来额外的编写时心智开销

总结： 现在，我更喜欢站在“代码之外”，解决编程问题
我看见的不是代码的文本，也不是框架的范式和API，而是「为了操作心智模型、实现示例，所必须存在的惯用法」的各种选项。
所有的知识和技能栈，在语言需求面前只能是平等的，无历史无印痕的；所有的需求受制于项目，但它们的大类，堆积在我心里了。
1.代码都是多余的，只有创意和描述是必须的。我懂的越多越严格，最终的(代码)语言就越少越简明、且复用而具体。
2.是我定义软件，不是框架定义我。太阳不是鸡叫起来的，一群鸡也叫不起。
3.程序员的幸福比CPU和堆栈重要，诚恳地学习直白符实却“缓慢”的做法，是接触到更好更快代码的最低门槛。

我不会只充当需求-框架API 间的「翻译器」，我会溯源、会代换与合并，至少我知道“更算法” 和“更人性”的实现会涉及哪些技巧和变量模型。
而我越是 diff 完整的领域模型, 热门实现 ，就对Java和android界越失望。

尽管，编程界九成惯用法和API，用语文的标准看，都是赘词和不当归类 ，而从软件工艺去旁观，框架作者们看不见「自己的、当前的需求」以外的复杂度，他们缝补堆砌了太多坑送给新手。
因为他们看不见「文本的语义」和那些「领域的心智模型」，才会被规范和最佳实践蒙蔽得那么理所当然，就像以前调两个库就觉得好多功能的我。

写框架，首先要当好「0框架」的用户，也当一个自己的用户。
程序员于全世界，1/60亿。 在意抽象设计的成功，或是被唱衰，缺少一份人生苦短的清醒。 相对于那些永恒的物理公式，把技巧捧上神坛或藏着揶着，是如此片面。

J2EE确实解决了PHP的无类型和性能问题，但从FB,GH初创于PHP,Rails 就能证明，“奇迹”不免费，这种「企业化」是以十几倍的慢速原型为代价。
我讨厌React VDOM ，但就连React的boilerplates也比Java少得多，起码它没胆把"fiber conciler" 放在接口里，而反观Spring,Hibernate 的每个变量名都有“自己的专利”，你得服从它的性格来写一大堆默认值！

它们还在把Kt,py 乃至JS变成新的Java， 想消灭编程里的乐趣，真是群脑子缺根弦的专家呢。

#statement #dev readability :
@duangsuse 其實我覺得你的 code 有個小缺點：不好讀
太像 minified 的程式碼了……

duangsuse, [2023/10/2 19:48]
欸，是啊😓
像 min.js
或许我应该写文档。因为，我是把贴文里已经说了的eval规则，直译为JS了，没有把细节写得很明确

我这个贴文主要是讲原理， 写示例的时候，并没有把它视为应用代码的，就写得比较急，随意😓

duangsuse, [2023/10/2 20:09]
加几个换行只会让程序看起来逼格更高吧…… 没有注释也一样难读
或许是我的分词语感更紧凑， 我觉得?换行: 这样让人找不到重点，更别说满屏幕 if else{} return 取代 when 和“map=>重写”等意图

duangsuse, [2023/10/2 20:12]
所以我一般是不写代码，只说明心智模型的。 当然有时间的时候也会写点注释

我是觉得， 如果Devs只是看到了很合规的源码，「能够准确分词」，但get不到语义的话，是不能继续添加功能的。 能用和懂之间的差别，不是在是否 syntax error 上。
只有对自主默写有用的代码风格，那才是实质上的读懂

一般来说我写代码都是 quick prototype ，像这样重写…… 我做的设计很多，所以拖得很后很后

ram:
我们对于可读性的认知的偏差，应该是来自于参与过的软件工程项目。
在我的理解里，代码不仅仅是为了自己此刻的理解而写，也是为了 reviewer 和其他 contributor 甚至是多年后自己的理解而写。

没有 abstraction layer 的写法我只在 code golf 里面见过。code golf 的大部分人是先写 proper code 再手动改成那个难读的样子的

duangsuse, [2023/10/2 20:35]
我的原文里，这是用来把

- just(a)
  - f()=a
  f
just(0)()

语法结构：

with(DSL)$lex=[[],
  [just, [[a], [f,[[],[a] ]], [f] ]],
  [f,[0, 0,[just]]],
  [0, f]
]

对应到JS：
()=>(just=(a)=>(f=()=>(a),f),f=just(0),f())

为此请判定3种规则：
[refval], [rv, vs] 引用-重赋值
[[args], funCalls] 箭头函数/整个文件
[0,arg, fn] 向栈变量赋值

如果抛开作为示范实现的 JS，可读性还可以

duangsuse, [2023/10/2 20:18]
因为贴文里，我主要是讲原理，不能贴长篇代码👀。我的抽象层就是「中文」。 以后有机会转Web 我会写明确命名版
我都不知道贴文有几个人阅读，是笔记。 我每天背后有不会发的设计，都在耗时的……

这个真的就是快速开发的问题 ，我从来不以JS,Py 这样的代码的有损形式「维护项目」的。 都是设计稿。

duangsuse, [2023/10/2 21:38]
编译原理有一大堆应用层用不到的概念， 或者说「意义未知的算式」。
当你想要跨界（尤其是直接上手写能用的 interpreter ），就要做好增加词汇量的准备。 像SQL那样禁用缩写，只是新手入门的辅助记忆法，晚点也会被 BaaS,GraphQL,ORM 那样的技术替换

我是挺希望有编程语言，能同时照顾新手的迷茫和老鸟的读写效率，
因此我的绝句里有规范 - Str.as(regex:Str.RE, :[Fn1 Str.RE.Paren]-Str) Str, -'T' swap (A:[Var T], B:Var“or @T”) 等等缩写法和约定俗成，不要因为没 boilerplate 而不易读

主要是我要反思自己的设计 ， 因为能提升的还有太多（我现在看知乎，唯一就是要寻找「灵感」，真的很有效）他们的理论或许很绕， 但给我了一个切入点思考自己的
Kotlin 正则的 "abc".toInt()?.let{} ?: 0 甚至比 bool 有效。但正则不是模块化层面的问题…… 它就是「有缺点的战士」

duangsuse, [2023/10/2 20:43]
还有种可能.. 我自己的代码在用『物理命名法』 来写这个第一版的👀，它标明了类型：
a数组, e树叶 v值 N计数..
许多人没法用这些单字断言 变量的含义，阅读时就会很迷糊。
但如果我不用物理名字，我就无法快速地完成代码，而且会各种 type mismatch 。 😱

物理命名，这种对「编程世界」的归纳对我个人而言， 是种革命，让我的代码能横跨更多平台/博采到更多文章🦄 ， 无视变量间无谓的术语差异、减少新功能的代码量

但美中不足，它与其他程序员的习惯相悖🙇🏾…… 许多人不习惯单字符， 更没有 '所有可索引值都叫 aXXX' 这种认知 。 如果有一门主攻语言的话，是不需要这种「超出文字」的编程模型，来解读代码的

我没法在教 tree walk 的帖子里，教读者JS原型链是怎么一回事。 我以为在这时缩短篇幅，会让读者抓住重点，
—
谁知道大家都是「通篇阅读」我的代码，而不是：找出code和我贴文所述概念的「联系」

就像视频有「60fps vs 关键帧+弹性动画」，音乐有「441k vs .midi+乐器包」，图片有「500px vs SVG+滤镜」
代码也有「1个月5万行 vs 100行的'定义式框架'+keypoints」。极简主义者都属于后者。 我告诉电脑怎样漂亮，不是它命令我'必须500px' 或怎么写。

编程界确实存在一种频谱，能无视术语和范式，绕过一切的烧脑的刻板印象，只量化每个函数本初的比重，一统工程和学院派： 在写到纸上/内存上之前，我们对代码已心如明镜。
只试两次对错，是没法在第三次发现进步的。方法论总会反转，与其嘲笑旧的不好，更要明白它错在哪、又好在哪！

— 🤔💭
我们程序员对一段功能的「设计力」，不是按「能读懂的术语表」来计算的，小心伪理解。
你要建立的思路和关系，是： 变量|此问题的领域，而非 变量|仅有名字相同的常识 。只懂常识难有创作

我已经习惯于用「必须要定义/调用的API」来解析代码了， 我看不懂的代码是不会逐字猜测的
是我先站在作者的视角， 去推测他的选型和「私货」， 然后慢慢把我的猜测与实际合一 ；这时短的魔法是不影响理解的👀

对不懂中文的人来说，优美和丑陋的中文词汇/文章结构 都是难读的， 你要先熟悉语感。 对任何编程项目也一样。

CSS规范就像这术语表，但设计的实质，是 tailwind 那样“有规范地杂乱”。我的文章是教你规范，代码仅供示范
如果你是为了用现有的心智模型，看懂代码， 那你的收获只会小于 Google 爬虫对文章做的关键词聚类。 而当你get到算法的思想， 会发现你仿佛见过那些“全新流行”的文本，过目不忘。

24小时投稿精选 #每日精选

Cloudflare 1.1.1.1 被GFW封禁

Minecraft正版验证api域名遭反诈中心屏蔽。

目前部分网站中国访问出现问题的情况梳理：

汽车企业会收集并出售你的性行为、基因信息、智力等敏感数据

Vercel 被墙

>如何看待著名编程软件 VSCode 官网跳转国家反诈中心（目前为无法访问）这一现象？ 👍
“ 我不想每天都讨论敏感话题，但是敏感的东西正在每天向我靠近，如同深处液压机之内”

#china 方脸：恒大债务比鹅爹的国债总量还高 🥰
- 通过期房，向消费者借钱
- 通过商票，向生产者借钱
- 通过理财，逼员工们借钱
- 通过收购银行和自融，借「不用还」的钱

为何这时才爆呢：
- 地价泡沫是从2015股灾开始的，让地方政府和当时的中产爽到了
- 但中国的土地本身并不值钱（更不可能一直涨），开发商也只能是比谁会借钱（养蛊），没什么技术力
- 维尼说房住不吵，但既要不卖地，又要给公务员发高额工资，最后到2022开始用各种政策逼得房价跌停，但导致资金无法回笼，白手套就爆了 😅

教训：伴君如伴虎。与虎谋皮，许以为只是谋中国低阶人矿的皮， 但泡沫破灭后最终被「抓典型」的还是买办不利的自己。就像蛋壳公寓，丛林社会即便「民族企业家」也随时都是「美帝资本家」，「[解放]军首长」也会随时消失。
如果恒大的电动车挤进Top5，或许就被细颈瓶的下属们保了呢！ 这大概就是「舔功与实力不可兼得」的教训 🕊

小郑：我的個資被曝光 #statement
玻璃心的人，会把不相关的批评(eg.业主反对物业涨价)和不幸，理解为恶意伤害自尊心；对不够正能量的现实，触发精神胜利等复读机技能

玻璃心常常分不清批评甚至比喻的主体(就像咬House的狗一样)，这需要「过度控制」。只要只剩一种声音， 大雄就会以为自己是用胖虎的声音在讲话了

巨婴的人，不敢直面缺陷和成长， 甚至会把欧美日韩台有后续的「社会新闻」也当成不听不看不说的正能量宣传部 ，试图让正常人不比烂就也要把负面事实删光光， 直到自己被不法的权力 暖心强拆强欠的那天 🕊

冷知识：
-「上海铁路局主任」省略了部处，应该说「中铁某局副厅局级干部」
-小郑是2022年6月4日开始做yt
-日本没有「寻性姿势罪」，只有有XX罪和无罪，没有「莫须有」罪和「不能触犯党没告诉你的法律」的道德
-🇹🇼🏳️‍🌈 台湾无法避免辱华，因为有全民健保劳保的中文人，即便是好好活着，就已经在揭示三皇五帝们的丑陋跟底细了


#ai #jp 月租版 GPT-4 TTS ，可以解答「老鼠生病能吃老鼠药」「只剩一个心脏还能活吗」这类问题
#net #ru 鹅爹 马上全面禁止VPN 😅 之前就叫嚣不让国民传播网络代理
#news 迷笛音乐节惨变 零元购 ，文革大爷大妈的传统哄抢 教育了那些没吃过苦的小年轻 🥰
左派冷知识：☺️

波士顿清茶是为了涨价？实际上：
目标 为了抗议英国议会对茶叶征税， "无代表不纳税"。

而且中国农民的水果，运/卖不出去也会喂猪的,不倒，运费你出
经典社会主义的税收和公务员，都是免费的， (永动机)政府来做是不用花钱的，无(透明资)产阶级政府是高尚的义务劳动。

美国是有 food bank 的，日本我不知道

#FP #math 的一些 #statement
#tool html bookmarklet data:text/html;utf8,<body ContentEditable>

—10÷3=3…1
被大佬建议写成 =(3)3+1 即m=qn+r (r<q)形式的“短除法” ，理由是...没交换律
“理论家布尔巴基有个笑话： 1+2当然是2加1，因为整数对加法构成阿贝尔群”

当然，纠结这些除和除以工程意义不大
ax+i=b; x,i=divmod(b,a) 的可变量元组数学里可是没有。函数只是“关系”，没有sympy那种条理分明的元编程化简法，py那种无论匹配或访问都易懂的“类型化数据”

a%b 余数在进制计数法,KB MB单位，乃至红绿灯🚥 ,猜拳、[123]*3重复 里都可以用到，四则符号的推而广之是很方便的
但GL的vecM和距离函数, 对偶的cos atan2才算是真正的「函数图像」

对软件来说，值之间的关系、算式的归类、代换(元编程) ，都是值得思考的，这远比重复流行的技术栈重要。 形式化的语法，正是物理和编程比数学广泛的一点

— 纯函数的不可变吧…… 不是类型上'final' (btw. KT-override class 理论讨论)
意义真的不大， 无非是把堆里的变量放栈上来重赋值，或者栈变量换伪递归，拿能够DFS的写法却只做列表处理， 有什么用…… 又麻烦又慢 😓

变量关系式编程(LP)里， 函数式的 Memo f()=x+1 可以直接表达为 f(out y,x) 的细粒度重计算，解构时也一样！ 不仅不存在“赋值”，也不需要那些纯函数的过度检查

一些人觉得 React是什么FRP，functional响应式 。但其实把可变数据，理解为含Var的不可变， 比纠结于List纯不纯好玩的多

类型姑且还是对心智模型的硬化， 纯度这些可都是虚无缥缈的风格格调了。有趣的软件未必靠FP来写。某些函数式lib的样板代码不比rs,go的少 ，代码质量只能是看人，是否憎恨冗余

—我想用 for()await varAssign; 替换组合力很低的 for await(x of {async*f(){ }}.f()){} 异步迭代器，也方便RPC/跨语言 的对接 #PLT
异步流每次next()只是Promise，但换成两个async()赋值--单监听, 用 var.Saw.to(x=>新值流)+AbortSignal 更一致

async()=> 的实现要调用 yield。 s={*f(){ res=yield }}.f(), s.next(1) 里f的yield会把值和'自动回调'赋值到s.next，交给调用方调度。throw也可以直接next回调链表(CoroScope)里有catch的那层。
Iterator显然只是调度的一种特例，是把i++等流控 继闭包地从栈分享到堆。不能牵强地把等待恢复、迭代混为一谈

在ES5里，可以用一个 co(asy()) 来遍历 task.then(next) 并搭配 yield* tasks(下级) 。#Kt 协程则是直接把回调交给timer()等待，无遍历：

#js #code

wait=(n,ret)=>setTimeout(ret, n*1000)
we={*f(co, ret){
  setTimeout(co.nt, 1000); yield //函续已经交出去了，现在该返回 就像f只是登次记
  wait(1,co.nt); yield
  alert('2s'); ret()
}}

_await=(f ,c={},s=f(c,()=>Job完成))=>(c.nt=x=>s.next(x), s.next())
_await(we.f)

把f变成大switch并不难，但Lua,Rb,Py依然在用运行期魔法实现yield:

we.f=(co)=>(co.nt=()=>{[ //先把f(yield)外提为x=
  ()=>setTimeout(co.nt, 1000),
  ()=>wait(1,co.nt),
  ()=>alert('2s')][co.i++]()
  if(co.i==3)co.ret('like,co=Promise')
})()
we.f({ret(){'此谓调用约定,ABI'}, i:0/*func*则会等待1次next*/})

把co暴露给调用方更像JSPy (缺点是要由main调度then(next))，而把co暴露给下级 更Kt,Lisp (虽然更像回调, 但太隐式, 比如yield(x)需向Iter对象赋值 脚本没这作用域)
到了OS这级，键鼠事件，异步只是赋值+触发回调

—翻译一下， suspend fun f() =f1()+1

首先f()要是一个闭包（即 匿名class .new ），kt,Java ()->会自动实现这一步
然后，f1接受第二个this: (Int)->Unit 实现其return 。这就是JS的Promise.then 。你说的local vars 就是指 Promise or Continuation函续 or Async状态机(大switch) or Future..

f的执行也不能卡线程栈了，它也要靠回调，比如runBlocking等待其他Thread的信号量，或者在IO,Main等 Queue(函序) 调度

这么说，call queue 和单CPU多线程本质上都是分时复用，只是设备中断/SIGTRAP 被改为更高层的函数回调，CPU cycle 换成主循环(监听轮询poll)。 因此王垠觉得Lisp比C更适合写OS

Go,JVM,Ruby,Lua 的 stackful 模式允许不标明await 且仍支持返回值，而基于CPS回调的协程则兼容性好
不能把await 调用理解为有返回值的多进程，相反，函数自身是消息队列内的Task(即线程,可sleep)，才能去"非阻塞"await

语句就是种顺序表达式， val x=1; f(x,x) 本该也能写成 f(x:=1,x) ，往往只是外提为val，所以await()就像 f(a?.let{return} ?: b) 是可以的

还有coroutineScope, sequence, select 等复杂的结构化信息。 这样能实现大goto(call/cc) 的功能，比如直接resume给某个 caller 的 catch(IO Monad) ，或者 yield 到 gen .next() ，DFS防止栈溢出等

yield的一种用途就是遍历Rx流，但它们生成的流却非异步(尽管它能"push"无穷项)。 另外我觉得RxObserver=next 比async yield 更合理

—「值和引用」别扯到C上
栈就是“非常容易做GC”的堆， 只因为在堆上就叫ref不算值 是不太定义式的，这暗示了 N2(x,y) 这样的数据“不该可变”-即便它说了xy都是变数
别把JVM当成C++的框架。调用栈是内存的一部分，函数值和对象都是“栈转堆”，return在内联后只是赋值;goto，参数并不配特立独行

copy和ref 的区别，只应在于后者是Var(mutable v:T)。 含var的struct也能纯复制，List也可以存栈上(调用在栈顶时，可以追加 int a[num])
只是对集合/事件/闭包等应用层共享，就必须有GC,Rc 来修剪对象图

绝大部分val=struct 的实现依然是堆内共享，与内联函数相当。只有int这样机器mov的值不用传指针

—编译和优化
>AI没答到点上。 我觉得synchronized和Mutex有什么区别， 就是取消 object.wait()才隔离出的

>竟然是让 withIndex() 驱动 get(it).. kotlin-stdlib 里的一些实现是自己在 for each 外 var i = 0 计数的……
智障，就像标准库不写 val x get() 写 fun getX
自己破坏自己提供的特性

>list set stdlib 里的这些集合库的indices属性都有优化
我说的是一般的 for (a in list) 优惠成 indexed for loop 去掉迭代器这种

都能让你手动改写法优化了， 要编译器和有两种IR的虚拟机是干什么？

编译器已经是优化了，虚拟机还要JIT， 结果应用层还是不能满足……
是啊，我就是觉得这种现况很可笑。kotlinc 还特别自己弄了一个内部IR，不知道是用于翻译goto 和协程还是啥

编译优化全都是不可见的， 你也不能知道llvm,ktc 执行完优化是啥样子，非得反编译
当然，clang,llvm 是可以导出IR的，但许多优化用的表示IR层级太低，正常人看不懂

这种情况的解释，就是IR的语意不能用语法来保存了， 但其实 loop/重复算式的外提，并不会破坏程序结构，甚至DCE都是要由IDE重做一遍

玩编译器那帮人根本不懂如何做交互式编程、图形化框架。 这一点 dnSpy 一个反编译器都比90%的编译器做得好
更别说同时有TUI,Qt,Web 三种界面，支持无数种bin格式的 radare2 了

#history #china 为何力量掌握在文明手里😡：
一个「伟大」的国，是让人甘愿拖家带口过去纳税，而不只是单枪匹马、只能够捞钱

西班牙、英国、美国的科技繁荣，不是因为抄对了老大，而是真正有力量的人，更需要一个开放包容、能用法制抵抗剥削的社会化生活环境。
医生对抗完疾病，回家还要对抗窘迫的存款和寻衅滋事罪；这样的国能称为的家，是那种赢了1位，挡住一切的野心家。

这种时候 旁观到国外国内的不公是羞耻、是笑话，而没人会搭把手，

他们教自己的最后一代 变强， 直到被更强的浪潮吃掉，
只好把这种压力倾倒给海峡之外，一群同样有家庭和事业的，他们从没见过的“坏人”
明明让他们相信「一切都是阴谋论的」，是自己身边的环境！

1.Leonard
2.小郑
3.方脸 “
按照马克思主义的理念呢，国家是应该被消灭的压迫者
基于数千年的儒家传统思想，和当前的普世价值观来看的话
国家应该就是人民。所谓的爱国应该就是支持人民，反对国家独占的集体利益

当你学会了爱自己、爱陌生人，其实你就已经做到了爱国
而如果你坚持中共宣传的爱国观，你只能学会仇恨。 当前达不到的标准，不敢明着说权衡利弊，只怨天尤人

小粉红肯定说了你都支持国家分裂了，你怎么还能说爱国呢
但如果你把爱国看作爱人民，事情就会完全不一样

他们心里确实也并非真的把对岸当做同胞
很多时候，我在他们眼中看到的是嫉妒。这一点在香港问题上最明显

很多小粉红，嫉妒香港人身上的特权
嫉妒他们，能自由自在的翻墙，能享受一定的言论自由选举自由

甚至现在还有些极端的小粉红呢
对于台湾问题，还会喊出留岛不留人的口号

这就体现出来：他们根本就不爱台湾人民
当然这种分不清楚到底什么才叫爱国的现象，绝对不仅限于两岸关系上
这种观念，存在于中国的方方面面， 对高楼大厦和联合国席位的执念
”

#FP #js #kt 今天来桶白象 🤍🐘
>https://www.zhihu.com/question/624728280
"匿名递归，我们调用的是另一个函数。没有什么问题"
发现一个逆天的回答， 直接把调用栈函数理解为匿名+纯函数了，想递归还得加惰性Proxy..
>https://zhuanlan.zhihu.com/p/659387315
看到个同样逆天的
—
这个Proxy也能做，

argf=(rec,f=rec((...a)=>f(...a)))=>Object.assign(f, {of(F){f=F;return this}})
Y=argf

Y(f=>x=> x?f(x-1)+1 : 0)(10) // 多测试这条

argf(f=>x=> f(x)).of(console.log)(10) //而且还可再定，避免把arg0=self 到处传。

递归的好习惯是只思考1层-勿判断子项，Y都没做到这一点
Y=\rec. (\x.rec xx)(\x.rec xx)
Y=rec (\x.rec xx) (\x.rec xx) //注意, \x. 只是单个参函数
Y=rec Y //不动点, noOp,id

\x.xx 在调用后把自己命名为x 交给自己(它就是对称形状)，因此使用f就等于 f(f) (x)
看着很好但依然要把 rec(rec, x-1)+1 里的rec放堆上，但Y的意义就是「在不允许堆变量时，用传参实现可变」啊？

返回自己是伪递归,是循环，但 f(f)(x) 最后不是调用f，而是又生成一个f，只因你不能靠赋值，补充如何跳回自己这里（就与编译原理不一致了）

Y只是要证明lambda演算(S-Expr 的纸笔计算)可以递归……
Y = f => (x => x(x)) (x => f(y => x(x)(y))) //y=Proxy
为什么流行实现，和理论不同？ 试试直译：

Y=c=>(f=>c(f(f)))(f=>c(f(f)))

//其中 (f=>f(f))(f=>f(f)) ()()()..这种"fork炸弹"会栈溢
请把 f(f)惰性求值

Y=c=>(f=>c(x=>f(f)(x)))(f=>c(x=>f(f)(x)))

不过 ycombinator.com 确实是因为这个「组合子理论」(某种Brainfuck🥰, 异于定义式编程里的"可组合")起的名
众所周知，爱讲众所周知都是别名大师， 他们的理论与既有概念间是隔离的，因此你要学习的内容就如 node_modules 那样多。 聪明的做法就是，先搞自己的，再兼容别人的

#game Unity, Unreal 🌚... 但 GodotEngine.org 开发得怎么样呢？
https://t.me/rynif/31729

Deno 1.37 起提供 Jupyter notebook 支持。

运行 deno jupyter --unstable --install 即可安装 Deno 的 kernel spec 供 jupyter 使用。

https://deno.news/archive/deno-october-update-deno-137-and-deno-queues

#Deno #Jupyter

#PLT 代表的更多是对元编程(会写代码的代码)的理解，对 参数-返回栈(最终导致重赋值) 或 [{}]数据 的进阶用法，而 parser 等细节更考验你捋出通用模板的能力。

如果所有人都会，Android 开发和半个Java界就直接不存在了，甚至Kt都要半死。
一种编程范式，不一定要自己实现数据类型或函数(堆GC&栈闭包-协程)，不需要懂汇编和二进制， miniKanren 就在新新旧旧的宿主语言里，能实现模式匹配和SQL式过滤，(DFS)无尽搜索 甚至正反序列化

编程里，我们要学习的不是『名词』，而是它们「所做到的事情」或者说必要性。 就像解释器那样
"fn=[x]x+1" 很易懂，但意识到 调用栈不是“字典”,如何捕获x(栈变量转堆对象),内联return,递归..
探索出这些用法和其优劣场景，才算「会编程」。 简单的写法里，蕴含复杂的可能性，才是编程的未来

把「函数+四则计算器」简化点：
JS里直接把 Const(x),Var(iarg),Let(args) 理解为 ()=> ，然后+-*/靠 eval'x+x' 吧

def:
  inc [x]x+1
print(inc(1))

//
inc=[$=>$[0],()=>1, '+']
main=[()=>1,inc, 'console.log']

evalC=(code,a=[],v=()=>a.pop(),x)=>{for(x of code){a.push(
x.call? x(a) : x.values? (evalC(x, x=[v()]), x.at(-1))
:eval(x.length==1? v()+x+v() : x+`(${v()})` )
)}}

evalC(main)
杂谈：编译vs解释

这里 ()=>"lit", $=>$[0] 在内存上就是Node(Evalable对象)， 直观反映了SAM接口的可组合性，是 Visitor 在parser侧的写法
没有“遍历器”，既要eval又要检查类型该咋办？其实，类型是（静态）常量执行+重载查找 时的概念，eval(if xx: class New:) 才没有类型，因此JSPy的反射比JVM高到不知哪里去了：Java设计不好它用不到的东西

evalC(code,arg)基于调用栈、引用$求值栈来传参，有点像 JVM。Add,Div(AB)这些没必要穷举，而既然Let是匿名调用，那就不要新建语法来实现，除非它是JS里的词法期 let newVar=$2;

在编译原理里，把赋值引入 S-Expr (调用树.更简洁的AST)就得到了-连线图(SSA IR) ，作为一个{基本块} 能更好执行DCE（无用代码消除）等标注和转化

为运算栈的返回值“命名” (1+2*3 只需要1个寄存器, 因为*赋值后立刻被+消耗了) 会更像CPU，也是Lua,Dalvik的字节码格式

#news #history 以巴冲突- 阿拉伯/伊斯兰世界 和 犹太种族 的领地之乱

200年前，犹太人经常成为各种社会的背锅侠，在富国，他们被扣上贪婪商人的帽子
在穷国，他们被打成各种反派运动的「境外势力」
1903年 俄《锡安长老会纪要》指控犹太人有一个秘密集团， 敢独立于斯大林 邪恶地掌握了世界经济和媒体，妄想 学共产主义 用钱统治世界👌
引发了俄德的民粹，当时的基希涅夫呢一共有15万犹太人，1/3都被迷笛0元购了😅 看来，靠抢钱来统治更天堂

团结的犹太人（罗斯柴尔德家族等，和“马爸爸” “民族企业家”不可混为一谈），举办了犹太复国主义者代表大会
决定靠买地+资助移民+游说英法美 来建国 （1867，美向鹅购买了阿拉斯加，当时是做得到）
最终获得国际认可，花费48年时间

-支持巴勒斯坦国，就不能支持极端组织，正是恐怖主义宗教导致以巴和解失败。反犹好战(如同支黑)很可怕
-1948, 《联合国181》受美苏支持 33/13通过后(此时国联刚成立3年)，周边阿拉伯国家自信地反对但是战败(5次中东战争)，导致以色列获得的领土，比英国/国联谈的多好几倍
-作为中东唯一一个宗教自由(20%伊斯兰人口)、三权分立的现代化国家，GDP排名#20，在纳粹眼里就是亲美的、是侵略者，而无差别屠杀，反而是“受害者的勇气”

（奇怪了，美国明明是反英帝殖民、反邵和日本急先锋😐，跑到精神印第安口里，就变成扬州十日、清军入关那种肤色清洗、抢劫帝国了
民权法制、现代化对于文革爱好者而言，还真是亡我之心不死。
Hamas 是恐怖小分队，是巴勒斯坦人民和以色列贸易、谈判时的敌人（公子沈），他们让巴国无法庇护自己的人民，也让色列对占领区的放权更难做。但是对宗教圣战者和境外伊拉克、塔利班、中鹅那种“政主”而言，巴国的人命算个屁！
把人或政权分为100%的朋友和敌人是很天真的。 当你伤害别人，当你教唆平民去屠杀以色列平民、共“地主”的产， 即将不见天日的 不会只有你的敌人。 生死攸关的报复可没有那么多“时候未到”。

-“耶路撒冷自古以来(领先1700年)是以色列王国的一部分，以色列王国=以色列，所以我国要武统周边国家，巴毒死路一条” <一种统治者的逻辑
-俄国德国曾迫害和屠杀犹太人，导致巴勒斯坦地区犹太比升到25% (在建国时更是达到了1/3)。英《贝尔福宣言》分配1/4的地区领土后，反按阿拉伯民意，曾在三年里每年限移民7.5w(当时世界都歧视犹太)
-鹅爹是侵略乌克兰、也给海参崴起了征服者的名字，而巴勒斯坦，曾是诸多帝国的必争之地，最后一次是被英国管辖10年

总结：Ottoman帝国分裂后，伊斯兰世界屡败屡战，不肯承认以色列民族，因为侵略者真的被战胜了🙉，导致一些中国人以为以色列才是……
没有被希特勒劳改的，便会觉得自己看到的阴谋论全都是真相
btw. 10.10日 🇹🇼 国庆。 大陆的全年法定假有11天，香港是17天

微软 GitHub Copilot每月收10刀，倒赔20刀

华尔街日报爆料：他们那用户量高达150万的AI编程工具GitHub Copilot，平均每个月在每个用户身上都要倒贴20美元，最高能达80美元。

换言之，微软自做出Copilot以来，光是一个月在它上面亏损就高达3000万美元，一年下来亏损直接过亿。 原文

投稿：@ZaiHuaBot
频道：@TestFlightCN

>https://t.me/lychee_wood/34231 #china #freedom
这次是种族隔离吗？是反分裂？ 那叫种族清洗吧！ 说得好像以色列才是塔利班伊朗，那种朝鲜的动物朋友
这次撤出后被恐袭，以后武德充沛的以色列就更难接受原定领土了，毕竟暴力也掌握在文明手里。

要想支持巴勒斯坦人民，就要反对当权的Hamas恐怖组织和周边的“境外势力”，而不是和稀泥，自以为是反侵略大解放，揭开看是一窝带枪的强奸犯。

他们绑架了巴勒斯坦的老幼、屠杀主张和谈的以色列公民，只为了自己喋血的圣战。
他们只会以圣洁的借口，把中东人当成靶子和弹夹用！
这抢到手的领土，是用来建坟地吧？ 在精神Hamas的价值观里， 即便打不赢，也不肯好好按联合国决议。可真是慷人命之慨，伟大！

所谓，巴勒斯坦就是Hamas的铜墙铁壁😅 宁可中东不长草，也要图光犹太人，这个叫「不当二等公民」，吃苦和牺牲精神，伟大复兴
但实质就是图了别人，自己就能“进步”几年的互害博弈， 🙉今天图犹太资本，明天种地缺人手了，就会去高贵地统一地球 ，这种鹅爹玩剩下的。

英国殖民好歹会输出技术和法制，但200年前还是被美国独立打脸了，而“解放者”却是当着子女的面处决父母，遥遥领先！ 这种卑劣的手段，用的还是文明社会，全球供应链，生产的手机

和以色列打仗是要愿赌服输的，不能因为打输了就气急败坏， 干出这种死前拉个垫背的，的纳粹行径
更不能以以色列错了为借口， 扫射120名无关的平民。
—
中国「自古以来」的立场就是：反美 🌚是师以长技。[粉紅根本連巴基斯坦還是巴勒斯坦都不清楚，牠們連自己說什麼都不知道。]
犹太牺牲巴国人，换本国安全 真是太可恶了！我支持Hamas，你们可以拿自己人当挡箭牌当炮灰了。

只能说中国的屁股侠们 😅，希望你早日体会到通缩的治安降级。 今日你反以色列 反犹，明日被“反汉” “反富”，
美国会谴责中国民粹吗？真把人矿当根葱了
btw. 凯莉：讲一个传奇人物

#blog #tr 《PL 表示法有碍于入门》

#PLT 俱乐部的人 Y 组合器身上纹，却被会员评价：字体不好看👀

符号可以使思维清晰。使用正确的符号，一开始就能轻松地完成工作，让不重要的部分消失
Mike Hicks 认为，像 8÷2(2+2) 这样简单的算术表达式也难倒各种人，妨害 PL 研究的影响力
最好的符号是简洁的；它们在视觉上具有暗示或继承性，

有人抱怨使用函数化命名而不是数学符号看起来不那么 PL
但——这就是简化记法的一个理由！我们作品的美学很重要，但PL已经以深奥的符号而闻名。
大部分论文能将一两个符号改为文字而进步

作者建议：
-增加清晰度/减少混乱将扩大我们工作的范围并减少协作障碍
-标准化设计清晰的单字符体系
-无论类型理论、语言还是 API——都要做复杂性预算， 作为警示
-总是用简单、易发音和众所周知的符号代替，顺序更要自然

more