共找到 20 条结果
To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly and guarantees practical well-formedness conditions on the triangulation。This project
Scientists are testing two promising ways to destroy PFAS, the stubborn “forever chemicals” that can accumulate in water and resist normal treatment。 One method uses collapsing vapor bubbles to generate extreme heat and reactive molecules, while the other uses cold plasma and rising gas bubbles to pull PFAS to the surface and break them apart
The Backrooms began as a single eerie image of empty yellow rooms, but internet users transformed it into a vast fictional world that feels disturbingly real。 Through videos, games, maps, survival guides and social media stories, audiences do more than watch the horror unfold。 They help build and explore it
Astronomers have found the first confirmed atmosphere around a rocky planet in another star’s habitable zone。 The planet, LHS 1140 b, revealed its atmosphere through helium slowly leaking into space。 Located 48 light-years away, the world may have preserved its atmosphere for billions of years, making it a promising target in the search for potenti
Popular AI-powered food apps may make calorie counting easier, but they may also leave out a surprisingly large part of the meal。 Four apps underestimated calories and fat by about one-third when tested against carefully prepared meals。 High-fat ketogenic dishes appeared to cause the most trouble, while carbohydrates were measured more consistently
China’s Chang’e-6 samples have uncovered a surprising difference between the Moon’s two hemispheres。 Solar wind particles penetrated deeper into the far-side soil because Earth’s magnetosphere slows the particles that reach the near side。 Noble gases locked inside the lunar regolith preserved evidence of this uneven bombardment
Researchers have created cosmic dust from scratch by recreating space-like conditions inside glass tubes。 The dust contains complex carbon-rich molecules built from elements essential to life and produces infrared signals similar to real material found in space。 By studying these laboratory samples, scientists can explore how organic chemistry unfo
The asteroid that wiped out the dinosaurs was likely an exceptionally rare CO chondrite from a distant region of the solar system。 Its unusual chemistry suggests that planet-cooling dust and debris, rather than sulfur inside the asteroid, may have delivered the deadliest blow
NASA’s Psyche spacecraft aced its Mars flyby, using the planet’s gravity to speed toward its 2029 encounter with a metal-rich asteroid。 The spacecraft tested its cameras, magnetometer, and particle-detecting instruments, capturing unusual views of Mars and measuring its magnetic environment。 It also detected neutrons from the planet and spotted the