Very interesting link between formal #logic and #computation. #computerscience #mathematics #proofassistants #typetheory

https://www.quantamagazine.org/the-deep-link-equating-math-proofs-and-computer-programs-20231011/

We don't have the budget to recreate another world here on earth... So let's just go there!

https://www.fortuneindia.com/macro/chandrayaan-3-lands-on-the-moon-at-budget-half-of-hollywoods-interstellar-movie/113835

#Chandrayaan3 #moonlanding #moonshot #lunarlander #VikramLander #PragyanRover #IndiaOnTheMoon #spaceexploration #space #wedidit #jugaad #india #isro #moon

Incidentally, "Somanath" ( the chief of #isro ) means "Lord of the #moon " in Sanskrit.

#Chandrayaan3 #moonlanding #moonshot #lunarlander #VikramLander #PragyanRover #IndiaOnTheMoon #spaceexploration #space #wedidit #jugaad #india

😂

Here is a recent paper from my previous gig at #argonnenationallaboratory published in #npjcompumats. We demonstrate #coherent #diffraction #xrays #imaging at the #advancedphotonsource #synchrotron through a new #optimization based #phaseretrieval scheme. Our method effectively leverages the power of #hpc to vastly improve #3Dimensional reconstructions of defected #crystals on the #nanoscale.

https://www.nature.com/articles/s41524-023-01022-7

#physics #materialscience #microstructure #nanoscience #argonnenationallab

Hi all, nice to finally be on Mastodon by way of #TwitterMigration. As an #introduction, I'm a research scientist working at KLA, a semiconductor company in the Bay Area of the US. I have a Ph.D in #physics, which along with #mathematics has always been my passion, and I'm always up for a constructive discussion or learning something new.

https://siddharth-maddali.github.io

#appliedscience
#physics
#mathematics
#xray
#imaging
#optics
#research