“所有自然数都可以唯一地用不超过 23 个汉字表达” 当然是个伪命题，但是，在一个段子中，它居然被用反证法证实了。证实这个问题的反证法肯定有问题，然而段子里面的反证法听起来太过合理以至于找不出漏洞。最终，我曾经花了坐火车的晚上的时间找出了反证法的漏洞，现在把这些内容整理在这里吧。

在第七个结局中给糖糖写了自己原创的两百字病娇小作文被一刀捅死，悲伤的我去网上复制粘贴《好想做嘉然小姐的狗》被糖糖原谅了。真是充满了戏剧效果

Russia launches massive invasion of Ukraine. Ukraine is a democratic sovereign country in Europe. ---added later--- https://twitter.com/nexta_tv/ https://twitter.com/hashtag/Ukraine?src=hashtag_cli...

Today we're excited to announce WebContainers, a new type of WebAssembly-based operating system that boots instantly and enables Node.js environments to run natively in-browser.

teledriveapp.com is your first and best source for all of the information you’re looking for. From general topics to more of what you would expect to find here, teledriveapp.com has it all. We hope you find what you are searching for!

Deno has it's own way of updating, it runs a command deno upgrade, so I made a postinstall to automatically run this.
Because update uninstall then reinstalls the app, this will be effective.

程序员 - @sam01101 - 被封号的账号用了好几年，没放违反 ToS 的 Repo ，里面合计 77 个 Repo ，2000+贡献，绑定了一堆服务，本人极度依赖 GitHub （你可以当成我把它当微信、QQ 、TG

Notable improvements and fixes

fish’s command substitution syntax has been extended: $(cmd) now has the same meaning as (cmd) but it can be used inside double quotes, to prevent line splitting of ...