#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 就能财富自由了吗？

所以那么急干什么？

#ai #algorithm 看来GPT3在你知道一些基础时，还是可信的 😱

>这是高斯消元.py 的实现：

def elim(A, y):
  n, m = A.shape; assert n==m, "需方阵"
  M = np.hstack([A, y.reshape(-1, 1)]) # M=(A|常数项b)

  for j in range(m):
    # 向下[j:] 找元最强的行，换为本行(i,j=j,i)。会在回代里获取
    i= np.argmax(abs(M[j:,j]))+j; assert M[i,j]!=0, "无解,不可逆矩阵"
    if i!=j: M[[i,j]] = M[[j,i]]
    # 归一，因此后面行消它
    M[j] /=  M[j, j]
    for i in range(j+1, m):
      M[i] -=  M[i,j]* M[j]

  x=np.zeros(n) #逐行 y-约旦回代
  for i in reversed(range(n)):
    x[i] = M[i,m] - M[i, i:m] @x[i:m]
  return x

请你将其改为矩阵求逆

<这个实现中，我们将矩阵 $A$ 和单位矩阵拼接在一起，得到一个增广矩阵 $M$，然后对 $M$ 进行高斯消元，最终得到的矩阵就是 $A$ 的逆矩阵。具体来说，我们将 $M$ 的左半部分（即 $A$）化为单位矩阵，然后 $M$ 的右半部分就是 $A$ 的逆矩阵。

>不愧是AI，轻松就做到网络博文做不到的事！
谢谢夸奖！我会继续努力的 💪🤖💻

总之就是只改了两处，然后成功了

爆杀那些把矩阵求逆，独立于gauss消元来讲的中文博客…… 真的太牛了

#PLT #design https://t.me/rynif/31969
https://docs.racket-lang.org/ming/preface.html#:~:text=成双成对

这个作者比我当年，多做了个二简字（词转自造字） 😨

我最后没把Pair译为"对, 到"。尽管 for(x in xs) 已是 xs:[x] 。确实翻译时这些混淆要小心的

程序员记忆和理解的不是代码，而是类型，好比设计师学的首先是咋拖拽UI组件，而非题海战术
所以说Lisp和OOP比起来才那么烂，只有元编程优秀，因为Lisp的语法树太单一，也没有jspy那样的加糖字典

作者的英汉对比，形式层面上vs语义层面上简洁， 其实是搞反了。他翻译的才是字面简化，偏旁部首小得看不清，反而不如拼音语言+定义式的编程范式

作者把语意嵌入到偏旁里，根本是瞎胡闹， Lisp已经比Scala这些工具落后太多了，还把它往低抽象高细节靠。虽然现在圆括号的数据转化能力已经不如jspy了
举例评价下此「中文编程」设计思想，格式为
名：文档
^绝句的写法
批语

双(阳阴) : 把两个数据配成对，即成一个双
^ [数 文 俩项] 1|"2" [数 仨]
^ "12"==p:A+B
考虑过三元组？

字?/象形 : 【MORE】 = char-graphic?
^ Str.AZ.graphic/'c', 'c'(Upper), (Symbol:'#:1')
泛用数据类型，不要硬编码

丫，并，戈(或)，、：流控if
^ (1==1)(2、3)==2, arg/IS_GOOD: say:'wtf'
泛用数据类型，而非泛化符号字面

btw. https://github.com/yanyingwang/24-solar-terms/blob/master/scribblings/24-solar-terms.scrbl#L45

这个作者在用Racket写前端诶（？
要命的是，他用rkt做了SQL表格的功能

#dev #android 面试题 🤔
- 技术上提升最大的一个项目，展开介绍
对比业界同种算法流行和不流行实现、重写自己的任何项目，都比从事GPT都能完成的原型要好
- 为什么选择 Flutter，在业务方面学到了什么
Compose界原神的名气真的太大了，居然能用Navbar,Tab等自带组件，居然能调style!

- Java 里重载和重写的区别
在编译期vs运行期确定函数，改方法签名vs改子类值
- 什么是线程安全
避免共享变量（不相交），或使用Atomic/独占锁 避免读写异步
- Service 是什么
是Android版的主要线程，与daemon线程相反，适合后台Worker
- Fragment 和 Activity 有哪些区别
不刷新重载vs带参单页（Intent）

- Retrofit 用到了哪些设计模式
都是nodejs事件队列,ES6默认参数,函数名Proxy,组合函数(适配 装饰 策略) 之类的东西
- UDP 和 TCP 有什么区别
TCP和stdio文件没区别，UDP允许丢包和无连接发送
- 算法题，输入两个包含数字的 String，求它们的和，要求可进行任意长操作（不能直接变成基本类型算）
BigInt，即从右遍历相加，记录>10到carry=1 进位。遍历int[]也一样

- 为什么选择 Flutter，引导你选型的逻辑或者核心原因是什么
流行是唯一的原因
- Looper 为什么不会卡死？我们往深层次一点说，天马行空一点，你能想到什么办法让一个死循环不会卡死？
for绘制进度条，两层for+SIGINT，for调度函数队列-这样死递归还不会栈爆呢
- 如果网络碰到延迟会如何解决
做一个加速条，利用安慰剂效应；也可以Cache-Control或Protobuf压缩