https://dingchao.me/DING Chao's PageThe personal webpage of DING Chao. 2026-09-15T16:38:44+00:00 DING Chao https://dingchao.me/ Jekyll © 2026 DING Chao /assets/img/favicons/favicon.ico /assets/img/favicons/favicon-96x96.png Separation Logic and Forall2026-09-14T15:27:00+00:00 2026-09-15T05:20:50+00:00 https://dingchao.me/posts/SeparationLogicAndForall/ DING Chao It has been confusing for me to tell the difference between “all” and “any” as an English learner. But at least in this scenario, I am confident they are different: “Given one ticket, you can redeem for (all the items)/(any item) in the inventory. “ If we use “all”, then we should be able to clear the inventory, while using “any” only grants one item. On the other hand, in logic, we call... How to Enrage the Coach2026-09-12T21:53:00+00:00 2026-09-14T21:17:02+00:00 https://dingchao.me/posts/HowToEnrageTheCoach/ DING Chao Yesterday, during a coach session, there was a heated debate about mid-lane tactics of DOTA2. Eventually, people had to rely on their ranks for authority, but the coach was challenged by a statistical result allegedly generated by ChatGPT. Then the coach called it a day and switched to another channel. I feel very fortunate that, in my research, our statements are usually backed by logic rathe... My collection of Chinese murder mysteries.2026-09-01T17:42:00+00:00 2026-09-13T04:41:45+00:00 https://dingchao.me/posts/ChineseMurderMysteries/ DING Chao 珠帘异梦 6人 孽岛疑云 5人 槿园孤花 6人 紫藤夫人 6人 鄂西山灵 6人 月落洼 5人 雾起云浮 5人 泉之馆 6人 复泉楼 6人 望海祠 6人 枉痴心 6人 孤舟萤 6人 谍影-重庆迷雾 8人 谍影-南京风沙 8人 鸢飞戾天 6人 带服装 袖珍骑士之死 6人 奉天 5人 First Announcement2026-08-25T14:50:00+00:00 2026-08-25T14:50:00+00:00 https://dingchao.me/posts/first-announcement/ DING Chao This is the first announcement. Title of the first post2026-08-24T19:56:00+00:00 2026-08-25T03:37:08+00:00 https://dingchao.me/posts/first-post/ Me This is my first post.