#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的衰落证明，没有成体系的语法糖，没有扼要的对象接口模型，代码越多就越难增添、难复用；框架术语越多，精力的内耗就越大

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

字节跳动发布视频生成AI —— MagicEdit

MagicEdit 是一种出奇简单但有效的文本引导视频编辑任务的解决方案，通过在AI训练期间明确地解开内容、结构和运动信号的学习，可以实现高保真和连贯的视频到视频翻译。

这与大多数现有方法矛盾，大多数现有方法试图对它们进行联合建模，作者认为这会导致每帧画面的质量下降。结果表明 MagicEdit 的方法虽然很简单，但出色的效果支持各种下游视频编辑任务，包括风格滤镜、本地编辑、概念混合生成和扩展/局部绘制。

项目地址

投稿：@ZaiHuaBot
频道：@TestFlightCN

添加个上文：组件 比如是
ee.Count=({n=0}, inc=x=>x+1)=>
div( p(n),
button(wOp({tap:n(inc)}), n,"+1"))

😑感觉有点不真实…… 解析器 parser 的技术跑到网页数据绑定上了

之前我想要这种“真正的双向绑定”，但是一直没想好列表和分支节点的API ，各种特判魔法

没想到，最后是以递归下降法，简化前端编程、提升节点复用
🤪有点扯。但看起来挺自然且简洁
仔细想想，HTML自定义节点，不就是语法的“非终结符”吗…… 被append remove啥的骗了那么久

没想到和被IDE更新的代码编辑模型是同一种，因为 #PLT 不重视单次解析后的“更改” ，把这两大类问题都搞复杂了
#statement #web
有点哭笑不得，我就是讨厌PLT才玩前端， 结果找到的最优解，仍然是关于变量关系、递归下降，而且还是顺“响应式”Vue它们的潮流

编程界发展了一圈 回到可变量和递归解构...

感情是FP和Prolog的前辈太死板，才留了UI,UX给前端界造魔法.. 但是，我希望，到今年为止了。
给大脑腾出点空间，别把精力浪费在尖括号和隐形的“优化”上

廉价 AI 时代正在走来

2023-09-01 14:13 by 诺比的微型反重力装置

Nala Ginrut 写道：AIGC 被认为是未来的基础物料，就如同水电一样存在普遍需求。可是高昂的算力成本已然成为 AIGC 进一步推进的阻碍。SymeCloud 在探索低成本 AI 方案的方向上更进了一步，最近他们发布了一个超廉价的 Chatbot 云方案，仅需 4.99 美元/月，是目前世界上最便宜的付费方案。该方案在 HackerNews 上引起了热议。

https://news.ycombinator.com/item?id=37341332
https://syme.dev/articles/news/0

#人工智能

安卓系统的开屏广告自动跳过助手

程序是开源程序，不需要网络权限，不需要存储权限，不会收集或者上传任何信息！绝无隐私问题！

https://github.com/zfdang/Android-Touch-Helper

投稿：@ZaiHuaBot
频道：@TestFlightCN

#zhihu #PLT 又看到有趣的中文编程设计 ，做些科普。 👀

1.打这些太极 还不如就叫真假，另外，加语法糖并不是以混淆基本语法，以编程的一致性为代价. PHP,Ruby,Py2 和VB已经玩烂过这套“大小混写”了(你怎么不用神奇GPT编译呢?)

2.子类型对应的是强制兼容，而非隐式数值转换。 进制只是表示法，SQL那种类型只是验证位数
你说的不需要看(隐式新建类型变量)、运行时可见，Haskell、Kotlin也支持，但你对连 List<T>,T->R 都还没懂的人弱化类型，就利于他们学用新接口了？别把隐类型当成无类型

3.其实，只要编码统一，最常见的bytes.replace和非空split都OK多字节字符。即便你想像Perl那样囊括万物，得出的语言可能就是一个Str运算的节点图
4.GC引用和Str/Builder的隔离不就是？ 你还混淆了编译期和int*两期变量绑定 (x86 ABI -O0 就是用esp-4-8栈指针传参的, vararg 就是靠这个)

5.JVM每天都在跨线程 (volatile Object)vars=新引用 ，C#还支持并行For，numpy 则支持GPU,SIMD ，为什么要把废话说得像真理一样啊啊啊..

6. #define str char* 后 str a,b; 你就会发现C的类型运算符本身有问题
另外，int(int,int) add 不适合写类型推导
7. 文字游戏。 add(a,b,&c) 的汇编叫无副作用？
C有函数指针啊，而且Linux还用它“实现OOP驱动”了
只是没 a=>new(b=>a+b) 闭包对象而已，C的落后并不是只在写法上，是GC,API,types,memsafe 的全面不足，但是把C的错误当宝就是程序员的问题了

另外 看见贺老锐评#js 函数式提案，发现很多都被现在的EQ设计过了…

Iterator helpers

[1,2,5,1].Q.firsts(x=>x<3) //基于waitFun,故同时兼容 [],func*,async

Record&Tuple
when(class{
  User(name){表单验证}
})

Stage0：ADT Enum, tail calls

when(class Either{ //EQ继承很多绝句里的语法
  A(v){} B(v){}
})
noOp=(a,b=0)=>nest(b=>{
  if(a!=0)loop(a-1,b+1)
})

Stage1：Observable、Emitter, Extensions, Partial application,Pipeline operator,Memo
前两个是 obj.it.xx 的核心特性

user.to(_=>{name="Jack"})
Str.it({
  cap:_=> _[0].toUpper+slice(1)
})

compose管道也是

num=(a,b)=>a+b
it.n([num.it(+1), x=>x+'%'])
is.ST({num}) //memo

模式匹配，不就是EQ的基石嘛

when(res,
  [{status:200,body}, body!="", fn(bodyVar)],
  [Some(x), x],
  [None, 0]
)

「前人造过的轮子就有点像是数轴上的有理数点：稠密，有序，无穷无尽。但是真当你用的时候，你会发现，你的实际需求有着几乎100%的概率落在有理数的缝隙里。」

Explaining the Postgres iceberg (Score: 150+ in 19 hours)

Link: https://readhacker.news/s/5NJhX
Comments: https://readhacker.news/c/5NJhX