那么呢，每周回家都有每周的任务，要不然会非常无聊 #life #tech #dev #daily #Learn

#Java
每次呢看的书好像比较多，又都是轮流转结果可能最后一周完了枚举不出来自己看了什么书比较尴尬，大概是操作系统和嵌入式的，JVM 的也有，但大概是记住了吧。

📚 最近会开始掺杂一些文化课的书学习，由于 CS 的书看的比较多我发现自己的智商和认知理解至于记忆能力都有很大的提升（也可能是年龄关系，目前大概是 17 岁吧，和某 GAN（生成式对抗神经网络，14 年的）算法的 19 岁美国大佬少年还差两年，逃，当然和某些 17 岁就上博士的奇幻人生就比不了了）
主要的原因是有时候看 #CS/IT 系的书比较累

并且愿意尝试补习一下数学，数学里解析几何暂时还有点难理解，其他的代数问题大概都好，因为我现在也稍微有点工程数据结构算法分析能力。
之前一直觉得很难看的数学公式式的表达方式突然觉得没有那么难看了，觉得很自然，也有兴趣理解他们所表示的含义。

这周今天大概就是专门讲讲 r2 x86 架构逆向工程和 #Android Dalvik/Native 逆向工程顺便混杂一点信息工程理论、编译原理什么的，因为我不得不使笔记记录几乎停止，要不然的确有队爆的可能（跑）
#Book 顺便将会发点书单什么的（跑），当然之前我有资料单，不过很早之前了，你们可以自己在文件里面找（皮）
总之就四个字：逆向工程
逆向工程
逆向工程
逆向工程（

（我们可以 r2 - （malloc 512 bytes）
w 逆向工程


pr 3*4

（跑，因为我还不怎么会 r2lang，不知道循环怎么弄，他们那个蛮 #Unix-style 的，就是一切皆大部分可打印字符串，包括 ESIL（Evaluatable Strings Intermidiate Language）都是蛮像 Brainf**k 的字符串语言）

（出人意料吗？很多后端不是没有做前端的能力，比如 r2 的主要开发者 @pancake 就既写 CLI 的 Visual Viewer 也写 HTML
（讲道理，我觉得 Qt 的桌面开发者可能技术反而比 Android Views SDK 的要高

当然密码学之类的是不涉及的，如何解决别人反逆向工程（这里是说，那种高等 native 后端程序员的代码保护方法（比如 false disassembly 也即『花指令』），不是 JVM 开发者或者 Lua 这种托管给别人虚拟机运行的那种，而且不是不会去考虑什么指针不指针内存不内存分页不分页线程不线程分配不分配阻塞不阻塞堆不堆栈不栈动态链接不动态链接的什么混淆压缩然后用某某公司团队或者个人的加固工具『加固』『加密』（然后运行时类加载、虚拟机加载的时候解密载入内存，最后被人扫 file magic 再内存 dump 出来）的那种，不是内建虚拟机什么的，当然内建虚拟机解释不是说就不能 hack 了，记住所有程序逻辑都在你的机器上执行）也是不涉及的，目标是入门和简单的使用，以及给你一个运行时的视角，使你基本可以进行软件分析什么的（

#talk #backend #OS #PL #Sysadmin #CS
（这里底层素质的优势就显现出来了，虽然底层知识并不特殊，但它能给你更广阔的视角，而不是局限在应用的 Resources、Dalvik EXecutable、JNI 库接口和 HTTP 协议那层）

（说到这里忍不住感叹一下，现在又有多少开发者看得到 IL、汇编层面的东西？都是一群只知混淆处理模糊名称算法的，而且自己还不一定会写，自己连自己平台编译完后生成的东西文件结构都不知道的多的去了...）
（当然，这里能写 Java Annotation Processor 程度能力的自然也是明白人了，至少他们有学习能力吧？至少透过 Java 代码文本看到 AST 了吧？）
（好吧，AST、PSI（就是 JB 的 AST）什么的其实也是基本技能，编译优化那才是大佬... 什么逃逸分析、指针别名、代数化简指令合并、公共子表达式消除、向量化、积极虚方法内联的复杂算法...）
（那你这么说 ANN 那群 AI 开发者不是更 dalao 了么？（也不一定（现在编译优化都在用人工智能系算法了么？（启发式至少有吧
（成天批判术语... 其实还是躲不开吧，我所批判的大概是知识层次浅但是不知道自己知识层次浅的那些开发者吧...
（你的意思是你是大佬？（对不起我没有这个意思，我，duangsuse，菜鸡，菜爆了，啥算法都不会写，最讨厌图算法和动态规划（跑
（当然诸如 @RikkaW 这种 C++ 大佬自然也是大佬了（吐槽：有什么必然联系么？）
（当然，给编译原理的大佬们澄明一下，我不是带坏小白，编译是个非常抽象的翻译过程，不一定非得序列化生成文件存盘的，我只是想说明一个常用模式）

