In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? | Quanta Magazine

The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to formalize everything in the computer program Lean.

Quanta Magazine
Digitalisierung der Amploniana-Handschriften abgeschlossen – Lesezeichen

Historic Photo Archive of Yazidi People in Happier Times Discovered in Pennsylvania

They have been digitized and restored.

PetaPixel
Stick-on Post-it fax header notes—things I used on the job back before everything in #publishing was #digitized. Even #manuscripts were handheld paper stacks.

1,500 Van Gogh Artworks Have Been Digitized and Put Online [Shared]

Few artists are as widely beloved as Vincent van Gogh. Although underappreciated during his lifetime, the large body of work he left behind has since enthralled art lovers everywhere. While the Van Gogh Museum in Amsterdam remains a top destination to see his work in person, there is now another way to experience the Dutch Post-Impressionist‘s masterpieces. The museum has digitized 1,500 paintings and drawings by Van Gogh and made them available online for anyone to view.

http://welchwrite.com/blog/2025/03/10/1500-van-gogh-artworks-have-been-digitized-and-put-online-via-my-modern-met-shared/

#art #artwork #history #vangogh #artist #free #online #digitized #shared

Recreation of “IMMACOLATA” made in 1868, by the sculptor Gisue Argenti. This recreation is made in traditional graphite with a finish faithful to the muse. It was digitized.

It was difficult, but it was possible and I was satisfied.

#MastoArt #art #graphite #TraditionalArt #digitized

Earlier this year, 24 professionals with varied skillsets, perspectives & end-use goals for #digitized #fossil #collections data joined at University of Colorado Boulder for a workshop, as part of a project funded by @NSF's #Geosciences #OpenScience #Ecosystem program.

🔗 Find more in the #WorkshopReport published in our #journal at: https://doi.org/10.3897/rio.10.e134840

#digitization #digitisation #paleontology #palaeontology #naturalhistory #biodiversity #geology #collections

Community-driven enhancement of information ecosystems for the discovery and use of paleontological specimen data: Stakeholder engagement workshop

A stakeholder engagement workshop was held in May 2024 as part of the "Community-driven enhancement of information ecosystems for the discovery and use of paleontological specimen data" project, which is funded under the United States National Science Foundation (NSF) Geosciences Open Science Ecosystem (GEO OSE) program. This report describes the activites and outcomes of the workshop.

Research Ideas and Outcomes
China Economic Daily Brief - July 1, 2024 | China Business Forum

Get the latest insights on China's economy in the China Economic Daily Brief for July 1, 2024. Highlights include continuous economic momentum, courier sector growth, CHN Energy's milestone,

China Business Forum
Get ready for your next big event or group outing with #Digitized Logos! Check out our latest offer: the Stay Cool Event Cooler. This top-notch product is designed to keep your drinks cold and your excitement high, no matter the occasion. And for a limited time, enjoy up to 40% off! Don't miss out on this fantastic deal - https://zurl.co/JeUB
Stay Cool with Digitized Logos: Up to 40% Discount on Event Coolers! | Digitized Logos - Promotional Products

Are you gearing up for a big event or group outing? Look no further than Digitized Logos for all your cooling needs! Introducing our top-of-the-line product, the Stay Cool Event Cooler

Digitized Logos - Promotional Products