#java 看到一篇维基挺有趣

'T'物 泛型类
造于 此刻，
值 可变<T>
- 读=值
- 写(：T)
值=它

- 方法1
泛型类<数>，
写(5)；说(我去读)
- 方法1
泛型类<N>，
写(5.5)；读() (说)

绝句不使用“元类”。 T同名例、T 的变量域是隔开的(T上没有“静态”)，类型保存在TYPE里

物 值() .地址 “函数,管道 等对象不能是key”
- 特征码 数
- =(：值?) $YN

类 地址
- 文 文
同名例 TYPE
在 词： 名动词表
在 物名="值"到"ju.Any"

也支持trait (代理基类,扩充接口)
'T'(T 两序) 物 盒(：T)
'T'物- 盒 作 两序
-| 较(：盒)=它 去较(盒的它)


如果 #kt 支持的话应该是
data class Box<T:Comparable<T>> (val it:T)
fun<T> Box<T>.as() = object: Comparable<Box<T>> {
override fun compareTo(box:Self)= it.compareTo(box.it)
}

对我而言，编译器是“做语言”的手段， 可是一些人觉得，编译是“语言”存在的目的... 他们设计语言和框架，是为了让自己新学新想的奇技淫巧跑起来， 因为那些破事如果不能“攀附上”某些实际问题，就会暴露其设计性的廉价（

相当务实！他们大概和最新款的 Cortex-A9 SoC 很聊得来吧。走GPT的路，让计科无路可走… 😄

🥰#tw Jake 暖心“澄清”，迫于压力公开了开销帐目 ，但是那些更多的直播打赏呢？就让他赚走了！

“路边小义不做，嘴边大义不停。” 中国的官民商·演员文化 素来已久。 既然，为了税收和GDP什么事都做得出来， 诈骗也就不奇怪了。

#music 🤮《舔的 有点甜》

Unity 中国 推出Unity中国版引擎“团结引擎”
https://www.chinaz.com/2023/0823/1553410.shtml

……

#js #design
昨晚刚发现wOp({信号变量})能匹配出来时，我挺排斥的，还失眠好久：
因为会导致 obj.it.v++ 这种“特色用法”消失(原来还有 app.v++ 的“蹊径”)，而且夺走了 wOp({tap(事件){}})的地位，大概我觉得EQ已经超过 Vue,React,Solid 甚至 Svelte，不需要比自己更自然了。

我比喻一下：这就像 JQuery 的作者发现 delegate() 本该用 on,off() 的“大改进”后，接连又发现某些情况下，可以直接用 div:hover{_mix:className} 而无需JS ，结果 on,off 和链式这些“巧妙的设计” 被扔进垃圾堆的感觉

不过， SSR,频率触发,ondiff, 包括 await 页面事件(“用户向导,.”所需)，非常依赖信号。 我一直在想这么“不合规”的概念 需要啥配套措施(写完：我发现 n(Eq(x=>)) 转化不如信号常用，该叫 n. as(Eq) )

ee.Count=({n=0})=>
  (setInterval(n, 1000)
div(html`Count: ${n.to(x=>x+1)}`))

和 Solid 的信号量(=EQ 原来的 n.v++ )相反， n. to() 采用和 var fork n(x=>) 相同的风格：“变化”有返回值

const CountingComponent = () => {
  const [count, setCount] = createSignal(0);
  setInterval(cntAdd1)
  return <div>Count value is {count()}</div>
}

HTML 文本节点和 n() 变量，都是被“变化”带动的变量，没区别。
把 EQ 和 Vue 一比，居然像当年 Vue 比 Yox 一样，好像 Vue 才是用“json key path” 做响应式的那个不入流的框架一样 :\

信号可以说是“取材于 Redux,Vuex” ，只是比它们更体系化 (is.ST{vars} 才是全局的会话变量 ) ，因为 EQ 是找了关系式编程做理论的，而非纯函数

store(所有的状态，保存在一个对象里面) = is. ST 不负责持有，只能深监听来load和dump
reducer, mutation = 箭头函数
action = 信号变量
getter,computed() 用于根据 state 派生数据 = var. as(fork) 或 obj.it({ x:Eq.num(+1) })