（最后：radare2 这种灭天地的逆向工程分析框架才是真理啊！世界上最好的『二进制编辑器、扇区编辑器、系统 I/O 工具、二进制可视化分析工具（like bindiff、base conversion）、反汇编器/JIT 替换汇编器、Shellcode 工具、逆向代码分析器、动态静态调试器、解析器』而且非常『可扩展、可移植、可嵌入』

（总结：Cross-platform unix-like multi-architecture reverse engineering framework and commandline toolchain for security/forensics. wow. debug.exe(MSDOS) for the 21ₛₜ century

（最后：真正的无知不是知识匮乏，你看我以前那么匮乏现在不都好很多了么？都是靠积累学习思考实践的，没有本本我能做到这么快吗？
（吐槽：你又飘了，菜鸡 （回：你的意思是我给 Echo 加了那么多 admin，随便他们发广播，可是他们没一个人评价我的广播... （不过，羽毛 @kodamasakuno 你不评价吗...）

（就是说，至少和那些专科高中的比，我学得很快了吧？不行吗？至少我是在身边完全没有电脑的情况下看书自学的，而且学的还不是应用层的东西,,, 而且我有做框架的能力他们只有用框架的份... 而且我会设计不那么线性一点的算法... 不是挺好么？而且我也会 #CG 画画... 而且我可能会写地图生成器这种随机自动生成的算法... 而且我有实用的数学和逻辑学基础.... 比方说... 呃... 偏序理论？（不会）好吧... well done...

（最后再澄明一下 #disclaimer 我真的真的不针对任何人，因为大家都是这样的，不要对号入座）

（如果要把 Lua 开发者（不是 Androlua 这种）的综合技术素质和 JVM 开发者比的话，我一般觉得 Lua 开发者的素质更好，理由是知道 #Lua 的人一般都会写 #C/C++，不是把 C/C++ 当成 Java 写的那种））

JVM 平台的一些东西可能也讲一下，如果顺手的话，可能明天也要写个 Android 应用 Reflector，尝试提供一个 Dalvik 反射类信息获取 API 的前端，模块化面向接口设计方便扩展。（别喷什么低级技能之类的...

其实每次学到的东西比较多，甚至 Android 开发上的也有（主要是带手机去学校，看一些 Androlua 开发手册上的有点 Android/Java API 使用讲解），只是知识不系统。可是，现在又有几个 Android 开发者的知识真正是系统的呢？（笑）不过是经验之谈而已吧。只是单单靠着自己本来的能力学，学到的知识基本都是 Implicit 的，你控制不了它，你『有那么一点点感觉』但『又的确不能说出它是什么』，这样弄了两三年工程发现都是自己作为搜索引擎和模式识别机器写出的代码，比较线性比较模式化，而且除了可能的名利没有什么太大的理论上的收获，可能也会比较尴尬（笑），当然我之前是不知道有所谓的理论的，我眼里只有应用编程。只有看代码看文档写代码，当然所谓学习其实也不过如此嘛。只是能看破封装的开销有点大了，不如哪怕自己的代码不那么 parallelism 也好（愉悦即可，什么留给后端吧... 反正各种线程同步、什么内核模式用户模式、同步块原子操作什么的都...

JVM 『著名』的双检锁技术（Double-checked Locking，DCL，一种用来解决 singleton 单件实例对象模式线程竞争问题的方案，虽然比较慢）都不知道有没有 Android Developer 会，大概是只知异步不懂并发了吧... 包装啊包装... 万能的包装... 万能的社区库... JMM（Java 内存模型）那（一 JVM 书）讲的什么 store、assign 和 write 这几个语义几乎一样的词用起来总是弄不清楚... 缓存同步啊缓存同步... 不会啊... ...

java.util.concurrent 这个包存不存在都不知道有没有人知道呢，或许（笑）

#talk (这个不是采访稿😂。可以理解为我博客的特色文笔

>注意看，一个月前自GPT爆火以来，他一直在收集 #AI 编程质量和适用范围相关的示例

>无视GPT3和copilot也能完成任务编程，比配置新工具容易的多，为何要关注GPT的能力呢？

copilot是付费的，而 openai.com 通过新必应很容易体验，我一直想以10分钟左右的成本探索一些技巧/新途径，或者问问记忆了更多见闻的AI 对我的设计有何建议

