#py #js #signal 链接分享
https://ohshitgit.com/zh
https://krazydad.com/tutorials/makecolors.php
https://developer.android.com/kotlin/coroutines/coroutines-adv?hl=zh-cn
Datalog 流控分析

React useForm 开发共享"笔记"
支持 subinterpreter(node: VM), 用来优化多进程

规范化TVar:

 type Seq[T]=list[T]|set[T]
def map[T](:Seq[T])
**kw:Unpack[T]

增加win32,sqlite,aio fswatch 的功能

PostgresJs: PostgreSQL client for Node.js and Deno

看到个有意思的， #android 夜间切换特效
>GLSL https://www.shadertoy.com/view/4sBfRd

#define circ distance(P,iMouse.xy)
#define swing(x) cos(.5*(1.-x)*radians(180.))
//混成AB两版的main, 对B版用圆选区, transition: --len_vw 4s ease-out
void mainImage(out vec4 bg, vec2 P) {
  _mainImage(bg,P);
  bg=(circ< swing(iTime/4.)*iResolution.x? bg:1.-bg);
}

背景也可以是波浪。忘记 sine scroller 的关键词了 🥰

用HTML-SVG 做的话，在clone出的 #app.dark 上剪裁 clip-path:circle(var) 很方便，但如果想用更灵活的mask:radial-gradient(var) 就只能靠自定义filter了
但无论如何 都比canvas或paint的方法好移植且快

Android上，深色主题如果是靠bg/fgcolor 切换，除了 transition: 不是一等公民，需要自己填Animator

还有复杂的自定义“复用”Recycler.View失效问题 🥰 而 clusterize.js.org 呢？往table调一个函数就能优化，安卓那种复杂度，对它够支持瀑布流了

可能，还需要手动setAttrValue 什么的

H5里做排版的XML，安卓做style
H5里做交互的JS，安卓做排版.. Compose 等于是简化下HTML的语法，却硬是让View框架被“重新定义”了
H5里自带的Web平台API，安卓靠Gradle.. 依赖地狱什么的这不就来了？

#PLT 🤔又看到一个「除和除以」的理论： C里数组不是指针

你以为 argc,char* argv[] 为啥配对出现？C没有真正的str,list 类型，
sizeof(int[2]) 是8, int* a,b; 只有1个指针，还有些沟闭的函数指针，这种莫名其妙的仅编译期细节，也叫类型？

照这样 void 这个语意和Py里的:pass 相同的占位符/nocheck标记，也是“有类型”了
照这样，数组名从来都不是指针“类型”才对，名字是编译期标识符，标识符怎么能是具体的值？ 只能说{1,2,3} 这些常量👀不是指针！

>那么C的类型树是怎样呢？
汇编无函数类型(皆static)。调用栈不叫堆、值和引用是'ABI, FFI' 定义出的隔离，一般 值类型=栈分配-如数组, 内含变数的也叫值

值类型 整数小数 (字符)枚举 bitset

  (unsigned)int{(1,2,4,8)*8}_t

--注意只有四则越界才会体现有无符号, 支持_MAX常量. void* 可能宽于 size_t

  float{32,64}_t

--注意.1+.2!=.3

  uchar=1byte ASCII
  enum{A=0}, _Bool
  struct { unsigned bitflag_a:1,b:1; } is=0b11;

引用类型 元组和共用体
struct, union{ int tag, }: data, sealed class
函数链接 void(*) fn , .h 必须 static inline 就是避免符号重名, Java的 (Ljava/lang/String;)Ret 签名亦然
^用 struct x={,} 的方法支持了“元组”, 多情况类型。缓冲区溢出会导致RCE ，就是Linux早期链接器的缺陷允许“代码注入”

无类型void
指针(const, NULL)
const: final, 对参/局部也有效, const int * const x (Go x *const int)
restrict是禁用指针别名（自己可写）的优化

C 类型，如果从语意的视角，只应该分为3种：

值类 bytes%s 数%f 整数%d/增数size%u%ld/编号字符%c 真假和enum,BitSet 空指针(这叫空值,不然会弄出 undefined!==null)
可变类 int[栈上alloc], &T 读写指针, struct,多型union
无类型 void

不应该有 const(final),unsigned,long 和public:这些修饰词

“++只能用于变量，不能用于常量和表达式” -错
蛤？ C语言里“左值” 才是真正的变量， name++ 是左值的一种特例，就像 print(); 是最常见的语句，而 int;return; 才是最贴合单行的用法


