In the same way that we can never be certain about the absolute “truth” of a scientific theory but the best we can do is to explain as many experiments as possible, we can also never be sure that a specific piece of software is completely “bug free”. The best we can do is to describe as many tests as possible and prove that they can be served as expected without breaking the desired behaviour.
ECU控制着几亿量的车，车也不是完全电控，结果看安全可控。不升级反而更靠谱。升 级后在dealer机器上可verify。软件规模更是小的多。 OTA可修bug，也可更有效传播bug 问题是bug经常是迟滞的，尼玛得问题够大了才修。IOS13级别的幺蛾子出一次，尼玛特斯拉赔么？赔得起么？还是OTA里有小字upgrade at your own risk?
承认自己说错了有那么难吗？术业有专攻，没人非要强求你一个外行懂软件的101
来，我教你，说错了该怎么承认。下面是我对自己没计算重力势能的失误的原话：
“这一点你是对的，我没有估算重力势能具体数字。如果你一直这样理性讨论那就没有这么多坑了”
在bug free软件这个问题上，你就不能好好承认“这一点你是对的，我不知道bug free程序是不可能写出来的”这一点？非要硬拗？
【 在 Jack (不用) 的大作中提到: 】
: 编程就是编程，我编出了没有bug的程序，就这么简单。
: 我有必要跟你胡扯那些乱七八糟的名词吗?
: 你是不是又准备晒流量了？
怎么争辩也改变不了“程序可以没有bug”这个事实。
要不信你可以悬赏：“谁写出一个没有bug的程序，欠扁给1万美元”。看看你
那吹破牛皮的公司能不能付得出。
【 在 danielfeng (公孙欠扁) 的大作中提到: 】
: 承认自己说错了有那么难吗？术业有专攻，没人非要强求你一个外行懂软件的101
: 来，我教你，说错了该怎么承认。下面是我对自己没计算重力势能的失误的原话：
: “这一点你是对的，我没有估算重力势能具体数字。如果你一直这样理性讨论那就没有
: 这么多坑了”
: 在bug free软件这个问题上，你就不能好好承认“这一点你是对的，我不知道bug
free
: 程序是不可能写出来的”这一点？非要硬拗？
“写出一个没有bug的程序”不可证伪，所以别说悬赏1万刀，就是悬赏1亿刀，这笔悬
赏也是没有任何人可以拿到的
Falsifiability这么简单的概念你都不知道？我的天
【 在 Jack (不用) 的大作中提到: 】
: 怎么争辩也改变不了“程序可以没有bug”这个事实。
: 要不信你可以悬赏：“谁写出一个没有bug的程序，欠扁给1万美元”。看看你
: 那吹破牛皮的公司能不能付得出。
: free
我真的觉得你是知识结构问题。bug free是无法证伪的，你这教育水平是有多差？
随便一搜就是大把科普文：
http://codingismycraft.com/index.php/2016/05/25/falsifiability-and-unit-testing/
In the same way that we can never be certain about the absolute “truth” of a scientific theory but the best we can do is to explain as many
experiments as possible, we can also never be sure that a specific piece of software is completely “bug free”. The best we can do is to describe as
many tests as possible and prove that they can be served as expected without breaking the desired behaviour.
【 在 Jack (不用) 的大作中提到: 】
: 怎么争辩也改变不了“程序可以没有bug”这个事实。
: 要不信你可以悬赏：“谁写出一个没有bug的程序，欠扁给1万美元”。看看你
: 那吹破牛皮的公司能不能付得出。
: free
把不是bug free在不可控的环境下大规模OTA到可能会出人命的车上，是蠢还是坏？为
这个摇旗呐喊的吹鼓手是坏还是蠢？
【 在 danielfeng (公孙欠扁) 的大作中提到: 】
: 你在学校玩toy project我信，你没有一天正儿八经的工业界经验我也信。你玩得好怎
: 么不做这一行？很简单啊，因为你只会玩toy project，连工业界entry level的门槛都
: 够不上
: bug free的程序是不存在的。死掰bug free可能，不是蠢就是坏
★ 发自iPhone App: ChinaWeb 1.1.5
这又回到迭代逼近极限的问题了。既然你认了没有bug free的程序，那么油车ECU迭代
慢甚至根本不迭代，卖出去后又不能升级，里面的bug怎么办？OTA修好了bug马上就部
署新版，哪个更容易出人命你说说看？
【 在 antee (蚂蚁) 的大作中提到: 】
: 把不是bug free在不可控的环境下大规模OTA到可能会出人命的车上，是蠢还是坏？为
: 这个摇旗呐喊的吹鼓手是坏还是蠢？
: ★ 发自iPhone App: ChinaWeb 1.1.5
ECU控制着几亿量的车，车也不是完全电控，结果看安全可控。不升级反而更靠谱。升
级后在dealer机器上可verify。软件规模更是小的多。
OTA可修bug，也可更有效传播bug
问题是bug经常是迟滞的，尼玛得问题够大了才修。IOS13级别的幺蛾子出一次，尼玛特斯拉赔么？赔得起么？还是OTA里有小字upgrade at your own risk?
【 在 danielfeng (公孙欠扁) 的大作中提到: 】
: 这又回到迭代逼近极限的问题了。既然你认了没有bug free的程序，那么油车ECU迭代
: 慢甚至根本不迭代，卖出去后又不能升级，里面的bug怎么办？OTA修好了bug马上就部
: 署新版，哪个更容易出人命你说说看？
★ 发自iPhone App: ChinaWeb 1.1.5
我看懂了，你这是把OTA和Autopilot搞混了。OTA是OTA，Autopilot是Autopilot，说的两个东西。M3 $35k版不买Autopilot的也有OTA
OTA是一个部署方法，Autopilot是一个产品（或者叫feature）
你认为OTA升级就是Autopilot升级，而Autopilot不安全所以OTA不安全
【 在 antee (蚂蚁) 的大作中提到: 】
: ECU控制着几亿量的车，车也不是完全电控，结果看安全可控。不升级反而更靠谱。升
: 级后在dealer机器上可verify。软件规模更是小的多。
: OTA可修bug，也可更有效传播bug
: 问题是bug经常是迟滞的，尼玛得问题够大了才修。IOS13级别的幺蛾子出一次，尼玛特
: 斯拉赔么？赔得起么？还是OTA里有小字upgrade at your own risk?
: ★ 发自iPhone App: ChinaWeb 1.1.5
尼玛你这屎一般的理解力也没谁了
AP尼玛属于容易误用容易导致false sense的半成品。但这个和OTA安全性完全不相干。OTA可以改AP行为表明OTA可以改行车系统。问题就来了。电脑没事刷firmware搞挂了常事吧，不刷反而没事。iOS13的事故更是high light这个风险。AP还说明另一个问题，
这车几乎是全电控的，如果软件发疯可能完全没得救。这种东西上隔三差五OTA还山呼
万岁只能说你们神经大条
你我最大的区别是安全阀值
过去20年大量电控引入汽车，随之而来的就是软件相关安全事故，比如丰田加速，还有啥啥方向盘锁死啥的
特斯拉就是增加了很多死法。
以前ECU就管电喷的时候，尼玛bug也就是引擎疯了，挂个空档踩个离合刹车基本不会啥失控
后来挂档也归ECU管了尼玛就糟糕一些，但是气门还是机械的一松线直接动机就噎住了
也不会啥大事。方向盘更是硬连接基本没啥大事。大众丰田开始电控气阀，尼玛油门本质上是个滑动变阻器，当然实际可能是霍尔器件啥的，ECU直接控制了气门，自动加速
应运而生。然后尼玛转向助力也变成电机蜗杆结构，于是方向盘也能完全抱死了，甚至可以完全不停指挥
现在汽车上估计没完全电控化的就剩刹车了。安全保证的最后一步。特斯拉进了一步，刹车也是电控的
【 在 danielfeng (公孙欠扁) 的大作中提到: 】
: 我看懂了，你这是把OTA和Autopilot搞混了。OTA是OTA，Autopilot是Autopilot，说的
: 两个东西。M3 $35k版不买Autopilot的也有OTA
: OTA是一个部署方法，Autopilot是一个产品（或者叫feature）
: 你认为OTA升级就是Autopilot升级，而Autopilot不安全所以OTA不安全
★ 发自iPhone App: ChinaWeb 1.1.5
同意楼上，其实一般说的ECU方盒子那个E是指Engine，这方面从90年代就功能过剩了，一般车辆90%的功能都用不到，编程不是靠改逻辑而是靠改table和IO。OTA个啥？嫌不
够安全么？
随便买Hondata套件破解一个老掉牙的P28，后置点火/引擎保护/辅助离合/两段起步/
full closed map/individual tuning/连接DIY单片机。。。。 都能做到，更别说现代的standalone。还想OTA干啥？说真的家里游戏机Win10天天ota update有谁不觉得恶心然后关掉吗？
至于autopilot这种全车整合，我个人有个很简单的criterion：嘛时候股沟翻译单机使用能可读了，啥时候我就信任AI的进展了。喵的以股沟的资源规模，现在连着网翻泰语都翻得狗P不通，AI目前还是初级阶段。
这位是搞乌托邦呢，要是bug free才能release这世界上不能release 任何软件
【 在 antee (蚂蚁) 的大作中提到: 】
: 把不是bug free在不可控的环境下大规模OTA到可能会出人命的车上，是蠢还是坏？为
: 这个摇旗呐喊的吹鼓手是坏还是蠢？
: ★ 发自iPhone App: ChinaWeb 1.1.5
自动驾驶不会有一个magic time，到了这个magic time就work了，之前就是垃圾。科技不是这么发展的，都是犬牙加错，进步和失误并存的，唯一的办法就是去尝试。
【 在 Riikanbkk (Riikan) 的大作中提到: 】
: 同意楼上，其实一般说的ECU方盒子那个E是指Engine，这方面从90年代就功能过剩了，
: 一般车辆90%的功能都用不到，编程不是靠改逻辑而是靠改table和IO。OTA个啥？嫌不
: 够安全么？
: 随便买Hondata套件破解一个老掉牙的P28，后置点火/引擎保护/辅助离合/两段起步/: full closed map/individual tuning/连接DIY单片机。。。。 都能做到，更别说现代
: 的standalone。还想OTA干啥？说真的家里游戏机Win10天天ota update有谁不觉得恶心
: 然后关掉吗？
: 至于autopilot这种全车整合，我个人有个很简单的criterion：嘛时候股沟翻译单机使
: 用能可读了，啥时候我就信任AI的进展了。喵的以股沟的资源规模，现在连着网翻泰语
: 都翻得狗P不通，AI目前还是初级阶段。
所以症结根本不在OTA、AP或者Tesla。症结在于你对不熟悉的东西有一种天然的恐惧心理，不愿意去了解，不愿意理性分析风险。这种情绪上的死锁导致你没法理性思考
你对超越传统简单ECU的AP、OTA这一套新事物有天然的抵触情绪。类似的案例在每个新事物诞生的时候都很常见，参见英国的红旗法案。你排斥AP、OTA、全电控就是在心里
给自己立了一个红旗法而已
其实你这么排斥电控的东西，照理说就算是油车你应该也会排斥AT才对，必须买MT，那样机械结构更简单，电控更少
所以如果你油车不是MT粉而是对AT/MT持无所谓态度，只能说明你属于生在哪个时代就
只接受那个时代灌输给你的观念。时代发展了，你自然会感觉不适应
【 在 antee (蚂蚁) 的大作中提到: 】
: 尼玛你这屎一般的理解力也没谁了
: AP尼玛属于容易误用容易导致false sense的半成品。但这个和OTA安全性完全不相干。
: OTA可以改AP行为表明OTA可以改行车系统。问题就来了。电脑没事刷firmware搞挂了常
: 事吧，不刷反而没事。iOS13的事故更是high light这个风险。AP还说明另一个问题，
: 这车几乎是全电控的，如果软件发疯可能完全没得救。这种东西上隔三差五OTA还山呼
: 万岁只能说你们神经大条
: 你我最大的区别是安全阀值
: 过去20年大量电控引入汽车，随之而来的就是软件相关安全事故，比如丰田加速，还有
: 啥啥方向盘锁死啥的
: 特斯拉就是增加了很多死法。
: ...................
赛道换了，你说的那些“后置点火/引擎保护/辅助离合/两段起步”等等和电车没有任
何关系，都是油车的遗留产物
“这方面从90年代就功能过剩了”可以等效翻译为“这方面油车从90年代开始就止步不前”。醒醒，马上2020年了，90年代是苏联刚解体那时候，苏联时代的技术用到现在，画面太美我不敢想
【 在 Riikanbkk (Riikan) 的大作中提到: 】
: 同意楼上，其实一般说的ECU方盒子那个E是指Engine，这方面从90年代就功能过剩了，
: 一般车辆90%的功能都用不到，编程不是靠改逻辑而是靠改table和IO。OTA个啥？嫌不
: 够安全么？
: 随便买Hondata套件破解一个老掉牙的P28，后置点火/引擎保护/辅助离合/两段起步/: full closed map/individual tuning/连接DIY单片机。。。。 都能做到，更别说现代
: 的standalone。还想OTA干啥？说真的家里游戏机Win10天天ota update有谁不觉得恶心
: 然后关掉吗？
: 至于autopilot这种全车整合，我个人有个很简单的criterion：嘛时候股沟翻译单机使
: 用能可读了，啥时候我就信任AI的进展了。喵的以股沟的资源规模，现在连着网翻泰语
: 都翻得狗P不通，AI目前还是初级阶段。
写Hello World和小规模程序的才会天真认为自己写的代码bug free。稍微有规模的系
统哪个不是内部一堆tickets需要fix，只是不接触这行的人不知道而已
【 在 Caravel (克拉维尔) 的大作中提到: 】
: 这位是搞乌托邦呢，要是bug free才能release这世界上不能release 任何软件
历史上的大事件通常是缓慢发生的，回头看历史的时候才会浓缩总结成哪一年到哪一年开始了什么转变，然而处于当时时期的人往往不自知。每个人察觉的timing不一定一样，毕竟悟性不同，有不少人一辈子也不会察觉
【 在 Caravel (克拉维尔) 的大作中提到: 】
: 自动驾驶不会有一个magic time，到了这个magic time就work了，之前就是垃圾。科技
: 不是这么发展的，都是犬牙加错，进步和失误并存的，唯一的办法就是去尝试。
这话说的，掷地有声
【 在 danielfeng (公孙欠扁) 的大作中提到: 】
: 我国内的驾照最初是老C照，后来分了C1/C2才换的。不说开得多好，手动技术秒杀大部
: 分人是没有任何问题的。本来那时候还能直接换B1照，不过要年检，在美国就不方便了
: 开手动是更有操控感，但大势已去，再有情怀也不可能闭着眼睛胡乱否认客观趋势。为
: 自己的情怀买单那没问题
其实就是老了，根本不愿去考虑新鲜事物。稍微和自己知道的东西有点抵触，就会拼命反对。
这样的人非常多。
【 在 danielfeng (公孙欠扁) 的大作中提到: 】
: 所以症结根本不在OTA、AP或者Tesla。症结在于你对不熟悉的东西有一种天然的恐惧心
: 理，不愿意去了解，不愿意理性分析风险。这种情绪上的死锁导致你没法理性思考
: 你对超越传统简单ECU的AP、OTA这一套新事物有天然的抵触情绪。类似的案例在每个新
: 事物诞生的时候都很常见，参见英国的红旗法案。你排斥AP、OTA、全电控就是在心里
: 给自己立了一个红旗法而已
: 其实你这么排斥电控的东西，照理说就算是油车你应该也会排斥AT才对，必须买MT，那
: 样机械结构更简单，电控更少
: 所以如果你油车不是MT粉而是对AT/MT持无所谓态度，只能说明你属于生在哪个时代就
: 只接受那个时代灌输给你的观念。时代发展了，你自然会感觉不适应
孙中山早就说过，人分三类，先知先觉，后知后觉，不知不觉。
【 在 danielfeng (公孙欠扁) 的大作中提到: 】
: 历史上的大事件通常是缓慢发生的，回头看历史的时候才会浓缩总结成哪一年到哪一年
: 开始了什么转变，然而处于当时时期的人往往不自知。每个人察觉的timing不一定一样
: ，毕竟悟性不同，有不少人一辈子也不会察觉
我觉得也不用互相伤害，没有意思。当年日本把蒋介石打到重庆的时候，跟着去的多数是这样死脑筋。哪些脑筋活的，说就不好听的，当汉奸的多
【 在 mfnx (yxinar) 的大作中提到: 】
: 其实就是老了，根本不愿去考虑新鲜事物。稍微和自己知道的东西有点抵触，就会拼命
: 反对。
: 这样的人非常多。
很早之前就总结过特粉的一大特征便是，一旦有人指出tesla车的一些缺点，特粉就马
上入戏，觉得别人在否定电车。
看看这么多特粉夜以继日地24X7在不停地刷mitbbs，就能明白他们的生活状态。就算把铁板钉钉的事实摆在这些人面前让他们看，他们仍然会找借口说这是在摄影棚里专门摆拍的。所以这些人没法被说服。不过这对于旁人来讲反而更好，因为这是一个恶性循环，他们出不来是我们所求之不得的。
特黑不是Tesla车主，自己还都开着300灵车，还能免费24x7为Tesla义务宣传。伟大的
情怀
特别是某个心理专家、刑法专家、灵车专家、成功人士等集你能想到的所有头衔于一身的特黑
【 在 felixcat (Cirrus Logic) 的大作中提到: 】
: 很早之前就总结过特粉的一大特征便是，一旦有人指出tesla车的一些缺点，特粉就马
: 上入戏，觉得别人在否定电车。
: 看看这么多特粉夜以继日地24X7在不停地刷mitbbs，就能明白他们的生活状态。就算把
: 铁板钉钉的事实摆在这些人面前让他们看，他们仍然会找借口说这是在摄影棚里专门摆
: 拍的。所以这些人没法被说服。不过这对于旁人来讲反而更好，因为这是一个恶性循环
: ，他们出不来是我们所求之不得的。
尼玛刹车还不是电控
【 在 danielfeng (公孙欠扁) 的大作中提到: 】
: 所以症结根本不在OTA、AP或者Tesla。症结在于你对不熟悉的东西有一种天然的恐惧心
: 理，不愿意去了解，不愿意理性分析风险。这种情绪上的死锁导致你没法理性思考
: 你对超越传统简单ECU的AP、OTA这一套新事物有天然的抵触情绪。类似的案例在每个新
: 事物诞生的时候都很常见，参见英国的红旗法案。你排斥AP、OTA、全电控就
★ 发自iPhone App: ChinaWeb 1.1.5
尼玛别未经许可上大马路测试，你围个地方测试去没人管。连红绿灯都不认居然就上路了
【 在 Caravel (克拉维尔) 的大作中提到: 】
: 自动驾驶不会有一个magic time，到了这个magic time就work了，之前就是垃圾。科技
: 不是这么发展的，都是犬牙加错，进步和失误并存的，唯一的办法就是去尝试。
★ 发自iPhone App: ChinaWeb 1.1.5
cruise control都能上路，autopilot 不行？
【 在 antee (蚂蚁) 的大作中提到: 】
: 尼玛别未经许可上大马路测试，你围个地方测试去没人管。连红绿灯都不认居然就上路了
: ★ 发自iPhone App: ChinaWeb 1.1.5
尼玛你老老实实抓着方向盘别瞎整没事。现在丫老实了，不停让你报道你醒着了，这种功能居然需要人命来换尼玛
【 在 Caravel (克拉维尔) 的大作中提到: 】
: cruise control都能上路，autopilot 不行？
: 路了
★ 发自iPhone App: ChinaWeb 1.1.5
你说了这么一大坨，似乎从理论上证明了现在有大量电控的汽车比几十年前没有电控的汽车危险。但事实表明，现在有大量电控的汽车统计上比几十年前的车安全好几倍。你怎么解释？
【 在 antee (蚂蚁) 的大作中提到: 】
: 尼玛你这屎一般的理解力也没谁了
: AP尼玛属于容易误用容易导致false sense的半成品。但这个和OTA安全性完全不相干。
: OTA可以改AP行为表明OTA可以改行车系统。问题就来了。电脑没事刷firmware搞挂了常
: 事吧，不刷反而没事。iOS13的事故更是high light这个风险。AP还说明另一个问题，
: 这车几乎是全电控的，如果软件发疯可能完全没得救。这种东西上隔三差五OTA还山呼
: 万岁只能说你们神经大条
: 你我最大的区别是安全阀值
: 过去20年大量电控引入汽车，随之而来的就是软件相关安全事故，比如丰田加速，还有
: 啥啥方向盘锁死啥的
: 特斯拉就是增加了很多死法。
: ...................
吃快餐上厕所时路边在哪充电？