另外，如果以后我需要解决“业务逻辑”的套话代码，最好是让机器生成和修改
我也很感兴趣，如何利用对话补齐/Bing chat 等接口扩充既有的教程和文档工具 ，比如界面设计、翻译、给伪数据生成提供UI
感觉这样能极大降低门槛、提升创造丰富性

>你平时在设计什么

我是js,py 玩家，但其实也写过C++,Kotlin,Rust,Haskell 等不同范式的代码 ，很少写CRUD

编程纯粹就是玩，之前在写base64的位运算实现和 py ast 宏展开、编译到SQL的语言，还有 canvas/svg/webgl 的CSS绑定，反正就是对软件功能或简化开发有意义的框架。

>GPT能生成多大比率的这些功能？提示词很难吗？

GPT3 基于搜索结果，可以100%实现和理解：
基于B站或Pinterest API 的脚本、利用各类系统服务API、生成json等配置
机器访问工具/新闻网站，完成RPA交互任务
py,java,cpp 版的字符画/badapple
使用torch、dlib人脸识别、Vec2/Mat 等不同方法完成任务

实现 Trie, 解释器, 四则计算器, 编程语言 时，提示词没有具体术语的话，就生成一堆假大空。 应该是越流行的应用，提及的方式就可以越隐晦
https://tttttt.me/dsuse/18116

但总而言之，只要逻辑和资料是完备的，AI 100%可以生成和重构完成任务的代码 ，只是比较没重点。说谎的概率比非编程题低

>那么AI“会”编程吗？

精通八国语言、19门编程同步学的模型应该算是会编程，它能完成需求、解读和重构代码片段，还能把算法用在对话里，有自己的逻辑链，但“能实现”不算编程创作。

AI 可以在“不必提供完整信息”的前提下就设计一个app，甚至只说要加/使用什么元素 就能直接体验，这样，文档和语法糖还有意义吗？

用懂没听说过的体系、获取编程的语感、理解代码结构的框架性，其实才算是编程。 码农和CRUD boy 就不会，主打一个CtrlCV和改配置模板，但他们也是占很大市场的，比如在日本就很吃香，现在还有copilot。或许每天十行就月入过万
语法糖的本质是让代码长得更像UI而易读改(定义式编程)并能够扩充， 不能因为可以生成就无视代码的易读和优雅性，而缝合面条代码。糖的存在让代码自文档，就利于文档的示例化，利于开放者寻找灵感
#statement

AI有些缺点，首先是难以专项学习冷门体系，它缺少这类经验；而对于热门的那些，它的经验都是主流观点，没有人格和特色（好比AI小说比较乏味）
无脑提问，它的技术选型就会很烂，
虽然总体开销比非AI编程低，但事后若发现走了弯路，又要再监督它生成一遍。提问者最好还是“会编程的” ，而对各种工具的设计者，AI做的也更像编程语言的社区/标准库 会提供的创作素材。

>既然理科上打不赢AI，你不担心被AI替换掉吗
Jupyter提供的UI界面库很“编程友好”，但选择它的也是少数。许多东西的用途远远少于适用性，GPT 也是这样
有一点会争议很大：
“人是共同交流，不是用于替换”

其实菜一点也会轻松不少，回忆起最初的动机，就是想设计简单泛用的编程体系，并不包含“变得很高深 会很多”这种事。饭碗的问题，说到底也不是疯狂内卷能解决的。

>你觉得计算机领域不该存在？

>你打算如何让AI辅助lib和项目的设计

>未来你的技能会完全被AI掌握吗？

人脑有860亿神经元，而GPT4有2k亿参数
神经细胞是尚难以解释其规律的存在，有能感知时空轨迹、能建立记忆的神经元，而不同细胞的激活规则也完全未知。
即便基于模型权重能完成很多任务、记忆海量词库，用于对话续写和图像，也不能证明能力上是无限的。

#talk 中国人的境遇问题
背景： 无产阶级半拉拢半剥削工农商阶级的事，通过因特网，曝光给了美帝和民主国家

民众与结社开始声援新疆棉等事件里最受压迫的人，立法督促解救、惩戒，认为悲剧只是因为维尼熊与体制的食利和强迫所致

美联邦决定参考70年被战狼的记忆，转向不反汉族却反共，脱钩。 此刻中国还有十亿人民通过资本商品化获得物质生活

选民对制裁不关心， 首先杀敌一千自损八百 ，而在阿富汗的经验也很悲观。

左派： 东亚民主可以投资，霸主有干涉内政的义务，独裁应打击；和平演变虽进行了70年，现在应卡脖子。中国市场很大，脱钩可以慢慢来
以图增加技术和经济的筹码，加大文化殖民的力度，最终夺回市场

