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