Relativistic computers and the Turing barrier
https://www.sciencedirect.com/science/article/pii/S0096300305008398
这啥.jpg
https://www.sciencedirect.com/science/article/pii/S0096300305008398
这啥.jpg
喵喵小喵喵
Relativistic computers and the Turing barrier https://www.sciencedirect.com/science/article/pii/S0096300305008398 这啥.jpg
Turn every decidable problem into O(1) problems by going into a blackhole
❤1
https://blog.trailofbits.com/2026/04/17/we-beat-googles-zero-knowledge-proof-of-quantum-cryptanalysis/
十分有趣
Our result is not due to some quantum breakthrough, but rather the exploitation of multiple subtle memory safety and logic vulnerabilities in Google’s Rust prover code.
十分有趣
The Trail of Bits Blog
We beat Google’s zero-knowledge proof of quantum cryptanalysis
Trail of Bits discovered and exploited memory safety and logic vulnerabilities in Google’s Rust zero-knowledge proof code to forge a proof claiming better quantum circuit performance metrics than Google’s original results, demonstrating unique security risks…
喵喵小喵喵
https://blog.trailofbits.com/2026/04/17/we-beat-googles-zero-knowledge-proof-of-quantum-cryptanalysis/ Our result is not due to some quantum breakthrough, but rather the exploitation of multiple subtle memory safety and logic vulnerabilities in Google’s Rust…
vxTwitter / fixvx
💖 38 🔁 3
💖 38 🔁 3
Manish (@ManishEarth)
this is the funniest way a memory safety bug could show up in a security context
【QRT of Trail of Bits (@trailofbits):】
'The Rust code behind the proof had memory safety bugs. We used this new attack surface to forge a proof that beats Google’s on every…
【QRT of Trail of Bits (@trailofbits):】
'The Rust code behind the proof had memory safety bugs. We used this new attack surface to forge a proof that beats Google’s on every…
Forwarded from Hacker News (yahnc_bot)
The electromechanical angle computer inside the B-52 bomber's star tracker https://www.righto.com/2026/04/B-52-star-tracker-angle-computer.html
Righto
The electromechanical angle computer inside the B-52 bomber's star tracker
Before GPS, how did aircraft navigate? One important technique was celestial navigation: navigating from the positions of the stars, planets...
Forwarded from Solidot
WireGuard For Windows v1.0 释出
2026-04-20 18:49 by 奇迹男孩与冰霜巨人
WireGuard 作者 Jason Donenfeld 在邮件列表上宣布 WireGuard For Windows 以及 Windows 下内核模式实现 WireGuardNT 释出 v1.0。WireGuard 是开源 VPN 协议和自由开源软件，旨在获得比 IPsec 和 OpenVPN 更好的性能。项目在 2015 年发布了最早的版本，2020 年其 Linux 版本达到稳定生产阶段，正式合并到内核主线。Windows 版本从测试阶段到成熟又经历了五年时间。
https://lists.zx2c4.com/pipermail/wireguard/2026-April/009580.html
#软件
2026-04-20 18:49 by 奇迹男孩与冰霜巨人
WireGuard 作者 Jason Donenfeld 在邮件列表上宣布 WireGuard For Windows 以及 Windows 下内核模式实现 WireGuardNT 释出 v1.0。WireGuard 是开源 VPN 协议和自由开源软件，旨在获得比 IPsec 和 OpenVPN 更好的性能。项目在 2015 年发布了最早的版本，2020 年其 Linux 版本达到稳定生产阶段，正式合并到内核主线。Windows 版本从测试阶段到成熟又经历了五年时间。
https://lists.zx2c4.com/pipermail/wireguard/2026-April/009580.html
#软件