设为首页收藏本站
开启辅助访问 切换到宽版

爱吱声

 找回密码
 注册
搜索
爱吱声»广场 › 研究生院 › 铁马阆苑 › “海玛斯”有多烧钱
123
返回列表 发新帖
楼主: 晨枫
打印 上一主题 下一主题

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

[复制链接]
晨枫

该用户从未签到
41#
 楼主| 发表于 2023-2-9 11:26:49 | 只看该作者
唐家山 发表于 2023-2-8 20:41
  x% }6 t7 {8 {: a% R% B从FORTRAN翻译到伪码的样本库现在也不够。
! y& t- p+ @9 V% P
这就不能完全靠样本库训练了。毕竟FORTRAN是程序语言，不是自然语言。好的FORTRAN编程本来也是结构化了，转换成伪码的难度应该低于自然语言。
回复 支持 反对

使用道具 举报

唐家山
  • TA的每日心情
    开心
    15 小时前

    • 签到天数: 2971 天

    [LV.Master]无

    42#
    发表于 2023-2-9 11:43:40 | 只看该作者
    晨枫 发表于 2023-2-9 11:26% z- ^( h+ L& W1 r7 a" r
    这就不能完全靠样本库训练了。毕竟FORTRAN是程序语言，不是自然语言。好的FORTRAN编程本来也是结构化了， ...

    , z+ |% n& D6 w4 N7 P4 c6 G4 c# NChatGPT的泛化能力还不行，应该做不了这种“无中生有”的事。如果能做到，ChatGPT就是强人工智能了。
    回复 支持 反对

    使用道具 举报

    可梦之
  • TA的每日心情
    奋斗
    2021-4-20 05:43

    • 签到天数: 300 天

    [LV.8]合体
    43#
    发表于 2023-2-9 12:51:15 | 只看该作者
    晨枫 发表于 2023-2-9 09:14
    5 F& E5 u8 T4 p4 ^3 j请人重写也有出错问题啊，打谁的PP？当然是打甲方项目主管的PP。
    9 I# |; K; l2 v! C
    所以能不重写就不重写，屎山代码就这么来的。
    ) x4 d# g0 @  P0 z5 W* B# L/ s( E9 l2 z7 K8 S7 A: v6 i, g% \! i. c) |, w
    如果GPT可以重写等价代码，更大市场是新代码的优化
    , B! \0 Y. h* ?4 u: x7 f- u& `9 L, Q6 ~$ c/ s& U! m0 [6 a
    硬件代码有验证逻辑相同的工具，用FV的方法。也有人想应用到软件，但是软件的复杂性太高。6 w( y( C6 Q& N# h* \/ d6 u9 B

    + [$ k0 o6 N* t# E8 N: O1 v! a9 ^
    回复 支持 反对

    使用道具 举报

    东湖珞珈
  • TA的每日心情
    奋斗
    2024-3-8 05:45

    • 签到天数: 2441 天

    [LV.Master]无

    44#
    发表于 2023-2-9 12:56:44 | 只看该作者
    老财迷 发表于 2023-2-9 07:304 m1 i$ ]' D1 w; R* u, b5 t9 C; I$ P
    我居然想起来Lisp的大概样子，是不是有很多（）？

    / m" D& ~0 J. H* A3 y没错，很多括号。 第二特点是运算符在前，这样特别方便往堆栈里面压。9 M# D$ U8 Y' v5 Z9 V+ `
    比如定义一个函数:3 X6 d, i. w  [0 w1 ^
    ! p2 k, W* Z7 o% b  \6 `
    (deffunction max (?a ?b), l* z+ ?8 O3 ~0 _2 E
      (if (> ?a ?b) then
    ! c" v: F9 L- ~- j+ _! f      (return ?a)) }  |. M0 h$ d' O/ X
      else
    5 _0 b+ k: N7 i6 K/ x- t( e      (return ?b)))

    点评

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

    评分

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

    查看全部评分

    回复 支持 反对

    使用道具 举报

    testjhy
  • TA的每日心情
    奋斗
    23 小时前

    • 签到天数: 2972 天

    [LV.Master]无

    45#
    发表于 2023-2-9 16:27:51 | 只看该作者
    老财迷 发表于 2023-2-9 07:304 x/ ~* o1 m0 V+ [8 n% }
    我居然想起来Lisp的大概样子，是不是有很多（）？
    7 t' g( a, C2 g
    老弟竟然会lisp？，俺读书时的主力语言。
    回复 支持 反对

    使用道具 举报

    tangchaous

    该用户从未签到
    46#
    发表于 2023-2-9 19:21:15 | 只看该作者
    可梦之 发表于 2023-2-9 07:40- n6 Y9 S  ^: y2 g" o9 f% t
    要考虑准确率。AI搬迁后的代码和源代码是不是100%等效的？如果是，如何证明，我们是不知道AI怎么work的。 ...

      {1 ?& s  n! a/ ?  r: f2 a% d# s这真是问题的核心！自然语言不需要100%精准（也做不到）。而且，代码大到一定程度，不仅要考虑局部，还有全局的优化（refactoring)。翻译一整篇小说，还要“味道”对，ChatGPT大概率还做不到吧。
    回复 支持 反对

    使用道具 举报

    大黑蚊子
  • TA的每日心情
    奋斗
    2025-5-3 00:05

    • 签到天数: 1130 天

    [LV.10]大乘
    47#
    发表于 2023-2-9 21:17:30 | 只看该作者
    tangchaous 发表于 2023-2-9 02:27
    - q9 k9 C& F8 p, q- y美国联邦税务局（IRS）的税务规则系统是用COBAL写的，早已无法维护，只能打补丁。重写工作已经耗资$4.7B ...

    ; L( ^: J' m- `7 |$ W: d; |COBAL维护人员应该不缺吧，最多10年前，国内四大行的核心系统还是cobal
    / l! O3 l  J( ?! L" [; U
    # Y, G: S' d8 k( X3 L我们倒是曾经有个同事，搞AS/400的，被IBM三倍工资挖去派到澳洲某银行维护系统了
    回复 支持 反对

    使用道具 举报

    老财迷
  • TA的每日心情
    慵懒
    2022-8-27 22:14

    • 签到天数: 351 天

    [LV.8]合体
    48#
    发表于 2023-2-10 06:41:06 | 只看该作者
    testjhy 发表于 2023-2-9 16:27
    / M$ r; z& v; R/ d老弟竟然会lisp？，俺读书时的主力语言。

    & h" e9 b5 q( X只是读书时学过，看了两眼就丢一边了，不是我这种水平能学好的。都不记得如何混过考试的了! p2 _0 K6 g6 \/ F+ f
    在一线时只会用C写代码，银行向JAVA转型时，我已经没兴趣学了，总之是个学渣
    回复 支持 反对

    使用道具 举报

    老财迷
  • TA的每日心情
    慵懒
    2022-8-27 22:14

    • 签到天数: 351 天

    [LV.8]合体
    49#
    发表于 2023-2-10 06:58:38 | 只看该作者
    晨枫 发表于 2023-2-9 07:458 k8 F/ u( x) c* ?0 j
    你这是一般性的软件测试问题，这个问题现在还没有完美答案，还是需要大量测试。
    2 s# S; M- l9 p2 N$ u$ s: g6 L; g* t4 l) R( I2 P7 B! |/ P
    但“规则”如果是IF…… ...
    7 p# ^. ^' `7 u
    我看到过的银行规则，平行的规则居多，嵌套不太深，嵌套里面的规则排列组合相对简单。
    + i9 c0 N  n  a0 y* h0 J# q7 S可能见过嵌套6、7层的吧，设计、写代码并不算太困难。
    0 E2 d. z- J8 n2 T) }( j. P2 L! o% A' @- j/ s% Y
    ----
    0 k9 q6 C! `& v# F' e“请人重写也有出错问题啊，打谁的PP？当然是打甲方项目主管的PP。”
    ( j% ^/ `5 G$ ]- Z" m--不论是新写代码、还是迁移代码、原逻辑重写代码、增加新逻辑，只要是乙方的项目制合同，出了问题，我知道的绝大多数都是乙方承担主要责任。
    # W, j3 v$ _' ~7 A* P) j最近几年，银行流行纯人力外包了，项目管理、成功与否，理论上是甲方负责了。
    ( p' w4 ^8 Y0 ~# [3 q/ C
    回复 支持 反对

    使用道具 举报

    togo
  • TA的每日心情
    衰
    2024-12-7 02:20

    • 签到天数: 389 天

    [LV.9]渡劫
    50#
    发表于 2023-2-10 14:03:51 | 只看该作者

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

    Capture.JPG
    回复 支持 反对

    使用道具 举报

    晨枫

    该用户从未签到
    51#
     楼主| 发表于 2023-2-10 14:21:41 | 只看该作者
    togo 发表于 2023-2-10 00:03

    - h  w: `- @) v$ h: L你们这些人，以虐待AI为乐！
    回复 支持 反对

    使用道具 举报

    北京阿新
  • TA的每日心情
    慵懒
    23 小时前

    • 签到天数: 3470 天

    [LV.Master]无

    52#
    发表于 2023-2-11 01:15:41 | 只看该作者
    晨枫 发表于 2023-2-9 03:11; M- x) U3 d* N
    也不完全是这样，要看整个供应链。如果上游供应链里有一些主要环节产能已经满了，那这些空转产能还是必须 ...

    # v7 a) O1 T2 s2 A7 E产能全速运转起来需要大量的技术工人，可惜，美国已经不存在这样的人群了。。
    回复 支持 反对

    使用道具 举报

    tangchaous

    该用户从未签到
    53#
    发表于 2023-2-11 06:36:41 | 只看该作者
    大黑蚊子 发表于 2023-2-9 21:175 @( b+ b7 `' a
    COBAL维护人员应该不缺吧，最多10年前，国内四大行的核心系统还是cobal7 N! m1 A. G) b6 h4 y9 u! X) \

    " p0 u0 P, q- ~我们倒是曾经有个同事，搞AS/400 ...
    6 B, G0 v) a" M6 m- d! q
    如果仅仅是人才少，还是有解的。难处是，本就是超级复杂的规则系统，又是多年来布丁摞补丁，还完全没有文档，事实上没人搞得明白。再加上算错税可是全国人民都不干的大事，所以没人敢去动。
    回复 支持 反对

    使用道具 举报

    123
    返回列表 发新帖

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

    GMT+8, 2025-7-7 23:57 , Processed in 0.043962 second(s), 20 queries , Gzip On.

    Powered by Discuz! X3.2

    © 2001-2013 Comsenz Inc.

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