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 指的是什么？
Forwarded from Hacker News
We migrated our PostgreSQL database with 11 seconds downtime (🔥 Score: 151+ in 3 hours)
Link: https://readhacker.news/s/5YmDp
Comments: https://readhacker.news/c/5YmDp
Link: https://readhacker.news/s/5YmDp
Comments: https://readhacker.news/c/5YmDp
gds.blog.gov.uk
How we migrated our PostgreSQL database with 11 seconds downtime
GOV.UK Notify recently migrated our production database. Find out how we did it with the least possible disruption to our users.