喵喵小喵喵

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

381 viewsMeow-meow 🍓, 01:22

喵喵小喵喵

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

287 viewsMeow-meow 🍓, 02:32

喵喵小喵喵

Windows 默认的防火墙设置怎么是允许同一个网段的 ping 但是 drop 其他网段的
调了半天以为是 routing 的问题

323 viewsMeow-meow 🍓, 05:53

喵喵小喵喵

https://vxtwitter.com/SleepyEntropy/status/1833182871458119948

vxTwitter / fixvx
💖 7.87K 🔁 1.01K

May → Bluesky 🦋 mystupid.social (@SleepyEntropy)

rack cat
rack cat
rack cat https://t.co/JH8QuF2lI4

397 viewsMeow-meow 🍓, 07:46

喵喵小喵喵

没想到我在你清见过最火热的课
是无穷猫论
30人的教室装了60人，已经站到楼道里了

🔥8

390 viewsMeow-meow 🍓, 09:13

喵喵小喵喵

[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

401 viewsMeow-meow 🍓, edited 02:47

喵喵小喵喵

Forwarded from 观瞻-The Viewpoint (メルトリリス)

https://arxiv.org/pdf/2003.14342
钓鱼题，上面文献有过程，要用到序数去做，感兴趣自行查阅

🔥2

267 viewsMeow-meow 🍓, 05:50

喵喵小喵喵

今日踩坑：Windows 即使设置了 Static IPv6 还是会悄悄根据 RA 改掉 routing

🤬5🤣2

315 viewsMeow-meow 🍓, 16:25

喵喵小喵喵

https://vxtwitter.com/everb1ue/status/1834186561883447304

vxTwitter / fixvx
💖 4.66K 🔁 1.07K

三秋縋 (@everb1ue)

さくらのまち、見本が届きました。表紙イラストは禅之助さん（@rakugaki100page）によるものです。桜の話だけど桜は描かないでほしい、というこちらの無茶な注文に素晴らしいイラストで応えていただきました。

🤩1🙈1

292 viewsMeow-meow 🍓, 12:02

喵喵小喵喵

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

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

272 viewsMeow-meow 🍓, 03:00

喵喵小喵喵

Forwarded from ᴊᴜsᴛ ᴀ ᴘᴇᴇᴋ

telegra.ph/一个公号的倒掉-09-12-2 | source

Telegraph

一个公号的倒掉

8月，阔别祖国六年之后，我和家人回国探亲。因为年幼的孩子不适应国内的炎热天气，我预先计划的游览项目基本上全部取消，改成在家吹空调趴窝。唯一的一次出门，就是21号去拜访“贞观”编辑部。后来才知道，那一天，正巧是“贞观”被禁言的第一天。约访是一个小小的夙愿。和那些动不动发十几，甚至几十篇文章的资深作者比较，我只能算是一个酱油党，这么多年里，总共就在那里发过三篇文章。但是，我一直很喜欢乃至很尊敬这个公号，理由很简单：他们是“有态度，有温度”的集体。有态度的公号挺多，有温度的很少。我在“贞观”发第一篇文…

😢2😁1🥱1