我也不清楚。codex看不出来哦。
搜索找到 597 个匹配
- 今天 16:17
- 版面: 葵花宝典(Programming)
- 主题: Web编程,by design,全是屎山
- 回复总数: 18
- 阅读次数: 819
- 今天 16:14
- 版面: 葵花宝典(Programming)
- 主题: Web编程,by design,全是屎山
- 回复总数: 18
- 阅读次数: 819
Re: Web编程,by design,全是屎山
我是regex检查是否符合格式。
不然就重试。这是我会的最实用的办法。
自己做tool selection等都可以用。
别的办法理论上也可行。但都不如regex - retry 简单。
还没来得及详细研究。
- 今天 16:03
- 版面: 葵花宝典(Programming)
- 主题: Universal Lambda之最新纪录
- 回复总数: 13
- 阅读次数: 405
Re: Universal Lambda之最新纪录
wdong 写了: 今天 14:38图灵完备只需要一条指令。https://en.wikipedia.org/wiki/One-instr ... t_computer
现在LLM有一个缺陷,就是你只能说从什么地方开始generate,并不能说到哪里结束。如果这个问题能够解决,就可以上lambda calculus了。
他们这个是utm对应的universal lambda calculus.大致相当于
找了二十年最短的lambda calculus解释器。
- 今天 11:13
- 版面: 美国新闻(USA News)
- 主题: 开始狠打烙印医生了
- 回复总数: 47
- 阅读次数: 3834
Re: 开始狠打烙印医生了
NIH director现在就是老印。
- 今天 10:35
- 版面: 葵花宝典(Programming)
- 主题: Web编程,by design,全是屎山
- 回复总数: 18
- 阅读次数: 819
Re: Web编程,by design,全是屎山
codex也弄不对\\\\\\ 之类的parse
往往与其说也说不清楚
后来,prompt里需要格式的地方,我就用html了。
再后来,我自己编了个语法:
[p]xxx xxx[/p]搞此类事。一直没出过错。
之前我贴的那一小段用\\\\自定义
Tool selection的c代码就是codex生成的。里面有错。
不过能用。
- 今天 10:23
- 版面: 葵花宝典(Programming)
- 主题: Universal Lambda之最新纪录
- 回复总数: 13
- 阅读次数: 405
Re: Universal Lambda之最新纪录
Block了
- 今天 10:21
- 版面: 葵花宝典(Programming)
- 主题: Universal Lambda之最新纪录
- 回复总数: 13
- 阅读次数: 405
Re: Universal Lambda之最新纪录
我亦没有说这两件事有关系。
你把理由说清楚,不然block 了。
- 今天 10:18
- 版面: 葵花宝典(Programming)
- 主题: Universal Lambda之最新纪录
- 回复总数: 13
- 阅读次数: 405
Re: Universal Lambda之最新纪录
heteroclinic 写了: 今天 10:14你不觉得很象南北朝的骈文么,你可以科普下么
我觉得AI 或者编程能(全社会列出,优先)十个问题解决,就算陈恭
你可以指令AI,我也试试,看不同的AI怎么说
你攻击特定人群,尽管是中文论坛,我尊重你的表达,但大加都吱声的话,可能有默认你就是国民大会主席的假象。所谓隔墙有耳,攻击要有理由剧,含蓄幽默不要那么直白。
我攻击谁了? Justine 是变性人士,这是事实。
其可能是其这一辈里c语言最强者。
- 今天 03:21
- 版面: 葵花宝典(Programming)
- 主题: C语言大师们:宫廷乐师,流浪歌手,变性者…
- 回复总数: 1
- 阅读次数: 181
C语言大师们:宫廷乐师,流浪歌手,变性者…
“Angrier”。
流浪歌手 Ballard 去年底出了一个micro quickJS。
似乎是
只用10k内存的js engine
Justine 产量极高。最新的是:
blink, the tiniest x86-64-linux emulator on Earth
以及研究几十个字节的lambda calculus解释器
Redis的作者也出了个small size inference engine
……
都是越做越小
这些人编程水平,八辈子我也赶不上。
但是2018年我就在ESP32上训练ML/AI模型了 ...
- 今天 02:03
- 版面: 葵花宝典(Programming)
- 主题: AI是数据和算力现象而不是算法现象
- 回复总数: 14
- 阅读次数: 982
- 今天 00:58
- 版面: 葵花宝典(Programming)
- 主题: Universal Lambda之最新纪录
- 回复总数: 13
- 阅读次数: 405
Re: Universal Lambda之最新纪录
看来,年轻一代的c语言大师也是往小里研究。
【收点资料投喂ai】
- 今天 00:56
- 版面: 葵花宝典(Programming)
- 主题: Universal Lambda之最新纪录
- 回复总数: 13
- 阅读次数: 405
Universal Lambda之最新纪录
等,与现在形象不同)
很久前写了个single file ansi c
Web server,名列hack news 有史以来hobby 项目第二。
简历如下:
https://x.com/bigaiguy/status/2064281585621610515?s=20
刚看到去年底他报告:
The Tromp conjecture has just been revised. Two days ago someone on Discord found a way to implement a lambda calculus ...
- 今天 00:48
- 版面: 葵花宝典(Programming)
- 主题: AI是数据和算力现象而不是算法现象
- 回复总数: 14
- 阅读次数: 982
Re: AI是数据和算力现象而不是算法现象
minren 写了: 昨天 22:40社会多元,各有所志,有人志在珠峰。
Geoffrey Hinton 默默耕耘 也算例子。趣闻:Hinton给算法起名为deep learning,指原先最好的算法为 shallow learning,被该作者发文骂回为 deep learning 属于笨拙的 brutal force。
啥叫志在珠峰。
全世界除了我还有哪个做AI算法的,用esp32训练模型
- 昨天 21:52
- 版面: 葵花宝典(Programming)
- 主题: AI是数据和算力现象而不是算法现象
- 回复总数: 14
- 阅读次数: 982
Re: AI是数据和算力现象而不是算法现象
家里有矿的人,会去做力工吗
- 昨天 19:08
- 版面: 军事天地(Military)
- 主题: 加拿大可以自己买医疗保险吗
- 回复总数: 2
- 阅读次数: 213
加拿大可以自己买医疗保险吗
美国自己买。2万-3万美元/年。
请问有人知道加拿大之详情吗
- 昨天 18:59
- 版面: 中国新闻(China News)
- 主题: 孔子和耶稣
- 回复总数: 27
- 阅读次数: 1319
- 昨天 18:54
- 版面: 葵花宝典(Programming)
- 主题: AI是数据和算力现象而不是算法现象
- 回复总数: 14
- 阅读次数: 982
Re: 老子犹堪绝大漠
因为秦朝制度来自于韩非子。韩非子本于老子,所以迄今
此理论验证强度最高的是韩非子引用的那部分。
- 昨天 04:13
- 版面: 葵花宝典(Programming)
- 主题: Codex做最新高考题几分钟满分
- 回复总数: 0
- 阅读次数: 233
Codex做最新高考题几分钟满分
以上均非商业机构(至少我没看出来)发布的情况。
