Forwarded from Hacker News (yahnc_bot)
Nomnoml https://nomnoml.com/
Nomnoml
A tool for drawing diagrams based on syntax. Supercharge your boxes and arrows.
喵喵小喵喵
https://twitter.com/tanezakiatsumi/status/1708668722712650083
inspired by ^，在想要不要追葬送的芙莉蓮
Maybe too old to 二刺螈
Maybe too old to 二刺螈
Forwarded from Hacker News (yahnc_bot)
HTTP/3 adoption is growing rapidly https://blog.apnic.net/2023/09/25/why-http-3-is-eating-the-world/
APNIC Blog
Why HTTP/3 is eating the world | APNIC Blog
Guest Post: What problems HTTP/3 solves, how it performs, why it’s seen such swift adoption, and what limitations it is still working to overcome.
Forwarded from Hacker News (yahnc_bot)
RZK: Experimental proof assistant for synthetic ∞-categories https://github.com/rzk-lang/rzk
GitHub
GitHub - rzk-lang/rzk: An experimental proof assistant based on a type theory for synthetic ∞-categories.
An experimental proof assistant based on a type theory for synthetic ∞-categories. - rzk-lang/rzk
❤1
Forwarded from ksco 的工作日志 (Yang Liu)
Forwarded from ksco 的工作日志 (Yang Liu)
跨架构模拟 LL/SC 大概有 4 种方案：
1. 执行的时候停掉其他 CPU，执行完再恢复（文章中说这是 QEMU “目前”的做法）
2. 用 CAS 模拟，会有 ABA 问题，但据称这个问题 “almost never matters for real programs”
3. 监控所有 CPU 的 store
4. 如果 host 硬件支持 hardware transactional memory，则可以精确模拟
1. 执行的时候停掉其他 CPU，执行完再恢复（文章中说这是 QEMU “目前”的做法）
2. 用 CAS 模拟，会有 ABA 问题，但据称这个问题 “almost never matters for real programs”
3. 监控所有 CPU 的 store
4. 如果 host 硬件支持 hardware transactional memory，则可以精确模拟