这老师，写书不用IDE 不校对，“编译不通过就改成.cpp继续运行”
这学生，玩起八股文一套一套的，比古人还返祖
真把CS当成打枪战了，淘汰越多人越懂编程？？ 🙉👏

#statement #kt #dalao 为何退出..
>可惜JDK没有 @android.webkit.JavascriptInterface

不然小dataobj用html form 应该挺好改
我的天哪 frame.add(this, BorderLayout.NORTH)
AI真的get到我说的apply{} 是咋回事了吗,反正我是很讨厌语句式UI

我还专门写了个编译期 append框架弄Tkinter
现在想想，还是用DOM吧，H5最有前途

duangsuse, [2023/10/19 18:38]
https://github.com/duangsuse-valid-projects/TkGUI/blob/master/tkgui/codegen.py#L162
大概是拿DSL模拟py的obj访问和调用 ，然后把值代换回变量名

>编译期 append
^ ice1k 大佬决定推群，因为怕被回复
我不是想强调我做过什么 😅

这种东西现在看起来也很屎
我只是注释，因为你提到了这个问题
实现方式，对我而已言是为代码桥接的。只要语法或心智模型一样，就行

当年写的东西，虽然很烂，但当时也确实没想到更好的

duangsuse, [2023/10/19 18:42]
那这么玻璃心。我有啥办法呢？ 我一直在这里，我不需要与任何菜鸟隔一层 阶 级 😓
真是对自由讨论非常不友好的， 连tg都没考虑到的情况
这个人能看到我的消息，我却不能回复他

而且不是静态检查的不能， 是圈他以后，他会抛下一句话退群
检查类型了，但没完全检查

不过，tg的黑名单真的有待改进

isekiのChannel, [2023/10/19 18:47]
你的思维呈现极端的跳跃性

duangsuse, [2023/10/19 18:48]
哦，不就是否决了你们的一些落后观点， 就说我捉摸不透了
>是啊，我们这边实在跟不上您的思路

我是要用这些知识真正做事情的人
可不是像你们这样，拿着，然后不说也不用

duangsuse, [2023/10/19 18:50]
你们今天懂的，或许我不懂
但我懂的，就一定让它变成儿童编程一样的复杂度

你们觉得不严谨，反感，我无所谓
我非常乐意和冰封大佬在一个群里
但这次是他主动退出的，我没办法

法不可知则威不可测， 他一直在回复我，我以为他又正常了呢

—不过当年写的，确实涉及许多不相干的东西
本来可以用确定性较强的 for x in: constEval(x)

我却创建了一个能uneval() 的“虚拟树”
不过对DOM树，这些语法糖就都无所谓了

duangsuse, [2023/10/19 18:56]
不是的，在Tk 里支持XML式的EKV树，需要手写遍历

我是想纯生成append代码，也不要有调用栈，就是节点ID和配置+子级
所以在调用时，+值->名 替换的副作用，刚好能输出代码，但其实不够优雅

现在我也没想到其他做法，但设想的 js evalFun 对纯常量(split,.)的0开销还是做得到

duangsuse, [2023/10/19 19:04]
另外冰封也写过C-binding + View DSL

他自己应该也有些UI框架，有别人做了 java DSL ，初次提起TkGUI 当时他就回复我这个

对我而言，这几百行代码的份量，相当于刚才我一句话里的语意， 甚至还不如，因为那时我不知道 form input[types]，被不广泛的心智模型带偏了

今天的我，搞不懂为什么你们以无法被解读的代码为傲
你们未必能完成最初GPT能实现的目标，却完全丧失了「软件工程」 的优势。你们做的能用的项目，和那些抽象的概念间是没有一致性的，它们不代表你们编程力的成长。 这种习得性的正确记忆，难道能称为懂理论，或者有思想吗？

元编程也不过是编程， 类型推导也不过是「变数关系式DFS编程」， 你把编程语言当问题，只会在正事上一事无成

