Forwarded from 中文維基新聞廣播頻道
前民進黨主席施明德逝世 享壽83歲
https://w.wiki/8qyo
推動台灣民主化的重要人士民進黨前主席施明德病逝,享壽83歲。被譽為「台灣曼德拉」的他,一生曾以「政治犯」身份總計被囚長達26年。作為1979年美麗島事件總指揮的他,打破黨國體制,又發動「紅衫軍運動」劍指民進黨籍總統陳水扁。
https://w.wiki/8qyo
推動台灣民主化的重要人士民進黨前主席施明德病逝,享壽83歲。被譽為「台灣曼德拉」的他,一生曾以「政治犯」身份總計被囚長達26年。作為1979年美麗島事件總指揮的他,打破黨國體制,又發動「紅衫軍運動」劍指民進黨籍總統陳水扁。
https://fxtwitter.com/ejyou_bot/status/1746688669405306910
National Ignition Facility at home
National Ignition Facility at home
FxTwitter / FixupX
【動画まとめ】大炎上bot (@ejyou_bot)
やばすぎ...
Forwarded from Hacker News (yahnc_bot)
5 minutes of coding yields a 6%+ boost to Linux I/O performance https://www.phoronix.com/news/Linux-Caching-Time-Block-IO
Phoronix
~5 Minutes Of Coding Yields A 6%+ Boost To Linux I/O Performance
IO_uring creator and Linux block subsystem maintainer Jens Axboe spent about five minutes working on two patches to implement caching for issue-side time querying in the block layer and can yield 6% or more better I/O performance.
Forwarded from Hacker News (yahnc_bot)
Passing nothing is surprisingly difficult https://davidben.net/2024/01/15/empty-slices.html
Forwarded from Hacker News (yahnc_bot)
Hans Reiser on ReiserFS deprecation in the Linux kernel https://ftp.mfek.org/Reiser/Letters/№2%20Hans→Fred/reiser_response.html
Forwarded from Hacker News (yahnc_bot)
Serious incident to the 777-300ER on 5 April 2022 at CDG [pdf] https://bea.aero/fileadmin/user_upload/F-GSQJ_finalreport_EN.pdf
Forwarded from Hacker News (yahnc_bot)
WebGPU is now available on Android https://developer.chrome.com/blog/new-in-webgpu-121
Chrome for Developers
What's New in WebGPU (Chrome 121) | Blog | Chrome for Developers
Support WebGPU on Android, use of DXC for shader compilation, timestamp queries in compute and render passes, default entry points to shader modules, support display-p3 as GPUExternalTexture color space, memory heaps info, and more.
喵喵小喵喵
https://www.zhihu.com/question/516096647/answer/2346834397 https://github.com/coq/coq/wiki/extensional_equality 被群友大教教
没懂为什么 prop ext 会破坏 canonicity
所谓的 Intensional inductive families 指的是什么?
所谓的 Intensional inductive families 指的是什么?