写一个最近做 AI 的感受，有了 LLM 后，做行业应用系统，需要具备行业的抽象能力，再将领域逻辑通过形式化语言进行抽象表达，即能实现多样性，同时具备 AI 生成，相信以后基础的编译原理，编译器开发会迎来春天...
-
精确描述领域逻辑，必须通过形式化语言描述，就像整个文档通过 Markdown 定义一样，如果能够将细分领域应该通过形式化语言，通过 functionCall, domainLogicExpression 表达，即能适配不同应用场景的多样性，同时，也能让 LLM 生成
-
编译器的目的是让 LLM 生成尽可能准确，虽不能 100% 保证，但通过抽象的形式表达，能够让使用者能够理解，通过多轮对话校准，就像程序员生成代码一样，只要能看懂，基本上还是能生成可以正确运行的代码。
 |
1
fate 11 天前
好、好、好
|
 |
2
YmSgrNov29 11 天前  42
我有罪，一眼看成做爱
 |
 |
3
neilsangkuan 11 天前
我有罪...
|
 |
4
baixixi 11 天前
还得是你小汁
|
 |
5
huang86041 11 天前
一眼看错....你是懂标题的
|
 |
6
JavaGo OP @YmSgrNov29 哈哈
|
 |
7
saberlove 11 天前
做做。。。。。
|
 |
8
itechify PRO xx 已退出直播间
|
 |
9
illios 11 天前 3
lz 是懂的
行业应用懂业务领域的不懂代码，懂代码的不懂业务，现在只需要懂业务的通过 AI 转化为形式化描述，再用现有系统把形式化描述实现了就 ojbk 了 |
 |
11
YanSeven 11 天前
没有看懂这里的编译器是什么，用来编译什么的。
|
 |
12
encounter2017 11 天前
感觉在重新发明编译器和程序员
|
 |
13
123zouwen 11 天前
骗我进来
|
|
14
JavaGo OP |
|
15
encounter2017 11 天前 6
《人月神话》：复杂性不会消失，只会转移。AI 没有消除本质复杂性，而是将其从编码环节部分转移到了设计、验证和集成环节，通过 ai 你可以让车子跑的比原来快 10 倍，但车子出问题的频率也会同样增加。
|
 |
16
tingichin 11 天前 1
兄弟，怪我，我的问题。
|
|
17
JavaGo OP @encounter2017 复杂性会随着理解的深入不断增加，传统 C 的编译到现在还在迭代，但至少我们现在不需要写汇编了。
|
 |
18
Aruforce 11 天前 via Android
能弄明白业务模型的…真的需要 AI 来生成代码么？
|
 |
19
zhhqiang 11 天前
检讨一下
 |
 |
20
houOne 11 天前
@YmSgrNov29 +1
|
 |
21
lemonfishTBS 11 天前
不是我想看的内容！生气的回复生气的关闭
|
 |
23
xue777hua 11 天前 via iPhone
如果非要说这个帖子和编译器有关系的话，那就是
“编” |
 |
24
alading11 11 天前
点进来之前已经猜到了，OP 肯定讲的是 AI ，但还是存在一丝侥幸，说不定是乐子人故意发帖其实讲的是做 AI 呢，结果进来后大失所望
|
 |
25
Chatterleys 11 天前 1
今年熬夜不锻炼，时长从之前的 20 多分钟降到 10 多分钟了，双 11 买了延时小蓝瓶上周试了下效果还可以，重回 20 多分钟就是好累
|
 |
26
Aimozar 11 天前 via iPhone
没做过 ai
|
 |
27
yulgang 11 天前
啊，我的眼睛。。。
|
 |
28
kursk 11 天前
我不理解 UP 要表达的意思，“再将领域逻辑通过形式化语言进行抽象表达”
什么叫做形式化表达，如果是类似 markdown 语法，那么是一种结构化语言，这也太麻烦了 |
 |
29
usn PRO 1
没有看懂内容，但是看懂了标题
|
 |
30
kepenj 11 天前
看来还是我纯洁，看了评论才知道标题有点意思~
|
 |
31
keyouli18 11 天前
@YmSgrNov29 +1
|
 |
32
xyooyx 11 天前
要实现行业级落地，既要深刻理解行业业务，能够对复杂流程进行有效拆解；也要具备扎实的 AI 技术理解，才能在拆解后的每个环节中选择合适的工具、模型与提示词，实现精准还原与智能化提升
|
 |
33
zealotxxxx 11 天前
懂业务的人描述 -》转化为标准需求 -》代码实现
这个情况本身是产品经理做的事情，也就是通过 LLM 加速转化。理想是很好的 但是现实情况是 LLM 遵从性太好，不懂得辨别伪需求，以及验证实现。这两块需要投入更多资源来避免问题。 |
 |
35
qwwuyu 11 天前
啪的一下 我就点进来了 很快啊
|
 |
36
DreamSky123 11 天前
你是会做的
|
 |
37
xiaoshakj 11 天前
哈哈哈哈哈
|
 |
38
WuDiHaiTai 11 天前
我有罪,我是一个思想淫乱的人。
|
 |
39
mightybruce 11 天前
标题牛逼， 内容不对，Markdown 不是形式化语言，形式化语言是和数学一样有符号和较严格的逻辑定义的语言
比如 z 语言、petri net 、有限状态自动机这些。 |
 |
40
yanxu4780 11 天前
现在真变成自然语言编程了
|
 |
41
xiaoshaozi 11 天前
那么多工业软件需要国产化，加油
|
 |
42
Msxx 11 天前
我有罪，我甚至都怀疑进错社区了~
|
 |
43
wenchang 11 天前 1
我做过 ai ，但没做过 AI
|
 |
44
sublime8 11 天前
AI 不需要形式化语言，自然语言就行。真正需要的是把需求完整的、有逻辑的表达清楚，原来这个活是产品经理干的
|
 |
45
dyncan 11 天前
6025 次点击应该都不是奔着 AI 的吧
|
|
46
JavaGo OP 看样，我的表达不够清楚，等后面重新再写一篇吧，看样好多人都误会了
|
 |
47
vikim 10 天前
我有罪 抱着极大兴致 看完内容失望的离开。
|
 |
48
feifan00x 10 天前
我点进来不是为了看这些的。
|
 |
49
Leoking222 10 天前
@YmSgrNov29 #2 你不是一个人
 |
 |
50
MrEhco 10 天前
哦。。。这个 AI 啊
|
Select Language