duangsuse::Echo
717 subscribers
4.25K photos
130 videos
583 files
6.47K links
import this:
美而不丑、明而不暗、短而不凡、长而不乱,扁平不宽,读而后码,行之天下,勿托地上天国。
异常勿吞,难过勿过,叹一真理。效率是很重要,盲目最是低效。
简明是可靠的先验,不是可靠的祭品。
知其变,守其恒,为天下式;穷其变,知不穷,得地上势。知变守恒却穷变知新,我认真理,我不认真。

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): https://WOJS.org/#/
Download Telegram
#ai #tool #algorithm 对比
我比较了一下三个AI免费码农,发现还是bing稍微有点能力
但实际上还是不如手写的(只需replace(/RE/)1次)可能我问的太杂了,GPT基建还任重道远啊

我也是说可以直接compile() 一个字典来分词
dicts=Object.entries({你:"我", 好:"坏" })
dicts.reduce((s, [A,B])=> s.replace(A,B), "你好" )

这样真的很慢
不过jspy界也确实是天上地下,很多人不会正则只知AC

请编写关键词替换.js
let [str, hint]=subs("这群老 板指鼠为鸭,简直是黄 世 仁" )
dicts=[[{黑:"白", 鼠:"鸭"}, "请勿造谣呦"], [{黄世仁:"人民公仆", 老板:"周扒皮"}, "用词不合社会主义"] ]
去空格匹配,期待 hint=="请勿造谣呦\n用词不合社会主义"
若无匹配回null


这样GPT5应该就能代替程序员写全栈了

> 正则不太适合做这个业务,还是用原汁原味AC自动机,再优化的话研究下GPT的token怎么搞的
GPT确实要涉及到NLP。BERT,LSTM 什么的seq2seq推理技术
它应该不是一个按关键词或简单的权重图来分
只是一个计费手段而已,好像也没法省token
非AI的算法往往更快 也不靠GPU
都是应用层的程序员太垃圾,才给人一种算法很慢的错觉
unity内核的开发者和jspy人根本不是一个级别, 学信号处理和数控的都是魔鬼
>做GPT接入的时候,又套了层向量数据库和Java的注解开关,以优化上下文接口的流量
https://cloud.tencent.com/developer/article/2356967
搜了一下,发现VecDB是用于Fine-tune的知识库文件吧,
通过 openai.Embedding API 可以查找问题相似度,类似人脸匹配,从而实现领域术语prompt
我还以为是要webhook让openai反查的,原来只是prompt工程
Forwarded from Solidot
大模型如何工作仍然是个谜团

2024-03-06 23:02 by 霸主的影子

两年前 OpenAI 研究员 Yuri Burda 和 Harri Edwards 试图找到方法让大模型做基本算术。他们想知道需要多少两数相加的例子才能让大模型能完成任意两数相加的算术。一开始,他们进展不是很顺利。大模型能记住例子但无法解决新的加法。他们意外的让部分实验运行数天时间而不是预期的数小时。结果他们发现实验成功了,大模型能完成任意加法,只是所需的时间超出任何人的想象。他们和同事对这种现象展开了研究,发现在特定情况下大模型会突然从无法完成任务到能完成任务,他们称之为“领悟(grokking)”。领悟是让 AI 研究员摸不着头脑的多个现象之一。这突出了深度学习背后的一个引人注目的事实:没人知道它是如何工作,或为什么它能工作。现在最大的模型是如此复杂,以至于研究人员像研究奇特的自然现象那样研究它们,他们进行实验并试图解释结果。很多观察结果违背了经典统计学。

https://www.technologyreview.com/2024/03/04/1089403/large-language-models-amazing-but-nobody-knows-why/


#人工智能
Forwarded from 乙烷日报
香港本地国安法:知情不报可判14年

《维护国家安全条例草案》第12条规定,任何中国公民知悉他人已犯、正犯或即将犯叛国罪,应尽快向警方披露犯罪事宜,否则可处监禁14年。
duangsuse::Echo
#learn #cg #go #bilibili #algorithm > https://www.bilibili.com/video/BV16g411B7Ff 尝试实现下视频里的”大一“代码,感兴趣的话可以深耕 并不天才啊,就是 https://www.desmos.com/calculator/ 里像素化个灰度函数 (y-abs(x)^c)^2+x^2=1 可以把每个运算当成对样条的变换,例如删掉abs(x)不会对称 https://mathworld.wolfram.com/HeartCurve.html…
This media is not supported in your browser
VIEW IN TELEGRAM
#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 👚 🎉
duangsuse::Echo
#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; //黑心换白心…
#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被双引号骗了
"http://baidu.com\n".repeat(2).replace(/http:\/\/(.*)/g, "ftp:\/$1");
#china #life 完蛋了 🇨🇳开始抽象起来了 https://youtu.be/O4pGVgqDRuU?t=499

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

这些民族主义者,怎么会思考「日本文化就是隋唐文化」之间风月同天的关系呢? 毕竟批斗会,就是要唱到被霸凌者叛国的节目效果
這真是自己割自己肉給自己吃。日本有些寺庙,神社是有中国古代唐朝元素的,品客连自己国家的汉服都不认识,错认成日本和服,颇有破四旧的砸锅卖钢范了
@战马行动 不是小丑么,怎么他还有信徒啊
随便一个 🔴 和菊花都能是靖国神社
https://news.ifeng.com/c/8XlFNUa68NH
可以说是反智
一个破瓶盖, 诱导你什么了?
手里拿着镰刀锤子的人,眼中满世界都是钉子。
对官唯唯诺诺,对资重拳出击;民生唯唯诺诺,填线重拳出击!
3.1~3.6 农夫山泉跌了5% 😅😅
在校生出征影响到经济了(反正毛左也觉得矿泉水工厂是剥削嘛)
赶走了外企,再把自己的企业整废了

我被民主自由限制了想像力,我以前抓破頭也無法想像「文革」這種反人類的反动之事怎麼有公信力
当看到 📃+🔴= 🇯🇵=罕见 的厕纸公式在某红书成立时,我吓死了。 碍国人真就战争=反美=和平;砸车=反日=爱国呗?
为了爱国不惜打爆中国人的头,这可真是罕见了。 「這杯水辱華」已經不只是梗圖而是現實了 😘

https://www.google.com/finance/quote/9633:HKG

用在 🇨🇳🇹🇼间叫认知战,用在任何国家的企业间叫商战。
娃哈哈和农夫山泉 已经从老板间的人格攻击,变成媚日辱华的「大节大义」国格问题了 😄
也算一个中国特色
Forwarded from 科技圈🎗在花频道📮
This media is not supported in your browser
VIEW IN TELEGRAM
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
#dev #life 😁 百度日常发挥 别把ai当做裁人的借口 https://t.me/TestFlightCN/23379
这是在告诉你要挣快钱,细水长流不可取。有人能再给他头上浇一瓶怡宝吗😐

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

360集团创始人周鸿祎:AI时代更需要程序员 https://t.me/TestFlightCN/23405
两开花两开花 😁
Forwarded from 科技圈🎗在花频道📮
马斯克:本周将开源Grok

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