有趣的是 as() 只能监听，不能被绑定到其他变量，就像 N2.ptr(P)(body) 修改变量P
这个约定和 vue useMouse,. 一致，但是从 Prolog 里学来的（我还很讨厌它无返回值） ，客观上提升了变量+树绑定 的一致性

body((R)=>  $app(is(`.list:has(.user)`, R) ) )

就完成了在 .app 内查询 “Live 选择器”(Mutation监听)

(之前的 body((ab, vars/*子树变更监听*/)=> if vars($app(wKV({ab}) )) {} ) 也被发现是对“变量”的理解不彻底 🤪 if vars, 单作为DSL是好看的

之前我写了句标语，真正实现后，我却觉得它掩盖了EQ的特色、抢了前端的工作…… 😒：
EqvJS 是克制的框架联邦，基于页内关系 (Modest web framework federation for page vars & relations)

但不论如何，优美直观的代码都会消灭旧设计。很高兴EQ的组件抛弃({},my)=>的黑魔法，用 Str.it({}) 和 ee.fork 扩展实现模块化

ES6本身的扩展至关重要 (这也是我改之前手稿的方向)，ee 本该是往“消失化”进步的，功能多多就是错的。

现在得出个理论，我直接跪了😨

obj.to({k:v1}).as(_=>k) 两词就能概括EQ的“响应式系统”，这两个词也适用于 x, 和 [x] 即遍历与map

wOp 事件只会导致 wSty,wKV 变量的两类结果：
- cnt(x=>x+1), dialog(q=>$Y) 'to赋值'
- fmt.as(x=>`Hello ${x}`), html`text ${var}`, Eq.at({sliders},_=>) 返回 {ref:}.it 'as映射'

也就是所谓的 State-onhandle, v-model.number, 订阅Effect 的功能，因为wKV({value}) 本就是变量，“双向” “绑定”也就消失了，监听一词也无意义了
useMemo: 只要变量没更新，就复用视图
EQ: 更新? 你是说 x=>x+1 单关系吗？

wOp{tap:li=> , tapup :active} 可以分发或保留事件, 比如 mousedown act.ev0 的时差、UI软键盘
wOp{acty:$N, chk:'once'} 可开关以注册属性

wKV{if,show} 基于hide/opacity:0， when(x(>2), {$Y$N}) 做节点替换， as([1,2], x=>li(x)) 基于 ondiff(movd,add) 来支持位移、增删动画

React 创建了优于ng*的 vDOM；Vue,Preact 正在抛弃vDOM； Svelte,Solid 已经开始比较DOM里的文本和键值
但是EQ选择让HTML成为JS{对象变量}的等价形式，“改变”只在圆括号内发生，而非尖括号。
这些框架都需要 npm 来编译，但 evalFun(()=>) 可以在浏览器或 JSDOM 生成优化的代码

无DOM的点子在2010就被 Solid 的前辈S.js 开发，但到今天我才认识到它们是什么。
EQ的变量+树关系 从灵感到规范化，真的简化了太多。以前的 el.get和qsAll 变成 ee.bodys(items=>) 这样与ES6模式匹配一致的“JQ调用链+动态选择器”，我很乐见

我大概明白了 Vue 的 Compsition API 为什么走 defProp({}) 和 ref() 的“代码碎片”的模式
因为连 Svelte 都是拿 template 甚至 slot 传参的，而Solid这些“React的好友”，就更不用说是背靠 JSX 的

EQ背书的是定义式编程、变量关系式、组合函树 🖇🌿， Vue则来自控件对象、XML和JS纯函数 ↔️🧩 ，对它们而言 let 一堆ref() 的优雅性已经超过XML注入许多倍了，理念的差异让代码风格根本不同

得来全不费功夫…… 只差evalFun,svgg,paint(DSL) 这些硬骨头 👌

(明明是之前我所有前端toy都比不过的体系，100%定义式+复用，但看起来朴实无华呢…… 好像只是JS加了个属性监听语法，没有啥框架产生)

🤓 #moha #js #dev Van UI框架的作者是上海交大的

Firefox 支持从 Chrome 导入扩展

2023-08-25 16:56 by 黑暗之潮

Firefox 已经实现了 WebExtensions 扩展系统，它现在允许 Firefox 用户从 Chrome 等浏览器导入部分扩展。该功能还在测试中，没有默认启用。用户需要修改 about:config，修改 browser.migrate.chrome.extensions.enabled 的值为 True 后就可以启用该功能。用户可以从菜单 > 设置 > 导入数据中选择 Chrome 导入扩展。Firefox 实现的 WebExtensions 与 Chrome 不完全兼容，目前仅限于 部分扩展。

https://www.ghacks.net/2023/08/23/firefox-users-may-import-chrome-extensions-now/

#Firefox

#news #jp #life
关于“海纳百氚”的事，我本不太关心。全球媒体都在监督日本的排放，海洋环境数据也并非是“定于一尊”的黑箱， 我相信，跟随欧美日韩台的主流，事情就会得到最好的解决

荔枝木的评论区有很多小粉红（甚至有鹅粉那种军国主义者），但他是对东电请来的 IAEA (UN.org 的NGO)以及后续三十年的监督不放心，不是粉红复读机

我们不比中国最近的清零泄洪，不提政治正确，总结下，他为啥不信任东电：

- 2011地震后，它在“直接亏本但安全 与 可能少亏”间，抛弃了社会责任、国际的安全，日本政府没法可管
- 认为核废水不是一般排的冷却水，ALPS滤不干净(比如氚之外)， 害怕被东电再次使诈， 玩偷跑流量 或者对ALPS“精打细算”

- IAEA的中国籍专家刘森林没说OK，而是秘书长赶着发的，欧美信的机构不够走心
- 理论上按ALPS、持久进行完整净化、比中国标准都安全， 但这个风险本该是日本照赔的(按理说日本全岛国，首先直面风险啊.. 日韩人没有立场去帮它隐瞒什么)
- 如果福岛事故没恐慌，这次就更不该

另外，中国人反日料 破产的也只会是本地人，怎么会有人幻想店家“用私人飞机走私新鲜食材”来做菜？ 你能拿到吃“辐食”的签证？？ 而日本马桶圈和日漫啥的，抵制者和买家不太重叠吧

觉得中国舆论有被收买的价值？ 你能抗议让政府禁止关键日货吗？敢拳日本使馆吗？ 真把“我国”当成自己了

还有个“公知”用旧史 讽恩情墙内 刚刚被社会面铁拳，闭嘴反思数月， 又开始玩“攘外安内”的纳粹人矿，和他们在拼命抢盐的老一辈们 ；不过中国也是受害者，问题是.. 这种混乱，很像 中清零外共存 昨日重现

在对下不负责、“独媒”消失“专家”遍地的丛林社会里， 公众产生如此恐慌、不信任至于反智、甚至暴露无社保下的人性的自私，无法避免 ，
因为他们初次找回在泄洪的潮水里“弄丢”的人权、难得体验“食盐自由”的安心感。

不过我还是该吃吃该喝喝。 网易因“违规跟风”被封 的事反而算有趣 👀


方脸更新：真里掺假的新闻，有够离谱

#news 思考：

“水安全得可以养鱼，那日本官僚和东电高层怎不喝两口？” ALPS沉淀和过滤了十年的，是满足二级冷却标准的 海水
盐卤水不能喝是常识(波特王)，吸烟也有毒啊，一天1000米的人都死了

“辐射量和核爆一样有害？” 氚不是铀钚那样的金属性、易富集的放射物，法国也在向海里排这些核废料在“下毒英国”
低成本无害化，从科学上IANA有100页验证， 海洋和核素的数据，也并非是无人能观察的黑箱

“日本凭什么给世界添麻烦？” 韩国日台比中国更早受灾，而美俄“爸爸国”正好在太平洋的下游。但欧美在22年重新进口福島县“辐食”
—— 面对手里拿着扬声器、法锤，荷枪实弹的各种NGO机构和民众。

“收钱才帮日本说话” 现在是市场国际化，但中国人矿的“金口玉言”，大概不会比某些，与社会权利捆绑销售的土地更贵吧？ 你吃的起进口“核食”吗？还是三鹿喝多了？

不是因为日本有道德，而是被举报造假会让它赔掉底裤，会像上次一样被揭发。日本可墙不住世界
韩国，几个人还冲击了日本使馆，环保组织也在起诉政府，这些质疑是他们的自由，也是我们不去“以最大的恶意揣度日本人”，而是相信专家和数据的原因

“中国基建数量和质量在稳步提升” 方脸：立刻帮党国贷款买地，还有卖人民币换美金，证明它不控制自由汇率。
台湾当归！！(简体字) 😭 领导都穷到找公务员收奖金了，打台湾时怎么为人民服务💪🇨🇳👍 啊！钱都是帮国家挣的！ 它们不吃饭，中国才会乱！

不少人，对远在旧金山街头的警察 殴打黑人的每个步骤了若指掌 👍，却对隔街公安在打金融难民和江山 漠不关心

忘了中国的泡沫破灭，是“什么至上”的优越性、特色性清零 直接导致的了？ 忘了下架澳洲煤炭后，哪些省，要享受朝鲜式的“地球一小时”了？ 在中国饕餮美食可真难，鲶鱼鸭脖寿司和“涿州奶茶”都消失了~

十年探索 沉痛历史 毛共人祸
新冠病毒 武汉肺炎
灵活就业 青年失业
核污染水 核废水
山川异域，笑声满天😐

病毒清零、用电清零、氚氚清零，无法律无预警…… 这“自由的”思想配得上暖心的生活呢

#china 看完方脸的资料后再次思考：
“为啥不保持现状！” 排入地壳和蒸发当然也被讨论过。日本在辐岛的地震后，已关闭54家核电站，今天剩6家在开（取决普选..怎么wiki和中媒数据不同）。
混凝土和罐子也有被震破的风险，这最后几家核电站要拆除 罐子越少越好
美军也在日本驻扎，美国会做出仅对“殖民地”有利的决策？？

“世界可以没日本，但不能没海洋” “德国可以没犹太，但不能没雅利安精神”。多少恶行是在“合理的两难选择”中犯下的

“万一倒出了事，谁负责？” “那万一你的质疑是错的呢？ 万一新冠共存会死人呢？”，联合国不是国企，有明确的数据、各国的透明监管表示“污染水”的成分就是普通冷却水，大家都在排，出了事问国际法啊

10斤棉花比10斤铁轻，这就是“洗”大亚湾核电站的话术😅文字游戏

“中国很安全，没有吃辐食的自由” 在苏联车诺比 向斯大林负责的官员们也很自由，可以随意违规测试核电站、截访吹哨人、隐瞒成普通火灾，在转移民众后拒绝了“敌国们”监督，鹅爹沉了 7 艘核潜艇，美国爹敢谴责一句吗？ 何况是事隔十年，测试可信后再做排放？
福岛今天还能住人，而“苏联”？它正在继车诺比地 把乌克兰变得不能住人，就像 Karachay湖。
又或者，某些人在苏联眼里不是人？粉红人矿，明显最先符合这个标准

“ 日本人往海里倒自己核事故产生的废水，只因这样最省钱，毫无责任心，而苏联就不一样，亲自解体，这样，切尔诺贝利的临时石棺的善后工作就归境外示例了，乌克兰去国际社会要饭就行了
（新石棺最终由主要来自美国和欧盟的国际捐款修建，欧盟重建和发展银行接手管理）。 反正土地最终是归鹅爹的 ”


中国有种文化： 别人破财=自己挡灾，即便有更理性、更普世价值的科学做法可取； 这也就是为何即便有社保，人们还如此迷恋储蓄：敢冒地沟油和食安之险去赚黑心钱，而企业呢，也在把欠款风险转嫁给员工，政府把暴雷风险交给公安, etc.

房奴增加=经济腾飞
储户破财=河南挡灾。毕竟储户有“为过失买单”的义务
河北淹水=雄安挡灾。河北没有和北京讨价还价的权力
别人没药 没口罩=自己安全 国家优越
生命至上=“人民”至上，环境的卫生 不接受比较、争议和协调
封禁公知, 墙掉 iaea.org = “人民”又赢了(李老师), 逻辑双赢(Leonard)
……
……
但最后，就会像清零变共存一样 “砰！”的一声，无预警地破灭；留下一些除了谩骂不知所措的受害者，一些无知畏知的“防疫爱好者”，和一群携款移民海外的大骗子(最常去的是日本、新加坡、加拿大..)

这些人会受骗妄想越来越重，即便改国籍到文明世界，也生生世世是“中国人”，因为这就是大一统价值观的周期律...

中国还有种文化，就是相信出生（“污水是碰到了堆芯的，是滤不干净的” “日本是纳粹骗子，改不掉的”） 不信指标数据， 因为客观事实对自己没好处(e.g. 中国18所核电站也在把不能喝的辐射水,往江里倒 )
必须是由自己瞎决策，才有“不可替代性”：匠心思想 核心技术！

Ubuntu 桌面用户已超 600 万

Canonical 公布了一系列 Ubuntu 桌面数据¹：其桌面用户已超过 600 万。这一数字基于检查桌面更新的设备，不包括安装了企业防火墙或代理服务器的设备。

另外，根据 Stack Overflow 的调查²，Ubuntu 桌面占到 Linux 开发者桌面市场的 27%，是迄今为止最受开发者欢迎的 Linux 发行版；在 Steam 平台的 Linux 玩家中³，Ubuntu 是游戏用户使用最多的桌面 Linux 发行版。

参考：¹Ubuntu；²Stack Overflow；³Steam
来源：Linux CN

投稿：@ZaiHuaBot
频道：@TestFlightCN

CEC-IDE 是一款由数字广东开发的 IDE，宣称「国企品牌，自主研发」、并「兼容 vscode 插件」。软件另提供用户登录及会员订阅功能 [1]。数字广东 (Digital Guangdong) 是由中国电子等公司共同投资成立的科技公司，是「粤省事」等平台的开发者 [2]。

由于 UI 演示图及实际软件文件结构与 Visual Studio Code 高度一致，大量网友怀疑 CEC-IDE 是套壳 Visual Studio Code 的软件，并且未有添加协议声明，违反了 MIT 协议。也有用户在 microsoft/vscode 发 issue 询问 vscode 与之的关系。

昨日，数字广东发文致歉 [3]，称 CEC-IDE 的开发工具部分「使用开源VSCode，进行了少量改造」，而未有添加协议声明的原因是「版本迭代更新中出现疏忽」。

- https://cecide.digitalgd.com.cn/monorepo/app-front/home
- https://github.com/microsoft/vscode/issues/191229

1. https://www.zhihu.com/question/619023882/answer/3181662297
2. https://www.digitalgd.com.cn/
3. https://www.digitalgd.com.cn/news/12846/

#VSCode #CECIDE #China

GPT-4 生成的代码 62% 包含 API 误用

2023-08-28 13:17 by 机械人生

加州圣迭戈的研究人员报告，GPT-4 生成的代码 62% 包含 API 误用。大模型展现出了非凡的自然语言理解和代码生成能力。如今软件工程师在遇到编程问题时不是去问 StackOverflow 而是去问大模型如 GPT-4。但大模型生成的代码未必安全，在软件开发环境中实际使用其生成的代码可能会带来严重的安全隐患。其中 API 误用可能会导致资源泄露和程序崩溃等种种问题。而使用大模型生成代码的用户最有可能是新人，不熟悉 AP，难以分辨其中的 API 误用。研究人员从 StackOverflow 收集了 1208 个与 Java API 相关的编程问题，评估了流行的大模型，发现即使是 GPT-4，其生成的代码中有 62% 包含 API 误用。

https://arxiv.org/abs/2308.10335

#人工智能

#py 周刊

- Excel 支持 import pandas, statsmodels, matplotlib / seaborn 了, Guido 亲自推广（可能是云计算，要订阅）
- PowerToys添加“可交互”的截图
- Google 等各种大公司的技术blog #list
- #apple #design 设计师法则
- #learn 看美军的脏话官话(F-words)学英语 。

- 单靠 #sql 如何保存数据
- APL 里有的 py 基本列表处理式
- FastAPI 最佳实践 list
- async stdlib: 对比理解各种流行实现

- fixit linter: py 版本的 IDEA 自动迁移 (无AI), cffi: 我用什么 C parser 链接到.h 文件
- 用 difflib 开发一个文件比较工具
- KeymouseGo, ahkunwrapped py : 类似按键精灵的鼠标键盘录制和自动化操作
- quivr：生成式 AI 打造你的第二大脑, trafilatura: GUI 文本/评论 爬虫
检索非结构化的信息，可以理解成支持人工智能的 Obsidian。可以处理各种形式的文件如文本、图片、代码、音频和视频等，依赖于 ChatGPT、Docker、Supabase

- FastAPI + SSE new EventSource('/http流') API 下发文本消息
- 用py编写代码高亮图片生成 (carbon.now.sh ..)
- Streamlit 地图高亮生成
- Streamlit GPT4文件摘要工具

- Mojo #ai #rust: 对Py的渐强类型&优化 的语法改进 [waitlist]

def mandelbrot_0(c: ComplexFloat64) -> Int: #CPU FMA优化, 1Mojo = 15Numpy = 89CPy
    z = c, nv = 0
    for i in range(1, 200): #清晰度
      if abs(z) > 2: break
      z = z*z + c
      nv += 1
    return nv

👀 Rust 确实是资本的语言，融资1亿刀乐

#code #algorithm 埃氏素数筛

def gen_primes():
    """Generate an infinite sequence of prime numbers."""
    D = {}
    q = 2
    while True:
        if q not in D: D[q * q] = [q];yield q
        else:
            for p in D[q]: D.setdefault(p + q, []).append(p)
            del D[q]
        q += 1

#game Steam 壁纸引擎 被锁🇨🇳区了
#apple 🍏15 发布会
#linux WSL X11支持

#js #recommend 框架🧰对比 https://component-party.dev/
https://unsuckjs.com/
https://js.coach/?collection=Vanilla+JS
https://jster.net/category/application-frameworks/
- 大列表,中文
- 前端小抄


#tool 各种在线设计师工具

#dontknow JQ 的 $.on('li','click', fn) 明明在fn前包装了if判断，为什么还能解析到原位？

答：在2015就已经支持通过 $._data($0,'events') 查询解包的函数注册
解决了 issue

CDP/front_end/panels/event_listeners/EventListenersUtils
你可以在 chrome://inspect/#other 里看到Chrome如何查询这个

【帮忙跳过广告，也能算不正当竞争？】
李跳跳有没有不正当竞争的可能？李跳跳这样的广告屏蔽软件，是否有违道德？

#PLT #zhihu #wasm Moonbit 月兔编程语言alpha(reScript 作者的续作), 提供了许多算法(HAMT tire map, AVL tree) 的 code playground

语法有点像Go+Rust,支持List/Array,模式匹配和推导，但非常轻量，而且和Go一样易用，编译到WASM❤️。

本来想答一下的…… 但最近还有框架在设计，因为没发现比绝句更多的功能或更清晰的模型就不想再分析了

自己在设计的框架和业界差别太大…… 看着这满屏的 let,self,func 觉得，在定稿前，我不想太仔细的看其他API。我想保持自己的术语体系
现在我不关心那些即便“学会了”，也对设计没啥价值的技术细节

——
就在刚才，我发现即便作为一个前端框架，也是可以用“递归下降”的思想做数据绑定、配合“逻辑式编程”做表单验证， 而这种的递归下降，便拥有了CSS选择器的扩充

EQ 模板函数应该接受3种情况： div(p(), p(), html`${变量}.txt`) (doc.body 添加 | .childNodes[i++] 解构 | .querySelector 匹配)
都会注册相应的KV和监听变量，从而实现爬虫、列表节点复用的功能， 按顺序解构，就是基于“编译原理”里特有的技术 - 其实就是树遍历而已

节点变量 when(x(x=>[x==0, true]), [b(x), i(x) ]) 甚至能反过来执行，验证粗体显示的只能是0 (虽然我不清楚有啥用，但2行代码 1个功能点 挺值的)

when(class { User(age) {age=rn(18,99) } }) 可以定义强类型表单，避免在 sel(age) 的程度上暴露<input>的概念，这种“低代码”不是以设计降级为代价，它也提升了数据验证&输入的一致性，容许服务端再次验证JSON格式的表单

算法世界的原理，是做不到和现有框架、和其他算法如此深度的联动的；不仅让应用更灵活， 连算法也更简单了

对我而言，（编程语言的价值== 它所提供“设计体系”的价值） ，我是没有在意“编译”到什么的
Ruby 和PHP的衰落证明，没有成体系的语法糖，没有扼要的对象接口模型，代码越多就越难增添、难复用；框架术语越多，精力的内耗就越大

就是因为心智模型能提前消灭绝大部分的问题，把本质相同的功能整合到单一写法上， 我才把这么多精力放在编程前的设计。
对代码仁慈就是对用户和程序员残忍……