https://epfl-lara.github.io/stainless/intro.html
The Stainless verification framework aims to help developers build verified Scala software. It encourages using a small set of core Scala features and provides unique verification functionality
The Stainless verification framework aims to help developers build verified Scala software. It encourages using a small set of core Scala features and provides unique verification functionality
💘2
Forwarded from Solidot
抑郁症患者脑部特定神经网络较大
2024-09-09 23:03 by 消失吧！书本
根据发表在《自然》期刊上的一项研究，抑郁症患者脑部被称为“frontostriatal salience network（额叶纹状体突显网络）”的区域比健康人平均大 73%，即使情绪症状缓解或消失，该区域也不会缩小。大脑可按各区域功能连接分为不同的子网络，其中“突显网络”由多个与认知和情感相关的区域组成，它负责监测外部世界，并谨慎决定其他大脑网络对于新信息与刺激的反应。研究人员对 135 名重度抑郁症患者的大脑进行了功能性磁共振成像，发现他们大脑的“突显网络”比对照组的健康人更大，该区域在大脑皮层中的占比最多达健康人的约两倍。研究小组还分析了一项追踪儿童脑部发育的大规模研究的数据，在 1.2 万名调查对象中，有 57 名儿童在青春期患上抑郁症。数据显示，尽管这些后来患上抑郁症的儿童在 13 岁之前尚未出现症状，但他们脑部的“突显网络”在 9 岁时就比同龄健康人更大。研究人员推测，较大的“突显网络”可能与遗传有关，而人在抑郁状态下持续关注负面刺激，可能导致“突显网络”过度使用，从而使该区域进一步扩大。
https://www.nature.com/articles/s41586-024-07805-2
http://www.news.cn/tech/20240908/bc01faaaae3c4104a4282cc6aff82e50/c.html
#科学
2024-09-09 23:03 by 消失吧！书本
根据发表在《自然》期刊上的一项研究，抑郁症患者脑部被称为“frontostriatal salience network（额叶纹状体突显网络）”的区域比健康人平均大 73%，即使情绪症状缓解或消失，该区域也不会缩小。大脑可按各区域功能连接分为不同的子网络，其中“突显网络”由多个与认知和情感相关的区域组成，它负责监测外部世界，并谨慎决定其他大脑网络对于新信息与刺激的反应。研究人员对 135 名重度抑郁症患者的大脑进行了功能性磁共振成像，发现他们大脑的“突显网络”比对照组的健康人更大，该区域在大脑皮层中的占比最多达健康人的约两倍。研究小组还分析了一项追踪儿童脑部发育的大规模研究的数据，在 1.2 万名调查对象中，有 57 名儿童在青春期患上抑郁症。数据显示，尽管这些后来患上抑郁症的儿童在 13 岁之前尚未出现症状，但他们脑部的“突显网络”在 9 岁时就比同龄健康人更大。研究人员推测，较大的“突显网络”可能与遗传有关，而人在抑郁状态下持续关注负面刺激，可能导致“突显网络”过度使用，从而使该区域进一步扩大。
https://www.nature.com/articles/s41586-024-07805-2
http://www.news.cn/tech/20240908/bc01faaaae3c4104a4282cc6aff82e50/c.html
#科学
🤯1
[PATCH net-next 0/5] net: implement the QUIC protocol in linux kernel
https://lore.kernel.org/netdev/cover.1725935420.git.lucien.xin@gmail.com/
https://lore.kernel.org/netdev/cover.1725935420.git.lucien.xin@gmail.com/
👍7😍1
Forwarded from 观瞻-The Viewpoint (メルトリリス)
https://arxiv.org/pdf/2003.14342
钓鱼题，上面文献有过程，要用到序数去做，感兴趣自行查阅
钓鱼题，上面文献有过程，要用到序数去做，感兴趣自行查阅
🔥2
Forwarded from DGN (dan)
随着上周爆出的 Annapurna Interactive 管理层变动，前总裁 Nathan Gary 在今日向澎博社透露，Annapurna Interactive 25名员工已经集体离职。Nathan Gary 称这是"我们做过最艰难的决定之一"。
目前 Annapurna Interactive 仅由 Hector Sanchez 一人负责。Hector Sanchez 是 Annapurna Interactive 的创始人员之一，但在上个月才重新加入 Annapurna Interactive，此前他就职于 Epic Games。
https://www.ign.com/articles/annapurnas-entire-gaming-team-has-resigned
#AnnapurnaInteractive
目前 Annapurna Interactive 仅由 Hector Sanchez 一人负责。Hector Sanchez 是 Annapurna Interactive 的创始人员之一，但在上个月才重新加入 Annapurna Interactive，此前他就职于 Epic Games。
https://www.ign.com/articles/annapurnas-entire-gaming-team-has-resigned
#AnnapurnaInteractive
IGN
Annapurna's Entire Gaming Team Has Resigned - IGN
Annapurna Interactive's entire gaming staff has resigned from the company following a leadership dispute, IGN can corroborate.
🙈1
Forwarded from ᴊᴜsᴛ ᴀ ᴘᴇᴇᴋ
Telegraph
一个公号的倒掉
8月，阔别祖国六年之后，我和家人回国探亲。因为年幼的孩子不适应国内的炎热天气，我预先计划的游览项目基本上全部取消，改成在家吹空调趴窝。唯一的一次出门，就是21号去拜访“贞观”编辑部。 后来才知道，那一天，正巧是“贞观”被禁言的第一天。 约访是一个小小的夙愿。和那些动不动发十几，甚至几十篇文章的资深作者比较，我只能算是一个酱油党，这么多年里，总共就在那里发过三篇文章。但是，我一直很喜欢乃至很尊敬这个公号，理由很简单：他们是“有态度，有温度”的集体。 有态度的公号挺多，有温度的很少。 我在“贞观”发第一篇文…
😢2😁1🥱1
内存模型和内存序 - 杰哥的{运维，编程，调板子}小笔记
https://jia.je/hardware/2024/09/04/memory_model_and_memory_ordering/
https://jia.je/hardware/2024/09/04/memory_model_and_memory_ordering/
❤2
https://risingentropy.com/on-self-hating-theories-of-arithmetic/
https://www.scottaaronson.com/democritus/lec3.html
https://www.scottaaronson.com/democritus/lec3.html
Rising Entropy
On Self-Hating Theories of Arithmetic
Gödel’s second incompleteness theorem tells us that no (sufficiently powerful) consistent theory can prove the statement of its own consistency. But did you know that such a theory can prove …
Forwarded from 每日消费电子观察 (无羽の翼 (｢ • ̀ω•́ )｢)
乔思伯推出 E-ATX NAS 机箱 N5，可提供 12 个 3.5 英寸热插拔硬盘位
https://www.ithome.com/0/795/824.htm
https://www.ithome.com/0/795/824.htm
https://youtu.be/Llh4_h-vvKQ?t=26772
Geoguesser World Cup - grand final (7:26:30)
Geoguesser World Cup - grand final (7:26:30)
YouTube
GEOGUESSR WORLD CUP - GRAND FINALS
► Subscribe for more GeoGuessr content - https://bit.ly/48iAZpV
The time has come to gather in Stockholm City Hall and reduce eight competitors to one World Champion. Who will prevail?
Taking you through the event will be our casters: Rainbolt, Launders…
The time has come to gather in Stockholm City Hall and reduce eight competitors to one World Champion. Who will prevail?
Taking you through the event will be our casters: Rainbolt, Launders…