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，则可以精确模拟
Forwarded from Hacker News (yahnc_bot)
In-kernel QUIC implementation with Userspace handshake https://github.com/lxin/quic
GitHub
GitHub - lxin/quic: In-kernel QUIC implementation with Userspace handshake
In-kernel QUIC implementation with Userspace handshake - lxin/quic
🤯9
Forwarded from Hacker News (yahnc_bot)
Subtraction is functionally complete https://orlp.net/blog/subtraction-is-functionally-complete/
Forwarded from Hacker News (yahnc_bot)
The Future of CSS: Easy Light-Dark Mode Color Switching with Light-Dark() https://www.bram.us/2023/10/09/the-future-of-css-easy-light-dark-mode-color-switching-with-light-dark/
Bram.us
The Future of CSS: Easy Light-Dark Mode Color Switching with light-dark()
A function that computes to the first color if the used color scheme is light or unknown, or to the second color if the used color scheme is dark.