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

投喂请前往附属群
Download Telegram
ChiselFV: A Formal Verification Framework for Chisel
https://ieeexplore.ieee.org/document/10137221
🤔
Please open Telegram to view this post
VIEW IN TELEGRAM
👍6😁2🤔1
噫,我中了!(
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