香港本地国安法：知情不报可判14年

《维护国家安全条例草案》第12条规定，任何中国公民知悉他人已犯、正犯或即将犯叛国罪，应尽快向警方披露犯罪事宜，否则可处监禁14年。

#cg #code 国产剧《点燃我，温暖你》/110w 里面的一个桥段，天才程序员男主李峋期中考试中完成的爱心代码

效仿评论区就自己写了个…… 另外GL里字体/for循环是较难的

float heart(vec2 P) {
float t= mix(.3,.8, mod(iTime,1.2)),//心跳
r=pow(P.y-pow(abs(P.x),t), 2.)+pow(P.x,2.) -1.;//灰度函数
return r<.3? mix(1.,4.,-r) : r; //黑心换白心
}
在 https://www.shadertoy.com/view/llGSzw main尾部加上
fragColor = heart(fragCoord.xy/iResolution.xy/.2 -2. - sin(iTime)) ;


原up清华毕业，加州工作，微软码农 收获5w播放， 我寻思这好像也不难…… Shader试错比IDE还容易
B站大佬也挺多的，这种开源易懂的少
其实glsl会 desmos.com 都能模拟的
https://www.geogebra.org/calculator 这些工具超好用
主要还是靠工具和html,svg 这些基础知识
现在numpy+opencv 也普及了，PIL那样的canvas库也会慢慢淘汰吧
一切皆向量 一切皆矩阵

canvas就是一个比较装B的
但学了svg后 就真不是啥
反而gl滤镜更有趣
因为现在对app程序员的要求太低了
转个str, list 绑下sql就能用， 涉猎范围都被框架堵住了

#china 两会 #meme 👚 🎉

