设为首页收藏本站

爱吱声

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

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

[复制链接]

该用户从未签到

41#
 楼主| 发表于 2023-2-9 11:26:49 | 只看该作者
唐家山 发表于 2023-2-8 20:410 }0 @/ q1 E4 z7 X
从FORTRAN翻译到伪码的样本库现在也不够。
4 s7 P( Q5 @3 v  h: A5 a1 p+ U
这就不能完全靠样本库训练了。毕竟FORTRAN是程序语言,不是自然语言。好的FORTRAN编程本来也是结构化了,转换成伪码的难度应该低于自然语言。
回复 支持 反对

使用道具 举报

  • TA的每日心情
    开心
    昨天 08:53
  • 签到天数: 3219 天

    [LV.Master]无

    42#
    发表于 2023-2-9 11:43:40 | 只看该作者
    晨枫 发表于 2023-2-9 11:26. R8 K7 R: C& v( S  ?: {
    这就不能完全靠样本库训练了。毕竟FORTRAN是程序语言,不是自然语言。好的FORTRAN编程本来也是结构化了, ...
    % w1 K5 r2 K/ g: ]( q. t% o. ~
    ChatGPT的泛化能力还不行,应该做不了这种“无中生有”的事。如果能做到,ChatGPT就是强人工智能了。
    回复 支持 反对

    使用道具 举报

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

    [LV.8]合体

    43#
    发表于 2023-2-9 12:51:15 | 只看该作者
    晨枫 发表于 2023-2-9 09:149 E6 X: j6 F/ U' Q- D( f
    请人重写也有出错问题啊,打谁的PP?当然是打甲方项目主管的PP。

    8 \  \; A$ r9 q- T& C4 Q所以能不重写就不重写,屎山代码就这么来的。' n1 Y' B. r$ S  H5 {

    2 @+ w8 l7 m% z0 L: G如果GPT可以重写等价代码,更大市场是新代码的优化
    ( q& x' |4 e/ v3 ^- C
    6 X4 W8 u3 B, k5 H, ~硬件代码有验证逻辑相同的工具,用FV的方法。也有人想应用到软件,但是软件的复杂性太高。
    7 a( r2 J+ U5 K8 C2 v  H' {% Y4 U3 s8 B7 R: j+ O% I" Z
    回复 支持 反对

    使用道具 举报

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

    [LV.Master]无

    44#
    发表于 2023-2-9 12:56:44 | 只看该作者
    老财迷 发表于 2023-2-9 07:30
    ( C& y! O# g6 ~: n4 C9 B& ^我居然想起来Lisp的大概样子,是不是有很多()?

    % @  H$ A2 H2 n- ]/ J  j7 t没错,很多括号。 第二特点是运算符在前,这样特别方便往堆栈里面压。' v0 l0 X4 b+ H2 g4 l
    比如定义一个函数:
    3 v7 Z6 u1 ?+ x. _7 e$ L- u7 e  c( ?& ]
    (deffunction max (?a ?b)
    4 L3 j4 G2 W8 n* z" W& j& j  (if (> ?a ?b) then  j( V2 Z& S0 v; p
          (return ?a)& c8 m; t3 {3 `* b* z. U
      else
    $ Q$ _# E, [* ^+ Y      (return ?b)))

    点评

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

    评分

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

    查看全部评分

    回复 支持 反对

    使用道具 举报

  • TA的每日心情
    擦汗
    4 小时前
  • 签到天数: 3214 天

    [LV.Master]无

    45#
    发表于 2023-2-9 16:27:51 | 只看该作者
    老财迷 发表于 2023-2-9 07:30; T% X+ m: k1 p$ P/ L, O
    我居然想起来Lisp的大概样子,是不是有很多()?
    - r9 M& p" C# h9 Q" w
    老弟竟然会lisp?,俺读书时的主力语言。
    回复 支持 反对

    使用道具 举报

    该用户从未签到

    46#
    发表于 2023-2-9 19:21:15 | 只看该作者
    可梦之 发表于 2023-2-9 07:40% k& Q6 d8 l9 o8 L  T$ i8 }# L8 `
    要考虑准确率。AI搬迁后的代码和源代码是不是100%等效的?如果是,如何证明,我们是不知道AI怎么work的。 ...

    9 a3 [' u- r' T1 \这真是问题的核心!自然语言不需要100%精准(也做不到)。而且,代码大到一定程度,不仅要考虑局部,还有全局的优化(refactoring)。翻译一整篇小说,还要“味道”对,ChatGPT大概率还做不到吧。
    回复 支持 反对

    使用道具 举报

  • TA的每日心情
    擦汗
    2026-3-17 22:01
  • 签到天数: 1133 天

    [LV.10]大乘

    47#
    发表于 2023-2-9 21:17:30 | 只看该作者
    tangchaous 发表于 2023-2-9 02:27; \( T- N% i+ F3 i2 j
    美国联邦税务局(IRS)的税务规则系统是用COBAL写的,早已无法维护,只能打补丁。重写工作已经耗资$4.7B ...
    $ M8 @! I5 u7 R- {
    COBAL维护人员应该不缺吧,最多10年前,国内四大行的核心系统还是cobal# i0 r; }1 j" s
    ) t  y/ d# O' S9 K. x  Z) `
    我们倒是曾经有个同事,搞AS/400的,被IBM三倍工资挖去派到澳洲某银行维护系统了
    回复 支持 反对

    使用道具 举报

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

    [LV.8]合体

    48#
    发表于 2023-2-10 06:41:06 | 只看该作者
    testjhy 发表于 2023-2-9 16:276 }: i* {1 [* y, B
    老弟竟然会lisp?,俺读书时的主力语言。

    & h! F+ V4 s  x6 [" w0 ?只是读书时学过,看了两眼就丢一边了,不是我这种水平能学好的。都不记得如何混过考试的了! w6 f1 B6 @1 G* a" j
    在一线时只会用C写代码,银行向JAVA转型时,我已经没兴趣学了,总之是个学渣
    回复 支持 反对

    使用道具 举报

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

    [LV.8]合体

    49#
    发表于 2023-2-10 06:58:38 | 只看该作者
    晨枫 发表于 2023-2-9 07:457 X9 c  ~/ {% k6 ^. Y0 v4 {. E
    你这是一般性的软件测试问题,这个问题现在还没有完美答案,还是需要大量测试。
    ' ^* v. R8 R" C# y/ c
    . \3 u0 N1 Y2 {  A% [$ y: o但“规则”如果是IF…… ...
    # ?" b7 F. Q( z# E9 R
    我看到过的银行规则,平行的规则居多,嵌套不太深,嵌套里面的规则排列组合相对简单。
    & i; m% V; n4 W& g% |# W可能见过嵌套6、7层的吧,设计、写代码并不算太困难。
    6 w; p: j8 F  p& c
    ! a# J: g0 x+ J1 V- U1 j% r----
    " l, d0 I8 e( @0 J% }7 k, K“请人重写也有出错问题啊,打谁的PP?当然是打甲方项目主管的PP。”+ P4 x$ ~: u$ G' T4 m- p8 f
    --不论是新写代码、还是迁移代码、原逻辑重写代码、增加新逻辑,只要是乙方的项目制合同,出了问题,我知道的绝大多数都是乙方承担主要责任。
    / R/ Y8 ]7 V4 l最近几年,银行流行纯人力外包了,项目管理、成功与否,理论上是甲方负责了。
    # Z* o+ j! ?, h9 U
    回复 支持 反对

    使用道具 举报

  • TA的每日心情

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

    [LV.9]渡劫

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

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

    Capture.JPG
    回复 支持 反对

    使用道具 举报

    该用户从未签到

    51#
     楼主| 发表于 2023-2-10 14:21:41 | 只看该作者
    & c4 @$ o- A4 E  Z; v+ C# Y( w
    你们这些人,以虐待AI为乐!
    回复 支持 反对

    使用道具 举报

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

    [LV.Master]无

    52#
    发表于 2023-2-11 01:15:41 | 只看该作者
    晨枫 发表于 2023-2-9 03:115 N" ^, m5 g# `5 `0 b" D3 \+ q. q
    也不完全是这样,要看整个供应链。如果上游供应链里有一些主要环节产能已经满了,那这些空转产能还是必须 ...

      Q( D  ^0 Q% [" m$ C8 z; U+ r产能全速运转起来需要大量的技术工人,可惜,美国已经不存在这样的人群了。。
    回复 支持 反对

    使用道具 举报

    该用户从未签到

    53#
    发表于 2023-2-11 06:36:41 | 只看该作者
    大黑蚊子 发表于 2023-2-9 21:17. ^: J  N9 Q! u1 J  E8 k' Q  u
    COBAL维护人员应该不缺吧,最多10年前,国内四大行的核心系统还是cobal
    4 O: n. w) K5 @# {. o
      d3 r) U+ w  q3 U我们倒是曾经有个同事,搞AS/400 ...

    7 L! x1 i' u6 R0 i, a4 I, q如果仅仅是人才少,还是有解的。难处是,本就是超级复杂的规则系统,又是多年来布丁摞补丁,还完全没有文档,事实上没人搞得明白。再加上算错税可是全国人民都不干的大事,所以没人敢去动。
    回复 支持 反对

    使用道具 举报

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

    GMT+8, 2026-4-6 10:56 , Processed in 0.063140 second(s), 20 queries , Gzip On.

    Powered by Discuz! X3.2

    © 2001-2013 Comsenz Inc.

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