imKiva 最近的时间轴更新 imKiva 最近的时间轴更新 |
imKivaV2EX 第 336871 号会员，加入于 2018-07-29 07:36:09 +08:00 |
imkiva
imKiva 最近回复了
5 天前 回复了 fpure 创建的主题 › 程序员 › 这算不算是静态类型系统的缺憾 |
@imKiva #42 补充一下：“但是在 ts 里不行” 除非 as const
5 天前 回复了 fpure 创建的主题 › 程序员 › 这算不算是静态类型系统的缺憾 |
@fpure #14 这是显然可以的，但是在 ts 里不行。可以试试用 dt 语言
比如 agda: https://tio.run/##XY09DoJAEIX7PcUrpYCopUQLo60xXoBMEMgmyywuS4GEzsYDeACvxkFcl/[email protected]/[email protected]fFaCr/[email protected]
比如 agda: https://tio.run/##XY09DoJAEIX7PcUrpYCopUQLo60xXoBMEMgmyywuS4GEzsYDeACvxkFcl/[email protected]/[email protected]fFaCr/[email protected]
41 天前 回复了 ducklu 创建的主题 › GitHub › Copilot 不能用了 |
可能是 github.com 被解析到了 127.0.0.1
69 天前 回复了 fanxasy 创建的主题 › macOS › esxi 跑 macos 虚拟机需要哪些条件 |
仅提供信息作为参考：我这里双路 E5-2683v4 安装 ESXi 7.0 ，把 BigSur 的安装镜像挂载上去就像其他虚拟机一样装，没有改任何设置。
140 天前 回复了 94MJ 创建的主题 › NAS › esxi 硬盘直通后的问题 |
@94MJ #2 如果 PVE 里的目标虚拟机依然是群晖，那么第一条是满足的。按我的理解，PVE 使用的 QEMU + KVM 的方法支持直接将物理设备添加到虚拟机，所以第三条是满足的。你只需要查资料搞清楚群晖是否可以不格式化新硬盘就将其添加到存储池中。如果不支持，那么建议冷备份迁移。
140 天前 回复了 94MJ 创建的主题 › NAS › esxi 硬盘直通后的问题 |
@94MJ #2 数据在硬盘里，PVE 里的虚拟机能不能读到取决于：1. 硬盘的文件系统。2. 虚拟机系统是否支持不格式化添加新硬盘。3. 你能否以类似的方法将硬盘直通给 PVE 里的虚拟机。
140 天前 回复了 94MJ 创建的主题 › NAS › esxi 硬盘直通后的问题 |
> 毕竟之前是 rdm 分配给 esxi 的 对 rdm 生成的 vmdk ，数据是保存在哪，不是很清楚
rdm 直通下生成的 vmdk 里面只包含了你的物理硬盘的路径，并不存储数据。数据是存放在你的物理硬盘上的。换到另一台机器上，你用同样的方法生成 vmdk 就行了，数据不会丢失。
rdm 直通下生成的 vmdk 里面只包含了你的物理硬盘的路径，并不存储数据。数据是存放在你的物理硬盘上的。换到另一台机器上，你用同样的方法生成 vmdk 就行了，数据不会丢失。
143 天前 回复了 wuqingdzx 创建的主题 › 问与答 › 请教大家如何起诉微软？ |
@nyanim #42 我的剧情和你惊人的相似，只不过我是用 Windows 还原点还原 Windows 导致 iCloud 的仅云端文件被全部删除，最后用 TimeMachine 里的文件备份恢复回来了。
这么一看类似 Windows 用 iCloud 或者 Mac 上用 OneDrive 这种「杂交」生态都有很大的数据风险，笑死
这么一看类似 Windows 用 iCloud 或者 Mac 上用 OneDrive 这种「杂交」生态都有很大的数据风险，笑死
154 天前 回复了 Licsber 创建的主题 › 生活 › 对亲妹妹无语 小学教了 1*1 2*1 2*2(两位数乘两位数) 然后问她三位数乘两位数 她说不会 老师没教 还要下学期才能学到 我教了之后再问四位数乘两位数 还说不会 切实体会到为什么有些家长会教小孩教疯 |
> 同时我认为信息技术是未来不管每行每业都会接触到的技术
> 不管她之后走向什么职业
> 提前了解些计算机知识对理解电脑这个东西的运作会有帮助
这话说的没错，“信息技术”确实是“未来不管每行每业都会接触到的技术”。
但诸如“编码”，“加法器的进位实现”，“半加全加器”什么的完全不是，知道这些对非计科的从业者没有什么帮助。因为他们需要的不是实现细节，更多是如何应用。
换个角度思考，“数学”在每行每业也是都会接触到的技术，加法，乘法，自然数，实数等等东西都是人必须掌握的。但如果你不是数学专业的研究者，你没有太大的必要知道什么是群、环、域。因为知道细节对你的工作不会有太大帮助，你需要的只是怎么使用数学。
> 不管她之后走向什么职业
> 提前了解些计算机知识对理解电脑这个东西的运作会有帮助
这话说的没错，“信息技术”确实是“未来不管每行每业都会接触到的技术”。
但诸如“编码”，“加法器的进位实现”，“半加全加器”什么的完全不是，知道这些对非计科的从业者没有什么帮助。因为他们需要的不是实现细节，更多是如何应用。
换个角度思考，“数学”在每行每业也是都会接触到的技术，加法，乘法，自然数，实数等等东西都是人必须掌握的。但如果你不是数学专业的研究者，你没有太大的必要知道什么是群、环、域。因为知道细节对你的工作不会有太大帮助，你需要的只是怎么使用数学。
Select Language