#cg 用了半天AI都不能创建一个shader
纯frag shader 要想画粒子特效，只能用vec4图片编码vec2 来模拟gl vertex (本质是全局数组 https://stackoverflow.com/questions/48384564/webgl-glsl-time-variable-similar-to-shadertoy)
https://www.shadertoy.com/view/Nty3D3
GPU 每个线程只1个rgba矩阵可变，禁止手动for(;;)全局变量。 GLSL设计的这么僵化，还不如numpy和taichi呢
GL人都是作品靠试错就摆好了，即性粘贴型画师，比jspy还复用白痴 😅可见编译太快联动性会变差
包括Unity等有建工程的
其实是不配称程序员的，和gpt一样 代码没有复用度，全是脚本 用完即弃
但是数学家和物理学家就是这样，不重视自顶向下 复用

https://developer.mozilla.org/zh-CN/docs/Web/API/WebGPU_API#:~:text=像素的颜色

pacaur -S intel-media-driver libva-utils

后访问chrome://flags/ 查看支持度

>编程用 frag Shader 绘制爱心跳动， 心形的内部是白色， 背景是白噪声
>create a 2d ball particles collision demo in ShaderToy
> update BufferA & mainImage separately; note: shaders won't save state
它只会用 matplotlib画..
不过，圆角矩形什么简单图像，AI依然是有可能写出的。需要几个宏

#define time iTime
#define resolution iResolution
#define main mainImage( out vec4 gl_FragColor, in vec2 gl_FragCoord )

> 用 re.sub 去除 "www.bilibili.com/?" 这样链接的 query参数
qwen 实在是太逆天了正则 match group 连AI都不会弄
脑残 我是说全文替换 该死的垃圾AI被双引号骗了

"https://baidu.com\n".repeat(2).replace(/http:\/\/(.*)/g, "ftp:\/$1");

#china #life 完蛋了 🇨🇳开始抽象起来了 https://youtu.be/O4pGVgqDRuU?t=499

从撅醒毛左把公知（公共知识分子，绝对的左翼） 当成境外示例就开始了 😅 真是百家争鸣百花齐放

这些民族主义者，怎么会思考「日本文化就是隋唐文化」之间风月同天的关系呢？ 毕竟批斗会，就是要唱到被霸凌者叛国的节目效果
這真是自己割自己肉給自己吃。日本有些寺庙，神社是有中国古代唐朝元素的，品客连自己国家的汉服都不认识，错认成日本和服，颇有破四旧的砸锅卖钢范了
@战马行动 不是小丑么，怎么他还有信徒啊
随便一个 🔴 和菊花都能是靖国神社
https://news.ifeng.com/c/8XlFNUa68NH
可以说是反智
一个破瓶盖， 诱导你什么了？
手里拿着镰刀锤子的人，眼中满世界都是钉子。
对官唯唯诺诺，对资重拳出击；民生唯唯诺诺，填线重拳出击！

GitHub宣布宣布 JetBrains IDE 中的 GitHub Copilot Chat 全面向所有 Copilot 个人、商业和企业客户开放 (GA)

GitHub Copilot Chat 由 GPT-4 驱动，可直接在各种 JetBrains IDE 中提供即时指导，例如 PyCharm、IntelliJ IDEA、WebStorm、Rider 等。

这个上下文感知工具可以根据您的特定编码任务定制建议，甚至允许显式添加文件以供参考。它使开发人员能够通过协助复杂的概念、代码解释、单元测试和更多用例来高效创新，同时轻松地调整到您喜欢的语言风格。

GitHub Blog
感谢HuaHua提供的新闻线索

线索：@ZaiHuabot
投稿：@TNSubmbot
频道：@TestFlightCN

#plt #recommend 写了一个类型推导科普
😅 完了，感觉我都要变 yinwang.org 了
他10年前的抱怨我全都有，而且我比他还少点实践
https://gist.github.com/duangsuse/8fa4ae8c627e5c3c6044522a84ccebf4

还好好搜了一下各种中文blog
没找到好的内容，草
明明各种大学都有开编译原理依照 static typed
做compiler前端的是吃白饭的么？ 都在教一些又过时又get不到重点的东西一样

这kt编译期显然不是古早的 Matcher() 那个级别
使用Var()来收集类型信息是 https://tomstu.art/hello-declarative-world 里就有的 unification ，但那个支持dfs，比如解X+Y=1。kt可以直接拟合(fit)
现在的React也开始习惯于「变量作为值」了，不过用Signal()深赋值取代diff的还是去年，发展得挺慢

https://justinpombrio.net/2021/03/11/algebra-and-data-types.html
还是ADT更好看些
https://isomorf.io/#!/tours/of/overview/7/python #tool 这里还提了一个跨语言可视化代码编辑器

https://sokra.github.io/source-map-visualization/ sourcemap 可视化 #js
https://github.com/mozilla/source-map?tab=readme-ov-file#generating-a-source-map eval

#china 赢 枫桥经验 赢😅 https://x.com/lilaoshizuikeai/status/1766479105090805936?s=20
萎大祖国又要开始闭关锁国大健身了? 👍

钟薛高，一家明星公司的非意外死亡 | 原文

#dev #life 😁 百度日常发挥 别把ai当做裁人的借口 https://t.iss.one/TestFlightCN/23379
这是在告诉你要挣快钱，细水长流不可取。有人能再给他头上浇一瓶怡宝吗😐

这就像说因为有了电子翻译而不再有语言学家一样。
我敢打赌，等码农能彻底被取代的时候，让AI成为百度的一把手大概率能比李彦宏做的更好

360集团创始人周鸿祎：AI时代更需要程序员 https://t.iss.one/TestFlightCN/23405
两开花两开花 😁

马斯克：本周将开源Grok

线索：@ZaiHuabot
投稿：@TNSubmbot
频道：@TestFlightCN

qwen-max 模型 API 限免中

https://help.aliyun.com/zh/dashscope/developer-reference/tongyi-thousand-questions-metering-and-billing

#通义千问 #LLM #GPT

#china #statement https://youtu.be/jXVfalvlNTE?t=301
依赖特权来获得幸福，最终会因为更大的特权而失去……该被架出去的时候，该心脏病犯的时候，一样会非常狼狈——小郑
莫名想到哈公 愿意放弃自由来换取保障的人，他最终既得不到自由，也得不到保障。

7:40 内在价值vs爱国面子 比烂的幸福感，对社会生活质量带来了什么？

#ai gpt token 分词 https://www.youtube.com/watch?v=zduSFxRajkE

在 Python 关闭 GIL 的功能已经合并入主分支。

https://github.com/python/cpython/pull/116338

thread: /4273

#Pyton #GIL

OpenAI 开源 Transformer Debugger

2024-03-12 21:32 by 黑暗之潮

OpenAI 开源了 Transformer Debugger 工具，该工具是由其 Superalignment 团队开发，用于支持对小语言模型特定行为的调查，组合了自动可解释性技术和稀疏自编码器。它可以用于回答“为什么模型对于这一提示输出了令牌 A 而不是令牌 B”之类的问题。Transformer Debugger 采用 MIT 许可证托管在 GitHub 上。OpenAI 之前曾被马斯克抨击不再共享和开源技术。

https://github.com/openai/transformer-debugger


#开源

微软 Copilot 全面升级 OpenAI GPT-4 Turbo 模型，免费用户也可使用

在经过一系列工作之后，微软现已针对 Copilot 用户群全面升级为 OpenAI 最先进的 GPT-4 Turbo 模型。

Copilot Pro 用户如果不习惯的话还可以切换回标准 GPT-4 模型，但免费用户是无法选择模型的。

线索：@ZaiHuabot
投稿：@TNSubmbot
频道：@TestFlightCN

#plt #code 谈到RPN，我昨天有个灵感想把js做成缩进的形式
就回顾了优先级算法（嵌套深度包括h1~h6树本质上也是优先级）

示例算法 sexp(tok('1 (2 3) 4')), exp(tok('1*2+3'), optab)

optab={[';']:-1}
"=;+ -;* /".split(';').map((a,l)=>a.split(' ').forEach(x=> optab[x]=l ))
exp=(s/*token x单项o算符 x..*/, l/*evels 大则深,紧 */)=>{
  let o,x=()=>add(Number(s())), ord=[],add=x=>ord.push(x),
  at=O=>{let A,B; x()
    for(o=s();(A=l[o])>=(B=l[O]);)if(A!=B)at(o);else{add(O);x(); O=o;o=s()}  add(O)
  }
  at(";");return ord
}

sexp=s=>{let a=[],x;for(;(x=s())&&x!=')';)a.push(x=='('?sexp(s):x); return a}
//^ 一般需配对。此省行数
sexp=(s, a=[], f=()=>{let x,i=0;for(;(x=s())&&x!=')';i++) {x=='('?f():a.push(x)} a.push(i) })=>(f(),a)
//'(a (b c) d)' 换RPN [a b c 2 d 3], 可显示步骤

tok=(cod, s=cod.split(/\s+|([()]|\W+)/).filter(x=>!!x).values())=>
 ()=>s.next().value

https://t.iss.one/dsuse/19097 圆括号解析, CSS代码高亮
https://t.iss.one/dsuse/19320 各种正则替代lex,trie 的妙用
https://t.iss.one/dsuse/17410 带步骤 四则计算器

https://t.iss.one/dsuse/19387 类型推导科普, 动态和词法域,SQL的方言, 转译器 sourcemap
https://t.iss.one/dsuse/18139 bing挑战各种算法和BNF

我还想了个有意思的鬼畜kt翻译，只用 忆一事悟疑实 6个字：

忆一 忆 Pair(一 x:数, 一 y:数)

忆 Main(一 a:行<Pair>): Events {
悟 事 onInit() {
一实((x,y) 于 a) 疑{ x==Z -> 不输别玩 }
}
说的 废物 一 Z=0 //inline private
}
忆悟 Events {
道理 事 onInit()
}
可惜kt没支持 for(..a) 和 a.forEach{} 平权
不然还能更好玩
📝 明天写出来会贴gist