Maria Sibylla Merian's Metamorphosis Insectorum Surinamensium (1705)(publicdomainreview.org)

23 points by crescit_eundo 2 years ago | 1 comments

Medieval Illustrations of Bonnacons(publicdomainreview.org)

40 points by benbreen 3 years ago | 5 comments

Johannes Hartlieb's Book of Herbs (1462)(publicdomainreview.org)

106 points by benbreen 2 years ago | 15 comments

Flowers of Fealty: Commemoration of the Christening of Elisabeth of Hesse (1598)(publicdomainreview.org)

8 points by prismatic 1 year ago | 0 comments

Antiquities of Mexico (1831–48)(publicdomainreview.org)

28 points by Thevet 2 years ago | 2 comments

Celestial Phenomena in 16th-Century Germany(publicdomainreview.org)

21 points by Brajeshwar 1 year ago | 2 comments

Using LLMs to trace alchemical knowledge and decode 17th century letters(resobscura.substack.com)

160 points by benbreen 1 month ago | 38 comments

A Res Obscura Substack post by historian Benjamin Breen arguing AI labs should fund historical research, with examples of using frontier LLMs to trace alchemy and decode 17th-century letters.

Making Solar Panels with a Microwave [video](youtube.com)

60 points by jackdoe 8 days ago | 8 comments

A 13-minute YouTube video by Dr.Semiconductor demonstrating how to make solar panels using a microwave as part of the fabrication process.

Clockwork Mechanics, Maintenance, and Metaphors in the Late Middle Ages(jhiblog.org)

15 points by benbreen 6 days ago | 4 comments

JHI Blog essay on how late-medieval writers like Oresme, Mézières, and Froissart used mechanical clocks, which needed constant maintenance, as metaphors for cosmic and political order.

Coding with LLMs in the summer of 2025 – an update(antirez.com)

541 points by antirez 1 year ago | 365 comments

Blog post by antirez (Redis creator) giving an update on how he uses frontier LLMs like Gemini 2.5 Pro and Claude for programming in summer 2025.

A New Experiment Meta-Strategy(chillphysicsenjoyer.substack.com)

26 points by surprisetalk 1 month ago | 1 comments

A Substack post by an amateur physicist describing a new strategy for doing home experiments after reorganizing a messy lab to fit limited free evenings.

LLMs are making formal software verification feasible at a much larger scale(anthropic.com)

429 points by johnbender 3 days ago | 265 comments

Anthropic research post describing how Claude produced formal proofs of crash-freedom for RISC-V binaries of 123 OSS-Fuzz open-source libraries, finding bugs along the way.