Explaining the Postgres iceberg (Score: 150+ in 19 hours)

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

#py 周刊
#recommend #tool 带有 "Android 子系统", taskmgr,... 的网页版Win12 demo 🎨
#algorithm Hello Algo 多语言实例
#tool EasySpider +可视化编程
#android 高级包管理器
js: await using fp = openFile()

Flask 深入探索: 请求上文、会话、CORS
fastapi-users：开箱即用的 FastAPI 用户管理库
Django 发送带有验证链接的电子邮件
FastAPI 使用 Tailwind CSS + SQLAlchemy
Streamlit 初学者指南: 类似 Juypter UI
Polars：快如闪电的 #rust DataFrame 库, 优化表达式和上下文、惰性
dara：轻松创建交互式 Web 图表程序 📊
Python Asyncio 之 socket() 网络编程理论详解

可视化+深入学习数据结构与算法：C++、Swift、Python、Java、C#、JavaScript
bisect,heapq 如何保持数组有序
upiano：命令行里的钢琴 FluidSynth
探索国家/文化多样性：Pyetho — 用于列出国家及其语言
深入介绍 Python 3.12 中的永生对象（如 None 关键字和小整数）
下划线的十种用法(REPL, match, i18n)


7、h2ogpt：私人文档+图像的问答 PyMuPDF 识别与提取表格
8、refact：开源编码助手，支持自动补全、代码重构、代码分析
9、dify：创建自己的 AI 应用 +CN

#statement #kt 反思： 数据绑定DSL val xx by int() default 100
> int()返回一个可读(写)变量 ，同时接受"xx"，也能实现 lazy{}懒加载

obj HTTP {
val maxReq by int(or=100)
} 怎么样

感觉好鸡肋：这其实就是一种JSON按类型绑定啊…… 只是序列化器没支持而已

有时感觉弱类型真的挺自由的，除了大部分 str,int 就不会写什么多余的声明
你说既要验证 data classes ，反射库又那么鸡肋，还没有官方的模板代码生成器…… 2017到现在连个能比 argparse 的CLI环境绑定都没有

