非通勤
陌生线路

导航呢？？

连我这种一个导航一个地图 app 都不装的 起码也会拿微信和滴滴来看看自己到哪了

/t/701735

关键词： 形式化验证

lz 你把你的产品的 ui 前端写出来

是不需要任何成本的

画一个有名字的线框，这个线框自动生成 一个 class 代码 ，这一步是不需要任何成本的

你做了这一步了吗？




懂大家想说啥吗？

Tree->GetLength(Frame*) ？？

为什么不能是 Tree->Frame->GetLength ？

为什么 Frame 要知道 Tree 结构的信息？

挂心内科看一下

24 小时动态血压和 24 小时心电图查一下 高血压不是看两眼就可以诊断的

@Jirajine 我是告诉 lz 贸然装双系统风险很大，你是在试图解释风险可以通过“原理搞清楚”来避免吗？

完全可以啊，但搞清楚之前的风险呢？

bootmgr.efi 不是 standalone 的，从别的磁盘上把它 copy 过来往往是不能直接用的，bcd 也要另外生成，生成出来了也是依赖磁盘 uuid 不能移植的
grubx64.efi 也不是 standalone 的 grub 的插件，引导配置，都不在 esp 里，甚至引导配置文件在哪个位置这件事是 builtin 在 efi executable 里的。 当然你可以手动执行 grub-install 然后带上一大堆选项 build 一个带插件的 grub 并且把 grub.cfg 指到 esp 分区里这样当你只有一个 efishell 的时候还能手打 grub 命令引导起来，但前面 build grub 的这一步你猜猜没经验的我当初研究了多久？

“起个 liveCD” 说得轻巧，你只有 u 盘的时候能正确引导起来 livecd 吗？系统没了还得花钱买个 usb 光驱吗？ 这些都不是 0 成本的，一个晚上能用 u 盘起起来 livcd 就很不错了

linux 用户缓缓打出一个斜杠

我记得 clang format 有选项控制是否对齐结构体的等号

优点： 虚拟机环境有多少坑就不说了吧，3D 加速、cuda 、硬件、性能。。。

缺点：

非常容易丢数据！！



windows 的启动顺序：上电 -> 主板 efi -> windows boot manager (未知) -> windows loader(efi)
linux 的启动顺序： 上电 -> 主板 efi -> grub (efi) -> linux loader(efi) -> linux 内核
双系统的启动顺序： 上电->主板 efi-> grub (efi) -> windows boot manager （未知）-> windows loader(efi)

windows 的 boot manager 和 bcd，数据和可执行程序放在哪没几个人搞得清楚，似乎也会直接写到主板 efi 相关的 rom 里去
grub，可执行文件在 efi 分区里，配置文件在 linux 的 /boot 下，如果用默认参数安装 /boot 就是挂在 / 里，意味着启动配置文件在 linux 分区里，那么想在 windows 下编辑 grub 的启动配置，或者想卸载 linux 保留 windows 就变得非常非常困难，一旦 linux 的 rootfs 挂了 windows 也起不来了

而非常不幸的是，linux 本身非常容易莫名其妙挂掉，比如你两年没升级的 arch，心血来潮升一下，挂了。ubuntu1604，改一下源升到 1804，成功了，再改源升 2004，挂了，这种系统版本升级失败都是直接毁掉 libc 之类的基础依赖，想修想回滚都非常非常困难，至少单机不外挂系统是无法修复的。在 linux 挂掉的情况下，你想重装 linux ？或者干脆卸掉？不好意思，grub 配置文件也在里头，仔细考虑。

另外一个非常不幸的点是 bcdedit 也非常难用而且原理不明，你没法简单地 copy 一下 bcd 文件和 boot manager 的 efi 程序就能让 windows loader 正常跑起来，全中文互联网世界你都找不到 “windows 系统还在引导没了如何修复”的正确的步骤和资料。

还有一个更更不幸的点是，windows 跨版本升级时有时候会把引导重新写一遍，意味着会丢失主板 efi->grub 的流程而直接执行 windows boot manager……



没那必要。还不如开个 vps 来尝试，还有快照，还不占资源。

vs 吃自助餐撑到胃穿孔

啥叫部门之间相互看不见

部门群？

f=at
单位时间受力正比于加速度
枪炮管受力显然是一个瞬时极高压然后降下去的过程
“瞬时极高压” 可能是一个指数曲线，但可以泰勒展开逼近。无论如何显然不是线性增长再线性下降。

所以加速度不是线性增长。
“单调”？先暴涨也是单调增，你可能想表达的不是这个意思

做产品指的是做手机的人，不是你，别急着对号入座

做调研是个很麻烦的事，就拿有多少人刷 nfc 这个点来说，与不同城市的公交卡支持程度不一样有关，与企业热区带来的人流群体相关的消费能力不一样有关，与出行时段对应的用户群体不一样有关， 还与市政开通对接 nfc 还是扫码的先后顺序有关


在这里回复你的肯定都无法给出一个全面样本的参考，但起码

北京
上班时段（老年人少）
互联网企业热区（人们接受度普遍高）
公交（准备时间短）
的场合，绝大部分人都在刷 nfc

如果我们按某种可量化的估算方式来算用户量
我观察区域的公交频度能达到 1 分钟一趟
算上班时段为 8 点到 10 点两个小时
每趟车平均载人 50 个（只考虑我上班这段路的同行人数，实际上一趟车不断有人上下人次多得多）
9 成的人都刷 nfc
可以得出这两公里路两小时内有 120x50x0.9=5400 个用户，每平方公里 2700 个用户，五环面积 667 平方公里；得出结论大概有 180w 用户


当然这个估算方式很不准，但他是某种调研用户群体量的方法论，至少百万数量级是差不了太远的。有这个数据支撑的结论你还觉得你的感觉准确吗

lz 不搭公交地铁感觉不到

如果你留意一下的话，现在几乎已经没人用卡片了，全都在刷手机，NFC 与刷码的比例大于 9:1，绝大多数人都在用 NFC 搭公交地铁



做产品切记闭门造车 :doge:

这个人是老板的人

他跟老板是一条船上的

你先问问自己是不是同一条船，老板会不会分你肉吃