Forwarded from Hacker News (yahnc_bot)
Zig's Curious Multi-Sequence for Loops https://kristoff.it/blog/zig-multi-sequence-for-loops/
kristoff.it
Zig's Curious Multi-Sequence For Loops
Loris Cro's Blog
Forwarded from Hacker News (yahnc_bot)
Lessons from the Debian/OpenSSL Fiasco (2008) https://research.swtch.com/openssl
Forwarded from RSS
煎蛋网
用全等的、面积为1的瓷砖无缝铺砌二维平面,则使周长最小的瓷砖,形状为何?
把问题推广到三维空间里,又如何呢
Forwarded from Lobste.rs
How the 8086 processor determines the length of an instruction
Comments
via gwoplock@users.lobste.rs (gwoplock)
Comments
via gwoplock@users.lobste.rs (gwoplock)
Righto
How the 8086 processor determines the length of an instruction
The Intel 8086 processor (1978) has a complicated instruction set with instructions ranging from one to six bytes long. This raises the q...
Forwarded from Hacker News (yahnc_bot)
AMD Zen2 ymm registers rolling back https://lkml.org/lkml/2023/2/22/33
Forwarded from Hacker News (yahnc_bot)
Reverse-engineering the ModR/M addressing microcode in the Intel 8086 processor https://www.righto.com/2023/02/8086-modrm-addressing.html
Righto
Reverse-engineering the ModR/M addressing microcode in the Intel 8086 processor
One interesting aspect of a computer's instruction set is its addressing modes, how the computer determines the address for a memory acce...
Forwarded from Lobste.rs
ArkType: The first isomorphic type system for TS/JS
Comments
via cherryblossom@users.lobste.rs (cherryblossom)
Comments
via cherryblossom@users.lobste.rs (cherryblossom)
ArkType
TypeScript's 1:1 validator, optimized from editor to runtime
Forwarded from &'a ::rynco::UntitledChannel (Rynco Maekawa)
使用脑电波活动作为输入运行 Stable Diffusion 进行高分辨率图像重建
https://sites.google.com/view/stablediffusion-with-brain/
摘要
从人脑活动重建视觉体验为研究大脑如何表示世界、解释计算机视觉模型与我们的视觉系统之间关系提供了一种独特的方式。虽然近年来深度生成模型已被应用于此任务,但实现高语义保真度的真实图像重建仍是一个具有挑战性的问题。在本文中,我们提出了一种基于扩散模型(Diffusion Model,DM)的新方法,通过功能性磁共振成像(fMRI)获得的人脑活动来重建图像。我们依赖于一种名为 Stable Diffusion 的潜在空间扩散模型(Latent Diffusion Model,LDM)。该模型降低了扩散模型的计算成本,同时保持了其高生成性能。我们还通过研究LDM的不同组成部分(如潜在向量Z、条件输入C和去噪U-Net的不同元素)与不同的脑功能联系起来,表征了LDM的内部机制。我们展示了我们的方法可以简单地重建高保真度的高分辨率图像,无需进行任何额外的训练和微调复杂的深度学习模型。我们还从神经科学的角度提供了对不同LDM组件的定量解释。总体而言,我们的研究提出了一种有前景的从人脑活动恢复图像的方法,并为理解扩散模型提供了一个新的框架。
(摘要由 ChatGPT 翻译)
https://sites.google.com/view/stablediffusion-with-brain/
摘要
从人脑活动重建视觉体验为研究大脑如何表示世界、解释计算机视觉模型与我们的视觉系统之间关系提供了一种独特的方式。虽然近年来深度生成模型已被应用于此任务,但实现高语义保真度的真实图像重建仍是一个具有挑战性的问题。在本文中,我们提出了一种基于扩散模型(Diffusion Model,DM)的新方法,通过功能性磁共振成像(fMRI)获得的人脑活动来重建图像。我们依赖于一种名为 Stable Diffusion 的潜在空间扩散模型(Latent Diffusion Model,LDM)。该模型降低了扩散模型的计算成本,同时保持了其高生成性能。我们还通过研究LDM的不同组成部分(如潜在向量Z、条件输入C和去噪U-Net的不同元素)与不同的脑功能联系起来,表征了LDM的内部机制。我们展示了我们的方法可以简单地重建高保真度的高分辨率图像,无需进行任何额外的训练和微调复杂的深度学习模型。我们还从神经科学的角度提供了对不同LDM组件的定量解释。总体而言,我们的研究提出了一种有前景的从人脑活动恢复图像的方法,并为理解扩散模型提供了一个新的框架。
(摘要由 ChatGPT 翻译)
Google
Stable Diffusion with Brain Activity
Accepted at CVPR 2023
Yu Takagi* 1,2 , Shinji Nishimoto 1,2
1. Graduate School of Frontier Biosciences, Osaka University, Japan
2. CiNet, NICT, Japan
Yu Takagi* 1,2 , Shinji Nishimoto 1,2
1. Graduate School of Frontier Biosciences, Osaka University, Japan
2. CiNet, NICT, Japan
Forwarded from Solidot
日美实现磁约束氢硼聚变
2023-03-02 22:52:00 by 圣天秤星
日本国家聚变科学研究所和美国 TAE 技术公司合作,首次在磁约束聚变等离子体中实现了氢—硼聚变实验。研究团队表示,尽管最新试验没有产生净能量增益,但它证明了无中子核聚变的可行性,使制造更清洁的聚变反应堆成为可能。目前全球有多个团队正力图实现可控核聚变。可控核聚变主要的方式大概有3种:引力约束、惯性约束和磁约束,占据主流的托卡马克装置属于磁约束,主要利用氢的同位素氘—氚作为聚变燃料。在最新研究中,科学家们在日本国家聚变科学研究所的大型螺旋装置中进行了氢—硼核聚变,并借助 TAE 开发的探测器,测量出了反应产物:氦核(α粒子)。TAE 公司认为氢—硼是最清洁、最具成本竞争力的聚变燃料,因为它不仅原料丰富,而且“实现了更清洁的聚变反应堆的概念,反应产物仅三个α粒子。”
https://www.rechargenews.com/energy-transition/100-000-years-of-power-us-japan-team-hails-h2-boron-plasma-fusion-breakthrough/2-1-1411318
https://news.sciencenet.cn/htmlnews/2023/3/495025.shtm
#科技
2023-03-02 22:52:00 by 圣天秤星
日本国家聚变科学研究所和美国 TAE 技术公司合作,首次在磁约束聚变等离子体中实现了氢—硼聚变实验。研究团队表示,尽管最新试验没有产生净能量增益,但它证明了无中子核聚变的可行性,使制造更清洁的聚变反应堆成为可能。目前全球有多个团队正力图实现可控核聚变。可控核聚变主要的方式大概有3种:引力约束、惯性约束和磁约束,占据主流的托卡马克装置属于磁约束,主要利用氢的同位素氘—氚作为聚变燃料。在最新研究中,科学家们在日本国家聚变科学研究所的大型螺旋装置中进行了氢—硼核聚变,并借助 TAE 开发的探测器,测量出了反应产物:氦核(α粒子)。TAE 公司认为氢—硼是最清洁、最具成本竞争力的聚变燃料,因为它不仅原料丰富,而且“实现了更清洁的聚变反应堆的概念,反应产物仅三个α粒子。”
https://www.rechargenews.com/energy-transition/100-000-years-of-power-us-japan-team-hails-h2-boron-plasma-fusion-breakthrough/2-1-1411318
https://news.sciencenet.cn/htmlnews/2023/3/495025.shtm
#科技
👍6❤1
Forwarded from Hacker News (yahnc_bot)
The SCO lawsuit, 20 years later https://lwn.net/SubscriberLink/924577/75ae0a1538029fcc/
lwn.net
The SCO lawsuit, 20 years later
On March 7, 2003, a struggling company called The SCO Group filed a lawsuit against IBM, claiming that the
success of Linux was the result of a theft of SCO's technology. Two
decades later, it is easy to look back on that incident as a somewhat
humorous…
success of Linux was the result of a theft of SCO's technology. Two
decades later, it is easy to look back on that incident as a somewhat
humorous…
Forwarded from Hacker News (yahnc_bot)
Ao486_MiSTer: i486 core for the MiSTer FPGA gaming system https://github.com/MiSTer-devel/ao486_MiSTer
GitHub
GitHub - MiSTer-devel/ao486_MiSTer: ao486 port for MiSTer
ao486 port for MiSTer. Contribute to MiSTer-devel/ao486_MiSTer development by creating an account on GitHub.