喵喵小喵喵
1.17K subscribers
1.41K photos
32 videos
7 files
9.97K links
大喵喵和小喵喵的转发频道

投喂请前往附属群
Download Telegram
噫,我中了!(
24💩1
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
💘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

#科学
🤯1
Windows 默认的防火墙设置怎么是允许同一个网段的 ping 但是 drop 其他网段的
调了半天以为是 routing 的问题
没想到我在你清见过最火热的课
是无穷猫论
30人的教室装了60人,已经站到楼道里了
🔥8
[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/
👍7😍1
Forwarded from 观瞻-The Viewpoint (メルトリリス)
https://arxiv.org/pdf/2003.14342
钓鱼题,上面文献有过程,要用到序数去做,感兴趣自行查阅
🔥2
今日踩坑:Windows 即使设置了 Static IPv6 还是会悄悄根据 RA 改掉 routing
🤬5🤣2