设为首页收藏本站

爱吱声

 找回密码
 注册
搜索
123
返回列表 发新帖
楼主: 晨枫
打印 上一主题 下一主题

[武器展望] “海玛斯”有多烧钱

[复制链接]

该用户从未签到

41#
 楼主| 发表于 2023-2-9 11:26:49 | 只看该作者
唐家山 发表于 2023-2-8 20:417 f- H; W9 j5 i
从FORTRAN翻译到伪码的样本库现在也不够。

' O% J* V; j2 t" j9 [, C% X9 X这就不能完全靠样本库训练了。毕竟FORTRAN是程序语言,不是自然语言。好的FORTRAN编程本来也是结构化了,转换成伪码的难度应该低于自然语言。
回复 支持 反对

使用道具 举报

  • TA的每日心情
    开心
    5 小时前
  • 签到天数: 3117 天

    [LV.Master]无

    42#
    发表于 2023-2-9 11:43:40 | 只看该作者
    晨枫 发表于 2023-2-9 11:267 u, V$ e7 I" @! T; I
    这就不能完全靠样本库训练了。毕竟FORTRAN是程序语言,不是自然语言。好的FORTRAN编程本来也是结构化了, ...

    # X8 D6 A! B$ E. uChatGPT的泛化能力还不行,应该做不了这种“无中生有”的事。如果能做到,ChatGPT就是强人工智能了。
    回复 支持 反对

    使用道具 举报

  • TA的每日心情
    奋斗
    2021-4-20 05:43
  • 签到天数: 300 天

    [LV.8]合体

    43#
    发表于 2023-2-9 12:51:15 | 只看该作者
    晨枫 发表于 2023-2-9 09:14
    & H& O  ~! p% M请人重写也有出错问题啊,打谁的PP?当然是打甲方项目主管的PP。

    ( R, [: W6 D0 D, W所以能不重写就不重写,屎山代码就这么来的。
    9 b2 T  O- r) r( Q, S
    7 j: ]/ d' }- q: d如果GPT可以重写等价代码,更大市场是新代码的优化: d- [7 J" B, ^# Y3 a  Y' u6 [
    + B- t% S9 v. F) m& o7 ~0 n  R
    硬件代码有验证逻辑相同的工具,用FV的方法。也有人想应用到软件,但是软件的复杂性太高。: S1 H: @5 b3 Y) \4 }  _9 ^: H1 k' @
    % y+ I# U0 p* U5 m5 H6 p
    回复 支持 反对

    使用道具 举报

  • TA的每日心情
    奋斗
    2024-3-8 05:45
  • 签到天数: 2441 天

    [LV.Master]无

    44#
    发表于 2023-2-9 12:56:44 | 只看该作者
    老财迷 发表于 2023-2-9 07:30
    0 z( T, E) V. d1 S: ?$ m) d我居然想起来Lisp的大概样子,是不是有很多()?
    $ a8 W. [% V. U) N
    没错,很多括号。 第二特点是运算符在前,这样特别方便往堆栈里面压。
    # H" P- y4 Y( E: B4 T7 ]# h5 e+ m比如定义一个函数:& g- ^" B! P) Z! t

    * i* T$ ?% T5 j) ?9 u( Z(deffunction max (?a ?b), _& }/ n' v' @1 v+ h4 X  D
      (if (> ?a ?b) then/ @6 t4 _4 m+ n
          (return ?a)
    8 ?! i- U" n6 |2 k2 |  else0 i( n# D, m' [0 i  }6 D/ x
          (return ?b)))

    点评

    油菜: 5.0 给力: 5.0
    涨姿势: 5.0
    油菜: 5 给力: 5 涨姿势: 5
    就记得()了,当时一看到这么多()就晕了。这个运算符在前也是反人类啊  发表于 2023-2-10 06:33

    评分

    参与人数 1爱元 +8 收起 理由
    老财迷 + 8

    查看全部评分

    回复 支持 反对

    使用道具 举报

  • TA的每日心情

    7 小时前
  • 签到天数: 3118 天

    [LV.Master]无

    45#
    发表于 2023-2-9 16:27:51 | 只看该作者
    老财迷 发表于 2023-2-9 07:30
    * }; w3 E( k* E1 P/ Q我居然想起来Lisp的大概样子,是不是有很多()?

    & U# N4 ?5 r, t" {+ ~2 {老弟竟然会lisp?,俺读书时的主力语言。
    回复 支持 反对

    使用道具 举报

    该用户从未签到

    46#
    发表于 2023-2-9 19:21:15 | 只看该作者
    可梦之 发表于 2023-2-9 07:40: J' f5 M. e% J- {- T4 @, d! J3 R
    要考虑准确率。AI搬迁后的代码和源代码是不是100%等效的?如果是,如何证明,我们是不知道AI怎么work的。 ...
    4 c. ?. m  N$ l+ Q* u2 H$ [
    这真是问题的核心!自然语言不需要100%精准(也做不到)。而且,代码大到一定程度,不仅要考虑局部,还有全局的优化(refactoring)。翻译一整篇小说,还要“味道”对,ChatGPT大概率还做不到吧。
    回复 支持 反对

    使用道具 举报

  • TA的每日心情

    2025-8-7 11:56
  • 签到天数: 1132 天

    [LV.10]大乘

    47#
    发表于 2023-2-9 21:17:30 | 只看该作者
    tangchaous 发表于 2023-2-9 02:271 @! P; B$ W3 W1 A  S' y" o
    美国联邦税务局(IRS)的税务规则系统是用COBAL写的,早已无法维护,只能打补丁。重写工作已经耗资$4.7B ...
    7 M& _  {2 u, F! w5 M
    COBAL维护人员应该不缺吧,最多10年前,国内四大行的核心系统还是cobal3 J$ g% |" G0 \6 N; q# k
    ( P9 S. y" n* ~
    我们倒是曾经有个同事,搞AS/400的,被IBM三倍工资挖去派到澳洲某银行维护系统了
    回复 支持 反对

    使用道具 举报

  • TA的每日心情
    慵懒
    2022-8-27 22:14
  • 签到天数: 351 天

    [LV.8]合体

    48#
    发表于 2023-2-10 06:41:06 | 只看该作者
    testjhy 发表于 2023-2-9 16:279 Y; [* |5 I  F$ l2 t: _# f0 \
    老弟竟然会lisp?,俺读书时的主力语言。

    % D, ~" D1 r3 `6 e. U  l只是读书时学过,看了两眼就丢一边了,不是我这种水平能学好的。都不记得如何混过考试的了
    2 J! q) y) G% P( C在一线时只会用C写代码,银行向JAVA转型时,我已经没兴趣学了,总之是个学渣
    回复 支持 反对

    使用道具 举报

  • TA的每日心情
    慵懒
    2022-8-27 22:14
  • 签到天数: 351 天

    [LV.8]合体

    49#
    发表于 2023-2-10 06:58:38 | 只看该作者
    晨枫 发表于 2023-2-9 07:45
    8 L) X. a$ B( e. T% _你这是一般性的软件测试问题,这个问题现在还没有完美答案,还是需要大量测试。
    1 J* ]9 ^' Q5 I, |$ N8 ~% E" v  A* y5 o, F
    但“规则”如果是IF…… ...
      u1 q4 _# I* ]3 U( M
    我看到过的银行规则,平行的规则居多,嵌套不太深,嵌套里面的规则排列组合相对简单。6 S! B1 }. q( w, S) W2 W: s
    可能见过嵌套6、7层的吧,设计、写代码并不算太困难。; @* F9 E  u' q0 ]9 @- t) @& B

    3 y% Y8 T# E7 @# k" o& v; {: g----
    4 f2 ?- f5 N0 K* ]  M7 Y: B9 F6 r) X“请人重写也有出错问题啊,打谁的PP?当然是打甲方项目主管的PP。”  V: m. e1 l  Z
    --不论是新写代码、还是迁移代码、原逻辑重写代码、增加新逻辑,只要是乙方的项目制合同,出了问题,我知道的绝大多数都是乙方承担主要责任。
    ( D( u9 c1 K3 I# l4 |' ]9 `* N最近几年,银行流行纯人力外包了,项目管理、成功与否,理论上是甲方负责了。
    0 C2 y' j6 ?! f9 B+ |
    回复 支持 反对

    使用道具 举报

  • TA的每日心情

    2024-12-7 02:20
  • 签到天数: 389 天

    [LV.9]渡劫

    50#
    发表于 2023-2-10 14:03:51 | 只看该作者

    Capture.JPG (91.65 KB, 下载次数: 253)

    Capture.JPG
    回复 支持 反对

    使用道具 举报

    该用户从未签到

    51#
     楼主| 发表于 2023-2-10 14:21:41 | 只看该作者
    * w( M0 O/ ?- S. z4 a
    你们这些人,以虐待AI为乐!
    回复 支持 反对

    使用道具 举报

  • TA的每日心情
    慵懒
    13 小时前
  • 签到天数: 3631 天

    [LV.Master]无

    52#
    发表于 2023-2-11 01:15:41 | 只看该作者
    晨枫 发表于 2023-2-9 03:11. a& f2 F' I( I  W6 S4 l- l
    也不完全是这样,要看整个供应链。如果上游供应链里有一些主要环节产能已经满了,那这些空转产能还是必须 ...

    8 E  l+ p8 ]4 Y) i产能全速运转起来需要大量的技术工人,可惜,美国已经不存在这样的人群了。。
    回复 支持 反对

    使用道具 举报

    该用户从未签到

    53#
    发表于 2023-2-11 06:36:41 | 只看该作者
    大黑蚊子 发表于 2023-2-9 21:17' N, j$ r% g9 g
    COBAL维护人员应该不缺吧,最多10年前,国内四大行的核心系统还是cobal5 F' `2 G2 [* Y. V
    $ s9 k3 i$ E) b# h# @9 ~
    我们倒是曾经有个同事,搞AS/400 ...
    & h) V* Z  B7 F/ ^5 D& p
    如果仅仅是人才少,还是有解的。难处是,本就是超级复杂的规则系统,又是多年来布丁摞补丁,还完全没有文档,事实上没人搞得明白。再加上算错税可是全国人民都不干的大事,所以没人敢去动。
    回复 支持 反对

    使用道具 举报

    手机版|小黑屋|Archiver|网站错误报告|爱吱声   

    GMT+8, 2025-12-15 14:37 , Processed in 0.035205 second(s), 20 queries , Gzip On.

    Powered by Discuz! X3.2

    © 2001-2013 Comsenz Inc.

    快速回复 返回顶部 返回列表