首页
注册
登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请
登录
V2EX
›
est
›
全部回复第 16 页 / 共 614 页
回复总数
12264
1
...
12
13
14
15
16
17
18
19
20
21
...
614
❮
❯
218 天前
回复了
996bujiaban
创建的主题
›
算法
›
人类目前算法领域最高的结晶,是什么?
航天领域比如 airbus 早期代码是靠 formal verification 保证稳定的。
就是通过形式逻辑,遍历保证代码所有情况下分支执行都是被验证过无异常,无内存分配问题等。
当然直接遍历不可取,得加入亿点点剪枝优化
220 天前
回复了
moqiang997tang
创建的主题
›
生活
›
为什么要去探亲,探亲的意义是什么
农耕社会,每个家庭就是一个完整独立的生产单元
逢年过节探亲,约等于公司搞跨部门沟通会。
1
...
12
13
14
15
16
17
18
19
20
21
...
614
❮
❯
关于
·
帮助文档
·
博客
·
API
·
FAQ
·
实用小工具
·
2823 人在线
最高记录 6679
·
Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 45ms ·
UTC 07:32
·
PVG 15:32
·
LAX 00:32
·
JFK 03:32
Developed with
CodeLauncher
♥ Do have faith in what you're doing.