共找到 16 条结果
Physicists from Heinrich Heine University Düsseldorf (HHU) have examined a fundamental property of quantum mechanics in collaboration with the German Aerospace Center (DLR)。 In the scientific journal Physical Review Letters, they show that this theory does not necessarily need to be formulated with imaginary numbers – real numbers can in fact also
A new particle detector called PLATON could replace millions of tiny detector components with a single block of light-producing material。 Using a light-field camera, highly sensitive photon sensors, and AI, it reconstructs particle paths in fast, detailed 3D。 Simulations suggest it could match or surpass today’s best detectors while being far easie
HN is great for the links people share, but a big part of the value I get comes from reading the discussion around them。 I realized I was always opening the article in one tab and the comments in another, constantly switching back and forth。I figured there was probably a simpler way, so I threw together this userscript to merge the two
Google Zanzibar datalog lang lets you describe concepts and express how they are related。 I generalize it to DSL you can use on Lean4 (and other languages) this lets you represent a knowledge base you can construct, store and evaluate, have it under git and improve without big engines or relaying on external infrastructure。Google's Zanzibar paper: