#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. 彻底的分析和非平凡的变换-> 浅先解析+深先查表算常量,样板码生成/解释执行.. 怎样?对得上吧)

#statement 好的习惯
这一个“深-浅”的用词一致，就能帮你理顺枝节、甚至发现/创造更多联系，所以设计是超值的，是计科最好的习惯。
我们管的就是语言符号，而文字是符号里最被低估的一种。 就像“谁都学得会文科”，但成功的人依旧是少数— 那不是在流水线上学来的。技术可以敷衍照般，但每个产品的设计和口号，都是随时代随人的

PLT,CS人年年有，但里面最看得起应用编程的.. 不就是JS,Py 这些“垃圾语言”的作者们吗。 这些人太少了，因为Java厨都偷渡到Py来了。 Java21和Observe Adapt Filter,.. 老旧的模式都支撑不住他们优化架构的野心了

我对代码一般是不浪漫的，生活的感性诉求和创作分享是两回事

我会不会因为想明白上一条（或者在未来因为有人star），而觉得自己很独特“很精英”？真的……只有机器才会攀比吧，挺无聊的。 1种算法有100种讲法，讲了70年，差异比人vs猴还大。
FFT就是被复数向量简化后，又被计科发扬光大的，为何Fourier自己没把公式合一，再让计算量减半呢？ 因为语言符号是重构的瓶颈，因为你做了，才是你做的。 无论怎么歌颂公式的优美，心智负担就是负担。 怪异的一切未必有理由。

Linux,GCC,nodejs 在没人star时是怎么写出来的？只是因为他们想：他们不必自为认是精英，才能做自己想做的，即便乘法都不会算。 这边的世界反而没有“点赞”

人的独特，不是因为能选中含红绿灯的图片，而是天赋的，是因为那些非恒定、非广义的知识； 工具和人都会竞争“稀缺”“强”，这种时候失败才是社会的进步，才是普通人赢麻了
机器("纯技术")侧设计并不能让人们活得更好、更有尊严， 那些不在谈论代码就贬低别人的大佬，也是群在赶鸭子上架的被PUA工具人，他们比现实问题，更关心“大而无用”的抽象。这才像他们讨厌的文科生吧？

他们看不清自己只是复制了若干年前诞生，便迅速无同行问津的体系。除了一堆新术语，连错误都不是原创。 以为自己是在淘金，但拿出手的更多是有色的沙子，因为这就是他们的价值观：高低观。
为了别人的捧场，连无法复制的审美都能放下，这样怎能称为是「软件工艺」呢

我想Backus(Fortran式的矩阵,LAPACK,Matlab今天还用), Dijkstra(无goto和递归风格启发了未来), Steve Jobs 也正是曾努力逃离程序员的标签，而从未领悟“只有我懂汇编”的“核心技术”！
所以他们强，强得不平庸也不偶然，而不是中式高材生的范进太强

作为强者，不懂得反思，就会像《三体》里的火箭科学家一样，阻碍科学进步。要是抱着躺平一半的心态，做小事，常常嘲笑自己的设计，反有奇效
大众了的真理确实是废话，但科学却要不断前进，表里如一地求索真理的频率。

#web 前端真的是需要新血液了…… 连个绝对定位和drag,resize 都那么稀罕
https://zhuanlan.zhihu.com/p/654984542


htmx 也是魔怔了，React(SSR组件)确实烂，但把烂代码放在node侧，那也是一样的，而是是反直觉的。 Vue都算最良心的了

htmx 在Django, Streamlit 之类爆火可能取决于前后端谁主场的问题， 反正我会站JS，py和直连DOM比谁更成熟不用说的

Van 支持 hydrate 了，好吧…… 好像只+1行代码 ，看起来就是纯replace
init: Number(dom.getAttribute("data-counter")),


再看到 interface Props { 和 const{} = van.tags 我有点失望，不过 link({rel: "icon", href: "logo.svg"})
确实比 link(wKV({})) 好看，也更一致…… 很多接口要定型了。😐

本来我想去建议Tao加个 state(0)(x=>x+1) 的用法，因为只有非JSX非模板的框架，能用好这种写法
后来觉得算了，只支持“选中”也怪割裂的，何况它的列表模板还在用map 甚至不支持真正的hydrate，可以遇见到它以后也很难支持：低抽象度这时是缺点。Van和Eqv差得太多了

提到 #wasm , moonbit , wa-lang 是几门国内维护的语言设计

🤔“ 凹语言对贡献者之外的人有什么意义？不知道——正如刚才提到的：作品对受众的意义，从来不是作者可以定义的
——硬要给出一个猜测的话，大概率是：“对大多数开发者来说，没有任何意义”。但那又如何呢，

程序员在总人口中只占相当小的比例，这意味任何一门编程语言，哪怕它已经被广泛使用，大多数地球人顶多听它的名字而已，完全没法体会它对自己有什么意义；

我重写了WA的几条示例。现在绝句的无关键字流控感觉…… 总之有与整个编程界分道扬镳的倾向
- main(n=30)
say("$n 以内质数")
(2~n):[x]
(2~log2(x)) { x%this!=0 }:
say(this, end= (!=n-1){", "}{""})


- main
N2(.07,.15).delta: plot(0+~1.5 dx, 0+~1.5 dy):[x y]
at a=x*x+y*y -1
a**3<x**2+y**3
^now
- plot(X:Rn,Y:Rn, fn:Fn2<N N Bool>)
Y:[y]say(); X:[x]say(end=fn(x,y) {"@"}{""})

不过，我把太多精力耗在基建和标准库上了，都不打算做WA那种真正的编译器…… 而且我这几周都在收尾EQ的接口体系，删了又改真的很让人头痛啊

比较糟心的一个，是我误解了React,Nextjs 的流式SSR。 我以为是要把客户端状态变量上传，但其实主流SSR依然是添加事件监听的 （它们说是基于“同构”blabla, 其实EQ就是同构 所以不能止步于此），相当于在httpd上开个浏览器去路由并加载。

不过现在靠服务端S(x=>匿名函数) 就避免下发html了，好像比事件上传更灵活

Stability AI 推出音乐/声音生成人工智能 Stable Audio

Stable Audio 是一个扩散模型，用户只需描述关键词即可创建自己想要的音乐，每个账户每个月可以免费生成20首音频。

Stable Audio 由音乐商 AudioSparx 提供的超80万音频文件训练而来 (包含音乐、音效、单乐器主干和对应文本)。该模型在英伟达 A100 显卡上可以以 44.1 kHz 采样率在不到一秒的时间内渲染95秒的音频。

stableaudio.com

投稿：@ZaiHuaBot
频道：@TestFlightCN

#android #security #news 🤔 一个作者偷了另一个付费群的ROM， 导致后者利用“OTA更新服务” 格式化了数据和vendor分区……

“基带”的设计给人感觉莫名其妙，可读可擦除，但不可写？？ (好像就是按扇区编号) 软件能损伤硬件也是够嵌入式了

btw. IMEI+SN 应该是一个类似MAC的激活码的数据, 不同机型(MTK,Q..)分区差异很大，没有统一的备份还原接口.. 所以一键刷机是不可能备份这个的
正是平台的碎片化，给了脚本小子生存空间

笑死，这就是中国版XDA，就像那个压缩免费、解压收费的7z套壳 。那个付费群 还觉得自己不是后门，只是“灵活的利用了静默bugfix”
-2017 ShadowSocks 遇到“检测”危机，被首发闭源的SSR逼得停止更新
-2020 EdXposed被人利用漏洞提交恶意beta版本清除用户数据（rm -rf）
-拼多多... 所谓上梁不正(安卓开发&ROM移植魔法师) 下梁歪(脚本小子)

#china #bilibili 🥰龙傲天文学的陨落
https://m.youtube.com/watch?v=KQSQKrQLFvs
卦者灵风新说唱集：
"当对方陈述观点时，无论观点对错，说“典”
当对方支持自己不支持的人或事时，说“孝”
当对方辩论，或是开始细致解说时，说“急”
当自己难以理解对方表达的观点时，说“乐”
当对方要求你表达不存在的观点时，说“蚌”
当对方产生足以称为立场的观点时，说“批”
当自己说出自认为一针见血的话时，说“赢”
当无法对对方言论进行有效反驳时，说“麻”
当不存在对方，只是想引战时，说“原神怎么你了？”​"

#china #history 日常？
前者忘记是罪，后者不忘记是罪
横批：选择性健忘症+中式禁评特权

罗马的社会层级，是最直接的 贵族＞平民（自由民/公民）＞债务奴隶
拥有投票权的自由民/公民确实是比奴隶的地位高

利出一孔模式下，层级划分是 皇上＞奴才＞编户齐民的
反而是“奴才”阶层，非但不必承担以上所有负担，甚至还包吃包住，当上了奴才也能算“民主”
所以鲁迅才会说，在酱缸社会里只有两种人，奴才和想做奴才而不得的人

谁的拳头大听谁， 唯独🙉欧美，没钱权怪自己，但🥰朝鲜塔利班
国内弱肉强食，国际弱者赞歌……双赢

“ 什么是国耻？918是日本的国耻，那是国难。当年抗战也是这么说的，国难当头外……
中国人对社会干出来令人羞耻的事：贵州大巴，鸭鼠马鹿、乌鲁木齐大火、铁链女、唐山烧烤、银行取不出钱、边台风边泄洪，是国耻。 批斗邓稼先”产万斤“、鞭尸岳飞”破四旧“、不审即判息事宁人、又念叨天朝万万岁赢麻美日的，更是汉奸！

大巴外的幸存者们，怎么对待国耻呢？捂着不看就没了，或者把国难宣传成国耻来”计划“民族情绪，好让嗜好这些行为的官老爷和巨婴体制，毫发无伤把国耻继续进行到你身上。
中国的国耻，就是自古以来罄竹难书的沉默与罪责！
「安全时最勇敢，危险时再怕死；弱者面前是互害，在强者面前是团结；在善良面前非常狠，在罪恶面前却是惊人的顺从。」
「其實粉紅們不用一直強調自己是台灣人、香港人、還是美國人，我們對事不對人。如果一個國家的大多數人🥰都認同影片中的民粹主義，那是災難。 」

消息来源🔍 投稿By:Ambrosia
德国驻华大使馆：言论自由有边界。在于不可因种族外貌贬低他人，为自己或鹅爹的纳粹行为淡化乃至辩护

#py 周刊
Python,YAML 的缩进为何比C系优秀

4、strictyaml：类型安全的 YAML 解析和校验库
用于解析 YAML 的受限子集，拒绝解析丑陋的、难以阅读和不安全的 YAML 简写，有严格的标记验证和直接的类型转换
TOML 文件格式有什么问题？
“改进的” INI 文件，是 pip 推荐的配置文件格式。但连 TOML 的作者也认为它是一种糟糕的格式！

12、Python Fire：自动生成命令行接口
谷歌开源的一个用于生成 CLI 的库，Github 25K star。这篇文章介绍了它的一般命令、组合命令、链式命令、复杂命令等用法。

5、facefusion：更先进的换脸工具
最新开源的一个人像换脸库，star 涨得飞快！（star 6.9K）

#tool 把网页转换成 Markdown 格式存储
一站式 LLM 底层技术原理入门指南
基于数学点乘的 Transformer原理引言
7、instagraph：将文本内容或 URL 转换为可视化的知识图谱
可以提取复杂信息中的名词实体，生成它们的关系图谱。使用了 GPT-3.5，以及 Flask

该以一种怎么样的心态对待开源
🐎 网易云音乐 Tango 低代码引擎正式开源！

文章集 Writing an #OS in Rust , 从linker-BIOS ABI到算法
Thorium.rocks : Chromium 改版

10、使用 Django 和 HTMX 开发一个数据库搜索项目
一篇详细的 Django 项目教程，实现一个全栈的项目。文中有作者的教程视频。

11、异步 SqlAlchemy 和多数据库管理
利用 asyncio 和 SqlAlchemy 库，文章探讨了如何有效地连接和管理多个数据库，获得可扩展且具有弹性的架构。文章介绍了两种实现方法。

前端新轮子 Nue JS，作者称要打造全新的 Web 生态 [docs]
tornado Web 框架 的协程调度原理

14、为什么 Python 代码在函数中运行得更快？
代码执行的工作原理是什么？如何测试与优化 Python 函数的性能？

13、我最爱的解 LeetCode 问题的 Python 技巧

#algorithm 玩转遗传算法
遗传算法（Genetic Algorithm）是一种受生物进化理论启发的优化算法，用于解决复杂的搜索和优化

9、调试 Python 中正则表达式的灾难性回溯
作者使用 py-spy 定位一个 CPU 100% 占用问题，找出了罪魁祸首的正则表达式

Python abc 类型提示的轻量化：接口

from typing import Protocol

@typing.runtime_checkable
class DuckLike(Protocol):
    def walk(self, to: str) -> None: ...

#ai 合理的”自然“美景 IllusionDiffusion +ControlNet

zhihu

#js #news $velte 进入反向学习Vue的阶段……

Rich 大佬还是没想好啊，$: watch 仔细想想也挺杂乱的 😓
well done, 两套“响应式系统”，写法的一致性……

see: flash to..

Stack Overflow：栈溢出，程序运行时的一种错误，寓意看了这个网站bug就会越来越多。
Java：一款咖啡的名字，寓意用这种语言的人需要经常喝咖啡，因为他们经常加班。
GitHub：Git=饭桶，Hub=活动中心，寓意一群饭桶聚在一起。
Linux：Linus的Unix，寓意这是属于个人的，别人不准用。
微软：微型软件，意思是这个公司只会做微型软件，不值一提。
Google：取自googol，意思是10的100次方，寓意必须Google搜索这么多次才能找到答案。
百度：取自“众里寻他千百度”，寓意是必须搜索成百上千次才能找到答案。
腾讯：Tencent，ten=十，cent=一分，十个一分也就是一角，寓意这个公司的产品都很便宜。
阿里巴巴：取自“阿里巴巴和四十大盗”，阿里巴巴用芝麻开门打开宝库后只拿了一小袋金币，多的一点都不拿，寓意对钱不感兴趣。

#zhihu #apple 👀中国人真的很博爱。
😶直面印第安人，为新大陆死去的土著奔走疾呼，争取还牙；同时觉得印第安裔优秀员工丑得辱华
👦🏾直面黑人，横眉冷对种植园主，痛斥列强黑船贸易扩张，“盎撒白左”的自由伪善被“我中华民族”辛辣揭露；同时俯首对黑人充满了尼哥印象与新纳粹灼见
😡直面亚裔，看不惯黄色人种遭歧视，誓要靠输出礼化被洋人禁锢的游戏规则；同时一口一个“鬼子”“偷国”“阿三”“土逼”“台蛙4v”
🇺🇦直面难民，善如水滴收留乌克兰少女，抗议特朗普单方面建墙；同时信奉弱肉强食，最崇拜的国家在普京

😔锐评印度，觉得种姓制度封建落后，为首陀罗的尊严权利挥斥方遒；同时户籍限制比国籍签证更多
😔锐评日本，对受美国剥削的日本社畜怒其不争，泡沫破灭曝出阴谋；同时自发坐享996 单休007，背一辈子房债消费税，背不动孩子和养老金
😔锐评韩国，觉醒到三星摆布下韩国男女水深火热，所谓反思电影、法庭工会毫无意义；同时被企业家剥削到叫苦不迭，更想挤进主旋律

📑看清疫情，为洋大人的死无限惋惜，为连付宝与西方政客的无能呼天抢地；同时被主关在铁丝门和91大8里，望绿化带望外宾急火，寸步难逃
🤔看清隐私与机密，特斯拉与苹果是世界公敌，间谍50w更是无处遁形；同时自己一丝不挂：后台是小米联网查杀、拼多多一键root。
💣看清国际战争，揭露美国是纯粹的油迷战贩；同时信奉大炮射程出真理，你死怪你没席位没关系
😂看清干涉内政，嘲笑霉菌仓皇撤离，对阿富汗人民深表同情；同时认为印泰是穷逼、朝鲜塔利班是反霸联盟 石油好兄弟

🔫看清枪支暴力，对每周枪击案格外上心，辛辣点评美式民主顽疾、分析美国人不懂灵活管理；同时对腊像善意跪祷外国天天零元购，小日降半旗
💰看清世界经济，认为资本产联正在崩溃，北约更是纸老虎，中国必为首富；同时死命存钱，不愿拉动自己的房产内需，恶意转变鹅爹信仰
⚽️看清日本足球，原来“赢我们”之心不死，毫无八嘎奥林匹克精神；同时让国足退钱，寄希望于民间结社
😋看清核子污水，日本莫须有 海洋国联有；同时不信IAEA和韩国的监测，争议WTO的劳动法，自以为能吃上御治菜，或者预制菜：请别分那麼細，旗下所长会统一拒检

👉指明美国，一切的不公与黑箱腐败都无处遁形，在讽刺、听墙与嘲笑中督促联邦加强制度透明，即便拿绿卡的早不是他们
🇪🇺指明欧洲，认为难民迷惑了幼稚楼矮的欧盟，抢夺了本地人的福报，小圣母养了太多懒汉；同时自己也有手有脚，手里的薪资福利却不如黑人难民
💸指明非洲，为非洲的建设风险投资，为提升巴铁的zz地位免签考察，即便地债泄洪有累卵之危
💰指明扶贫，满世界找补，盛赞在这方面我是国才是典范；同时让穷人别来帝都，带专别入市场，农逼不得领钱，审批都碍眼
📟指明芯片，精英神童们遥遥领先；同时创造力探索欲被碾压到一卡脖子就禁言，一松手又赢麻了

🌍直面环境、关心科技、关心政治正确、关心“武装直升机”...关心世界史上合理的一切，唯独没想过自己。 看透君国主义日本的伪善，为死人大义鸣冤，却害怕为路边正在倒地者说句人话。
😳啊...这是多么的无私，多么的守望相助！

人脑容量缩小可能因为集体智能

2023-09-21 14:36 by 超时空碎片

400 万年前人类最早祖先的脑容量约为 350 毫升。200 万前脑容量增加到 500 毫升。100 万年前增加到 1000毫升以上。13 万年前，尼安德特人和智人的平均脑容量达到 1500 毫升。但现代人类的脑容量平均为 1349 毫升，小于石器时代祖先。过去数千年人类脑容量缩小了约 10%。脑容量为什么会缩小？一种解释是书籍、个人设备和互联网被用作信息储存器，人类大脑不需要像以前那样努力工作。研究人员认为，复杂的社会结构可能对脑容量缩小起到一定作用。人类社会组织的合作在过去 3000 年大幅增强，集体智慧开始发挥作用。一群人比这个群体里最聪明的那个人还要聪明。人类的社会性很强，以至于每个单独的个体不再需要知道一切。

https://www.wsj.com/science/human-brains-shrinking-evolution-science-980c45e
https://news.sciencenet.cn/htmlnews/2023/9/508970.shtm

#科学

#HR #java 回答安卓面试题 [AI标准答案]

- 做过哪些项目，用过哪些 Android 开发相关的东西
没有，H5赛高
- 「大学生活质量指北」是什么（？（然后我真的讲了七八分钟这个项目的来龙去脉和作用
不过VS Alt-S 同行数多光标可以列粘贴
- Java 里 LinkedList 和 ArrayList 的区别
链表适合单遍历，不需要resize (1 (2 null))
- 栈和队列的区别，如何用栈实现队列，Android 里哪些地方用到队列
Queue.add-pollFirst 队列 add-poll 栈。Looper Handler.post; Stk.poll()=len==1? pop() : (x=pop(),r=递归,add(x),r) 。转换的话，LIFO两次==FIFO
- 上面我提到了 LRU 缓存，所以什么是 LRU 缓存
eg.已满100项{arg:ret}则删掉最早1项、取时下移

- HTTP 和 HTTPS 的区别
HTTP(SSL(connect(IP:port) )) 公钥加密的有无
- 进程和线程的区别
有无内存,fd资源隔离
- 有哪些方式保证线程安全
原子和Reent锁，或者向量化 各自隔离
- 堆内存和栈内存的区别
堆new的对象不会在return时删除、栈很小(Linux 8M)，Java 的话应该全叫堆引用才对，避坑。
- StackOverflow 和 OOM 分别会在什么时候发生，如何避免
-Xms:8G -Xss:1G(划掉) 栈爆只会在DFS的输入太大或无基线，类似的OOM是BFS没有记忆而无限回环 ；真的是搜索图太大，可以用 DeepRecursiveFunction 栈调转堆回调
- 算 6&5 和 6|5
4+2+0, 0b110&|0b101, 4,7 AI都算得对

- Activity 里什么时候会保存状态、恢复状态
onRestore/SaveInstanceState(强类型KV), 请AI实现 V:Parcelable
- Activity 屏幕旋转的时候会经过哪些生命周期
请正读-反读 pause-resume stop-start destory-create （天哪..究竟孔乙己到什么地步才会把框架的“生命”细节公摊给App？
- 如何计算一个图片会占用多少内存
nByte=w*h*单像素bit/8
- 项目中用过哪些第三方库，能否分别给出介绍
没有，安卓生态冗得像罚抄

#PLT #code #learn 算式 1+.5, 1+"", (""+name) 利用了常见的值类型: int,float,str
struct的'.[]' 读写甚至函数调用，也都是被解释为'A+B'这样定义在 class A{}上的“可赋值规则”，就像在匹配俩 enum{int,.}

类型推导是用 int x,y,'1'; 变量里的'int'常量，去做 i+i=i, i+bool=编译期err() 等调用，来拿到fn(),val get,. 的“类型期返回值”。'1'等字面类型可以as Int

“():调用”只是asserts(Matcher)=>R 逻辑关系，因此新建 <T:T0>=变量(T0上界+默认形变)，assert时就合一出T的并集 (能让新赋值成立的'T', 上界约束也要传递)。这无需解构，靠监听来检查
得出后也要按 (in Int)->R, ML<T>:List<out T>"形变性"检查上界，才可拿到 'R'

fun=/{} 推导的“类型期返回值” 可以在<T>赋值后检查。

静态类型难在哪？在于怎么扩充 int+int, P.xy 这些规则。VB没有'+'重载，但静态却要把“更直觉”的if归纳成更简明、更多变的“class”和签名。
比如，要在同名重载里找 str(可为int)+str 的2元函数，再广点 extend class int: str 的接口兼容：子类型是隐转(delegate: Str by int{})的一种简写语法

类型在JS里很局部("加糖的字典")，而C里函数或接口不是值("按.h符号+*的指针")，因此'+'等语法必内定，扩展性很差
在Rust trait Sort{} 更显自然，impl{}甚至不必加在struct里(就像把 A+B 变 `+`A,B)，但也导致关注点碎片化

类型是摘要。除非递归， for,(A?:B) 的类型 不需要真的据变量调用N遍，避免了重复解释也提升复用(override,.)。 Java禁用py式的 if: 句级/算式级class: 正是因为“反射”要使用源码树里，YAML式的结构签名信息。这方面C,Go就很乱很生硬

when- Type
  - get(:Str)=成员或函数
  - `=`(:Type)=调用等号函数-需要左==右
  - to(:Type)=转换

  Any;Break; _;Nul(:Type)  ‘’Object vs error()顶底类型; 渐有类型,可空标记
  ID(:Str, toRules=[Any].Set, 元类) ‘’int,str 子类型
  Fn(T:Ln<Type>,R:Type, 默认参数,参组=-1) ‘’ 语法糖,比如 fn无参{} = fn().as:
    - as(:Ln<Type>)Type
  Fns(重载:Ln<Fn>)

  Var(now_T=Break, getset=0不变 1协变 2逆变)
    - to=对T取成员交, 如listOf(1,""), catch(A|B ex)
  Arg(:Fun,:Ln<Var>) ‘List<T>,map<TR>’这些都需实例化再调，也就是注入<T>变量
  Fun(TVars:Ln<RefInAST<Var>>, R:Type)

_ 相当于定义侧Any?, 调用侧Nothing, 和Pair<in*,out*>一样

参考Elixir , 你会发现主要是 fp: File+Closes, -'T'(T Sort)Ary sort 这两种情况需要交集类型。「继承」避免了过于细节的签名，「多态 重载重写」则规范你“模块化地”使用并集类型

Elixir 会为“js调java”这种情况生成强转， 不过尽管Send可以从数组读写元组，绝句只打算编译期有无类型函数，另外使用 -'N' mul2(:N){n!=0} = n*2 量纲类型

这个 Strong arrows 具体怎么利用运行期，我没看懂。那就算了
我觉得这个文章的逻辑就像我初次设计出什么技巧，还没和实际产生碰撞关联时，脑子里概念夹杂步骤的直接文本化。

这是一个完整的Java式类型系统，支持泛型。 class List<T>{} 的语法对应Fun(T,ID())的数据。 Unit,Fn可视为不属于Any

-'TR' Ln<T>.as(:Fn1<T R>)=Ln<R>(0) 也就是对 Arg((Fn),TR) (赋参数)，深度遍历到 Ln.To,T.to(Int).. 就知道T具体是啥(还要支持map{map{}}..)

在T未知时结果是 List<R> ，但要生成代码时R一定被固定在Arg。这类把Var作为值的算法叫“合一 unification”。这是关系式(而非“顺序”)的， -'T' f(x:T, p:PairOf<T>, y:T)=p.A 不会接受 f(1, (1|2), "")

当然这是能通过的：
fun<T> f(x:T,p:Pair<T,T>,y:T)=p.first
f(1, (1 to 2), "")
因为只读Pair能接受 Pair<T=?extends Any>

Pair<T @get> 形变性在T出现两次时才有用。例如动态数组rw.Ln(的只读侧)
- Ln<Str>和Ln<Any>间不可转换
- Ln<Any@get>可为Ln<Str>
- Ln<Str@set>可为Ln<Any>, 就像 Fn<T@set R@get>
- 上界<T或? extends> 定义为类型函数，把Str包装为类型变量

我们再来谈谈《绝句特有》的类型

同名冗参 取代inner class:

type 'T'Box
  at it:T
data- 'T'Box“<T>”.Pair(A=it,B=it) Data()

量纲验证:
'T'Ln,Rn; 'AB'KV,Pair 这些量纲是类型的单位(quantity of type)，值也可以有单位。

''(^named i) Idx=Int{!<0 |"be positive"}
- `-`(:Idx“调用前强转”)=-i

元类:
T会实现Send同名例的类型， 'T'(T Send Any) 里访问 T.name T.cols 相当于 Send.typed[T]?.
data- Pair.TYPE|Send 会注册 Send.typedArg[Pair](A,B) ，这样能在编译或运行时组装序列化器。

真子类型:

at! ts=[Int Str]
at vs=[1 "2"]
-! get(:Idx, R=ts[i]):R =vs[i]

但i是常量时，并不需要类型体操

-! get(:Idx)=vs[i]

。用途是实现 int[4]

-!'A' say(:AryN<Int A>){A==4} = say(ary[0])
-!'ABT' AryN+(:AryN<T B>, C=A+B): AryN<T C> = 解构时也一样