#book 《Kotlin 极简教程》怎么说用处也是蛮不小的。虽然内容新颖有深度,不过如果一定要提意见,就是有些东西的描述还可以再好好斟酌一下,是否足够简明、是否存在赘述或者该泛化没泛化的情况。
#Python #book #code 了解一下新华书店销疯了的书单:
text = """
我青年时代就读过:《西游记》《马可波罗游记》、左丘明《左传》、《我的故乡》、那楚克道尔吉、《吉檀迦利》《园丁集》《飞鸟集》 《新月集》、泰戈尔、《三国演义》《水浒传》、老子、孔子、墨子、孟子、庄子、伏尔泰、孟德斯鸠、狄德罗、卢梭、圣西门、蒙田、傅立叶、拉封丹、萨特、司汤达、莫里哀、大仲马、雨果、巴尔扎克、福楼拜、乔治桑、莫泊桑、小仲马、冉阿让、罗曼罗兰、《羊脂球》 、卡西莫多、席勒、歌德、海涅、莱布尼兹、黑格尔、康德、费尔巴哈、马克思、海德格尔、马尔库塞。
我还读过:托马斯·潘、《联邦党人文集》《常识》、梭罗、惠特曼、马克吐温、杰克伦敦、海明威《老人与海》、简奥斯汀、花兹(停顿)华斯、狄更斯、《猫》、《福尔摩斯》、卡尔马克思、弗里德里希·恩格斯、拜伦、雪莱、萧伯纳、培根、克伦威尔、约翰·洛克、托马斯·莫尔、亚当斯密、李约瑟、阿诺德·汤因比、《双城记》《雾都孤儿》《简·爱》《鲁滨孙漂流记》、汤显祖《牡丹亭》《南柯记》《紫钗记》《邯郸记》、莎士比亚、《威尼斯商人》《仲夏夜之梦》《罗密欧与朱丽叶》《第十二夜》《李尔王》《奥赛罗》《麦克白斯》,谢谢大家!
""" def sortSplit(s, sep, op): return sep.join(sorted(s.split(sep), key=op))
from re import sub
print(sub(r":(.*?)[,。]", lambda m: sortSplit(m[1], "、", lambda s: 0 if s[0]=='《' else 1), text) )#cg #tool https://www.recraft.ai/
#plt #book http://composingprograms.com/
#web react https://tanstack.com/
https://arwes.dev/play?code=&type=predefined&sandbox=Components%7C%40arwes%2Freact-bgs%7CMovingLines%7Ccomposition
jotai.org 状态管理
duangsuse:
voicepeak 就是synthv.华裔作者开发的啊,不开源,但是基于 VITS,diffsinger 的 OpenUTAU 和 moetts 开源
https://t.me/wtmsd/43486
支持的 https://huggingface.co/spaces/skytnt/moe-tts
应该信任系统tts,或者用connectNative 连接py的各种模型啊
是国人,但公司在日本
#plt #book http://composingprograms.com/
#web react https://tanstack.com/
https://arwes.dev/play?code=&type=predefined&sandbox=Components%7C%40arwes%2Freact-bgs%7CMovingLines%7Ccomposition
jotai.org 状态管理
duangsuse:
voicepeak 就是synthv.华裔作者开发的啊,不开源,但是基于 VITS,diffsinger 的 OpenUTAU 和 moetts 开源
https://t.me/wtmsd/43486
支持的 https://huggingface.co/spaces/skytnt/moe-tts
应该信任系统tts,或者用connectNative 连接py的各种模型啊
是国人,但公司在日本
www.recraft.ai
Recraft | AI for designers, creatives, sellers, and teams
Recraft is a top-ranked text-to-image model and design platform for photorealism, vector generation, custom styles, mockups, and more
duangsuse::Echo
#sql #ts Prolog 牛逼! 正确的关系式搜索+ 同时实现 parse 和 toStr 😱 #zhihu 灵感来源 e(E) -->{E = [I,Ea,Eb]}, %重写规则, 'eX'为优先级 %利用 链|e1(E) 括住内"*/" e1(Ea), op(I,"+-"), e(Eb); e1(E). e1(E) -->{E = [I,Ea,Eb]}, e2(Ea), op(I," */"), e1(Eb); e2(E). e2(X) --> number(X); ("(",…
#book #ts The Little Typer
1. 类型签名是命题,程序的语意是用+,[],. 构造int,void.
2. 命题的条件和自身,都是值;依赖类型可以把值放到类型(int[2],. )中去,从而构造关于值的命题。
3.Prolog 缺少抽象
4. 类型也可以有类型, #haskell HigherKind
从结果上看,反而像 类型签名是证明,类型构造器是调用命题……
这样,类型依然是命题,程序依然用Refl证明并构造了Equal,而且删掉了查重率60%的冗余语法
Refl : 右是一段程序。用这种隐晦的方法传变量是错误的。这个语法的问题远不止「类型含糊」, 对语序的修改,只算一种局部的优化。
为什么用 (
https://ksqsf.moe/posts/2019-02-18-dt-fun.html
https://mxm.ink/dependent-type/#依赖于类型的类型:list
https://agda-zh.github.io/PLFA-zh/Induction/#第一个证明结合律
https://www.idris-lang.org/pages/example.html
1. 类型签名是命题,程序的语意是用+,[],. 构造int,void.
2. 命题的条件和自身,都是值;依赖类型可以把值放到类型(int[2],. )中去,从而构造关于值的命题。
3.Prolog 缺少抽象
refl_ID(X,X). 的模式,它的条件表都是全局给定,不能构造类型4. 类型也可以有类型, #haskell HigherKind
*->*, TypeFamilies 就是指这个(虽然和 #ts 一样过度设计从结果上看,反而像 类型签名是证明,类型构造器是调用命题……
data Equal : a -> b -> Type where如果我换个语序,会更合理。
Refl : Equal x x
fiveIsFive : 5 = 5
fiveIsFive = Refl = Equal 5 5
data'ab' _=_
- x=x Refl() 成立
- five() 5=5 Refl 这样,类型依然是命题,程序依然用Refl证明并构造了Equal,而且删掉了查重率60%的冗余语法
Refl : 右是一段程序。用这种隐晦的方法传变量是错误的。这个语法的问题远不止「类型含糊」, 对语序的修改,只算一种局部的优化。
为什么用 (
Refl : Equal) 呢:它的亲戚,逻辑式语言都连「调用树」都不会组织,反而觉得 add-out(1,2,3) 更好看,加个类型学了“调用”,语序却远输OOP,真可谓一盘散沙
https://ksqsf.moe/posts/2019-02-18-dt-fun.html
https://mxm.ink/dependent-type/#依赖于类型的类型:list
https://agda-zh.github.io/PLFA-zh/Induction/#第一个证明结合律
https://www.idris-lang.org/pages/example.html
-- showOrRev(isInt, x) when isInt:因为是宏,当然就不需要类型作为值了。内联后直接推导就知道
$Y: x.Str ; $N: x.flipLR
-- printf(:Str, :[Arg Str])
直接在编译期生成loop,也不需要什么ts体操+js强转了when--'T' Link
Nil; Add(:T, :Link)
-'T' Link`+`(y:Link) when this:
Nil: y ; Add(x0,x): Add(x0, x+y)
-- useInline 可以直接计算Link拼接或解构后的值,避免手动分期求值ksqsf.moe
有趣的依赖类型
这篇文章的话题是「依赖类型」。很多人,甚至是写过多年程序的人,可能都没有接触过这个概念。简单说,如果一个类型依赖于一个不是类型的东西,那它就是依赖类型。其实我本人是这个话题的门外汉,那我怎么想起来写这样的一篇文章了呢?因为我刚刚读完《The Little Typer》,感觉非常新奇有趣,所以想写一写。如果我能把这份乐趣分享给你,那我会很高兴的~ (^_^)
#recommend #science #社达主义 #book 《自私的基因》 https://m.youtube.com/watch?v=iomJJVY3CvY&t=481s
https://m.youtube.com/watch?v=MJ8u8RsxQ0Y&t=673s #LGBT 与神经多样性
Dawkins这位进化论捍卫者,根本没搞清楚天择/人择原理与一神论、无神论、多神论信仰 中间的关系,
就像他认为「一切生理活动的单位是细胞、一切化学反应的基石是粒子,因此医学与化学家是一群骗子,因为心肝脾肺肾都只是一滩细胞 哪来的临床教材」
人类发展由基因决定、人文基于文化基因,这并不是说人不是自己命运的主人,也不能证明人和动物都是DNA的奴隶。这就像读完《我即我脑》,最大的感悟竟是“怎么撬开头盖骨啊?我要解放自由意志,把暗中控制了我二十多年的🧠拿掉”,那才是脑子进水,是战争、贫穷和阴谋的导火索。
科学和逻辑可以告诉你氰化物有毒,却不能给你不向仇人下毒的理由;真正的理性,绝非违背人性与良知就能获得“进化”的这种歪理。
勇敢、智慧、有尊严和荣耀,这些人性里的闪光点,在特定社会环境(#文革)中,同样会导致灾难。 这些甚至无关于科学或宗教
他们完全能自称科学,却又如同为宗教信仰圣战!
科学主张不以万物有灵去解释因果规律,从而让工作简洁明确,但这与文艺复兴后的宗教生活是不违背的;科学家的信仰自由是人权。 违背人权的激进科学,就是对的吗?
「基本上,世界其他地方的 AI 发展,其前题是去「帮助」人,而新中国政府发展和推动 AI 的目的,则是去「取代」人,两者的取向是不同的。此所以,有评论认为这世界有些团体理解中的技术革命,他们的「初心」,从根本开始就是反人类,也不是没道理的呢!
若「新技术」出了问题或甚么意外,总之就不让它被报导就是了,就像那位消失在垃圾压缩站内的清洁女工张女士一样。
这样达尔文化的智力和「新旧革命」,究竟是聪明,还是误了卿卿性命?
https://m.youtube.com/watch?v=MJ8u8RsxQ0Y&t=673s #LGBT 与神经多样性
Dawkins这位进化论捍卫者,根本没搞清楚天择/人择原理与一神论、无神论、多神论信仰 中间的关系,
就像他认为「一切生理活动的单位是细胞、一切化学反应的基石是粒子,因此医学与化学家是一群骗子,因为心肝脾肺肾都只是一滩细胞 哪来的临床教材」
人类发展由基因决定、人文基于文化基因,这并不是说人不是自己命运的主人,也不能证明人和动物都是DNA的奴隶。这就像读完《我即我脑》,最大的感悟竟是“怎么撬开头盖骨啊?我要解放自由意志,把暗中控制了我二十多年的🧠拿掉”,那才是脑子进水,是战争、贫穷和阴谋的导火索。
科学和逻辑可以告诉你氰化物有毒,却不能给你不向仇人下毒的理由;真正的理性,绝非违背人性与良知就能获得“进化”的这种歪理。
勇敢、智慧、有尊严和荣耀,这些人性里的闪光点,在特定社会环境(#文革)中,同样会导致灾难。 这些甚至无关于科学或宗教
他们完全能自称科学,却又如同为宗教信仰圣战!
科学主张不以万物有灵去解释因果规律,从而让工作简洁明确,但这与文艺复兴后的宗教生活是不违背的;科学家的信仰自由是人权。 违背人权的激进科学,就是对的吗?
「基本上,世界其他地方的 AI 发展,其前题是去「帮助」人,而新中国政府发展和推动 AI 的目的,则是去「取代」人,两者的取向是不同的。此所以,有评论认为这世界有些团体理解中的技术革命,他们的「初心」,从根本开始就是反人类,也不是没道理的呢!
若「新技术」出了问题或甚么意外,总之就不让它被报导就是了,就像那位消失在垃圾压缩站内的清洁女工张女士一样。
这样达尔文化的智力和「新旧革命」,究竟是聪明,还是误了卿卿性命?
YouTube
宗教是万恶之源?左派科学家激情开麦!解读“无神论者的圣经”:《上帝的错觉》[英]理查德·道金斯(The God Delusion, by Richard Dawkins)
“上帝的错觉”辩论(Richard Dawkins vs John Lennox):
无中字版:https://www.youtube.com/watch?v=zF5bPI92-5o&pp=ygUXdGhlIGdvZCBkZWx1c2lvbiBkZWJhdGU%3D
中字版:https://www.bilibili.com/video/BV1Q94y1c7T9/?spm_id_from=333.337.search-card.all.click
#安争鸣 #读书时间
理查德·道金斯是一个坚定的无神论者…
无中字版:https://www.youtube.com/watch?v=zF5bPI92-5o&pp=ygUXdGhlIGdvZCBkZWx1c2lvbiBkZWJhdGU%3D
中字版:https://www.bilibili.com/video/BV1Q94y1c7T9/?spm_id_from=333.337.search-card.all.click
#安争鸣 #读书时间
理查德·道金斯是一个坚定的无神论者…
duangsuse: #kt #book 元编程
http://www.bilibili.com/video/BV1XH4y1w7mT
https://drive.bennyhuo.com/zh-CN/talks/2018.11.17-%E4%BC%98%E9%9B%85%E5%9C%B0%E4%BD%BF%E7%94%A8%E6%95%B0%E6%8D%AE%E7%B1%BB%E5%9E%8B_final.pdf
https://weread.qq.com/web/reader/f7632a00813ab82d6g017b14ke4d32d5015e4da3b7fbb1fa
可以一起读
虽然我不觉得这点值65😊
如果numpy那种API/DSL都设计不出来
修改class的结构也只是给开发者们徒增烦恼罢了
举个例子,此章节的 gh/user/_name
如果只是把它当成URL路径,需要绑定,显然造成代码重复,与元编程的本意违背
而如果像 import fire 那样,知道URL的本质是class路径与def GET,POST等,也就是另一种CLI调用
就不需要写什么注解和函数名
甚至模块化都省了,一个文件足矣
不过是修理servlet.xml繁琐和不支持argbind和的“弱类型”问题
但何必要制造那么多问题呢?sql,http,那么简单的工具还用学
#parser #learn
说起来,AST也就是多方法的 ()->Any 而已
你甚至可以把方法名enum化,从而完全避免使用class
例如 sum(L(1), L(2)) ()==3 只需要两个fun
Object Algebra.. 嘛,用虚表override取代if,稍微快点,只是要parse两次
至于在js里,我一般用 [[JSON ',' +] '()' /] 这样的模式写ast
描述 (1, 2, 3) 这种正则
甚至连函数式都没用到。 数据结构本身就蕴含了for if流控,运算符重载本身就是编程语言
不需要任何范式来实现他们,“数据结构与程序语意直观对应”,这就是CS。
这……应该是一件很难听懂的东西吗? 为什么DSL都设计得那么刻意和拉垮?
甚至,构造函数也应该取代class{} 或tuple才对,为什么把参数传递到堆而不是栈里,就需要写所谓的struct? 它们都是把args打包复用而已
为什么把yield 外提为语句,变成
let then=回调=()=>switch{} 里的编号,就需要学什么func*和async,堆和栈,难道不是天生一体的么? 分页数组、“缓冲区”,难道不应该是跨语言的?
然而支持kwarg的python 却需要Namespace来实现这种等量代换😒 反而是Haskell可以这么写
然而它是真正的笨蛋美女😅
#oop
元编程,首先就要明白obj的本质是通过enum分派逻辑的(vararg Any)->Any ,也就是一个when(x)in constMap+super..
这样才方便添加和绑定方法签名
这样在语法上也就能理解为什么是{}包裹,以及filter{}为什么优于lambda和匿名override
py可以通过vars(o)实现静转动态
typing.Namespace(kw)反向
除了小写类型不能扩充,哪怕是Ruby元编程在直观上也无法和它相比了
duangsuse:
oop和rust go就是pp的扩充
不算重新学习过过程试
编程语言只不过就一张加减乘除节点图,问题是领域和API
看这本书的“层次结构”,就想到拿identifier叫name,拿classifier叫tag,拿些辞藻和皮毛当本质,哎
无聊
好像早点拿到电脑,多写代码
http://www.bilibili.com/video/BV1XH4y1w7mT
https://drive.bennyhuo.com/zh-CN/talks/2018.11.17-%E4%BC%98%E9%9B%85%E5%9C%B0%E4%BD%BF%E7%94%A8%E6%95%B0%E6%8D%AE%E7%B1%BB%E5%9E%8B_final.pdf
https://weread.qq.com/web/reader/f7632a00813ab82d6g017b14ke4d32d5015e4da3b7fbb1fa
可以一起读
虽然我不觉得这点值65😊
如果numpy那种API/DSL都设计不出来
修改class的结构也只是给开发者们徒增烦恼罢了
举个例子,此章节的 gh/user/_name
如果只是把它当成URL路径,需要绑定,显然造成代码重复,与元编程的本意违背
而如果像 import fire 那样,知道URL的本质是class路径与def GET,POST等,也就是另一种CLI调用
就不需要写什么注解和函数名
甚至模块化都省了,一个文件足矣
不过是修理servlet.xml繁琐和不支持argbind和的“弱类型”问题
但何必要制造那么多问题呢?sql,http,那么简单的工具还用学
#parser #learn
说起来,AST也就是多方法的 ()->Any 而已
你甚至可以把方法名enum化,从而完全避免使用class
例如 sum(L(1), L(2)) ()==3 只需要两个fun
Object Algebra.. 嘛,用虚表override取代if,稍微快点,只是要parse两次
至于在js里,我一般用 [[JSON ',' +] '()' /] 这样的模式写ast
描述 (1, 2, 3) 这种正则
甚至连函数式都没用到。 数据结构本身就蕴含了for if流控,运算符重载本身就是编程语言
不需要任何范式来实现他们,“数据结构与程序语意直观对应”,这就是CS。
这……应该是一件很难听懂的东西吗? 为什么DSL都设计得那么刻意和拉垮?
甚至,构造函数也应该取代class{} 或tuple才对,为什么把参数传递到堆而不是栈里,就需要写所谓的struct? 它们都是把args打包复用而已
为什么把yield 外提为语句,变成
let then=回调=()=>switch{} 里的编号,就需要学什么func*和async,堆和栈,难道不是天生一体的么? 分页数组、“缓冲区”,难道不应该是跨语言的?
然而支持kwarg的python 却需要Namespace来实现这种等量代换😒 反而是Haskell可以这么写
然而它是真正的笨蛋美女😅
#oop
元编程,首先就要明白obj的本质是通过enum分派逻辑的(vararg Any)->Any ,也就是一个when(x)in constMap+super..
这样才方便添加和绑定方法签名
这样在语法上也就能理解为什么是{}包裹,以及filter{}为什么优于lambda和匿名override
py可以通过vars(o)实现静转动态
typing.Namespace(kw)反向
除了小写类型不能扩充,哪怕是Ruby元编程在直观上也无法和它相比了
duangsuse:
oop和rust go就是pp的扩充
不算重新学习过过程试
编程语言只不过就一张加减乘除节点图,问题是领域和API
看这本书的“层次结构”,就想到拿identifier叫name,拿classifier叫tag,拿些辞藻和皮毛当本质,哎
无聊
好像早点拿到电脑,多写代码
Bilibili
1. 元编程概述_哔哩哔哩_bilibili
本章主要介绍元编程的需求背景、基本概念和学习方法,这是本书后续内容的重要基础。同时,由于元编程与 Java 和 Kotlin 的编译器、IntelliJ 平台的关系非常紧密,因此本章也会介绍相关项目的环境配置,这将对读者深入理解并掌握元编程的方法和技巧有着非常大的帮助。, 视频播放量 4121、弹幕量 0、点赞数 99、投硬币枚数 32、收藏人数 121、转发人数 4, 视频作者 霍丙乾bennyhuo, 作者简介 恢复更新了,相关视频:拜登:"一切非Rust项目均为非法" ???????,混写Rust…
#cs #asm 一个极小的2byte指令和数据RISC(int=i8)
GP寄存器: R0~RE
mov RF, setInterval
smem 0x800, 输出
lmem 0x802, 输入
地址总线u16 通过RD:RE访问
#book Computer Science: An Overview http://v8cpu.qinyue.world/instruction-set.html
https://github.com/chyyuu/v8-cpu/tree/master/examples
https://github.com/vsergeev/v8cpu/blob/master/v8cpu_isa.txt
汇编期计算:
brElse: fn ;if{}else{fn} then..
addI R0,0xFA,R0 ;+=250
jumpL R0,'A' ;if(ch==0x41)
rodata_XX: db "Hello" ;常量池指针
ALU(fn Ra Rb Rw):
addi .+
addf d+
and .&
or .|
xor .^
MCU(fn Ra lit):
jumpl b.lt
jump b.eq
move .= Ra Rw
halt b.thread
rot .>>
ldst内存读写指令,在x86上从来都是mov多写法
loadm lconst "wtf"
loadb lconst_0
loadp larg, aload 0
GP寄存器: R0~RE
mov RF, setInterval
smem 0x800, 输出
lmem 0x802, 输入
地址总线u16 通过RD:RE访问
#book Computer Science: An Overview http://v8cpu.qinyue.world/instruction-set.html
https://github.com/chyyuu/v8-cpu/tree/master/examples
https://github.com/vsergeev/v8cpu/blob/master/v8cpu_isa.txt
汇编期计算:
brElse: fn ;if{}else{fn} then..
addI R0,0xFA,R0 ;+=250
jumpL R0,'A' ;if(ch==0x41)
rodata_XX: db "Hello" ;常量池指针
ALU(fn Ra Rb Rw):
addi .+
addf d+
and .&
or .|
xor .^
MCU(fn Ra lit):
jumpl b.lt
jump b.eq
move .= Ra Rw
halt b.thread
rot .>>
ldst内存读写指令,在x86上从来都是mov多写法
loadm lconst "wtf"
loadb lconst_0
loadp larg, aload 0
GitHub
v8-cpu/examples at master · chyyuu/v8-cpu
Simple 8-bit v8-CPU with Compiler+Assembler+Simulator. Try it--> - chyyuu/v8-cpu
❤1
Forwarded from dnaugsuz
哎,没有心情看 #kt #book
看了下codegen技法,只能说近十例子里anko的风格相对优越,和html一样是用twig(类似erb)模板,然后作者函数复用还行,但也没有到90分的程度。
例如“贯穿全文”的DeepCopy(x:T)吧
js里相当于x就是T的反射,又一切皆可变,可以直接读写{...x}[ID], 只需
mapEachMember{if(it.isPrim) it else DeepCopy(it)}
kt里需要用构造器复制,先拿到 T.vars[ID].get(x)而非 x[ID],但依旧是 mapEachArg{getattr(x,it).primOrCopy} 的模式,这个至少适用于 Tuple$N的toMut和url参数绑定
这就是个小学算法,反射和List API 的良莠不齐却让它很难看。
重要的是独宠XXpoet 真的无力吐槽,和那个 https://t.me/dsuse/17514 一样,就一个不用导包,然后自带formatter。简直可以说是一碟醋级别的算法,甚至应该叫搞错重点
和我的tkgui https://t.me/dsuse/19768(py基于getattr等元编程,运行期生成等效调用赋值图代码)
都没法比,何况最近我在设计表达式级(fun{}内计算图)都能建模的跨语言、带裸类型推理、动静合一OOP元编程范式了,这种拙劣的"xml模板"实在写不起来
java确实是“病态类型”,而非什么静态检查。 连数据树的验证和walkDeep都要靠魔法,有什么资格谈类型签名的那些好处?
靠被默认值参数替掉的重载吗?
只能说,如果手头有电脑,我应该去吧那个sql dsl写了😒 而不是在这看java人像手写sql或xml那样拼接字符串
不知道 unquote(ast) 这种函数式代码生成,起码吧 quote(litOrID)做一下,免得被注入弄出无效代码啊
再说说全书结构,首先就没有谈元编程是什么,而是java老三套:环境配置、难题、抄代码
好吧,可是一个优秀的老师应该选循序渐进,但却对知识体系至关重要的例题: #learn #plt
- 为什么是靠C的#define 自主研发出易语言?预处理比str.replace多了哪些? 高亮分词后,灵活解释“常量字面”吧
> eval("[1,$x]") 是一种JSON解析器,可是x="][0]"时似乎有bug。 修好它,然后把js爆改为你希望的“易”语言(复用猜数游戏的REPL)。 完成后类似的bug应该仍然存在!
其实,js源码也有它的JSON.parse,它就是反射的原型。
- 比较下SQL的'?'、C printf、ERB/ES6模板,kt元编程最缺少的语法为什么反而是"$str"? 控制变量,就能明白pwsh和ts为何比bash和js有长期编程时的优越性
- if os==nt6: class: 与#ifdef _WIN7 凭什么是同构的? 动态类型,依旧是Java式的类型。宏,并不需要魔法
- 为什么Java8让 invokedynamic负责创建lambda,getMethod不也能.invoke吗
- 局部fun 一定要 ::引用的背后,藏着一种元编程,T.(A)与(T,A)->、(T?)!!的强转背后也是! 原来除了消除重复,她还让语言提供更有价值的“值类型”
- 为什么“闭包是穷人的对象”? C语言里回调函数去哪了?SAM接口又为何比到处new.object{}流行? 原来返回函数、重写接口也能费内存啊
- 为什么pyjs里很少人研究元编程,但却又有 python-future.org 与vue,babel这样的全民应用。 二者有何区别
- Proxy(obj)掉包属性,是动态类型元编程的专利吗? reflect.Proxy 能生成函数,还不止于DSL或AOP!
- 能不能通过函数重命名,用py风格的反射API实现KAPT的 @decorator ?哪怕只是封装Reflect?这能让你学习跨平台移植,收获超越本次需求的心智模型和视野
- Kotlin对dynamic类型表达式链条的“零修改”生成规则可以怎么实现,numpy里也可以吗? 这能帮你理解DSL和编译优化的本质
- “优秀的程序与其读写数据的结构直观对应”。纯函数式编程(例如rust的enum和if let) 做对了什么? 为什么你仍然选择不够纯的Kotlin? 这种enum能表示JSON乃至HTML的序列化结构。
- bash风格的参数有3种,其中一种如 ls -ar(all reverse) 传入enum:BitSet。用fun demo()出完整函数签名
- 以上问题和codegen无关,也没有教你具体怎么生成url/json/sql绑定类或函数,却给你了设计相关框架的能力!这次由我来回答,为什么javapoet是对pyjs里闭包list/dict的拙劣模仿,以及反射调用为什么就是在codegen!
所以。。 虽然《Ruby元编程》教你的只是一些OOP特性的“工作原理”,而案例较少,但我更喜欢它 --它让读者真正建立起了对"class"这个dict的理解,加上dyn(*arg,**kw) 本就可以用名字动态查,让读者对“把def和class 视为一种constObj去查询、实现复制粘贴、...”有了把握
而不是一个看似什么搞法和IR,ASM都贴出来了
实际上对你没有用,只是让工作失去焦点的troublemaker🌚🌝
看了下codegen技法,只能说近十例子里anko的风格相对优越,和html一样是用twig(类似erb)模板,然后作者函数复用还行,但也没有到90分的程度。
例如“贯穿全文”的DeepCopy(x:T)吧
js里相当于x就是T的反射,又一切皆可变,可以直接读写{...x}[ID], 只需
mapEachMember{if(it.isPrim) it else DeepCopy(it)}
kt里需要用构造器复制,先拿到 T.vars[ID].get(x)而非 x[ID],但依旧是 mapEachArg{getattr(x,it).primOrCopy} 的模式,这个至少适用于 Tuple$N的toMut和url参数绑定
这就是个小学算法,反射和List API 的良莠不齐却让它很难看。
重要的是独宠XXpoet 真的无力吐槽,和那个 https://t.me/dsuse/17514 一样,就一个不用导包,然后自带formatter。简直可以说是一碟醋级别的算法,甚至应该叫搞错重点
和我的tkgui https://t.me/dsuse/19768(py基于getattr等元编程,运行期生成等效调用赋值图代码)
都没法比,何况最近我在设计表达式级(fun{}内计算图)都能建模的跨语言、带裸类型推理、动静合一OOP元编程范式了,这种拙劣的"xml模板"实在写不起来
java确实是“病态类型”,而非什么静态检查。 连数据树的验证和walkDeep都要靠魔法,有什么资格谈类型签名的那些好处?
靠被默认值参数替掉的重载吗?
只能说,如果手头有电脑,我应该去吧那个sql dsl写了😒 而不是在这看java人像手写sql或xml那样拼接字符串
不知道 unquote(ast) 这种函数式代码生成,起码吧 quote(litOrID)做一下,免得被注入弄出无效代码啊
再说说全书结构,首先就没有谈元编程是什么,而是java老三套:环境配置、难题、抄代码
好吧,可是一个优秀的老师应该选循序渐进,但却对知识体系至关重要的例题: #learn #plt
- 为什么是靠C的#define 自主研发出易语言?预处理比str.replace多了哪些? 高亮分词后,灵活解释“常量字面”吧
> eval("[1,$x]") 是一种JSON解析器,可是x="][0]"时似乎有bug。 修好它,然后把js爆改为你希望的“易”语言(复用猜数游戏的REPL)。 完成后类似的bug应该仍然存在!
其实,js源码也有它的JSON.parse,它就是反射的原型。
- 比较下SQL的'?'、C printf、ERB/ES6模板,kt元编程最缺少的语法为什么反而是"$str"? 控制变量,就能明白pwsh和ts为何比bash和js有长期编程时的优越性
- if os==nt6: class: 与#ifdef _WIN7 凭什么是同构的? 动态类型,依旧是Java式的类型。宏,并不需要魔法
- 为什么Java8让 invokedynamic负责创建lambda,getMethod不也能.invoke吗
- 局部fun 一定要 ::引用的背后,藏着一种元编程,T.(A)与(T,A)->、(T?)!!的强转背后也是! 原来除了消除重复,她还让语言提供更有价值的“值类型”
- 为什么“闭包是穷人的对象”? C语言里回调函数去哪了?SAM接口又为何比到处new.object{}流行? 原来返回函数、重写接口也能费内存啊
- 为什么pyjs里很少人研究元编程,但却又有 python-future.org 与vue,babel这样的全民应用。 二者有何区别
- Proxy(obj)掉包属性,是动态类型元编程的专利吗? reflect.Proxy 能生成函数,还不止于DSL或AOP!
- 能不能通过函数重命名,用py风格的反射API实现KAPT的 @decorator ?哪怕只是封装Reflect?这能让你学习跨平台移植,收获超越本次需求的心智模型和视野
- Kotlin对dynamic类型表达式链条的“零修改”生成规则可以怎么实现,numpy里也可以吗? 这能帮你理解DSL和编译优化的本质
- “优秀的程序与其读写数据的结构直观对应”。纯函数式编程(例如rust的enum和if let) 做对了什么? 为什么你仍然选择不够纯的Kotlin? 这种enum能表示JSON乃至HTML的序列化结构。
- bash风格的参数有3种,其中一种如 ls -ar(all reverse) 传入enum:BitSet。用fun demo()出完整函数签名
- 以上问题和codegen无关,也没有教你具体怎么生成url/json/sql绑定类或函数,却给你了设计相关框架的能力!这次由我来回答,为什么javapoet是对pyjs里闭包list/dict的拙劣模仿,以及反射调用为什么就是在codegen!
所以。。 虽然《Ruby元编程》教你的只是一些OOP特性的“工作原理”,而案例较少,但我更喜欢它 --它让读者真正建立起了对"class"这个dict的理解,加上dyn(*arg,**kw) 本就可以用名字动态查,让读者对“把def和class 视为一种constObj去查询、实现复制粘贴、...”有了把握
而不是一个看似什么搞法和IR,ASM都贴出来了
实际上对你没有用,只是让工作失去焦点的troublemaker🌚🌝
Telegram
duangsuse::Echo
#js [Forwarded from 每日 AWESOME 观察]
francisrstokes / super-expressive
一个轻量级 JavaScript 库,它允许您用可读性非常高的代码构建正则表达式。让你在几个月后,仍然能读懂自己写的正则表达式。
Rime RainSlide, [2022/1/18 下午2:08]
那么,能把已有的正则表达式转换为它的函数链吗
duangsuse, [2022/1/19 下午10:22]
魔怔了, Kiot 也是这样的,但还是有正则解析
根本无关可读性,…
francisrstokes / super-expressive
一个轻量级 JavaScript 库,它允许您用可读性非常高的代码构建正则表达式。让你在几个月后,仍然能读懂自己写的正则表达式。
Rime RainSlide, [2022/1/18 下午2:08]
那么,能把已有的正则表达式转换为它的函数链吗
duangsuse, [2022/1/19 下午10:22]
魔怔了, Kiot 也是这样的,但还是有正则解析
根本无关可读性,…
👍1
https://t.me/dsuse/19830 #statement #book 「只给🔑不给🔒」 #china
😒莫名其妙把《kt元编程》看到 Compose, AtomFU 的部分了,占二成篇幅
不得不说,牢霍 这两张写得是最珍贵,但是最烂的。
@Composeable 上来就是说内部有啥结构啥流程和flag,报菜名
连期待编译出什么代码都没得
如果您是后端,不懂Compose在哪调用,为什么有 $changed 这些优化呢?不好意思,牢霍只负责教codegen,这个框架被设计来解决什么,比无魔法的Anko优越在哪,他是一点不关心。
纯流水账 ,基本只对同样要学八股的人有用。。
我在想, 自顶向下地编程和写文,是我用的唯一方法;它的好处是,一切代码都是有reasoning的,不服可以重写、重新选型,不是强加给你来死记硬背的
但是,迄今为止我阅读全部的中文资料,除了王银那种废话为主的低密度冷科普,没有这种「自顶向下」的作者。
为什么从根源认知一类问题, 从而区分本质与私货、明白为什么要这么写,对各种大牛就那么难呢?!
😒莫名其妙把《kt元编程》看到 Compose, AtomFU 的部分了,占二成篇幅
不得不说,牢霍 这两张写得是最珍贵,但是最烂的。
@Composeable 上来就是说内部有啥结构啥流程和flag,报菜名
连期待编译出什么代码都没得
如果您是后端,不懂Compose在哪调用,为什么有 $changed 这些优化呢?不好意思,牢霍只负责教codegen,这个框架被设计来解决什么,比无魔法的Anko优越在哪,他是一点不关心。
纯流水账 ,基本只对同样要学八股的人有用。。
我在想, 自顶向下地编程和写文,是我用的唯一方法;它的好处是,一切代码都是有reasoning的,不服可以重写、重新选型,不是强加给你来死记硬背的
但是,迄今为止我阅读全部的中文资料,除了王银那种废话为主的低密度冷科普,没有这种「自顶向下」的作者。
为什么从根源认知一类问题, 从而区分本质与私货、明白为什么要这么写,对各种大牛就那么难呢?!
Telegram
duangsuse::Echo
🌚 其实看完动画,我是有点想批评作者的。 这么用心做manim ppt 却依旧照搬谭氏备课,国内的 #CS 大概就是这样
然后下面把dfs和dp类比的,一看3小时,这是在悉尼歌剧院放的编程课吗!
完全无法理解《状态转移公式》是怎么得出来的,最好不是抄的。 因为对着答案出题、停留在魔改公式的程度,可不是人类该干的事
“
每当你想指点什么的时候,比比自己的条件和对方差什么——盖茨比大概想对砖家“高人”说”
然后下面把dfs和dp类比的,一看3小时,这是在悉尼歌剧院放的编程课吗!
完全无法理解《状态转移公式》是怎么得出来的,最好不是抄的。 因为对着答案出题、停留在魔改公式的程度,可不是人类该干的事
“
每当你想指点什么的时候,比比自己的条件和对方差什么——盖茨比大概想对砖家“高人”说”
#book Leonard #ai 演绎 1984
https://m.youtube.com/watch?v=SSDRHVm38c8
在B站,错误的历史记忆似乎以叮咚🐔 和哈鸡米捆绑而留下来了 #ncov19
不过最近城投泡沫又有新活:房屋养老金想从上海开始收了,迫于舆论没收成。 当然从法理上讲,不是你的“传世宅邸”,没有交税的道理。
https://m.youtube.com/watch?v=fQv1Xq7zpLI&t=7m
地方政府:那我缺的营养这一块谁来补呀?
https://m.youtube.com/watch?v=SSDRHVm38c8
在B站,错误的历史记忆似乎以叮咚🐔 和哈鸡米捆绑而留下来了 #ncov19
不过最近城投泡沫又有新活:房屋养老金想从上海开始收了,迫于舆论没收成。 当然从法理上讲,不是你的“传世宅邸”,没有交税的道理。
https://m.youtube.com/watch?v=fQv1Xq7zpLI&t=7m
地方政府:那我缺的营养这一块谁来补呀?
duangsuse::Echo
#china #tw #history 😂最近老赖的一句话还真是「维护了两岸和平」: 现在是鹅爹国力最弱的时刻 清朝签订的丧权辱国条约,割走中国自古以来有三十倍于台湾面积的海参崴,今年就可以拿回来,没必要效仿普京1小时22分零24个月梧桐台湾。 民族主义在洋爹面前,显得如此虚伪 「中国一点也不能少,但可以缺一大块。」 所以「领土完整」其实也没那么重要? 国台办停顿近一分钟,无言以对 墙内已经彻底封杀老赖的这句吐槽 https://m.youtube.com/watch?v=zpecMjaAosQ h…
#tw 又更新一句:
「民国是两岸75岁以上老人的祖国」
暗示再过三十几年就断代,分家了
这下成赖圣了
我不喜欢台独,但与中国脱钩的发达国家遍地都是。 #book https://www.cdjp.org/academy/ref/books/china/lsdxs/lsdxs00.htm#:~:text=睽睽众目岂容狡辩%20,%20屠杀学生罪责难逃
是啊,非洲排华中国该怎么样?上供黑爹?不设租界默默撤资算尊重了
南京大屠杀,南泥湾鸦片 #history https://m.youtube.com/watch?v=KiNJTq6nvBg
「民国是两岸75岁以上老人的祖国」
暗示再过三十几年就断代,分家了
这下成赖圣了
我不喜欢台独,但与中国脱钩的发达国家遍地都是。 #book https://www.cdjp.org/academy/ref/books/china/lsdxs/lsdxs00.htm#:~:text=睽睽众目岂容狡辩%20,%20屠杀学生罪责难逃
是啊,非洲排华中国该怎么样?上供黑爹?不设租界默默撤资算尊重了
南京大屠杀,南泥湾鸦片 #history https://m.youtube.com/watch?v=KiNJTq6nvBg
www.cdjp.org
历史的先声
The Historical Pioneer Voices.
❤1
duangsuse::Echo
https://www.youtube.com/watch?v=R7o3VAIve-0 #news 紧跟实事 和被自己编户齐民的《商君书》五马分尸的商鞅差不多
#history 商鞅 法家 #tw #book《商君书》 https://www.fxzhihu.com/question/578476328/answer/3419312483 [细则]
> 秦国人只要一被发现出生,就被判了死刑。活着的目的,是为了立功,争取减刑。 秦始皇就是中国人的上帝和赎罪券
> 我待將軍如至親,將軍拿我換美金! 居民户口是国家的不动产~
> 最让我恶心的,是他自己不遵守制定法律。 君要臣死,臣不死不忠,你跑什么呢?被扎死,被车裂。 唯一做过的好事就是弃尸荒野,给野狗子加餐了。 中勒!
> 作为先进文明,保持高度警觉,维持军事、科技的绝对投入,对军国主义国家进行削弱和拔掉獠牙的改造打压,是必要之恶
> 商鞅的灵魂到现在都飘荡在中华大地上荼毒每一场无辜的人吃人,让他们互相成就..斗蛐蛐
> 1+1等于几?说出 1+1=3 也是暗令禁止的。“不知道”才是正确答案
> 大炮射程之内的真理,不就是谎言么? 秀才遇到兵是有理说不清,因愚而穷,越贪婪越恐惧,越恐惧越贪,一人外扩,一人内卷。🤗
> “愚弱疲辱贫掠壹”,仁义礼智信父子,哪一面,才是底色呢?
> 秦国有一条法律,叫挟书律。既携带,收藏书籍的,灭族。
> 商鞅以一己之力彻底灭杀了世界东方诞生科学的可能性。
> “民之难治”,只是因为他们还有自由意志,不是牛羊。
> 法西斯好歹还把雅利安人当人,重罚轻赏,利出一孔,比法西斯有过之而无不及。500多年的国祚毁于一旦
> 你什么身份也配替商鞅叫屈? 它眼里人生就三件事,种地交粮服徭役、当填线饱饱、上床生孩子,生生世世,老老少少,恩情利滚利。
> 大力度的搞惩罚,是为了维持统治。 但是刘邦只要搞一手负强化,就可以零成本的把你的所有投资,变成他的收益。
>随便翻翻给你摘两条:
民,辱则贵爵,弱则尊官,贫则爱赏。以刑治民,则求用;以赏战民,则轻死。
政作民之所恶,民弱;政作民之所乐,民强。民弱,国强;有道之国,务在弱民
国仁民诈。治富若贫,国趋富。 民有私荣,则贱列卑官;富,则轻赏。
刻意让老百姓处于地位卑下、贫困潦倒的状态,然后给予并仅给予“耕战”两条上升途径,这样,老百姓为了摆脱困境,就会奋力耕种拼死杀人、人吃人。
人类还天然崇拜、尊重各种杰出之人:长得好看的、力气大的、唱歌好听的、会画画的、德行高尚的、机智多谋的、知识渊博的……
———这就叫“私荣”,人的天赋、天材和自尊,商君禁的就是这个! 老师会告诉你,别整那些没用的玩意儿,为大秦耕战,「公平地」获得爵位,才是「唯一的、真正的」荣耀。
有人说,商鞅抢了贵族的蛋糕,都是贵族在抹黑他。 其实说狗咬狗是抬举他了。
商鞅这一套,只能在一个科学实干、人文礼乐尚未发育的环境中维稳。但是面对境外的春秋战国,一触即溃。因为巨婴比治国,科举抢人头,实在烂到家了。
立法是作弊,司法是作案,行政是作死,就像法西斯一旦停止侵略扩张,国祚必不足用,所以法西斯必然走向僵化毁灭 (与只存钱不消费=印钞偷银行 逻辑一样)。
完成了第一轮大一统,在短短15年之内,就如玩笑般被秦众人唾弃遗忘的秦国,第一次证明了这点。
当我们听到精秦人用吃穿住行的口吻自夸「斩获5颗一定能加官进爵」「大殿里职缺多的是」 「这是国家又给你的机会」, 对这般合法又“公平”的杀人越货献忠行为,还会感到惊讶吗?👻
「考台湾省公务员 关台人什么事」「7h22m打过去下午领二代身份证」「留岛不留人」「一分千人」, 已经奠定了这五千年拨乱反正又颠倒黑白的底色。
“利出一孔”的思维模式从未断绝,大秦时期是“耕战”,科举时代是“万般皆下品 学文寸步难行”,当今社会就是“升官发财 Jumping恒等式”。
所谓少数民族甚至俄族会举行摔跤、大力士、赛马等不以盈利为目的的传统体育比赛,他们高兴起来的时候,又唱又跳。 汉人做题家则对这些事嗤之以鼻,唯信仰钱、权、金牌和诺奖的性价比
—
可能最大众化印象的区别是:周制是分封制,秦制是郡县制。但实质上远不是这样,这只是最表象的区分,
周秦制最根本的区别是:周制(王道)是保民而王、民富则国强、王在礼下。秦制(霸道)是有道之国、务在弱民、事无大小皆决于上。
周制思想:民为贵,社稷次之,君为轻。——《孟子》
“郑人游於乡校以论执政。”——《左传·襄公三十一年》
用民之力,岁不得三日。—《礼记—王制》
王室会派采诗官去民间采访,收集民间怨气、疾苦,然后加以改良,采诗官相当于官方记者,而这就是所有诗词文化的源头:《诗经》
秦制思想:民弱国强,民强国弱。故有道之国务在弱民。——《商君书》
⭐️ 因此周本质上是一个“宪政联邦”国家,是一个明显的“民主共和的议法体系”,事实上中文“共和国”一词就是源自共和、周全,能制衡周王,而非中世纪的贵族「分封建制」
而介绍秦制相关政策就很简单:就是不允许民众议政,夸也不行,夸也要「依法」判刑。 「赏赐」,其实就是和种姓制度一样,穷人世袭制,嘲所谓同胞踏上一万只脚。
周礼并不比秦落后,更不该挨打。秦制(对外军国对内帝国主义)的发明人自己都清楚的很。 鞅曰:“吾说君以帝王之道比三代(周政) 而秦孝公曰:‘久远,吾不能待。 急于求成听不进去 鞅曰:然亦难以比德於殷周矣
法家,作法自毙的东西。
幸而,它们,只有1颗头脑,其他“人”听主体便得胜了。 自由世界,🇺🇸🇺🇦🇮🇱🇹🇼却有千千万万颗头脑、万紫千红的目标。
被以多欺少,也是没办法的事啊!
https://m.youtube.com/watch?v=9Mu9Cpy2rG0 管仲-连坐制
> 秦国人只要一被发现出生,就被判了死刑。活着的目的,是为了立功,争取减刑。 秦始皇就是中国人的上帝和赎罪券
> 我待將軍如至親,將軍拿我換美金! 居民户口是国家的不动产~
> 最让我恶心的,是他自己不遵守制定法律。 君要臣死,臣不死不忠,你跑什么呢?被扎死,被车裂。 唯一做过的好事就是弃尸荒野,给野狗子加餐了。 中勒!
> 作为先进文明,保持高度警觉,维持军事、科技的绝对投入,对军国主义国家进行削弱和拔掉獠牙的改造打压,是必要之恶
> 商鞅的灵魂到现在都飘荡在中华大地上荼毒每一场无辜的人吃人,让他们互相成就..斗蛐蛐
> 1+1等于几?说出 1+1=3 也是暗令禁止的。“不知道”才是正确答案
> 大炮射程之内的真理,不就是谎言么? 秀才遇到兵是有理说不清,因愚而穷,越贪婪越恐惧,越恐惧越贪,一人外扩,一人内卷。🤗
> “愚弱疲辱贫掠壹”,仁义礼智信父子,哪一面,才是底色呢?
> 秦国有一条法律,叫挟书律。既携带,收藏书籍的,灭族。
> 商鞅以一己之力彻底灭杀了世界东方诞生科学的可能性。
> “民之难治”,只是因为他们还有自由意志,不是牛羊。
> 法西斯好歹还把雅利安人当人,重罚轻赏,利出一孔,比法西斯有过之而无不及。500多年的国祚毁于一旦
> 你什么身份也配替商鞅叫屈? 它眼里人生就三件事,种地交粮服徭役、当填线饱饱、上床生孩子,生生世世,老老少少,恩情利滚利。
> 大力度的搞惩罚,是为了维持统治。 但是刘邦只要搞一手负强化,就可以零成本的把你的所有投资,变成他的收益。
>随便翻翻给你摘两条:
民,辱则贵爵,弱则尊官,贫则爱赏。以刑治民,则求用;以赏战民,则轻死。
政作民之所恶,民弱;政作民之所乐,民强。民弱,国强;有道之国,务在弱民
国仁民诈。治富若贫,国趋富。 民有私荣,则贱列卑官;富,则轻赏。
刻意让老百姓处于地位卑下、贫困潦倒的状态,然后给予并仅给予“耕战”两条上升途径,这样,老百姓为了摆脱困境,就会奋力耕种拼死杀人、人吃人。
人类还天然崇拜、尊重各种杰出之人:长得好看的、力气大的、唱歌好听的、会画画的、德行高尚的、机智多谋的、知识渊博的……
———这就叫“私荣”,人的天赋、天材和自尊,商君禁的就是这个! 老师会告诉你,别整那些没用的玩意儿,为大秦耕战,「公平地」获得爵位,才是「唯一的、真正的」荣耀。
有人说,商鞅抢了贵族的蛋糕,都是贵族在抹黑他。 其实说狗咬狗是抬举他了。
商鞅这一套,只能在一个科学实干、人文礼乐尚未发育的环境中维稳。但是面对境外的春秋战国,一触即溃。因为巨婴比治国,科举抢人头,实在烂到家了。
立法是作弊,司法是作案,行政是作死,就像法西斯一旦停止侵略扩张,国祚必不足用,所以法西斯必然走向僵化毁灭 (与只存钱不消费=印钞偷银行 逻辑一样)。
完成了第一轮大一统,在短短15年之内,就如玩笑般被秦众人唾弃遗忘的秦国,第一次证明了这点。
当我们听到精秦人用吃穿住行的口吻自夸「斩获5颗一定能加官进爵」「大殿里职缺多的是」 「这是国家又给你的机会」, 对这般合法又“公平”的杀人越货献忠行为,还会感到惊讶吗?👻
「考台湾省公务员 关台人什么事」「7h22m打过去下午领二代身份证」「留岛不留人」「一分千人」, 已经奠定了这五千年拨乱反正又颠倒黑白的底色。
“利出一孔”的思维模式从未断绝,大秦时期是“耕战”,科举时代是“万般皆下品 学文寸步难行”,当今社会就是“升官发财 Jumping恒等式”。
所谓少数民族甚至俄族会举行摔跤、大力士、赛马等不以盈利为目的的传统体育比赛,他们高兴起来的时候,又唱又跳。 汉人做题家则对这些事嗤之以鼻,唯信仰钱、权、金牌和诺奖的性价比
—
可能最大众化印象的区别是:周制是分封制,秦制是郡县制。但实质上远不是这样,这只是最表象的区分,
周秦制最根本的区别是:周制(王道)是保民而王、民富则国强、王在礼下。秦制(霸道)是有道之国、务在弱民、事无大小皆决于上。
周制思想:民为贵,社稷次之,君为轻。——《孟子》
“郑人游於乡校以论执政。”——《左传·襄公三十一年》
用民之力,岁不得三日。—《礼记—王制》
王室会派采诗官去民间采访,收集民间怨气、疾苦,然后加以改良,采诗官相当于官方记者,而这就是所有诗词文化的源头:《诗经》
秦制思想:民弱国强,民强国弱。故有道之国务在弱民。——《商君书》
⭐️ 因此周本质上是一个“宪政联邦”国家,是一个明显的“民主共和的议法体系”,事实上中文“共和国”一词就是源自共和、周全,能制衡周王,而非中世纪的贵族「分封建制」
而介绍秦制相关政策就很简单:就是不允许民众议政,夸也不行,夸也要「依法」判刑。 「赏赐」,其实就是和种姓制度一样,穷人世袭制,嘲所谓同胞踏上一万只脚。
周礼并不比秦落后,更不该挨打。秦制(对外军国对内帝国主义)的发明人自己都清楚的很。 鞅曰:“吾说君以帝王之道比三代(周政) 而秦孝公曰:‘久远,吾不能待。 急于求成听不进去 鞅曰:然亦难以比德於殷周矣
法家,作法自毙的东西。
幸而,它们,只有1颗头脑,其他“人”听主体便得胜了。 自由世界,🇺🇸🇺🇦🇮🇱🇹🇼却有千千万万颗头脑、万紫千红的目标。
被以多欺少,也是没办法的事啊!
https://m.youtube.com/watch?v=9Mu9Cpy2rG0 管仲-连坐制
FxZhihu / Fixup Zhihu
为什么商鞅死后名声非常差? - @南阳布衣 | FxZhihu
商鞅还用得着死后名声非常差? 他活着的时候就已经名声扫地了好吧?! 他最得意的时候问赵良:“我跟五羖大夫百里奚相比谁更优秀?”赵良毫不客气地回答说:“百里奚原来是个陪嫁的奴隶,穆公用五张黑色的羊皮把他换回来,把整个秦国的国政交到他手里,百里大夫执掌国政的时候,太阳再毒也不张伞盖,出门的时候也不乘车,等百里奚大夫去世的时候,孩子们也不唱歌了,舂米的人也不喊号子了,大家都像死了爹娘一样伤心。” “你呢?…
duangsuse::Echo
http://www.bilibili.com/video/BV1cFm8YGEKe #china #dev BLM DLM了🥰 https://zhuanlan.fxzhihu.com/p/704798293 Markdown编辑器 Mou 📱国内开发者和用户都是奇葩,一个想着办法不付钱,一个想办法挣快钱,猜猜最后谁受伤? #经济 🤗 btw. #apple 这方面真是闭源丁真,什么都吃,就知道用户够有钱,其实是群靠着开源上游,卖设计,设计上也不求上进的脚本小子。 吃定某款App,比如ytdl或C…
https://coolshell.org/articles/8398.html/ 🤔
这是一个 fortune 日历,尝试用 #js #code 爬取它的数据吧?
wget https://github.com/BetterTuring/HappyHackingCalendar/blob/main/【共享全文】了不起的程序员2021-文本.txt#L4533 #book
这是一个 fortune 日历,尝试用 #js #code 爬取它的数据吧?
wget https://github.com/BetterTuring/HappyHackingCalendar/blob/main/【共享全文】了不起的程序员2021-文本.txt#L4533 #book
//Documents]$ xclip -o|bash
BKREF=/\w{2,7}(?=\))/g, BKDEF=/\(?<(.+?)>(.+?)\)/g
RE=(u, $,s=u.source, df={})=>(
s.replace(BKDEF, (m,k,v)=>df[k]=v),
RegExp(s.replace(BKREF, k=>df[k]), u.flags)
)
book={
re:RE(/(?<Ymd>\d{1,2}-\d{1,2})\n+(?<head>.*?)\[ (?<tag>\S+) \](?<body>.*?)\n+(?=Ymd)/sg),
*As(s) {
for(m of this.re[Symbol.matchAll](s)) { yield m.groups }
}
}
this.s??=prompt()
console.table(a=[...book.As(s+'0-0')])
pre=(fix,s)=>s? fix+s : s;
`mkdir qotd; cd $_ ; mkdir {1..12};`+
a.map(u=>`cat>${u.Ymd.replace('-','/')}<<OK
#${u.tag}
${u.body}${pre('\n//日码\n',u.head)}
OK
`).join('')
酷 壳 - CoolShell
xkcd 神图“Click and Drag” | 酷 壳 - CoolShell
duangsuse::Echo
ciechanow.ski/gears; oimo.io; explorabl.es/math; acko.net/blog/reconcile-all-the-things
看看这些“前端”吧。不是编程所以高精尖,而是高精尖所以编程啊--没发现简中圈的优秀dev,都有代码之外的共性吗?
看看这些“前端”吧。不是编程所以高精尖,而是高精尖所以编程啊--没发现简中圈的优秀dev,都有代码之外的共性吗?
#recommend #dalao 你想和 Alan Kay 扯上关系吗😒 ?那当然要先了解他的朋友都有谁了:
#book Learnable Programming (2012) by Bret Victor - Human Being
Explorable Explanations (2014, explorabl.es)
- https://www.gcores.com/articles/154992
- http://xpaidia.com/sunset-project/#:~:text=可探索的解释 译注。冷知识: 王垠夸的《Braid》这个游戏是 Jonathan Blow 写的,世界真小吧?
Kay是怎么吹Bret的我就不说了,反正Bret和发明“复制粘贴交互”的大佬也是一类人。
当然,自己理解也是很重要的:
这次对话是我对通用化 Dataflow programming (比如 Blender 节点图) 与H5生态的思考😃 :
#ai探讨 https://chat.librechat.ai/share/ouv0M3eOOAgdZ6Fd8o4Oi
#ai 满足了Bret吗? https://chat.librechat.ai/share/Eync70j6fcEREVohFgFB5
#book Learnable Programming (2012) by Bret Victor - Human Being
Explorable Explanations (2014, explorabl.es)
- https://www.gcores.com/articles/154992
- http://xpaidia.com/sunset-project/#:~:text=可探索的解释 译注。冷知识: 王垠夸的《Braid》这个游戏是 Jonathan Blow 写的,世界真小吧?
Kay是怎么吹Bret的我就不说了,反正Bret和发明“复制粘贴交互”的大佬也是一类人。
当然,自己理解也是很重要的:
https://www.newline.co/choc/
https://jsdares.com/?blindfold
https://github.com/uraimo/Awesome-Swift-Playgrounds
这次对话是我对通用化 Dataflow programming (比如 Blender 节点图) 与H5生态的思考
#ai探讨 https://chat.librechat.ai/share/ouv0M3eOOAgdZ6Fd8o4Oi
#ai 满足了Bret吗? https://chat.librechat.ai/share/Eync70j6fcEREVohFgFB5
Please open Telegram to view this post
VIEW IN TELEGRAM
Gcores
译介丨NickyCase:我如何制作可探索的解释(2017) | 机核 GCORES
「如何分享一个想法?」
【程序设计】应该重视【截图和可视化, Q&A, Before&After, Awesome Lists, Build in Public 】五个要素,这样才能称为 Learnable Programming
我发现我掌握的技术,有30%都是类似“把CLI封装回API”,却不能像 import fire, plumbum 那样理解自己在干什么。
所以我自称为【软件工艺师】啊。【知道】高深的技巧和细节,不能让你设计出 fire, plumbum 这样的【理解】。 如果你在看书时觉得无聊,那肯定是作者糊涂,而不是你真的不如GPT6聪明。
https://t.me/hyi0618/14866?comment=168873
我发现我掌握的技术,有30%都是类似“把CLI封装回API”,却不能像 import fire, plumbum 那样理解自己在干什么。
所以我自称为【软件工艺师】啊。【知道】高深的技巧和细节,不能让你设计出 fire, plumbum 这样的【理解】。 如果你在看书时觉得无聊,那肯定是作者糊涂,而不是你真的不如GPT6聪明。
https://t.me/hyi0618/14866?comment=168873
#design #book
大量的文字用来解释一个简单的概念,信噪比极低。一张好的架构图,甚至只是关注点的截图、简单对比(Before&After, Awesome Lists),信息密度远超几千字的描述。 书籍是需要语义索引的,而且索引心得可能并不需要你开repo来分享,不需要你切到CLI去push新博文才能分享
【同理心驱动开发】,而不是面向薛定谔编程,或面向F5编程
实际上,我很奇怪为什么【程序设计】不重视【截图和可视化, Q&A, Before&After, Awesome Lists, Build in Public 】。 掌握着原理和实现,为什么一定要vibe编程和create-xxx-app显得那么“先进”。 Marc 卖课赚$3000k 不正说明开源世界,作为一个整体,不明白自己在干什么吗?
这不是 Learnable Programming,倒像是每个编程者在重复劳动,所以使得能够替真人输命令的dsh和bash显得如此强大。它们不需要把CLI封装回API并且制造不兼容性,也不需求服务端开个 /api/v1 才能帮主人拉点【内容】下来。
我发现我掌握的技术,有30%都是类似“把CLI封装回API”,却不能像 import fire, plumbum 那样理解自己在干什么。
所以我自称为【软件工艺师】啊。【知道】高深的技巧和细节,不能让你设计出 fire, plumbum 这样的【理解】。 如果你在看书时觉得无聊,那肯定是作者糊涂,而不是你真的不如GPT6聪明。
Telegram
duangsuse in yihong0618 Chat
#design #book 🤔📚
大量的文字用来解释一个简单的概念,信噪比极低。一张好的架构图,甚至只是关注点的截图、简单对比(Before&After, Awesome Lists),信息密度远超几千字的描述。 书籍是需要语义索引的,而且索引心得可能并不需要你开repo来分享,不需要你切到CLI去push新博文才能分享
【同理心驱动开发】,而不是面向薛定谔编程,或面向F5编程
实际上,我很奇怪为什么【程序设计】不重视【截图和可视化, Q&A, Before&After, Awesome Lists…
大量的文字用来解释一个简单的概念,信噪比极低。一张好的架构图,甚至只是关注点的截图、简单对比(Before&After, Awesome Lists),信息密度远超几千字的描述。 书籍是需要语义索引的,而且索引心得可能并不需要你开repo来分享,不需要你切到CLI去push新博文才能分享
【同理心驱动开发】,而不是面向薛定谔编程,或面向F5编程
实际上,我很奇怪为什么【程序设计】不重视【截图和可视化, Q&A, Before&After, Awesome Lists…
Forwarded from duangsuse
#book 答案可能是,根本没关系。 人家很有钱来度过任何迷茫期,或许并非是赌徒的有钱,但这就像【人机界面中,人总是不变的】, 书籍会提醒你做个开放、有弹性的人,而不止是【深耕】什么物质。
只要有智慧,一切总会好起来。 问AIGC对编程有什么用,就像问内燃机能怎么帮到马匹。 问问自己,到底从经验中学到了什么【屏幕之外的东西】
对我自己而言, 软件工程师,并非是【能读写代码的人】。 编程无关计算机正如天文学无关望远镜,与其说,是为了实现或证明PoC而编程,不如说,编程是数字化时代最像【魔法画笔】的东西,也是最前沿的媒介,而我只是被它拣择。
只要有智慧,一切总会好起来。 问AIGC对编程有什么用,就像问内燃机能怎么帮到马匹。 问问自己,到底从经验中学到了什么【屏幕之外的东西】
《芒格股东会讲话 1987—2022》涉及储贷危机、日本泡沫、互联网泡沫、2008年金融危机、加密货币、疫情等,也包含他思想演进、投资案例(如可口可乐、比亚迪)与人生观
变化很快的时代,看这些熬过好几个大周期的老人的话,能有很多启发
对我自己而言, 软件工程师,并非是【能读写代码的人】。 编程无关计算机正如天文学无关望远镜,与其说,是为了实现或证明PoC而编程,不如说,编程是数字化时代最像【魔法画笔】的东西,也是最前沿的媒介,而我只是被它拣择。