Show threadCranfordTeague10h ago

https://www.newscientist.com/article/2520546-computer-finds-flaw-in-major-physics-paper-for-first-time/?utm_term=Autofeed&utm_medium=SOC&utm_source=Bluesky#Echobox=1774547444 #Physics #ScienceNews #ResearchInnovation #MathematicalTheorems #AcademicIntegrity

#Masto

#CranfordTeague

Computer finds flaw in major physics paper for first time

A computer language designed to robustly verify mathematical theorems and expose logical flaws has been turned towards a physics paper – and spotted an error. The discovery raises questions about how many other papers may harbour similar issues

New Scientist
Show threadFickle Futures10h ago

https://www.newscientist.com/article/2520546-computer-finds-flaw-in-major-physics-paper-for-first-time/?utm_term=Autofeed&utm_medium=SOC&utm_source=Bluesky#Echobox=1774547444 #Physics #ScienceNews #ResearchInnovation #MathematicalTheorems #AcademicIntegrity

#Masto

#FickleFutures

Computer finds flaw in major physics paper for first time

A computer language designed to robustly verify mathematical theorems and expose logical flaws has been turned towards a physics paper – and spotted an error. The discovery raises questions about how many other papers may harbour similar issues

New Scientist
Show threadJason CranfordTeague10h ago

https://www.newscientist.com/article/2520546-computer-finds-flaw-in-major-physics-paper-for-first-time/?utm_term=Autofeed&utm_medium=SOC&utm_source=Bluesky#Echobox=1774547444 #Physics #ScienceNews #ResearchInnovation #MathematicalTheorems #AcademicIntegrity

#Masto

#JasonSpeaks

Computer finds flaw in major physics paper for first time

A computer language designed to robustly verify mathematical theorems and expose logical flaws has been turned towards a physics paper – and spotted an error. The discovery raises questions about how many other papers may harbour similar issues

New Scientist
Show threadCranfordTeague10h ago
https://www.newscientist.com/article/2520546-computer-finds-flaw-in-major-physics-paper-for-first-time/?utm_term=Autofeed&utm_medium=SOC&utm_source=Bluesky#Echobox=1774547444 #Physics #ScienceNews #ResearchInnovation #MathematicalTheorems #AcademicIntegrity
Computer finds flaw in major physics paper for first time

A computer language designed to robustly verify mathematical theorems and expose logical flaws has been turned towards a physics paper – and spotted an error. The discovery raises questions about how many other papers may harbour similar issues

New Scientist
Show threadFickle Futures10h ago
https://www.newscientist.com/article/2520546-computer-finds-flaw-in-major-physics-paper-for-first-time/?utm_term=Autofeed&utm_medium=SOC&utm_source=Bluesky#Echobox=1774547444 #Physics #ScienceNews #ResearchInnovation #MathematicalTheorems #AcademicIntegrity
Computer finds flaw in major physics paper for first time

A computer language designed to robustly verify mathematical theorems and expose logical flaws has been turned towards a physics paper – and spotted an error. The discovery raises questions about how many other papers may harbour similar issues

New Scientist
Show threadJason CranfordTeague10h ago
https://www.newscientist.com/article/2520546-computer-finds-flaw-in-major-physics-paper-for-first-time/?utm_term=Autofeed&utm_medium=SOC&utm_source=Bluesky#Echobox=1774547444 #Physics #ScienceNews #ResearchInnovation #MathematicalTheorems #AcademicIntegrity
Computer finds flaw in major physics paper for first time

A computer language designed to robustly verify mathematical theorems and expose logical flaws has been turned towards a physics paper – and spotted an error. The discovery raises questions about how many other papers may harbour similar issues

New Scientist
N-gated Hacker NewsMar 18
👀🔬 Oh, look! 🎉 Groundbreaking discovery: #semiconductors have 'mouse bites' 🐭 and we needed an electron microscope to tell us that. Next up: using a supercollider to confirm the existence of paper cuts. 🧠✨
https://news.cornell.edu/stories/2026/03/electron-microscopy-shows-mouse-bite-defects-semiconductors #discovery #electronmicroscope #technology #sciencehumor #researchinnovation #HackerNews #ngated
Electron microscopy shows ‘mouse bite’ defects in semiconductors | Cornell Chronicle

A Cornell-led collaboration used high-resolution 3D imaging to detect, for the first time, the atomic-scale defects in computer chips that can sabotage their performance.

Cornell Chronicle
Hacker NewsMar 18

Electron microscopy shows 'mouse bite' defects in semiconductors

https://news.cornell.edu/stories/2026/03/electron-microscopy-shows-mouse-bite-defects-semiconductors

#HackerNews #ElectronMicroscopy #mouseBite #Defects #Semiconductors #TechNews #ResearchInnovation

Electron microscopy shows ‘mouse bite’ defects in semiconductors | Cornell Chronicle

A Cornell-led collaboration used high-resolution 3D imaging to detect, for the first time, the atomic-scale defects in computer chips that can sabotage their performance.

Cornell Chronicle
care1Feb 27
🚀 What if your research could reach a global audience, connect you with innovators, and secure the funding it deserves? 🌍 Edwin Incorporation is here to help you expand your horizons. Ready for the next step? 💡 #EdwinIncorporation #ResearchInnovation #AcademicSuccess
Hacker NewsFeb 26

Lidar waveforms are worth 40x128x33 words

https://openaccess.thecvf.com/content/ICCV2025/html/Scheuble_Lidar_Waveforms_are_Worth_40x128x33_Words_ICCV_2025_paper.html

#HackerNews #Lidar #Waveforms #LidarTechnology #DataScience #ICCV2025 #ResearchInnovation

ICCV 2025 Open Access Repository