duangsuse, [2023/10/19 19:10]
不要管了，实在不行就拒绝用Logger
Log4Shell (CVE-2021-44228
24 November 2021; 22 months ago

#dev #PLT 🐁 在我这几天改稿的生涯总结文里， 是这样开头的：

“ 即便编程的外行，也可能见过像 for;return 这样的类-C语法。 学写代码，就像通过阅读「文字」和猜测语意，get到了你和计算机、和流行框架交流时的「语言模型」与习惯；编程就像为了拓展自己的疆域去学外语，并不特别

有些算法就像这个简单的“循环式”[老鼠陷阱]一样，写起来缺少力量，却杀bug不扎眼。

工程界里，有许多问题就像这个陷阱；原本简单，却随着功能需求和概念的堆砌，慢慢让人高攀不起，而设计派的理论，不仅像龟派气功那样，酷得让你编程时的打字声拳拳到肉，编译出App也一气呵成！

无论什么层次，编程都是一种充满乐趣的创造力和共同体，除了你家的CPU和内存，大家也不必全力以赴。 我..其实没什么想教的，只希望你不会因眼前的“屎山代码基”，忽视你所做功能本身的惊喜和活力。
”

#life
编程是一件快乐的事情。 即便在追求深度时，面临自己无法解释的术语和代码，面对自己写下却无法解释的“脚本”，我也从来没把它当成一种「战士的考验」，这就是构成我API风格的价值观

编程并不是比别人高尚的理由，更不是把高尚理解为与人不善的开端。 对我来说，每天见到各种代码，会让人耳目一新，但我没有把它当成非做不可的职业
“
你们觉得不严谨，反感，我无所谓
毕竟我是活在物理世界，而不是一个本可以被肆意解构、组合、翻译移植而获得各方面的成长，却被某些人拿来，只搞小圈子孤立的“代数”世界
我非常乐意和冰封大佬在一个群里
但这次是他主动退出的，我没办法

我做的那些snippet，不是因为我有多聪明、懂多少，而是—拥有整个Web的代码段、函数可视化、兴趣团体的信息源，又拿着不必为盈利在首页摆满涩图的搜索引擎和GPT
有这些天赋般的工具后，我就是那只不去刷题，却被风口吹飞的🐷
即便单看现在，这貌似不值几个钱。
你们今天懂的，或许我不懂
但我懂的，就一定让它变成儿童编程一样的复杂度，因为简单实际且广泛联通的，才是还未出现的技术。

回看墙内努力在自己脑袋里“炼丹”同胞，和所谓中国无CS的论调，不禁感叹
如果我们不是最后一代，下一代又有什么新的“快乐”征程呢？

#recommend #bilibili ReScript 作者讲义
- 如果ADT都没规范为tuple,list,when 的格式，怎么能方便重解释？
- 同意，直接MSYS2
- zerocost 写起来方便些, 不过throw,SEH 这么低能的调用栈特色.. 还是敷衍过了吧
- 同意，什么叫很大的变量？ 很多？？不就是GC的事

某位知名游戏开发讲师写编译器

Hugging Face 被屏蔽

2023-10-21 17:34 by 火车站谜案

托管了逾 3.65 万个开源 AI 模型的 Hugging Face 证实其网站在中国被屏蔽，原因未知。Hugging Face 也托管了来自中国科技公司的开源模型。Hugging Face 在一份声明中表示它对中国的法规无能为力。中国用户早在今年 5 月就在该公司论坛抱怨了访问问题，至少从 9 月 12 日开始，Hugging Face 在中国就完全无法访问。中国屏蔽 Hugging Face 可能的原因是新的法规要求生成式 AI 限制特定内容。Hugging Face 成立于 2016 年，是生成式 AI 热的最大受益者之一。开发者可使用该平台在机器学习项目上展开协作或共享数据集。它的运作方式类似于微软旗下的代码托管平台 GitHub。

https://news.yahoo.com/open-source-ai-platform-hugging-202603150.html


#审查

#china #life 军迷放松视频： 🥰 党赐神功，扶清灭羊
在队友中暑倒地的过程中，军人表现得十分团结， 在香港发生的这个震惊中外的故事，让美国高看了咱们一眼！ 🥰

对了，为什么军人叠的豆腐块格外好看呢？ 因为被子薄得像纸啊
我义和团神拳，终于又做大了

https://t.me/seedless_channel/1655 #statement #PLT #dev
#reaction
“我有一个每天都要运行的Python程序，每次运行需要1.5秒。我花了六个小时用rust重写了这个程序，现在这个程序运行一次只需要0.06秒了。41年零24天以后，效率提升节约下来的时间补偿了我重写程序的六个小时。:)

这条没错啊，这个作者，根本没搞清楚「大型软件」和demo里，开销都花在哪里
所有软件都巨巨巨巨大无比，这也是和性能无关的

“整个网页/SQL 数据库的架构都建立在当用户浏览渲染出来的网页时不会去操作任何数据的假设（或者说希望）上。

