2026.08

Bend

链接

200

https://bend-lang.com/

分类

资料开发AI安全2026-09-19 08:37:00

简介

面向 AI 编程的验证语言。利用 lean 证明来阻止 AI 犯错，对比人类语言更加精准，且验证很快。

相似条目

笔记

Beta

暂无笔记

                                    ..ddddd..                                    ..ddffff...                                d. .dfd..dd.. .                            ..........dd.d...... .                        ....d.d.fdddd  .dd...d.. .                    . .dffdd........dd.d...d..dd                d   . .ddfd.    .  .d..d....dd                .   ..dd.fddd...     ....d...                . ddfdfdfddf.      .......            . .  .....dddd.ddd.   .d.  .d.  d            . . .d......ddfdddd.     ..d..dd. .            . . ..dd. .....ddddd   .       d..d            . .d.    . ..... ...d. .      .....            ......d...... ......dd..     dd..d        . dd.dd..d..       .d..dd f  .ddd..            .ddd..dddd...        .dd.......  d        . d.dddd..         d .   ......d.    d        f  ...ddd..ddd.            ...        .f        .............d.                      .d        . .  ..   ....   .d.ddd.dd..      ...dd    d...  .    ...d..... ... ..  ........dd..d    f. .... .  ......d.d...        ..d..fd....        .... ...  .ddddd..dd.f.       .dd...d..d    ...  ..........f.fdd.d... d    ....d.....    d......   ........dfddfd.     ...  ..d.df    f..........     ....ddd.    .d...   .    ...........   .....ddd.      ... .d    ........dd........dd..          .f    .. .......dd.........         .    ..  ............. .      .. .    ............. ... .      ..    .. ........   . ..      ..    d..........    .       ...  .    .... ...     .. .  .   ...    .. . ...d.  ...d.....   ..    .    ..........    .d...d .   .  .  ...... .....    ..d....      .   ..f............ ....d..... ...     d    fddd...........  .         ...f            .dd.............d