稍微把反射库用好一点，就不会要写这些定义DSL
(但是又不要靠 @VarName("wtf") .. 总之就没绝对优美的封装办法

duangsuse, [2023/9/5 16:49]
稍微想了下，把类型和定义当成元数据，是可以避免 @Default("wtf") 的
js
HI(class xxApi {
'/index'(){}
'/user/$'([id], {nameMatch}, resp) {}
})
kt

data EnvVars(maxReq=100): Mapper
Map.load<EnvVars>(environ)

这样可以避免注解，其实就是靠查参数表；所以JVM反射和编译期生成可以取代绑定DSL

duangsuse, [2023/9/5 16:55]
强类型真的挺鸡肋， 手写签名只是为避免强转开销？ 框架却不能规范和利用这些定义信息？
真的道阻且长啊

听说 #Rust impl<T> List<T> 就是把类型参数当kwarg造成的

我了解了下：关联类型不是只在传参上像kwarg，也不是为方便override，而是做了类似 FnOnce 的保证

1. type R : struct = 1:1，一个 struct 拥有关联 Trait 的唯一 impl
2. R变量不能被struct或fn新建

因此 fn distance<N, E, G: Graph<N, E>> 里G的约束就不必写了，而是替换为 G::N,G::E

还是很鸡肋啊.. 为了三行碎代码😐，为了一个保证而新建语法，破坏语言一致性
即便把泛型改成按名传参 -'NE' Graph.distance(:N,:N) 都比新增语法要一致
是Self类型的一种扩充，因为 -'N'(N Sort) max(:N,:N) N 无需解出N以外的变量

duangsuse, [2023/9/5 17:13]
是不是懒得升级编程语言的社区生态， 都开始急着加无工程意义的特性了

这种能靠推导出事情交给GPT不就好了…… (编译期性能就拉倒吧) 为框架和社区干点正事，多研发点教程文档不好吗
编译这种事情没啥价值啊， 如果数据类型、class这些定义结构，只方便编译，而对框架是负担，那对开发者和用户也是种反模式吧

我是希望Kotlin能像Python那样发展的，但看来py也有不方便大项目的地方

py最近加的match都不是在types上的扩充，我想kt可能是语法太丰富， 但是这个API绝对不够用啊

#js 和EQ的风格很像了 🤔

ee.main=({n=1},
奇偶=wKV({class: when(n.as(x=>x%2), "odd","even") })
)=>
div(
h1(奇偶, html`count is ${n}`),
h2(html`2x is ${n.as(x=>x*2)}`),
button(wOp({tap:n(x=>x+1)}), "👍")
)

感觉这种情况下EQ没什么竞争力？
(不过EqvJS 的理论是与页面段「带变量合一」，而不是 "Reactivity".. 我们在数据化上做得应该更系统


btw. VanJS 作者 @alexanderxin 还打赏了 $10

在这个视频
函数风格的DSL #design 不是很新的概念(尽管在js界里是.. )，Flutter,ktCompose,我的TkGUI, 甚至蛤为的 ArkTS 都用它取代过XML

☝️一个框架能意识到 CSS,HTML -in-JS 对整个易用/复用性的必要，可以说是一种革命 ，因为它的设计重点从 @click.prevent 和 "reactivity" 这些花哨的东西，转移到UIUX的数据和操作上了

当然，写法的不同也是主要竞争力，像 ArkTS 这个就滥用builder和this ，非常难看

EQ一开始也像Van一样主要负责“模板”，但后来也实现了 lists,when ,组件和CSS模块化

这个视频例子上，EQ的胜负处：
👍
- 统一的风格(甚至像独立于ES6的语言了)，避免 func,const,return div() 的无味之争
- 没有 n=van.state(1) , 变量随便加
- 没有 .val (按_currDep 捕获val访问) 和derive的概念，而是让事件选中(Eq.sel)变量，看起来更纯，低魔法
- html格式化,很ES6
- when() 很漂亮，在纯JS,html 里都能用
- 我不写 3:33 的那种滥用弱类型的代码😐 简洁，显然不是指能看懂的符号少

👎
- wOSK{} 三要素 没能显示出对组件设计的益处 (需求太常规，API的体系性无法体现。像 Van 这样到处 onclick 是意识不到该做 btn(数组,) 复用, 以及该避免 onclick 可变时"escape" )

- 同样，因为EQ涉及三界(JS的带this管道,async load,ondiff,ease-efx,wOp-SSR事件上传,.) 所以只有 界0=wOSKita 是<100行的，与Van同为极简主义的我应该很丢脸?(x
- 在不用爬虫时写 html 模板，稍微有点长
- wOp({tap:n(x=>x+1)}) 选中了n变量，但放在 html`count is ${n(x=>x+1)}` 也可以

— 在 4:09 上 —
👍
- {x:0}.it.x 不负责保留旧值，也没 html _binds ，因此适合在NodeJS里用
- x0.it.to({x:1}, (A,B)=>B) 的「合一 unify」 适用于赋默认值、模式匹配等情况 🌠
- div$cls() 简写真的很CSS。EQ的风格就是DOM加糖
- 浏览器本就会“批量修改DOM” 再reflow ，EQ不会对数组以外重新检查 “vDOM变更”，再用setTimeout去哆嗦着赋值那些玩意。obj.it 就是EQ的“虚拟树-但无关HTML ”
- EQ自然支持 SSR(注水,wOp上传-HTML下载, ) 尽管未提供无DOM模式
😐
- 不用写 import tags，因为 evalFun 在运行或编译时支持了 this 作用域
- createElementNS() 的支持被复杂化为 {svg}=ee.use, 包含 svg,WebAudio 滤镜图

- 不能 van.add(ul,state转节点) ，因为EQ必须支持爬虫和diff-特效，必须隔离JS,DOM，而不是靠跳帧检测全局states, 替换或删除其 _binds=[元素,函数,deps..] , 再在节点已移除时"GC"
不能靠 ul( ()=>del? null : li() ) 修改子节点，只有“when,as=filter函数”能做GC
因此，EQ里 wKV 是不需要靠返回原元素，来避免replace的

EQ选择的是Node 和 Object.it “合一”，而不是 shallowRef() 的字典，所以它的 diff 不是在树内vars被拍平后，靠跳帧检测，而是在 JS对象图。
也因此对 [1,2,3] 和 [[1],[2]] 赋值，都是既不Memo(Van做到了)，也不导致<text>外ul节点替换的，只是旧值被新值“合一”了

总之，VanJS 足够小，所以这个视频分析的相当全面 #recommend

可能在程序员看来，我每天都在写 “不能运行的代码”……
但这就是设计者做事的方法 🥳

👀 比对了很久，终于搞懂了 VanJS 的写法和DOM更新

Van所用的不是 state/signal(React,Solid), prop/ref(Vue2,3 DOM diff)

Van的全局 state diff 虽然导致了"GC" 问题，但比memo, Svelte的编译，已经很先进了(虽然Van天然不兼容数组diff, 即便是把每项装进state)

回到EQ, wKV, div(html/when替换) 皆是把变量合一到节点，app.it.to(st1) 把变更合一到变量树

所以看见 add,bind-update 这些逻辑时我很尴尬，因为 EQ 的.as(x=>+1) 派生变量和when节点是一回事

变量监听和变更检查 也是隔开，但却是通过 obj.it 深遍历，不是分出 derive监听,updateDom 两期来“批量操作DOM”

与同样是DSL的Van对比， EQ真正的竞争力 可能就是：div(p(), ) 对Van是在“构造”DOM，对EQ则是在“解构,合一”

EQ里数据流是真的单向：和变量、和其他数据 合一unify

理论根基的不同，让EQ在几乎所有API上既能保持简洁，也有更完善的功能，而不只是XML的语法糖
因为这不是简单地“添加节点”，我不得不考虑到更多实际的需求，而需求.. 恰巧能覆盖到Vue,Solid 的那些优化，使优化能够基于 reasoning

#statement
ee域 div(p(txt)),wOp,wSty,wKV 这些 挂载函数，与(完整)既存或新建子节点 带变量合一 降至文本层。选中或as派生一些按键量来做UX (靠 app.it.to 来合一新旧状态树/组)

☺️ 道出EQ的精髓了（花了好久终于改好.. 很难意识到DOM居然要递归下降、“选中”事件变量、JS对象的深度合一）

EQ非响应式框架，无黑箱diff，而是针对变量&页面段；但处处都有 Vue,Svelte 的算法
"新建子节点" as(数组ondiff, x=>), for
"降至文本层" when替换,html匹配, component
"新旧状态树/组" VDOM 或 Vaper,Svelte “编译期响应式”

内嵌CSS, bodys爬虫, as,to(天知道从 Kotlin let 设计到现在我考虑过多少) 改来改去，终于舒服了
断断续续半年的努力，居然就只是这一行字 ，感觉有点不甘心😱 但理论就是这么说的……

复制别人的技巧并不难。但没有魔法，就是最终极的魔法呀。 前端界只关心HTML 的人太多了，我的框架可不会只在UI上有用。
前端界被XML也框得太深了，而且明知道React难看还去抄hooks 真的聪明到 一点都不懂设计

React hydrate 无非就是对节点的那一侧做Memo，但包含“协调”在内，它引入了太多步骤，而 Svelte 又太魔法；它们也不过是对DOM和[{}] 做着“合一”，只是它们对JS侧太轻视了，很多技巧放JS里是独立的术语也不会有的。

他们一开始就没想好DOM模板各种用途下的本质是啥，只盯着React的响应式和自己会的前端技巧(甚至是有意采取“酷但脏”的数据结构)，直接开始设计算法，结果到最后？ 还不是又去开发 Vue3 VaperMode 这种“高性能编译”

我可能比他们多知道个 Prolog 和Eq双向关系，但稍微面向 ref() 设计下，或许就悟出要「带变量合一」了， 这个对API价值观，除了是有意忽视ref的重要性 我想不到他们没走向细粒度,diff(refs) 的理由
猜测：Van 可能是不了解关系式编程 下的极限了，而它对数组diff 有明显缺陷

我一直在思考为何EQ会这么“少数”，以图帮EQ查缺补漏。最像它的三个 Vue,Van,Svelte 被迫支持SSR,diff复用, 那为啥没有走向挂载渲染的「合一」
(和 baidu/san 对比很明显了。ps. san的作者的代码审美就是废的
EQ的理论完善虽然也花一个月，但它一开始就是朝“天然SSR” 的方向发展（是一个因素？）

我想最大的因素是 XML,SFC的风格 ，EQ的设计从头到尾都没正眼看过XML,JSX或文本模板，也从不关心 setTimeout 这些对DOM的优化幻觉（我相当敌视XML,喜欢ES6）

EQ用 wOSK,elemVar 清晰穷举了DOM的本质， 而绝大部分框架是靠 @click,on-,. 这些弱类型的XML属性在做绑定。这启发EQ使用 按键变量(x=>选中) 如 CSS.rateLim(tap)(x=>), $bigBox(N2.xy(P)) 的调用风格，重构了一切

Van 没有XML，但它太新了，连diff复用都还不够完善。光加个 state() 不能改变「编程范式」
他们没看过 Prolog 和 ohmjs.org 解析器，不知道可变量作为值的重要性，无法去思考事情的相通点，最终把 SSR,diff,memo 的一致性给打碎了

我讨厌Van 对「写法一致」的重视不够， ()=> 随处乱丢(和React.无JSX 学的)，{onclick:} 这些感觉写法太多，而 derive(()=>) 似乎又和这类“渲染函数”无关
这种差异的背后，是“state都和node绑定,不能只和其他state” 之类的窄化，以及“常用函数名最长” 的条理无序

#china #news 蛤为芯片分析：
A. 中国真的有能力锁国生产28nm的“超频”光刻机，所以敢说库存充足
B. 美国或荷兰开了口子(>7nm 商用都是意料之内)，让华为遥遥领先赢麻了

方脸最后关于 LK-99 舆论火爆有个有趣的看法： 这就像苏联人，觉得第一个踏上月球成功了 就能提高生活品质，觉得自己能被新科技带飞
但其实呢， 还是要放下锅铲情节。尊重国家命运

一些有意思的 #web 跑分
当然，这些只是用来反思对“黑科技”的过度迷信，因为JS根本不属于瓶颈—哪怕慢100倍都是 <1ms

[].join 对正常的示例都比+=更快，偏偏许多JSer把str`` 的情况拿来跑分
Object.create(原型=null) 比{} 还慢, Set Map 更慢
const,let 一样 ，箭头和function一样, Object.freeze() 慢百倍-但只seal() 时就一样。不要低估编译器
V8 甚至为此修复了 React number preventExtensions 时的性能断层
Proxy 比 defineProperty 慢十倍

createDocumentFragment() 更慢 - “减少 repaint” 正是VDOM的一个“特性”
node.remove() 等于[hidden]。仍然可以重新append
Firefox 不能实现跨页 transfer(Blob )

强类型 CSS.px 更慢 ，似乎内核更接受字符串样式
content="width=device-width" 或者说 touch-action: manipulation 的来历
Scroll listener 比 IntersectionObserver 慢一倍

#china #life #news ☺️又到了五千年一直遇的暖心时刻： 王朝末年，天灾跟着人祸，无论你多“安稳奋斗”， 也会灵活拥有 泄洪区这种身份~

灾难也见民间真情！看那些有党支部的媒体🥰、水库，在泄洪前2小时还在拿着纳税钱 太平盛世 攘外安内，在台风来的前几天还“冷静”定于一尊。
它们拍手允许所有人活在现代化的热带丛林！这恩情该怎么报啊？
（正面报道）
艰难的决定，伟大的牺牲🙉

各种清零和泄洪突破了地理和历史的“桎梏”，无论你的政治倾向是否是朝鲜大清式的「没没没通过」，甚至是否在处级以上
洪水和红卫兵随时都能让你吃上绿化带❤️，成为“多数人”“人上人”的护城河

但其实呢，淹死你咳死你也不需要“割地赔款”， 它们凭啥要防灾或减灾呢？ 你，就是铜墙铁壁。
https://m.youtube.com/watch?v=ZvN0rNHUtVo

🥳 EQ的第一界API集构思好了，它构造DOM的方法，是直接把模板成分和JS值对应：

- it关键变量: html`文本${x}`, when(age.as(x=>[x>=100, x>=18]), ["👨‍🦳","👦"], "👼")
- 挂载函数: div(wOSK三要素, ...继续向下), as([abc], x=>bold(x), a=>ul('没有')), ee.组件({数据}.it)(挂载点)
- 递归下降$: html(..)(s) 按照s的类型挂载，与 div()(s) 唯一的不同是它不把挂载点=新建div
s.nodeType, childNodes[.i], s.call(爬虫qs) 分别基于 append, 向右挂载-比如对缓存节点们 , 查询&挂载-或向结果的左右插入

  ee.$(=> div$(wKV{wtf}, $选择下级(wOp监听) ) )

可以爬取出 x.wtf ，$$监听新增

可变量等于 html((e,s)=>s.既有节点? 将e.textContent或match赋值给v; 添加v并绑定replace)



as(a,when)

就是基于以上赋值，列表a按 when(MultiType,{组:件}).most(a[0]) 创建缓存，add时只基于cloneNode。若匹配出的type不合适 v可以替换
当然对 👨‍🦳👦👶 的例子，文本和age变量不对应，age就=Error 了 ；虽然不知有啥用但 Prolog 会检查满足条件

👆这些现在看起来没几行，可总的来说想了两个星期…… 一直在反转 ，无论是术语还是算法都改了三次

简单的关键字传参和emit靠 wOp(our={error:0, lang:'wtf'}),wKV{our}
这些要素被“挂载”后 our.error() 就是DOM事件了，lang也绑定某父节点。也可以 `await our.error`，这就是关系式编程的“变量”。

ee.Count=({n=0})=>
button(
  wOp({tap:n (x=>x+1)}),
  n,'++ 是', n.as(x=>x+1)
)

你“选中赋值”了按键变量n，n被触发时，也会追加改变：如更新as复制的变量

那么，想要做“防抖”就只用 1..s.rateLim(n键量)(自增)`，想要use鼠标位置就 `div(N2.xy(P)) .. 函数在左的“选中”会赋值按键量

ee.Timer=({t=0, on})=>
div(
1..s.rate(t, on),
html`${t}secs`, btn(['启动'],on.as(true), //X.as() Y 是双向的
['重置'],Eq.$(_=>0, [t,on]))
)

……我只能说EQ的思想虽只是选中时赋值+递归合一， 但在实现时的每个细节， 都能看到那些“熟悉的面孔”：EQ真的是框架的联邦，一个有机整体，而不是由孤岛拼凑而成勉强能用的算法

- ee框架也会选中n,t-类似 tap:n(自增) (更新button.text) ，这就是所谓“响应性”。
- EQ会区分 123abc, [], {}.it 三类(it.按键变量) ，但它们都能被“选中”-以返回 .to(新值, (A,B)=>冲突合一)

[{组件},].diff 的本质是按key缓存 (a=[1,]).map(x=>toStr) 这类“映射”在 a被add,filter,sort,. 后的结果，因此 [].it.v 是可变量=[当前, 欲到当前的移动增删]

EQ的 a.onlys(搜索文本/函数) 就会利用数组diff过滤，而后ee利用 asBind(x=>组件(数据x), off缓存)(挂载点) 求差并 replaceChilds - 具体是 (x,e)=>(组件(数据x)(e), e)

对EQ而言，HTML就只是{k:v} 的一种形式。所以没有vDOM或响应式编译

三要素会有可选参数：
- wOp({tap:click}, 'only once') 就是 @click.prevent 了 （当然我没抄过Vue，这些都是后来去确认的）
- div(wSty({fg:color}, it)) 是基于自定义元素，如果要同时支持SSR就会转而靠<style scoped>了
- wSty({bg, $类名,$$div: {} }, '') 是js2css


总的来说…… 😨 虽然原理变简单直白，完整的列出恐怕还需要验证 ；希望它真的能漂亮地实现一切

效仿 #Kotlin 果然是错的决定。kt爱“术语洗稿”的风格，原来从2017标准库就开始定下了……

幸好，现在的绝句能基于做/到函数 1:[x] x+1, (0~9)|: say(+ 1), kv:[k|v]字典 ，不加歪七扭八的术语🙉

但看起来 |: 这些就很晦涩啊？ 不过，绝句是用这俩的重载，取代了所有 for if filter map await Closable.use ..

"89"==((0~9) {!< 8}: "$this").Str
(0..9).filter{it>=8}.map{"$it"}.joinToString("")

resp.isOk or good: A
(x==0) { A }: B “多个参函”

if(resp.isOk()||good) A
if(x==0){A}else{B}

“对单项的filter”

"ab"{!has "a"}? {this}or "bad"
at v = [|key v] ["k"] or: return

"ab".takeIf{"a" !in it}?.run {this} ?: "bad"
val v = mapOf("key" to "v")["k"] ?: return

at now:
  x Way<Int Str>.A(0)
  y x {+1} {error}

var x=Either<Int,String>.Left(0) //同Result
var y=x.fold({it+1}, ::error)

现在我轮转设计的四个项目， 都逐渐迁移到了与as/to 相关的体系🥰像 when(age.as(x=>[x>=100, x>=18]), HTML分支) 这样的变量
总之，开明的语法配上一致的规范，味道真挺不错的

唯独可惜的是， 它们越来越不能“独当一面”了…… EQ的模板与“选中按键变量” 构思好后，整个框架似乎都萎缩了（虽然仔细对比会发现功能是一样多）。当然，越易学就越好

有些新功能一旦成为体系，看起来就稀松平常了，少到让人觉得是否会“不够用”…… 但它们曾显得非常helpful

#history 方脸：中国离计划经济还有多远？
生育和恋爱都能计划，水稻上山下山也“随机应变”， 医保和寿命也指标分配一下？

是否想创建一家由 🐻的看法作为KPI，而统一的「中国公司」，把你变成执行🐻项目的流水线—或代价呢？

1. 基本是公司运行：定额工作和共享、「先锋队」当工头、用宏大理想打压工会，把人的社会变成粒子的1+1+1...
2. 宏观调控“举国体制”，不是左政府(公权大<->私权大) 特有的。纳粹德国、政治正确也为统一地球，或者种族融合做过
3. 理想计划，由精英制定：「人类的发展，是可以用专业知识预判的，只有听头羊的效率才会高」 (微软和Nokia哭晕

ps. "公权" 的公一般指公平，不是王公贵族的公。 自由<->集权 是纵轴的

缺点 (1)毫无变通性，决定只由少数人讨论，一错就到底
外行指导内行or中间商赚差价，你选一个。

KPI和层层加码忽视了个体和局部的差异， 就像土地不都一般肥沃-而要合理种植，消费者不是买米面， 孕妇和透析患者来不及12小时核酸…… 各种的至上是纯开销
中国各级🐻对“娱乐价值”的打压，被 游戏->显卡-> AI 回力标打脸证明，这种人定胜天的傲慢，会应验在国家的命运上

平凡的民主政府： 没有人永远正确，但永远有人正确

(2)赢得因小失大 顾此失彼，从性价比上就是骗局。
在大跃进、文革那13年，似乎放飞几颗卫星，一切问题就迎刃而解了，饿莩遍野，就自然消失了

对蛤为芯片的褒贬都存在一个误区： 它是造出来卖钱的，不是拿来赢的。 它的良率和制造成本、研发花的钱值吗？？ 这下输的更不留情面

🐻们总是把自己计划的成功，想当然地转变成全国的胜利：幻想靠芯片和电动车超过美国，就能让日子变好..？
不论是纳粹德国的战争胜利，还是苏联的科技成功，都不会让你的压力降低：

苏联率先实现登月：挽救不了生活经济崩溃的结局
老板赞美你在工会的诱惑下仍「吃苦耐劳」： 你们两个真厉害，而你，工资涨了一丁点
中国在清零上取得「关键」胜利：大败于美国的经济争斗
德国赢麻的1942：民众购买一块面包的平均工作时长，是战前的3倍（那鹅爹呢）

美国人开销一顿下午茶，就换到苏联人举国的一口气 。 他们连屋子都是租国的，这辈子过得只有那一口气可争 😤
某些慈禧刚刚宣战时，她就已经赢了，看似丧权辱国时，她又双赢了
听美国的，生产市场加入国际化，放权别打内战，台积电自然会有中国版，中美经济自然会趋向“平起平坐”，“精美”的台湾为何不会亲一个美式的中？ 所以🐰它们在狂热什么？？

这种误导就像：日本的废水喝不得，但中国的废水、马桶水呢？
赢了“白莲花”比赛，输了科学和国运

现代的民主政府： 有公务员反对你润日举旗的政治立场，而他们无权决定你的言论自由

(3)搞反了主仆关系
列宁：人民群众是愚昧无知的，需要左派领导
希特勒：我要净化全人类

正常的民主政府：我是人民选出的管家物业，可不能到处指挥人民今天该对谁牺牲奉献
独裁国民往往把政府定义为“管理学”，必须大拿税钱实现丰功伟绩。

优点：
(1)满足了封建孝子们—争当人上人的「阿Q美梦」，和让人家做主的包衣思想
(2)如果人真的是没有欲望的虫群，就连又老又笨的“母虫” 们也甘愿自我牺牲的话😅，那共产会很先进：但恐怕是像建深圳建郑州时不加下水道、为了求快被撞飞的温州动车、楼市崩盘市政破产一样快，中国速度！

一个国家的命运，不是看它最高的楼、最深的城府有多“大”的塑料壳，
而是看它最“小”的国民有多大的尊严。 因为任何“科学家” “男足球员” “新行业精英”都可能早在面临弱势光景时一蹶不振，政府所要吃的亏，就是产业升级的必要条件

但，人性就是人性

#science #meme ref

非常清晰易懂带动画图解的算法书，准备好好啃啃
https://github.com/krahets/hello-algo

#py 周刊
HackerNews 等新闻聚合
本该辅助思维的工具，如何异化我们
pysentation: 在终端展示你的py代码
js anti-debug: 尝试阻止全编程界最优秀的 DevTools,
https://github.com/theajack/disable-devtool/blob/master/src/detector/sub-detector/func-to-string.ts
v0.dev: 生成预览和迭代HTML设计

Mojo 🔥 Linux版本可用, 自带 Tensor(nd),DType 支持
(ps. 这人怎么 parser 都不会写啊， (1+ 换行 1) 时解析失败,等待下一行不就行了吗？ 他只是写了个众所周知的hint
这个 let var 是干嘛啊(还有Java式的 class Benchmark..)，Python 简洁的优势都丢了

🤖 Falcon 作为当前最大的开源大模型，有 180B 参数，在 3.5 万亿词的 TII RefinedWeb 上训练
jieba的替换: pkuseg-python , hanlp

#wasm #plt 500行迷你C编译器
🥧 半手工绘制 plt.极座标直方图

📈 #algorithm min/maxHeap 有序列实现
#bin Bloom filter 集合 位运算实现 —性质类似WeakSet, 非常快

🐳 用Podman部署py包 [维护pip包]
📝 使用 Protobuf message{} 储存和传输

protoc --python_out=. .\music.proto

from music_pb2 import Library
Library().add(music).K=V
lib.SerializeToString()
lib.ParseFromString(f.read())

compress：基于个人语料库的快捷输入工具
gpt_academic #zh gui : 为 ChatGPT/GLM 提供实用化交互界面
GPT 学术优化，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持 Python 和 C++ 等项目剖析&自译解功能，PDF/LaTex 论文翻译&总结功能

#PLT #recommend parser bin(两个月前 的补充
ink流是保存 i+leN,kind,kUp 的高亮区间表，配合 if-for-tup("P+."模式)
也就是二进制里的 union-struct-sizeArray 的读取解释下:

mayNum=[P,['intLongs-proto',a=[4], [8]], 0]

may,a.to(深赋值) 只让P,[+n] (创建的区间)被整体替换, s.to(sEdit,iIns) 若失败则向上重试--到整个文件
只有 [tup] 会向前走，它按i0+偏移做读写器绑定

不能只靠 json("123") 返回值，而要 P(['语法123'], s=["ink区间链"], ast={})
就像 split('',"abc", out=[])-很适合弱类型
这样实现递归靠 ['', [P,ab,'']] 就能无限ababa了，比fnref() 晚赋值更方便

当然ELF,JVM里还需a.push,chk位旗,[+,偏移量池] 的情况
之前想的版本一直有很复杂的函数接口，因为要基于“组合子”。 现在可以大概说编译器是哪类算法：

1. 浅先遍历 /a b? c+/ 这样的形式文法-处理好数据报错，过程中用逆波兰算 1+2=3, 或保留 (+ 1 2) 以便多次检查,rustfmt
左递归 A=ab|A ba 实质是带验证的abba+。 a=>(b=>外层的a不算是局部)
变量->$0位置参数/全局[k] 闭包->new Fn(捕获,){}/fn.bind(可变量cell)

2. 深先遍历 (+1(*2 3)) (+1 6) 这样的树(多个赋值就成了图IR)
class{} 等签名信息的“赋值”和重载查找是编译期的，也叫静态检查。可变量的类型是“常量字面”，字典键的类型却每次检查--如函数值的接口相同,类却多态
函数级线程： 能在调用后继续旧函数。不是线程的附属品
把return变成函数(CPS)就不会栈溢，或者说只能有(+a b c返回函数)-比如 time.sleep ，这需要切碎for,if和调用链 所以不叫回调 (就像[1 x]=[2 y] 太“无序”所以不叫解构,流读写,双绑,.. 难看的不是现实,而是写法)
现代 a+b 想变成这样，async()=>.then就是“返回函数”了 (DOM就是调度器^)；而如果在指定线程回调，就叫 coroutine

只做1. 会导致 var x=1, f(1) 等上文节点离不开浅层步骤(不能靠自己的 call stack), 因此有种 eval(e箭头函数 ,env)(arg)=eval(e.body,assign(argkv,env0)) 会把env(栈+全局)拷一份
只做2. 就是ANTLR,Lex-YaCC 这些“高端食材”用LL,LALR..自动机的理由了(准确的说是在C+x86里搞了一层虚拟机)

ink流只是靠浅先遍历，类似Prolog它是基于绑定(而非赋值)。虽极适合数据类与过滤，也不是所有变量都能用关系来编程(e.g. rust->llvm 想双向很难, x86->bytes 会稍微合适了)

编程范式是一种开发手段，增加手段对优化很有用，但小心聪明自误。(e.g. 彻底的分析和非平凡的变换-> 浅先解析+深先查表算常量,样板码生成/解释执行.. 怎样?对得上吧)