Home Sign Up Sign In
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
Sign Up Now
For Existing Member  Sign In
V2EX  ›  yxd19  ›  全部回复第 8 页 / 共 10 页
回复总数  199
1  2  3  4  5  6  7  8  9  10  
❮ ❯
2023 年 12 月 29 日
回复了 dumbbell5kg 创建的主题 › 程序员 › 一个逻辑直觉的问题
@geelaw 我大概明白了，你之前说“不能推断任何事情”是说“编译器不能推断任何事情”吗？这样的话，针对你的三个点，编译器可以知道 complete 和 close 相不相等；有可能是提醒“x.getProcessStatus() != complete || x.getProcessStatus() != close”恒为真因此跟 scopes 是否非空没关系；倒是认为两次 getProcessStatus()结果一样确实比较武断。但这里输出的应该是个 info 啊 note 之类的，所以可能宁滥勿缺？我也不知道是啥语言。
2023 年 12 月 29 日
回复了 dumbbell5kg 创建的主题 › 程序员 › 一个逻辑直觉的问题
@geelaw 是在聊形式逻辑，可是不添加足够多的前提假设怎么聊形式逻辑呀。比如要讨论“去买一斤橘子，如果有西瓜就买一个”这句话的逻辑，当然要首先靠常识（“编程最佳实践”）把这个不严密的说法改写成（相对）严密的说法（去买一斤橘子；如果有西瓜就买一个西瓜），来显露出形式逻辑，然后把重点放到逻辑上，而不是宣称这句话可能有两种不同的理解方式啊。

我想你也知道 lz 只不过是突然发现「天不是甲或天不是乙」恒为真这件事，你当然可以认为这件事是初等的、没啥可讨论的，但是也没必要把讨论拉到 lz 在这个帖子中并不关注的另一部分。这对于其他人理解 lz 的重点没啥好处。
2023 年 12 月 29 日
回复了 GopherDaily 创建的主题 › Go 编程语言 › Go: For-Loop-Variable 适合面试的小问题
@geelaw 嗷嗷 确实 那没毛病
2023 年 12 月 29 日
回复了 zhousir5071 创建的主题 › 分享发现 › 分享一下我最近装修学会的电学知识，不需要找电工啦！
上次自己换 led 灯盘 还是很有成就感的。新时代换灯泡。
2023 年 12 月 29 日
回复了 GopherDaily 创建的主题 › Go 编程语言 › Go: For-Loop-Variable 适合面试的小问题
@geelaw 我不会写 go 啊。但是按你的说法如果我已经把一个变量传进一个闭包了，为啥复用这个变量的内存位置没问题啊？
2023 年 12 月 29 日
回复了 dumbbell5kg 创建的主题 › 程序员 › 一个逻辑直觉的问题
@geelaw
1. 如果有人写了一个叫 getProcessStatus 的带副作用的函数，你可以打他。
2. 如果有人写了两个相等的叫 complete 和 close 的常量，你可以打他。
3. 如果有人用 xs.anyMatch(x -> true)判断 xs 是否为空，你可以打他。
2023 年 12 月 28 日
回复了 soTired 创建的主题 › 汽车 › 怎么看待越来越卷的新能源车场，例如昨天发布的 极氪 007
@nzynzynzy 美国鸟不拉屎汽油不要钱，欧洲羊肠小道，日韩没地停车，能验证出啥啊。
2023 年 12 月 5 日
回复了 poseidOn7246 创建的主题 › 跑步 › 请教各位想无伤跑步需要怎么做？
@poseidOn7246 这大概已经消化完了吧。
2023 年 12 月 5 日
回复了 poseidOn7246 创建的主题 › 跑步 › 请教各位想无伤跑步需要怎么做？
我 2 月份开始跑步，开始的时候可能 bmi 比你低一些也差不多。同样建议不要患得患失，跑姿热身呼吸啥的都不重要，坚持跑下去最重要。岔气不知道是不是跑前吃东西没消化。岔气一般问题不大，咬牙坚持就可以。没事可以上 b 站看看黑影儿 TV 打打鸡血吃吃定心丸。跑就完了。
2023 年 11 月 30 日
回复了 quijote 创建的主题 › 上海 › 上海去法院起诉需要居住证?
司法权是指特定的国家机关通过开展依其法定职权和一定程序，由审判的形式将相关法律适用于具体案件的专门化活动而享有的权力。
2023 年 11 月 24 日
回复了 freepoint 创建的主题 › 分享发现 › 那些经常被阉割的名言，看来看问题还是要全面啊！
其它很多句子原本也无非是俗谚而已，难说是名言，也难说本源是啥，有多少是后人附会。
2023 年 11 月 24 日
回复了 freepoint 创建的主题 › 分享发现 › 那些经常被阉割的名言，看来看问题还是要全面啊！
随便搜了一条。第 3 句语出论语，但是《老子》说“为无为，事无事，味无味。**大小多少，报怨以德**。图难于其易，为大于其细；天下难事，必作于易，天下大事，必作于细。是以圣人终不为大，故能成其大。夫轻诺必寡信，多易必多难。是以圣人犹难之，故终无难矣。” 看来也无非是古人汴京而已，尽信书不如无书。
2023 年 11 月 9 日
回复了 zaq158 创建的主题 › 问与答 › 优酷 web 端截图问题解答
小时候超级解霸就这样～
2023 年 11 月 1 日
回复了 xarthur 创建的主题 › 健康 › 做一个健康数据的小调查
日照时间 99 分钟..应该是晨跑+通勤
2023 年 11 月 1 日
回复了 xarthur 创建的主题 › 健康 › 做一个健康数据的小调查
apple watch 上个月最大摄氧量 48.9 ，心率变异性 95 。跑步 9 个月。
2023 年 10 月 27 日
回复了 xu98 创建的主题 › API › 求助一下哪里有船舶信息的 API
船讯网？我是外行，之前用过网页，感觉信息还挺多的。刚刚瞅了一眼有 api 。功能/收费情况不知道。

https://shipxy.com/
2023 年 10 月 26 日
回复了 weid 创建的主题 › iPhone › 吐槽个人使用苹果手机的奇葩经历
竟然，重启，添加，不妨。
2023 年 10 月 26 日
回复了 sx931210 创建的主题 › 职场话题 › 如何评价神说要有光面试失败挂人的行为？
@sx931210 看来你很看来
2023 年 10 月 26 日
回复了 sx931210 创建的主题 › 职场话题 › 如何评价神说要有光面试失败挂人的行为？
@xyholic 虽然但是，是翟旭光
1  2  3  4  5  6  7  8  9  10  
❮ ❯
About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Solana   ·   2742 Online   Highest 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 33ms · UTC 12:21 · PVG 20:21 · LAX 05:21 · JFK 08:21
♥ Do have faith in what you're doing.