西江月 · 证明
即得易见平凡,仿照上例显然。留作习题答案略,读者自证不难。
反之亦然同理,推论自然成立,略去过程 QED,由上可知证毕。
https://www.zhihu.com/question/27705700/answer/37997982
即得易见平凡,仿照上例显然。留作习题答案略,读者自证不难。
反之亦然同理,推论自然成立,略去过程 QED,由上可知证毕。
https://www.zhihu.com/question/27705700/answer/37997982
Zhihu
数理化领域里有哪些戳心的句子? - 知乎
看了999道证明题,发现可以凑成一首诗!《证明:》即得易见复显然读者自证且平凡留作习题答案略仿照上例…
Forwarded from AIM扩散力场 (零件)
【Linux 曝出 TCP 拒绝服务漏洞】
Netflix 工程师在 Linux 和 FreeBSD 内核中发现了多个 TCP 网络漏洞。
漏洞与最小分段大小 (MSS) 和 TCP Selective Acknowledgement (SACK) 有关,其中最严重的漏洞绰号为 SACK Panic,允许远程对 Linux 内核触发内核崩溃。
SACK Panic 漏洞编号
https://www.solidot.org/story?sid=61023
Netflix 工程师在 Linux 和 FreeBSD 内核中发现了多个 TCP 网络漏洞。
漏洞与最小分段大小 (MSS) 和 TCP Selective Acknowledgement (SACK) 有关,其中最严重的漏洞绰号为 SACK Panic,允许远程对 Linux 内核触发内核崩溃。
SACK Panic 漏洞编号
CVE-2019-11477
,影响 2.6.29 以上版本,漏洞补丁已经发布,一个权宜的修复方法是将 /proc/sys/net/ipv4/tcp_sack
设为 0
。https://www.solidot.org/story?sid=61023
「一外省男子站在广州市广园西路通通酒店旁边的天桥上对着桥下京广铁路边的高压线撒尿,由于尿液导电,该男子当场毙命。幸好铁路职工对事故处理及时,没有对京广铁路奔驰的列车造成较大的影响。」
via. 2003 年 11 月 03 日 信息时报
印象中很早之前看流言终结者好像说...尿液因为是连续的小水珠好像不会导电来?
http://news.sina.com.cn/s/2003-11-03/01082054900.shtml
via. 2003 年 11 月 03 日 信息时报
印象中很早之前看流言终结者好像说...尿液因为是连续的小水珠好像不会导电来?
http://news.sina.com.cn/s/2003-11-03/01082054900.shtml
「当下频道」制作的纪录片《外包的生命》
全长大约 40 分钟,影片将三条故事线相互穿插在一起
分别讲述了:来自北京的女同情侣 Yuki 和 Z 在加州通过精子银行制作胚胎怀孕、Irma 和 Amy 两位「孕妈」为两对夫妻代孕的故事
第一集 精子 / 卵子:https://www.bilibili.com/video/av52131335
第二集 胚胎:https://www.bilibili.com/video/av52811253
第三集 子宫:https://www.bilibili.com/video/av54274508
全长大约 40 分钟,影片将三条故事线相互穿插在一起
分别讲述了:来自北京的女同情侣 Yuki 和 Z 在加州通过精子银行制作胚胎怀孕、Irma 和 Amy 两位「孕妈」为两对夫妻代孕的故事
第一集 精子 / 卵子:https://www.bilibili.com/video/av52131335
第二集 胚胎:https://www.bilibili.com/video/av52811253
第三集 子宫:https://www.bilibili.com/video/av54274508
「We have seen that computer programming is an art, because it applies accumulated knowledge to the world, because it requires skill and ingenuity, and especially because it produces objects of beauty. A programmer who subconsciously views himself as an artist will enjoy what he does and will do it better.
编程是一种艺术,将你积累的知识应用于世界,因为它需要应用技巧和创造性思维,而且能产生美。
一个在潜意识中视自己为艺术家的开发者将会享受他所做的事,并且将其做的尽善尽美。」
——Donald Knuth
(就是那个因为写书的时候排版软件用的不爽顺手发明了 TeX 的那个人)(小声
拓展阅读:
《计算机程序设计艺术》(The Art of Computer Programming)是其关于程序设计的著作,全书共七册。
其中前四册(基础算法、半数值算法、排序与搜索、组合算法【本册分为四卷】)已经完成。
第五册 造句算法 预计于明年完成,而第六册(与上下文无关语言理论)和第七册(编译器技术)还在计划当中。
编程是一种艺术,将你积累的知识应用于世界,因为它需要应用技巧和创造性思维,而且能产生美。
一个在潜意识中视自己为艺术家的开发者将会享受他所做的事,并且将其做的尽善尽美。」
——Donald Knuth
(就是那个因为写书的时候排版软件用的不爽顺手发明了 TeX 的那个人)(小声
拓展阅读:
《计算机程序设计艺术》(The Art of Computer Programming)是其关于程序设计的著作,全书共七册。
其中前四册(基础算法、半数值算法、排序与搜索、组合算法【本册分为四卷】)已经完成。
第五册 造句算法 预计于明年完成,而第六册(与上下文无关语言理论)和第七册(编译器技术)还在计划当中。
RED 相机的售价过万元*一块的存储卡被拆解后发现仅为普通消费级 SSD + 纯电路转接板
拆解对比视频:
https://www.youtube.com/watch?v=KEzLDqELh70
国内翻译:https://www.bilibili.com/video/av58152518
LinusTechTips 论坛对此的讨论:
https://linustechtips.com/main/topic/1081755-red-mini-mag-controversy-jinnimag-vs-red/
*:人民币元
另:在 Youtube 评论下方,部分热心观众表示已经通过 Twitter CC 给了 Linus,坐等直播拆 SSD(逃
拆解对比视频:
https://www.youtube.com/watch?v=KEzLDqELh70
国内翻译:https://www.bilibili.com/video/av58152518
LinusTechTips 论坛对此的讨论:
https://linustechtips.com/main/topic/1081755-red-mini-mag-controversy-jinnimag-vs-red/
*:人民币元
另:在 Youtube 评论下方,部分热心观众表示已经通过 Twitter CC 给了 Linus,坐等直播拆 SSD(逃