“所有的软件都是在之前几乎不能工作的代码上叠上几乎不能工作的代码。代码量和复杂性持续增加，改正的可能性越来越小。
程序经常出现随机的问题，但是除了重启没人知道为什么。更糟糕的是，没人有时间停下来，仔细分析到底发生了什么。

“不断在虚拟机上构建的Docker容器，让“Single binary”依然是Go语言的大卖点。不混乱 == 成功。
人们总是很轻松的加上过度工程化的“完整解决方案”去解决最简单的问题，而不去考虑代价。
- 为了解决单例应用的问题，我们一定要引入#微服务。
2016 - 为了解决微服务的问题，我们一定要引入#docker容器。
2018 - 为了解决docker

“编写高效的程序不需要你是天才。这并不需要什么魔法。只是不要在现在的臃肿不堪的工具链上去构建就行。
—
“KISS是好东西，但是作者所怀念的那个计算机时代是建立在计算机远不如现在应用广泛迭代迅速，一群几乎没有正常人的社交生活的字节黑客几十年如一日的在底层上调试编写的基础上的。RMS、Linus那样的图腾不是可复制的，也绝对不可能指望成为计算机行业的主流力量。批评Electron臃肿不堪可以，批评系统里塞着一堆垃圾我都无所谓，但是因此就完全否定整个现代计算机科学的发展历程，号召大家回到DOS时代从指令集开始手搓汇编，那我除了微笑还能怎么办呢。

举个例子，我对qq的需求依然停留在08年，当初安装包10m都不到所带的功能已经满足我目前所有需求了，然而目前的qq我就不知道在写个鬼1g都不止”