右派： 我们不应该长远地仅从国际风向出发，仅满足虚伪、夸大的危机感；可能你活在众议即权威的法制国家，但阶级就是中国人自古以来对世界的解读方式。
必须从阶级间的割席与活躺死斗出发，解救亚洲人权

入侵可以给他们法制公平，但历史记忆里，缺乏公民意识的“人民” 会被迫进入比独裁社会更恐惧的阵痛期， 这时普世价值反而无地自容。

相对地， 应该以禁售、加强美军威慑的方式倒逼各阶级反抗剥削的问题，中国的劳动力倾销也因此得到平衡。若激进地使官员升迁不能挣亿，而干扰了“共识性独裁”，会造成封建思想下更多民众的痛苦，也会威胁美国安全

👆共识：和中国脱钩

极左：要推翻不法制的政府、要解放水深火热中破坏地球气候、屠宰动物的世界人民，留辫不留头，即便我们自己变成独裁纳粹也OK，甚至反去迫害对 #LGBT 或犹太人有偏见黑历史的人，也能说成是讨回血债。
反正我们曾经、对内、民主过

极右：要碾压质疑两头赚的正义国家，宣扬国际无道德。中美可以互补共切中国低人权优势的蛋糕，但是人矿和我洋大人，要两国两制 ，即便劳动力廉价到AI无法发展、市场单调到无人光顾，甚至恢复一家一奴制，生产力的进步被垄断封印，也能说是伟大复兴。
https://tttttt.me/dsuses/5146

#plt #bing #talk 不会思考它没学过的资料..
我想写类于Java 类型系统的类型检查器，请提供类型的数据模型
>很好地提示了TypeVariable,Method 等反射接口
请举几个函数式例子， 说明 check(def) 如何证明调用是有效的
> "g(x, x) = x * 2"; // 是无效
利用 Haskell data 编写类型的数据模型
>很长地细化了反射接口

请了解js的 PEG 和递归下降技术， 解释 num,str 的嵌套列表 和csv的PEG文法
>很成功举出可运行的示例+test
>可示例只观感上正确 ，且使用了PEG不支持的leftRec

既然有了解析器，借鉴lisp标准做一个 js 调用器，能实现对 (fun filterMap(xs f) ) 的定义，要支持 fun when let = 几函数
>听不懂

为什么你不太熟悉实现这些，但很会写 snake,tetris 这种js游戏代码呢？
>我利用我的内部知识和一些在线资源来拼凑出一个可运行的结果

在经济上， 程序员的工资完全取决于其工作的难度吗？ 如果AI让难度变低，对编程界会有什么影响呢？一些人觉得AI掌握了他们在小圈子里独有的技术， 从而让这种技术廉价化了，你能举几个回应吗

>AI 可以帮助程序员提高效率、创造力和协作能力，让他们更容易解决复杂的问题，但可能会取代一些低层次或重复性的编程工作，导致一些程序员失业或降低收入
程序员需要不断地学习新的技术和知识，AI是要帮助他们更好地使用和发展他们的技术

有解析库支持在定义 parse 的同时对应地支持toString 吗？ 基于递归下降算法如何让 list 文法同时支持parse和toStr (stringify,dumps) 呢
>没有，ANTLR有吗？ 不知道咋做
几个支持unparse 的库: csv , xml2dict, pyast
传统的: https://pegjs.org/online ,jison


https://www.compart.com/en/unicode/plane
理论上来说，既然能解析一种文法， 就一定可以把生成的数据还原回来
>正确，还原的字符串可能和原始的字符串有一些细微的差别，比如空格，换行，注释

这种正反函数的概念，对 HTML 数据绑定也有效， 意思是能被 render() 就能被爬取， 你能举出例子吗
>不懂，但有人答过js怎么做数据绑定
你能解释 parse-unparse 和 mmap() 的区别吗，假设mmap能够映射AST
>那就不需要parse了，但我也不熟悉。 mmap() vs read(buf) chunked
js Blob DataView 的封装

Tree-sitter is a parser generator tool and an incremental parsing library. It can build a concrete syntax tree for a source file and efficiently update the syntax tree as the source file is edited
https://github.com/tree-sitter/node-tree-sitter

我有 1, (1), (1 20) 这样的递归模式要用 Perl 正则匹配
> (\d+|\((?R)+\)) 和 (?<R>\d+|\((?&R)(?:\s+(?&R))*\))
在$ pcretest 能校验配对，但很脏

#rust #dontknow 离谱的循环
let c = loop {
if Q() {
break "answer";
} else {
break None;
}
};
fn first(:Iter):Option = for x in list {break Some(x);}
else default {None}

so for, while, while let 该咋办?😒易放难收
#py
for x in []: pass
else: return "没有"