(话说Flutter是什么时候成为UI界的原神的， 当听到 pixel perfect 我才明白啥叫前端都是切图仔了

https://zhuanlan.zhihu.com/p/663077111
🌚 我对自己的设计能力，感觉失去信心了。 没有持续性，经常岔到太大的范畴去
最近一周在写一篇《如何模仿人类用5行搞懂FFT》

EQ模式按道理已经非常完善，但我还是没有熟悉拿它来编程。 而且， 它好像又被我在整理的其他理论耦合了……

#book #ts The Little Typer
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拼接或解构后的值，避免手动分期求值

#china #dev #opensource 大清最新战果， 能抄也能赚，避暑山庄同行们赢麻了！ 🥰
根据《网络安全法》，开源软件作者或需要对其产品「持续提供「安全」维护」，即使协议中存在免责条款。

方脸：
「层层加码」像除四害一样，从不尊重动物权利，延伸到对个人权利的迫害
在举报贪官的人民运动下，你试试举报纪委违宪，或者去纠不能纠的错，就会发现这种反腐，只是文革再现
工会和NGO往往被视为政府职能的补充，但它们涉及法律人权相关的议题时，就完蛋了

#life #security 罗翔：通过伪基站（中间人攻击） 盗刷银行卡 最近开始流行？

草
那我的博客除了守序邪恶就是守序中立

#py 周刊
- 周刊1
无语了， #telegram 上写文怎么破事那么多呢？ Ctrl+K 弹框又限bot干🐴呢，哇会做C++ UX真是太厉害了，Markdown编辑都搞不全
//替换/^\d*、//g; $0.innerHTML.replace(/<.?p.*?>/g,"")

$$('p').forEach(e=> e.replaceWith(...e.childNodes))

$('[tabindex]:read-write').innerHTML=prompt()
只能在vs和web两个浏览器间，直接CtrlCV文档 😅


20 个令人兴奋的 Python 项目创意
经常看到有人问：有没有简单易上手的 Python 项目推荐？不妨看看这篇文章，它介绍了 20 个小项目的想法，另外原作者已经实现了很多项目，源码可从文中的仓库地址获取。
15 个 Python 小项目（star 1K）
一个 Python 基础语法问答网站
什么是 lambda 表达式？ lambda 有什么局限性、什么时候应该避免使用？

Google Sheets 也能用 Python 了 微软在 8 月让 Excel 支持了 Python
Python 代码转为 LATEX 公式工具 Google 开源的 （star 6.5K）
CardStock：跨平台的 GUI 构建工具 提供了一个类似于绘图程序的编辑器，支持文本、图形、图像、按钮、输入框和 Web 视图等元素；可添加事件驱动的 Python 代码。
介绍 rip - 快速而简约的 pip 实现 Rust 版本 pip。它试图在 Conda 和 PyPI 间架起一座坚固的桥梁

当我遇见了 Guido van Rossum--今年 Pycascades 上做了演讲“Python 中用元类作元编程”，并遇见 Guido，他们聊了一些Py后端
rendercv：用 YAML/JSON 文件创建 PDF 格式的简历 目前仅有一款主题。
通过阅读代码学习：Python 标准库设计决策解释 推荐了这些：statistics、pathlib、dataclasses、graphlib。
使用 Python 调用 Rust 的三种方法 三种方法：HTTP、IPC（进程间通信） 和 FFI（外部函数接口）。

主流实现
Python 3.11 vs Python 3.12 之性能测试 AMD 锐龙 7000 系列和 i13 上共进行了 91 种基准测试
PEP-703 无 GIL CPython 的进展 就在本周，Python 指导委员会宣布采纳了这个提案！这篇文章写于消息宣布的两周前，总结了过去一段时间里发生的技术思考和进展。（附：PEP-703 的讨论）

PEP-730 CPython 提供对 iOS 的官方支持， BeeWare 和 Kivy 是支持 iOS 的 Python APP 开发框架，说明了技术的可行性。
Python 的代码生成：拆解 Jinja 介绍了 Jinja 编译器基础结构的设计，比较了 Jinja 和 Django 的模板，分析它们产生截然不同设计的历史原因

我们必须聊聊 Flask 🌶
Flask 最近发布了 3.0 版本，Werkzeug 也同时发了 3.0 版本，《Flask Web Development》一书的作者吐槽 Flask 总是出现向下不兼容的问题，劝 Flask 核心开发不要做无端的重构
Flask、它的生态和向后兼容性 ，这篇是对它的回应，作者是 Flask 的维护者之一。 >继续关于 Flask 的讨论


AI
基于 ProPainter 技术去除图片以及视频水印 引入了双域传播的新方法和一种高效的遮罩引导视频 Transformers，增强了视频修复的性能
pipeless：一个计算机视觉框架 轻松构建与部署可实时分析及操作视频流的应用，无需构建和维护多媒体 pipeline。支持YOLO插件
RealtimeSTT：强大、高效、低延迟的语音转文本库
ZenNotes：Windows 记事本，支持翻译和TTS
手撸个视频翻译和配音工具玩玩 结果不太妙 openai-whisper 离线模型、 Google 接口、 Microsoft Edge tts。

Chrome-GPT：可控制 Chrome 的 AutoGPT 代理（star 1.4K）
swirl-search：用 AI 同时搜索多个数据源 支持连接到数据库+排名结果（SQL、NoSQL、Google BigQuery）、公共数据（谷歌、Arxiv）
voyager：用于 Python 和 Java 的近似邻搜索库 对内存中的向量集合执行，出自 Spotify，每天被查询数亿次，扛得住海量用户的请求。召回率比 annoy 高。

罗翔：通过伪基站（中间人攻击） 盗刷银行卡 最近开始流行？

事实：上行下效 🥰

#history 方脸：🤔 为什么近40年的世界不止「枪杆子里能出政权」了！

答曰：总书记亲自加速，不被制裁回解放前，太难了

#china 互联网户口簿，实际却是大水冲了笼王庙 😂
以后，道德准绳站在哪一边呢

clash gihub 仓库已 404
https://github.com/Dreamacro/clash

#life 🤔💭 真实生活与工作
虽然我是典型的弱者，这种社会也太压抑了。对老一辈而言，能吃饱是他们心底的奢求

1. 我们家并没有真正学会省钱
2. 全日制工作(对我)没有出路
3. 照你们的活法，不会像前几十年一样成功了

- 每天下馆子也只花30块，自己煮饭呢？ 掏空钱包买房，就是为了空着，也不租出去？这浪费的几万的钱，省几十年才能省回来？
- 劳动是为了报酬，为了吃饭
- 人生当然会工作的，只是，永远有比你勤劳的人，瞎勤劳只会更廉价


- 如果是为了凑合一辈子， 那我在高中时就被淘汰了
- 如果所有人，都像你说的那样挤着要工作，不会有人闲得(听别人)评头论足， 否则，那是你忙中偷闲，还有时间想别的

攒一辈子钱，就是医保和买房不够用，租房又怕被侵权； 上补习班，就是怕未来工作被开，交不上房贷
这一代有几人，能承担你们这样的生活压力？ 子子孙孙辈地受这样的苦？

>我才毕业几年啊，一辈子有多长， 怎么可能一下子就能怎么样？

找工作是这样，吃饭也是这样， 所谓坐吃山空，那每天996 就能财富自由了吗？

所以那么急干什么？